2023年11月4日
2-SAT
摘要： 说是技巧，其实应该是常识。。。2-SAT 没学好导致的。 首先是一些奇怪的情况。 我们假设蓝绿是一组，红黄是一组，椭圆是 scc，那么红黄会选黄，蓝绿会选绿，然而绿又能推出红，遂卒。 但是这是不可能的。 实际上考虑建图时我们干了什么事情。 我们建了类似于这样的东西： 实际上这两对点是对等的，所以如果 阅读全文
posted @ 2023-11-04 16:00 N2MENT 阅读(16) 评论(0) 推荐(0)