摘要： 【2-SAT问题】 现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x] AND A[y]=0、A[x] OR A[y] OR A[z]=1等，要确定A[0..N-1]的值，使得其满足所有限制关系。这个称为SAT问题，特别的，若每种限制关系中最多只对两个元素进行限制，则称为2-SA... 阅读全文

摘要： 在有向图G中，如果任意两个不同的顶点相互可达，则称该有向图是强连通的。有向图G的极大强连通子图称为G的强连通分支。 把有向图分解为强连通分支是深度优先搜索的一个经典应用实例。下面介绍如何使用两个深度优先搜索过程来进行这种分解，很多有关有向图的算法都从分解步骤开始，这种分解可把原始的问题分成数个子... 阅读全文

摘要： 欧拉回路 欧拉环：图中经过每条边一次且仅一次的环； 欧拉路径：图中经过每条边一次且仅一次的路径； 欧拉图：有至少一个欧拉环的图； 半欧拉图：没有欧拉环，但有至少一条欧拉路径的图。 【无向图】 一个无向图是欧拉图当且仅当该图是连通的（注意，不考虑图中度为0的点，因为它们的存在对于图中是否存在... 阅读全文