QOJ.ac

QOJ

Time Limit: 20 s - 60 s Memory Limit: 1024 MB Total points: 35

#4512. 鹅,鹅,鸭?

Statistics

第一届国际鹅类会议刚刚结束,虽然这本应是一个愉快的场合,但却带有一丝苦涩。组织者发现了一份包含鸭子渗透计划细节的文件。现在,他们正试图从与会者中找出渗透小组。

他们发现的文件中包含一个由 $\mathbf{M}$ 个整数三元组 $(\mathbf{X_i}, \mathbf{Y_i}, \mathbf{C_i})$ 组成的列表,意味着鸭子们会在会议开始后恰好 $\mathbf{C_i}$ 秒在点 $(\mathbf{X_i}, \mathbf{Y_i})$ 集合,该点位于会议大厅中心以东 $\mathbf{X_i}$ 米、以北 $\mathbf{Y_i}$ 米处。每只鹅可能在也可能不在这些特定时间出现在这些特定地点,但每只鸭子肯定都在。

鸭子和鹅的最高行走速度均为每秒一米,这意味着在时间 $t$ 位于点 $(x, y)$ 的与会者,只要满足 ${\Delta_{x}}^2 + {\Delta_{y}}^2 \le {\Delta_{t}}^2$,就能在时间 $t + \Delta_{t}$ 到达点 $(x + \Delta_{x}, y + \Delta_{y})$。每位与会者在时间 $0$ 的位置可以是任意点,且与其他与会者无关。

A picture of two geese and one duck.

发现该文件后,小组举行了一次问询会议,试图识别鸭子。在会议期间,与会者依次发表了一系列陈述。按发表顺序,第 $j$ 条陈述由与会者 $\mathbf{A_j}$ 作出,声称他们自己和与会者 $\mathbf{B_j}$ 在会议开始后恰好 $\mathbf{D_j}$ 秒位于点 $(\mathbf{U_j}, \mathbf{V_j})$。陈述中的点可能是也可能不是鸭子集合的地点。

鹅的陈述总是真实的,但鸭子可能会撒谎。此外,鸭子知道哪些与会者是鸭子,哪些是鹅。为了避免轻易被抓,鸭子只会做出与鹅之前所有陈述相一致的陈述。注意,鹅所做的陈述与所有鸭子参加所有鸭子集合的情况是一致的。

仅凭提供的信息可能无法确定所有的鸭子。然而,了解鸭子的最少数量至少可以提供鸭子活动水平的下界。注意,至少有一只鸭子。请找出这个鸭子的最少数量。

形式上,一个假设 $H$ 是将所有与会者划分为鸭子集合(称为 $H$-鸭子)和鹅集合(称为 $H$-鹅)的划分。如果对于每位以不超过每秒一米的速度移动的与会者,都存在一条路径使得:

  • 所有 $H$-鸭子都参加了所有鸭子集合,并且
  • 对于 $S$ 中每一条声称 $A$ 在时间 $T$ 于点 $P$ 见到 $B$ 的陈述, $A$ 和 $B$ 的路径都在时间 $T$ 经过了点 $P$。

那么 $H$ 与陈述集 $S$ 是一致的。

如果满足以下条件,则假设 $H$ 在陈述集 $S$ 下是可行的

  • $H$-鸭子集合不为空(即至少有一只鸭子),
  • $S$ 中由 $H$-鹅成员作出的所有陈述的子集与 $H$ 一致(即鹅的陈述总是真实的),并且
  • 对于 $S$ 中由 $H$-鸭子成员作出的每一条陈述 $s$,如果 $P \subseteq S$ 是由 $H$-鹅成员在 $s$ 之前作出的陈述子集,则存在一个假设 $H'$(可能与 $H$ 相同或不同),使得 $\{ s \} \cup P$ 与 $H'$ 一致(即鸭子不会与鹅之前作出的陈述相矛盾)。

注意,$H$-鸭子包含所有与会者的假设总是可行的。

请找出所有可行假设 $H$ 中 $H$-鸭子数量的最小值。

输入格式

输入的第一行包含测试用例的数量 $\mathbf{T}$。接下来是 $\mathbf{T}$ 个测试用例。 每个测试用例的第一行包含三个整数 $\mathbf{N}$、$\mathbf{M}$ 和 $\mathbf{S}$,分别代表与会者人数、鸭子集合次数和陈述次数。 接下来的 $\mathbf{M}$ 行,每行描述一个不同的鸭子集合,包含三个整数 $\mathbf{X_i}$、$\mathbf{Y_i}$ 和 $\mathbf{C_i}$,表示在会议开始后恰好 $\mathbf{C_i}$ 秒在点 $(\mathbf{X_i}, \mathbf{Y_i})$ 举行了一次集合。 最后 $\mathbf{S}$ 行,每行描述一条陈述。第 $j$ 行描述第 $j$ 条陈述,包含五个整数 $\mathbf{A_j}$、$\mathbf{B_j}$、$\mathbf{U_j}$、$\mathbf{V_j}$ 和 $\mathbf{D_j}$,表示与会者 $\mathbf{A_j}$ 声称他们和与会者 $\mathbf{B_j}$ 在会议开始后恰好 $\mathbf{D_j}$ 秒位于点 $(\mathbf{U_j}, \mathbf{V_j})$。

输出格式

对于每个测试用例,输出一行 Case #x: y,其中 $x$ 是测试用例编号(从 1 开始),$y$ 是可能渗透会议的鸭子的最少数量。

数据范围

  • $1 \le \mathbf{T} \le 50$
  • $-10^9 \le \mathbf{X_i} \le 10^9$
  • $-10^9 \le \mathbf{Y_i} \le 10^9$
  • $1 \le \mathbf{C_i} \le 10^9$
  • $\mathbf{C_i} \lt \mathbf{C_{i+1}}$
  • $(\mathbf{X_i} - \mathbf{X_{i+1}})^2 + (\mathbf{Y_i} - \mathbf{Y_{i+1}})^2 \le (\mathbf{C_i} - \mathbf{C_{i+1}})^2$
  • $1 \le \mathbf{A_j} \le \mathbf{N}$
  • $1 \le \mathbf{B_j} \le \mathbf{N}$
  • $\mathbf{A_j} \ne \mathbf{B_j}$
  • $-10^9 \le \mathbf{U_j} \le 10^9$
  • $-10^9 \le \mathbf{V_j} \le 10^9$
  • $1 \le \mathbf{D_j} \le 10^9$
  • $(\mathbf{A_j}, \mathbf{B_j}, \mathbf{U_j}, \mathbf{V_j}, \mathbf{D_j}) \ne (\mathbf{A_k}, \mathbf{B_k}, \mathbf{U_k}, \mathbf{V_k}, \mathbf{D_k})$

子任务 1

  • $2 \le \mathbf{N} \le 50$
  • $1 \le \mathbf{M} \le 50$
  • $1 \le \mathbf{S} \le 50$

子任务 2

  • $2 \le \mathbf{N} \le 10^5$
  • $1 \le \mathbf{M} \le 10^5$
  • $1 \le \mathbf{S} \le 10^5$

样例

输入格式 1

2
2 1 2
1 2 3
1 2 1 1 1
2 1 2 2 2
4 2 4
4 3 10
-4 -3 20
1 3 4 3 11
2 4 0 0 16
3 1 6 3 9
4 2 0 0 16

输出格式 1

Case #1: 1
Case #2: 2

说明

在样例 1 中,与会者 1 是唯一的鸭子是一个可行的假设。

在样例 2 中,与会者 2 和 4 是唯一的鸭子是一个可行的假设。

注意,至少有一只鸭子,因此所有与会者都是鹅的假设是不可行的。

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.