摘要：～～～题面～～～ 题解： 首先观察到，如果没有x的话，这就是一个2-sat问题。 建图方式：对于限制d1 c1 d2 c2,其中d1, d2分别代表比赛编号，c1, c2代表出场的赛车。 1，如果d1不能选c1,那么该限制是不会起到作用的，所以不连边。 2，否则如果d2不能选c2，那么意味这d1-c 阅读全文

摘要：～～～题面～～～ 题意：给定一个圈，m条边（给定），边可以通过外面连，也可以通过里面连，问连完这m条边后，是否可以做到边两两不相交 题解： 将连里面和连外面分别当做一种决策（即每条边都是决策点）， 如果有两条边相冲突，即如果这两条边都连里面就会导致不合法，那就 x > y' , y > x', 额。 阅读全文

摘要：做的第一道2-Sat的题emmm。。。 由题意可知，每个评委的两个要求中，至少要满足一个， 因此，如果有一个不满足，那另一个必定要满足 所以对于每道菜我们拆两个点，一个是满族口味，一个是汉族口味， 如果我们要不满足满族口味，也就意味着我们要做汉族口味 所以照着每位评委的菜连边即可 比如说一个评委要求 阅读全文