摘要:
hdu1814 Peaceful Commission 链接 emm,三个链接,三个都不同 "loj" 随便做 "hdu" 字典序最小 "bzoj" 求合法方案数 思路 loj是任意一组解,直接跑tarjan然后判。 hdu是求最小字典序的2 sat解,真的是码力弱的要死呀。 只有O(N M)的df 阅读全文
摘要:
2 sat相关复习 noi曾经考过,谁能说得准呢 sat问题 通俗的sat问题表述一般是这样的:有很多个集合,每个集合里面有若干元素,现给出一些取元素的规则,要你判断是否可行,可行则给出一个可行方案。如果所有集合中,元素个数最多的集合有k个,那么我们就说这是一个k sat问题。 k sat是NP问题 阅读全文