第七道2-sat,1A 二分枚举可以开门的数量。 注意这句话： one has a door leading to the next door. 要想去第x层，必须已经通过第x-1层，因此二分枚举层数,2-sat判断是否有效。