随笔分类 -  2-SAT

摘要：题意： 有n架飞机需要着陆。每架飞机有两种选择，早着陆或者晚着陆，二选其一。现在为了保证飞机的着陆安全，要求两架着陆的飞机的时间间隔的最小值达到最大。 分析： 最小值最大问题我们想到二分答案。对于猜测值x，判断是否有一种方案使相邻两着陆时间都不小于x。 如果两架飞机的某着陆时间差小于p，证明不能同时 阅读全文

摘要：题意: 有N-1对夫妻参加一个婚宴，所有人都坐在一个长长的餐桌左侧或者右侧，新郎和新娘面做面坐在桌子的两侧。由于新娘的头饰很复杂，她无法看到和她坐在同一侧餐桌的人，只能看到对面餐桌的人。任意一对夫妻不能坐在桌子的同侧，另外有m对人吵过架，而新娘不希望看到两个吵过架的人坐在他的对面，问如何安排这些座位 阅读全文