526互联

点双连通分量结论

发布时间 2023-10-01 12:28:40作者: 灰鲭鲨

这些结论在点双大小不小于 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\) 的简单路径。