LOJ_2305_「NOI2017」游戏 _2-sat 题意: 给你一个长度为n的字符串S,其中第i个字符为a表示第i个地图只能用B,C两种赛车,为b表示第i个地图只能用A,C两种赛车,为c表示第i个地图只能用A,B两种赛车. 另有d(d<=8)个字符x,表示这个地图三种车都能用.有m个要求,(i,hi,j,hj)表示如果在第i场用了hi,在第j场必须用hj. 求一种满足要求的方案,若无解输出-1. 样例输入 3 1 xcc 1 1 A 2 B 样例输出 ABA 分析:先思考如果没有万能的x该怎…