摘要：题解： 这题怎么也卡常数（自己常数大） 对于是x的位置令x='a'或'c' ('b') 然后用2sat验证即可 问题:缩点版的2sat还不会，貌似效率高 阅读全文