“若一个状态能走到另一个状态所能走到的所有后继状态,则这样的状态一定是必胜态”
—— From 这篇题解对决策包容性的定义
那个那个,问一下QwQ:
这是一个通用结论,还是仅适合具有某些特定条件的题目捏?
怎么证明它的正确性捏?QwQ