12.1.3 蓝桥杯图论算法和理论之2-SAT

12.1.3 蓝桥杯图论算法和理论之2-SAT

在算法竞赛和逻辑问题求解中，2-SAT问题是一个非常特殊且有趣的主题。它不仅涉及逻辑和布尔代数，还深入到图论和算法复杂性理论中。本篇博客将通过简单易懂的方式介绍2-SAT问题的基本概念、算法原理以及通过经典例题来展示其应用。

什么是2-SAT?

2-SAT(2-Satisfiability)问题是逻辑满足性问题(SAT)的一个特殊情况，它要求判断给定的布尔公式（每个子句包含两个命题变量）是否存在一个真值赋值使得整个公式为真。在2-SAT问题中，每个子句是一个"或"表达式（例如，x或y），整个公式是所有子句的"与"关系。2-SAT问题的一个关键特点是它可以在多项式时间内解决，这与一般的SAT问题形成鲜明对比，后者是一个NP完全问题。

算法原理

2-SAT问题的解法通常基于图论。核心思想是将问题转化为有向图的可达性问题：

1. 构建有向图：对于每个变量x，图中包含两个顶点：x和¬x。对于每个子句（如x或y），在图中添加两条边&