摘要：
这题转化一下题意就是给一堆形如$a_i + a_j \ne c\quad (a_i\in [0,1],c\in [0,2])$的限制，问从开头开始最多到哪条限制全是有解的。 那么，首先有可二分性，所以直接二分枚举最大处，然后把这些限制加边做一次2-sat就好了。连边的话注意一下细节就行，$c=0$时 阅读全文
摘要：
翻译 对于一扇门，如果是关的，那么他必须使用其中一个开关开开来，如果是开的，要么使用两个开关，要么啥都不做。这样，每扇门恰好对应两种状态，要选一个。 考虑用2-SAT模型解决。连边的话是对于一个机关，所有他控制的门都应该一起选（具体地说，对于一扇关闭的门，这个机关是他的第几个机关，就是哪个状态，如果 阅读全文