137C

blog。很牛的题，想了差不多一个小时。 经典结论 此处 \(S\to T\) 表示状态 \(S\) 可以变成状态 \(T\)。 \(\textbf{Conclusion: }\) 若 \(\forall S\to T\to P\) 都有 \(S\to P\)，则 \(S\) 为必胜态。（用中文讲： ......