グラフ理論の問題
頂点集合 と、次の 本の辺からなる辺集合 をもつ単純無向グラフ を考える。
は 2 部グラフである。 を、どの辺も両端が異なる集合に属するように 2 つの集合 (, )に分ける。このとき、頂点 を含む方の集合を求めよ。
この問題で使うもの
- 2 部グラフと奇閉路(説明と入口の問題)
この問題を解けるようになるまで(7 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
「2 部グラフと奇閉路」の技能、つまり頂点を 2 色に塗り分ける方法を使います。辺で結ばれた頂点どうしは異なる色にします。
ヒント 2
頂点 を赤と決めると、 の隣の頂点は青、その隣は赤、…と色が順に強制的に決まります。最後にすべての辺の両端が異なる色か確かめましょう。
ヒント 3
頂点 を赤にすると、隣の は青、 の隣の と の隣の は赤になります。残りの の色は頂点 から決めてください。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
頂点を 2 色(赤・青)で塗り分けます。ルールは「辺で結ばれた 2 頂点は必ず異なる色にする」です。
手順 1(出発点を決める) 頂点 を赤にします。
手順 2(隣の頂点の色を決める) 頂点 と隣り合う頂点は なので、 は青です。
手順 3(さらに隣へ広げる)
- 頂点 (青)と隣り合う未着色の頂点は なので、 は赤。
- 頂点 (青)と隣り合う未着色の頂点は なので、 は赤。
- 頂点 (赤)と隣り合う未着色の頂点は なので、 は青。
これで全頂点の色が決まりました:赤 、青 。
手順 4(すべての辺を確認する)
:赤-青、:赤-青、:青-赤、:青-赤、:青-赤、:赤-青、:青-赤、:赤-青、:青-赤、:青-赤。
どの辺も両端の色が異なるので、矛盾なく 2 色に塗り分けられました。よって は 2 部グラフです。
もし に奇数長の閉路があれば、その閉路を一周する間に色が赤・青と交互に変わるため、奇数回の交代で出発点に戻り、出発点と同じ色の頂点が隣り合う矛盾が起きます。塗り分けに成功したことは「 は奇閉路をもたない」ことと対応しています(2 部グラフ 奇数長の閉路をもたない)。
手順 5(分け方が一通りであること) は連結です( から辺をたどってすべての頂点に到達できました)。連結なグラフでは、1 つの頂点の色を決めると、隣の頂点の色が次々に強制的に決まるので、2 つの集合への分け方はただ一通りです。
したがって、頂点 を含む方の集合は
です。
別解
グラフが連結なので、頂点 の属する側を決めれば分け方は一意に決まる。
とおく。
- の隣接頂点 は に属する。
- の隣接頂点 は に属する。 の隣接頂点 も に属する。
- の隣接頂点 は に属する。
よって 、 となる。
検算として、10 本の辺がすべて と にまたがることを確かめる。
- : –
- : –
- : –
- : –
- : –
- : –
- : –
- : –
- : –
- : –
どの辺も条件を満たす。したがって頂点 を含む集合は である。