给定一个DAG,每个点初始有点权\(a_i(a_i\in [0,10^9])\),两个人进行博弈,每次选择一个点\((a_i>0)\),将其\(a_i\)严格减少,将其后继节点更改为任意点权,不能操作的人失败。
出度为\(0\)的点分到第\(0\)组 其余点分到第\(mex\{v|(u,v)\in E\}\) 胜利的条件为至少存在一组异或值均为\(0\),因为先手可以利用最大的那个使得所有组均为\(0\)