摘要: 前置知识: Tarjan ,SCC缩点。 引入 有一堆人要吃饭。 第一个人: 我想吃香精煎鱼,不想吃香菜逢仁鸡 。 第二个人: 我不想吃油饼,不想吃香精煎鱼。 第三个人: 我想吃油饼,也想吃香菜逢仁鸡。 你是厨师,你做的菜要满足上面所有人的口味两个的任意之一。 这怎么办? 这就是经典的 2-SAT 阅读全文
posted @ 2024-03-25 22:10 g1ove 阅读(7) 评论(0) 推荐(0) 编辑