摘要：X.[NOI2017] 游戏 因为并没有专门开2SAT笔记，所以就放这了 好久没用2SAT了，都忘光了…… 首先，我们可以 \(2^d\) 枚举所有 x 型赛道是当 a 型用还是当 b 型用，因为 a 型允许你选 B 和 C，而 b 型又允许你选 A，这样就涵盖了全部情形。 这样之后，我们便考虑建立 阅读全文