数学 › グラフ理論 › 道・閉路・木
部分グラフ・補グラフ・特別なグラフ
定義 2.4(「道・閉路・木」§2)
V(H)⊆V(G) かつ E(H)⊆E(G) であるグラフ H を G の部分グラフといい、V(H)=V(G) のとき全域部分グラフという。S⊆V(G) に対し、頂点集合が S で、両端が S に入る G の辺すべてを辺とするグラフ G[S] を誘導部分グラフという。G−S=G[V(G)∖S]、G−e(辺 e だけを除く)、G+uv(辺 uv を足す)と書く。補グラフ G は、頂点集合が同じで、uv∈E(G)⟺uv∈/E(G)(u=v)で定める。
- 完全グラフ Kn: n 頂点のどの 2 つも隣接する。
- 二部グラフ: V(G)=A⊔B と分割でき、どの辺も A の頂点と B の頂点を結ぶ。(A,B) を二部分割という。
- 完全二部グラフ Km,n: ∣A∣=m、∣B∣=n で、A の各頂点が B の全頂点と隣接する二部グラフ。
- 閉路グラフ Cn、道グラフ Pn: n 頂点の閉路、n 頂点の道だけからなるグラフ。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
関連するノック 2 問