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