随笔分类 -  谜之2-SAT

Katu Puzzle（POJ3678+2-SAT问题+tarjan缩点）
摘要：题目链接：http://poj.org/problem?id=3678 题目： 题意：给你a,b,c,op，op为逻辑运算符或、与、异或，使得a op b = c，让你判断这些运算符是否存在矛盾，不存在输出YES，存在输出NO。 思路：2-SAT问题。2-SAT问题一般都是每个节点有两种选择，并且在 阅读全文
posted @ 2018-08-02 11:00 Dillonh 阅读(353) 评论(0) 推荐(0)