QOJ.ac

QOJ

Limite de temps : 20 s - 120 s Limite de mémoire : 1024 MB Points totaux : 32

#12438. 重新计算

Statistiques

你正在为 Apricot Rules LLC 的无人驾驶直接配送无人机方向设计部门工作。公司即将推出其首款无人机“Principia”。你的任务是为 Principia 设计备份系统,以防它失去对主要地理定位系统(如 GPS)的访问权限,但它仍然需要一种获取方向的方法。Principia 设计用于平坦区域;形式上,该区域是一个笛卡尔平面,坐标单位为米。平面上有一个或多个点是无人机维修中心。没有两个维修中心位于同一位置。

Principia 有一个系统,可以检索其位置 $L_1$ 距离(也称为曼哈顿距离)在 $D$ 米以内的维修中心的相对位置。检索到的信息是相对于 Principia 当前位置的一组维修中心位置。例如:“有一个维修中心在北侧 4 米、西侧 3.5 米处,另一个在东侧 2.5 米处”。请注意,该信息不会识别具体的维修中心;它只给出相对于 Principia 的位置。

你很快意识到,地图上可能存在一些点,这些信息不足以让 Principia 唯一确定其当前位置。这是因为可能存在两个(或更多)不同的点,从这些点看去,信息看起来是一样的。具有此属性的点称为“不可区分点”(non-distinguishable),而所有其他点称为“可区分点”(distinguishable)。

形式上,当 Principia 位于点 $(x, y)$ 时检索到的信息为 $\text{Info}(x, y) :=$ 所有点 $(z - x, w - y)$ 的集合,其中 $(z, w)$ 是维修中心的位置,且 $|z - x| + |w - y| \le D$。这里 $|z - x|$ 和 $|w - y|$ 分别表示 $z - x$ 和 $w - y$ 的绝对值。当且仅当存在另一个点 $(x_2, y_2)$ 使得 $\text{Info}(x_1, y_1) = \text{Info}(x_2, y_2)$ 时,点 $(x_1, y_1)$ 是不可区分的。

例如,假设 $D=4$,维修中心位于点 $(0, 0)$ 和 $(5, 0)$。点 $(0, 0)$ 是不可区分的,因为 $\text{Info}(0, 0) = \{(0, 0)\} = \text{Info}(5, 0)$。这意味着点 $(5, 0)$ 也是不可区分的。另一方面,$\text{Info}(3.5, 0.1) = \{(-3.5, -0.1), (1.5, -0.1)\}$ 不等于任何其他点的信息,这意味着点 $(3.5, 0.1)$ 是可区分的。下图展示了可区分点(红色)和不可区分点(蓝色)的区域:

Principia 被部署到一个点,该点是从所有距离至少一个维修中心 $D$ 米以内(使用 $L_1$ 距离)的点集中均匀随机选择的——也就是说,是所有满足 $\text{Info}(x, y)$ 非空的点 $(x, y)$ 的集合。该选择属于给定连续点集 $S$ 的概率与 $S$ 的面积(平方米)成正比。在上面的例子中,每个红色正方形的面积为 4.5 平方米,而每个蓝色部分的面积为 23 平方米。因此,Principia 被部署在每个红色正方形内的概率是 $4.5 / (3 \times 4.5 + 2 \times 23)$,被部署在每个蓝色部分内的概率是 $23 / (3 \times 4.5 + 2 \times 23)$。由于相邻不同颜色区域之间的边界面积为 0,因此 Principia 被部署在边界上的概率恰好为 0。

给定所有维修中心的位置,Principia 被部署到的点是可区分点的概率是多少?

输入格式

第一行输入包含测试用例的数量 $T$。接下来是 $T$ 个测试用例。每个测试用例的第一行包含两个整数 $N$ 和 $D$,分别表示维修中心的数量和 Principia 可以从维修中心检索信息的最大 $L_1$ 距离。接下来有 $N$ 行,第 $i$ 行包含两个整数 $X_i$ 和 $Y_i$,表示第 $i$ 个维修中心的坐标。所有坐标和 $D$ 的单位均为米。

输出格式

对于每个测试用例,输出一行 Case #x: y z,其中 $x$ 是测试用例编号(从 1 开始),$y$ 和 $z$ 是非负整数。分数 $y/z$ 必须表示如果从所有距离至少一个维修中心 $D$ 米以内(使用 $L_1$ 距离)的位置中均匀随机选择一个位置,Principia 处于可区分位置的概率。如果有多个可接受的 $y$ 和 $z$ 值,请选择使 $z$ 最小化的那组值。

数据范围

内存限制:1GB。 $1 \le T \le 100$。 $1 \le D \le 10^7$。 $-10^9 \le X_i \le 10^9$,对于所有 $i$。 $-10^9 \le Y_i \le 10^9$,对于所有 $i$。 $(X_i, Y_i) \neq (X_j, Y_j)$,对于所有 $i \neq j$(没有两个维修中心位于同一位置)。

样例

样例输入 1

4
2 4
0 0
5 0
2 1
0 0
5 0
2 4
0 0
4 4
2 4
0 0
5 1

样例输出 1

Case #1: 27 119
Case #2: 0 1
Case #3: 0 1
Case #4: 1 5

Discussions

About Discussions

The discussion section is only for posting: General Discussions (problem-solving strategies, alternative approaches), and Off-topic conversations.

This is NOT for reporting issues! If you want to report bugs or errors, please use the Issues section below.

Open Discussions 0
No discussions in this category.

Issues

About Issues

If you find any issues with the problem (statement, scoring, time/memory limits, test cases, etc.), you may submit an issue here. A problem moderator will review your issue.

Guidelines:

  1. This is not a place to publish discussions, editorials, or requests to debug your code. Issues are only visible to you and problem moderators.
  2. Do not submit duplicated issues.
  3. Issues must be filed in English or Chinese only.
Active Issues 0
No issues in this category.
Closed/Resolved Issues 0
No issues in this category.