#CF2137G. 你尽管哭去吧

    ID: 6702 传统题 1000ms 256MiB 尝试: 0 已通过: 0 难度: 8 上传者: 标签>其他数学难度二分查找组合数学数据结构排序动态规划博弈论深度优先搜索及同类图论*2200

你尽管哭去吧

给定一张有向无环图,包含 nn 个节点、mm 条有向边。 所有节点初始颜色均为蓝色

定义趣味图游戏规则如下:

  1. 初始时棋子放在起点 ss
  2. Cry 和 River 轮流移动棋子:沿着当前节点的一条出边,移向后继节点;Cry 先手
  3. 胜负规则:
    • 若任意一方走完回合后,棋子到达无出边的终点节点Cry 获胜
    • 若任意一方走完回合后,棋子到达红色节点River 获胜
    • 若某个节点既是红色、又无出边,则 River 获胜
  4. 由于是有向无环图,游戏一定会在有限步内结束。

补充说明:

  • 若起点 ss 本身无出边,Cry 直接获胜;
  • 若起点 ss 本身是红色节点,River 直接获胜。

需要处理 qq 次询问,共两类操作:

  1. 1 u:将节点 uu 染成红色。保证操作前 uu 是蓝色,且每个节点最多被染色一次。
  2. 2 u:若游戏以 uu 为起点,双方都采用最优策略,判断 Cry 是否能获胜。若能获胜输出 YES,否则输出 NO

输入格式

多组测试数据。 第一行一个整数 tt1t1041\le t\le 10^4),表示测试用例组数。

每组测试用例: 第一行三个整数 n,m,qn,m,q2n2105, 1m,q21052\le n\le 2\cdot 10^5,\ 1\le m,q\le 2\cdot 10^5)。 接下来 mm 行,每行两个整数 u,vu,v1u,vn1\le u,v\le n),表示一条有向边 uvu\to v。 接下来 qq 行,每行两个整数 x,ux,u1x2, 1un1\le x\le 2,\ 1\le u\le n),代表操作类型和目标节点。

保证:

  • 给定图为有向无环图,无重边;
  • 所有测试用例的 n\sum nm\sum mq\sum q 均不超过 21052\cdot 10^5

输出格式

对每一条类型 22 的询问,若 Cry 必胜输出 YES,否则输出 NO,大小写均可。


样例说明

初始所有节点都是蓝色,只要正常走棋,最终一定会走到无出边节点,Cry 必胜。 后续把节点 3,43,4 染为红色后:

  • 起点为 3344:直接是红色,River 必胜;
  • 起点为 11:Cry 只能先走一步到 22,River 可以下一步走到红色节点 33,River 必胜; 其余节点在双方最优策略下,仍然是 Cry 必胜。