摘要:
题意:两个人玩剪刀石头布,你知道对手出拳的序列(就是每一步出哪个)给你两种限制,i与j相同和不相同。你赢的条件是你不能输给对方一次,问你能不能赢。思路:典型的2-SAT题目,对于每次猜拳,排除你会输的那一次然后就只剩两个选择了,接下来就是分类讨论。我们定义第一个能出的为真,另一个为假首先分成 i次 与j次不能出的相同,那么 a b 1 表示 a^b = 1 a b 0 表示 a^b = 0然后是不同的,那么 对于a b 1情况 a b 出那个已经知道了 a b 0情况 !a->b ^ !b->a 都能出的为假 a->!b ^ b->!a 都能出的为真代码如下: 1 .. 阅读全文