点双连通分量结论

这些结论在点双大小不小于 3 时成立。

• 对于点双中不同的三个点 \(x,y,z\)，存在以 \(x,z\) 为端点，经过 \(y\) 的简单路径
• 对于点双中不同的两个点 \(x,y\)，存在经过 \(x,y\) 的简单环。
• 对于点双中一个点 \(x\) 和一条边 \(e\)，存在经过 \(x,e\) 的简单环。
• 对于点双中两个点 \(x,y(x\ne y)\) 和一条边 \(e\)，存在 \(x\rightarrow e\rightarrow y\) 的简单路径。