CCCC/GPLT L2-010 排座位

题目重现

布置宴席最微妙的事情，就是给前来参宴的各位宾客安排座位。无论如何，总不能把两个死对头排到同一张宴会桌旁！这个艰巨任务现在就交给你，对任何一对客人，请编写程序告诉主人他们是否能被安排同席。

输入格式

输入第一行给出3个正整数：N（<= 100），即前来参宴的宾客总人数，则这些人从1到N编号；M为已知两两宾客之间的关系数；K为查询的条数。随后M行，每行给出一对宾客之间的关系，格式为：“宾客1 宾客2 关系”，其中“关系”为1表示是朋友，-1表示是死对头。注意两个人不可能既是朋友又是敌人。最后K行，每行给出一对需要查询的宾客编号。

这里假设朋友的朋友也是朋友。但敌人的敌人并不一定就是朋友，朋友的敌人也不一定是敌人。只有单纯直接的敌对关系才是绝对不能同席的。

输出格式

对每个查询输出一行结果：如果两位宾客之间是朋友，且没有敌对关系，则输出“No problem”；如果他们之间并不是朋友，但也不敌对，则输出“OK”；如果他们之间有敌对，然而也有共同的朋友，则输出“OK but…”；如果他们之间只有敌对关系，则输出“No way”。

输入样例

7 8 4
5 6 1
2 7 -1
1 3 1
3 4 1
6 7 -1
1 2 1
1 4 1
2 3 -1
3 4
5 7
2 3
7 2

输出样例

No problem
OK
OK but...
No way

题解

首先有一个 $O(M + K)$ 复杂度的输入。

按照题意，对于查询（A B）
1. 如果A、B是直接的朋友，输出 No problem
2. 否则如果A、B不敌对，输出OK
3. 否则如果A、B敌对但他们有共同的朋友，输出OK but...
4. 否则A、B敌对并且没有共同的朋友，输出No way

人际关系是一个带权无向图$G = (V, E)$，对于两个点 $a, b$，

$$G(a, b) = \begin{cases} 1, & \text{if $a, b$ are friends} \\ -1, & \text{if $a, b$ are opponents} \\ 0, & \text{otherwise} \end{cases}$$

A、B之间的关系可以直接查这个图即可，问题在于如何快速查找他们是否有共同的朋友。

Floyd-Warshall 求传递闭包

一个方案是计算关于1的无向图传递闭包$G^*$，本题使用Floyd-Warshall算法的时间复杂度是$O(N^3 + K)$，在本题的数据量下尚可接受。

初始化：

$$G^*(a, b) = \begin{cases} 1, & \text{if $G(a, b) = 1$} \\ 0, & \text{otherwise} \end{cases}$$

然后跑一下Floyd-Warshall 算法，更新函数：

$$update(i, j, k) = \begin{cases} 1, & G^*(i, k) = G^*(k, j) = 1 \\ G^*(i, j), & otherwise \end{cases}$$

并查集

另一种方案是使用并查集，时间复杂度会降低到$O(M + K)$，空间利用率也会提升。
并查集的离散数学理论基础是“等价划分与不相交森林”。

代码示例

• CCCC/GPLT L2-010 Floyd-Warshall
• CCCC/GPLT L2-010 Disjoint Set