Q. 「TAOI-1」椎名真昼

    Type: RemoteJudge 1000ms 256MiB

「TAOI-1」椎名真昼

You cannot submit for this problem because the contest is ended. You can click "Open in Problem Set" to view this problem in normal mode.

题目背景

请注意赛后题目添加了多测。因此请将您的赛时代码进行修改后再提交。

题目描述

你正在看轻小说,突然你的家长走了进来,于是你假装在写 OI 题目。

Alice 和 Bob 正在玩一款游戏,给定一个有向图,每个点初始有一个颜色(黑或白)。

双方轮流进行操作,Alice 先手,每次操作选定一个节点,将所有从该点开始,能到达的点(包括自身)颜色翻转。如果某次操作后所有节点都变为白色,则进行该次操作的人胜利。

假如双方都采用最优策略使得自己胜利,或者如果自己无法胜利,使得对方无法胜利。

给你节点的初始状态,请你求出最终的胜者,亦或者,没有胜者。


定义点 uu 能到达点 vv,当且仅当存在数列 (a1,a2,a3,,ak)(a_1,a_2,a_3,\cdots,a_k),其中 k1k \ge 1,使得 i[1,k)\forall i \in [1,k),存在有向边 aiai+1a_i \to a_{i+1},且 a1=ua_1=uak=va_k=v

输入格式

本题有多组测试数据。

第一行一个正整数 TT,代表数据组数。

对于每组测试数据:

第一行两个整数 n,mn, m,代表图的点数,边数。

第二行 nn 个整数,代表每个点开始时的颜色。11 代表黑色,00 代表白色。

接下来 mm 行,每行两个整数 u,vu, v 代表一条从 uvu \to v 的边。

输出格式

对于每组测试数据:

如果最后 Alice 胜利,输出 A

如果最后 Bob 胜利,输出 B

如果双方(在对方的阻止下)都无法胜利,输出 N

您无需输出空格或换行符。

2
2 1
1 0
2 1
3 2
1 0 1
1 2
2 3
AN

提示

数据范围

本题采用捆绑测试

  • Subtask 1(5 points):n2n \leq 2m1m \leq 1T=1T=1
  • Subtask 2(15 points):n5n \leq 5m8m \leq 8T=1T=1
  • Subtask 3(25 points):保证所有点的初始颜色相同。
  • Subtask 4(55 points):无特殊限制。

对于所有测试数据,1n1051 \leq n \leq 10^51m2×1051 \leq m \leq 2 \times 10^51T151 \le T \le 15

样例解释

在第一组数据中,Alice 可以先手对节点 11 进行操作。操作后所有节点变为白色。

在第二组数据中,双方都没有必胜的方法,因此双方会互相拖延对方阻止对方获胜。


「据说如果无论如何都输出 N 的话,有 45%45\% 的几率能够得到正确答案?」

「怎么可能,不会真的有人造出这么蠢的数据吧……」

【蒙青创】2025年CSP-J/S 冲刺【图论冲刺S300+】

Not Claimed
Status
Done
Problem
49
Open Since
2025-9-25 0:00
Deadline
2025-11-30 23:59
Extension
24 hour(s)