摘要：
什么是拓扑排序？ 维基百科对于拓扑排序有如下定义： a topological sort or topological ordering of a directed graph is a linear ordering of its vertices such that for every dire 阅读全文
摘要：
定义： 欧拉回路：每条边恰好只走一次，并能回到出发点的路径 欧拉路径：经过每一条边一次，但是不要求回到起始点 ①首先看欧拉回路存在性的判定： 一、无向图 每个顶点的度数都是偶数，则存在欧拉回路。 二、有向图（所有边都是单向的） 每个节顶点的入度都等于出度，则存在欧拉回路。 三.混合图欧拉回路 混合图 阅读全文
摘要：
S 城现有两座监狱，一共关押着 N 名罪犯，编号分别为 1∼N。 他们之间的关系自然也极不和谐。 很多罪犯之间甚至积怨已久，如果客观条件具备则随时可能爆发冲突。 我们用“怨气值”（一个正整数值）来表示某两名罪犯之间的仇恨程度，怨气值越大，则这两名罪犯之间的积怨越多。 如果两名怨气值为 c 的罪犯被关 阅读全文
摘要：
Tarjan 算法简介 Tarjan 算法一种由Robert Tarjan提出的求解有向图强连通分量的算法，它能做到线性时间的复杂度。 我们定义： 如果两个顶点可以相互通达，则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大 阅读全文
摘要：
简介 首先是最近公共祖先的概念(什么是最近公共祖先？)： 在一棵没有环的树上，每个节点肯定有其父亲节点和祖先节点，而最近公共祖先，就是两个节点在这棵树上深度最大的公共的祖先节点。 换句话说，就是两个点在这棵树上距离最近的公共祖先节点。 所以LCA主要是用来处理当两个点仅有唯一一条确定的最短路径时的路 阅读全文
摘要：
浅谈差分约束 差分约束系统是一种特殊的 $n$ 元一次不等式组，它包含 $n$ 个变量 $x_1,x_2,...,x_n $ 以及 $m$ 个约束条件，每个约束条件是由两个其中的变量做差构成的 形如 $x_i−x_j≤c_k$ , 其中 $1≤i,j≤n,i≠j,1≤k≤m$ 并且 $c_k$ 是常 阅读全文