beginend

原创 【线性平面图判定算法】

最近去看了Hopcroft和Tarjan老爷子在1974年提出的 O(V)O(V)O(V) 时间内判断一个图是否是平面图的算法，这是原文。用了好一些时间才完全理解整个算法。想懂之后其实并不难，但真真实实非常巧妙，代码实现并不复杂，常数也不算大。不知道为什么网上基本找不到科普文。一些记号简单路径：每个点至多被经过一次。环：除起点外，每个点至多被经过一次。割点：删掉该点后原图不再连通。双连通图：连通且不包含割点的图。p:v⇒∗wp:v\Rightarrow ^* wp:v⇒∗w：ppp 是一条从