题目传送门:https://agc016.contest.atcoder.jp/tasks/agc016_f 题目大意: 给定一个\(N\)点\(M\)边的DAG,\(x_i\)有边连向\(y_i\),保证\(x_i<y_i\),原图有\(2^M\)个生成子图,对于每个子图\(G'\),\(A,B\)两人正在玩一个游戏:初始时点1,2上有棋子,每次操作可以把某个棋子沿有向边移动一步,最后不能操作的人为输.问有多少个子图\(G'\)满足先手必胜 这种神题一看就不会写--首先考虑博弈,先手必胜的话当…