qwb的博客

传送门：点击打开链接 题意：有n个婚礼，有开始时间和结束时间，现在只有1个神父，必须要出现在每个婚礼的开始和结尾并持续一定的时间举行仪式。问神父是否可以做到对n个婚礼都矩形仪式。输出任意答案。 思路：这算是2SAT最经典的题了 首先说下2SAT，实质是把关系转换成了求强连通分量。如果已知a,必有b。那么就a->b这样连一条边。 一个点拆成2个点，分别表示true和false。 把边建好后

传送门：点击打开链接 题意：n对夫妻，一对夫妻必须去1人，有m对人互相讨厌，不能同时去，问是否有这样的情况。 思路：2SAT... #include #include #include #include #include #include #include #include #include #include #include #include #include #

传送门：点击打开链接 题意： go(int dep, int n, int m)     begin        output the value of dep.       if dep   end 然后告诉你a，b，c三个数组的值，x数组里的值只有0和1，c里只有0，1，2问最多会输出什么。 思路：我们二分最后输出的答案，然后每次check都去建边跑2SAT，看是否符合

传送门：点击打开链接 题意：小明在玩一个闯关游戏，共n关，必须按顺序通过，每一关会遇到两个数字（可能一样），他要选择其中一个，如果要选的这个数字是他之前选过的就直接过了这关。 但是他如果在某一关选了数字X，那就不能在经过另一关时选择数字Y当X+Y=2*n-1时，如果在某一关没有数可选的时候游戏结束，问在闯关游戏中小明最多可以通过几关。 思路：2SAT。。每一层，选第1个数字标记为0，选第2个