摘要：
"题目" 这么明显的限制条件显然是$\text{2 sat}$ 考虑按照时间拆点，$(0/1,x,t)$表示$x$个人在时间$t$是生/死 有一些显然的连边 $$(0,x,t+1) (0,x,t)$$ 就是如果想在$t+1$时刻还是活着那必须在$t$时刻还活着 $$(1,x,t) (1,x,t+1) 阅读全文
摘要：
"题目" 来复习$\text{2 sat}$了 首先对于$\operatorname{'a'},\rm{'b'},\rm{'c'}$这三种地图，能放在上面的车只有两种 但是对于$\rm{'x'}$能放三种车，变成一个$\text{3 sat}$ 众所周知$\text{3 sat}$只能搜索，于是我们 阅读全文