2-sat
ACM败犬
这个作者很懒,什么都没留下…
展开
-
Codeforce 1248 F. Catowice City(思维,dfs)
题目大意:有 n 户人,每户人家里有一个人和一只猫。每个人都认识自己家的猫,除此之外还认识一些别人家的猫,现在要选一些猫和人出来,使得猫的个数 + 人的个数 = n,并且这些选出来的猫不被选出来的人认识。 首先每户人家必出一只猫或一个人,否则至少有一户人家既要出人又要出猫,这种答案不合法。 那么枚举第一户人出人还是出猫,根据他们的认识关系,可以用dfs搜索出哪些人因此也必须出人或出猫。 无解的情...原创 2019-10-22 08:40:17 · 229 阅读 · 0 评论 -
寒假牛客基础训练2_处女座与宝藏 && POJ_3683_Priest John's Busiest Day: (2-sat二连:判可行性和求可行解方案)
处女座与宝藏: 题目大意:有n个宝箱,m个开关,每个宝箱有初始状态,规定0是打开,1是关闭,当全部为0时,可以获得宝藏,m个开关每个开关与 ki个宝箱相关联,按下开关时宝箱的状态会反转(0 变1 ,1 变0)。问处女座能否得到宝藏,每个宝箱至多与2个开关相关联。 由于每个宝箱只与2个开关相关联,根据宝箱的初始状态,可以得知这最多是一个二元的布尔逻辑运算,而每个开关有按和不按两种状态,两种状态必选其...原创 2019-03-17 22:01:05 · 138 阅读 · 0 评论