東京大学 新領域創成科学研究科 メディカル情報生命専攻 2025年8月実施 問題8
Author
祭音Myyura
Description
を単純連結無向グラフとする。以下の問いに答えよ。
(1) 以下のグラフ について点 1 を根とする深さ優先探索木 をひとつ描け。
(2) を の深さ優先探索木とする。 の辺 が、 の辺に含まれないとき、 は 内の の祖先か子孫のいずれかの点であることを示せ。
の点 を取り除くとグラフが非連結になるとき、 を関節点という。
(3) (1) の について関節点を全て求めよ。
(4) は の根とする。 が 上で２つ以上の子を持つとき、 は関節点であることを示せ。
(5) は の根でないとする。以下の条件(A)を満たす 上の の子 があるとき、 は関節点で あることを示せ。
- 条件(A): の辺で、 上の の祖先と、 かその子孫とをつなぐものは一つもない。
题目描述
设 为简单连通无向图。
- 对上图 ，画出一棵以顶点 1 为根的深度优先搜索树 。图的边为
- 设 是 的 DFS 树。证明若 的边 不是树边，则在 中 必为 的祖先或后代之一。
若删除顶点 会使图变得不连通，则称 为关节点。继续回答：
- 求出第 1 问图 的全部关节点。
- 设 是 DFS 树 的根。证明若 在 中至少有两个孩子，则 是关节点。
- 设 不是根。若它有一个树中孩子 满足条件 (A)： 中不存在连接“ 的任一祖先”与“ 或其任一后代”的边，证明 是关节点。
考点
- 无向图深度优先搜索树：理解非树边只能连接祖先与后代的性质，并为具体图构造合法 DFS 树。
- 关节点判定：分别处理 DFS 根的多子树条件，以及非根节点某子树无法通过回边到达真祖先的条件。
- DFS 子树与回边：用删除候选顶点后不同树分支之间不可达来证明图断开，建立 low-link 判据的理论基础。
Kai
(1)
(2)
の辺 が の辺（木辺）に含まれないと仮定する。一般性を失わず、DFSの探索において頂点 が よりも先に発見（訪問）されたとする。
の探索中、それに接続する辺 も必ず走査される。このとき がまだ訪問されていなければ、辺 を経由して を訪問することになるため、 は の辺として追加されるはずである。しかし、前提より は に含まれないため、 から を走査した時点で、 はすでに「訪問済み」でなければならない。
つまり、 は「 が発見された後」かつ「 の探索処理が完了する前」に訪問されたことになる。DFSの性質上、これは が を始点とする再帰的な探索の過程で発見されたことを意味し、 において は の子孫となる。したがって、 は 内の の子孫（ を先に発見したと仮定した場合は祖先）のいずれかである。
(3)
の関節点は 1, 4 である。
(4)
を の根とし、 が 上で2つの子 を持つとする。
において、 を根とする部分木を 、 を根とする部分木を とする。木構造の性質上、これらは互いに素な頂点集合を持つ。
(2)で証明した通り、 のすべての非木辺は祖先と子孫を結ぶ（後退辺である）ため、互いに祖先・子孫の関係にない の頂点と の頂点を直接結ぶ辺（交差辺）は には一切存在しない。
したがって、グラフ において 内の任意の頂点から 内の任意の頂点への経路は、必ず双方の共通の祖先である根 を経由しなければならない。グラフ から を取り除くと、 と を結ぶ経路が完全に失われるため、グラフは非連結となる。よって、 は関節点である。
(5)
を の根ではない頂点とし、 を条件(A)を満たす の子とする。 において を根とする部分木を とする。
がグラフ から取り除かれた場合を考える。(2)より には交差辺が存在しないため、 内の頂点から 外の頂点へ向かう辺は、 内から自身の祖先へ向かう後退辺のみに限られる。
内の頂点の祖先は、 自身、または より上位の祖先である。しかし、条件(A)より、 内の頂点から の祖先へ直接つながる辺は一つも存在しない。ゆえに、 内の頂点から の祖先（ が根でないため、少なくとも根が一つ存在する）への経路は、すべて を経由しなければならない。
を取り除くと、 に属する頂点は の祖先を含む他のグラフ成分から完全に切り離され、グラフは非連結となる。よって、 は関節点である。