LGM

原问题可以看作是二分图博弈的模型，那么可以将博弈问题转化为最大匹配的一定性判定性问题，实际上博弈的 \(\text{dp}\) 过程直接摊开就是每次删任意一个叶子与其父亲，将父亲变为 \(1\)，这个也就是最大匹配的求解过程，而是否为匹配的上端点即该点的 \(01\) 状态，那么实际上每一行的 \( ......