[题目]LibreOJ [题意]n场游戏,有三种车ABC,给定长度为n的字符串,'a'表示不能选A,'b''c'同理,'x'表示不限,至多d个'x'.有m个限制(i,hi,j,hj)表示如果第i场选择车hi,那么第j场必须选择车hj.求可行方案,或无解.n<=10^5,d<=8. [算法]2-sat [题解]枚举'x'是'a'或'b'(如果直接枚举选那辆车复杂度太高,不如利用2-sat来做),这样有2^d种状态. 这样确定字符串后,每场比赛就只有两种选项和m种限制,进行2-sat即可,复杂度O…