#P15601. [ICPC 2020 Jakarta R] Robust Defense
[ICPC 2020 Jakarta R] Robust Defense
说明
美国国防部(DoD)开发了一种据称无法被穿透的新型无线技术。这项新技术包含两种设备:发射器和接收器。尽管国防部试图使这些设备坚固耐用,但新型发射器可能会因某些原因损坏。另一方面,新型接收器相当坚固,设计为无法关闭。接收器是 在线 的当且仅当满足以下条件之一:
- 存在两个活跃的(未损坏的)发射器,使得接收器恰好位于连接这两个发射器的线段上。
- 存在三个活跃的(未损坏的)发射器,使得接收器严格位于由这三个发射器构成的三角形内部。
这项新技术使国防部能够战略性地布置通信塔,从而使外部无法窃听其军事基地。有 个军事基地,每个位于坐标 处,以及 个通信塔,每个位于坐标 处。每个军事基地配备有新型接收器,每个通信塔配备有新型发射器。保证没有两个建筑(即军事基地或通信塔)位于同一位置。同时保证每个军事基地中的接收器都是在线状态,因此所有军事基地都处于在线状态。
一天,国防部预测一场强烈风暴将接近其通信塔。在这场强风暴期间,每个发射器有 的概率损坏,有 的概率幸存(即未损坏)。
国防部请求你的帮助,计算在强风暴过后 所有 军事基地仍保持在线状态的概率。该概率可以表示为有理数 ,其中 和 是互质的整数。你需要输出一个整数 ,这里 是 模 的乘法逆元。换言之,你需要输出一个整数 (),使得 。
输入格式
输入第一行包含三个整数 、 和 (;;),分别表示军事基地的数量、通信塔的数量以及发射器在强风暴中幸存(即未损坏)的概率。接下来 行,每行包含两个整数 和 (),表示每个军事基地的位置。接下来 行,每行包含两个整数 和 (),表示每个通信塔的位置。保证没有两个建筑(即军事基地或通信塔)位于同一位置。同时保证在强风暴之前所有军事基地都是在线状态。
输出格式
输出一行一个整数 (),使得 ,其中 和 是互质的整数,且 是强风暴过后所有军事基地仍保持在线状态的概率。
1 4 50
0 0
-1 0
3 0
0 1
2 -1
686292993
3 5 20
3 0
1 3
5 3
0 0
0 6
6 0
6 6
3 3
771443236
提示
样例 #1 解释
每个发射器有 的概率在强风暴中幸存。在此情况下,共有 种等可能的结果,其中只有 种结果会使所有军事基地在强风暴后仍保持在线,即活跃的(未损坏的)发射器集合为以下之一:、、、 和 。因此概率为 ,即 ,,。
样例 #2 解释
除了第 个发射器之外的所有发射器必须未损坏,才能使所有军事基地在强风暴后仍保持在线。每个发射器幸存概率为 即 ,这种情况的概率为 。因此 ,,。
翻译由 DeepSeek 完成
京公网安备 11011102002149号