随笔分类 -  2-sat

摘要：学习博客 位运算转换为2-sat的方法： x表示x这个点是0，x’表示x这个点是1 如果a and b=0 连接a’->b b’->a 如果a and b=1 连接a->a’ b->b’ 如果a or b=0 连接a’->a b’->b 如果a or b=1 连接a->b’ b->a’ 如果a xo 阅读全文