グラフ理論の問題
正の整数 に対し、 を、 個の頂点からなる部集合と 個の頂点からなる部集合をもつ完全二部グラフとする。
ここでは、グラフのすべての辺をちょうど 1 回ずつ通る道(始点と終点は一致してもしなくてもよい)をオイラー路とよぶ。
をみたす整数の組 のうち、 がオイラー路をもつものは何組あるか。
この問題で使うもの
- オイラー路・オイラー閉路の判定(説明と入口の問題)
- グラフの次数と握手補題(説明と入口の問題)
この問題を解けるようになるまで(7 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
連結なグラフがオイラー路をもつかどうかは、次数が奇数の頂点の個数で判定できます。
ヒント 2
では、一方の部集合の 個の頂点の次数はすべて 、もう一方の 個の頂点の次数はすべて です。奇数次の頂点が 個か 個になる条件を、 の偶奇で場合分けして考えましょう。
ヒント 3
がともに偶数なら常に条件をみたし、 が偶数で が奇数なら のときだけ条件をみたします。残りの場合も同様に調べて数えましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
オイラー路をもつ条件. 連結なグラフがオイラー路(閉じていてもよい)をもつための必要十分条件は、次数が奇数の頂点の個数が または であることである( 個のときはオイラー閉路、 個のときはその 2 頂点を端点とするオイラー路が存在する)。 のとき は連結なので、この条件だけを調べればよい。
次数. では、 個の側の各頂点の次数は 、 個の側の各頂点の次数は である。したがって次数が奇数の頂点の個数は
であり、これが または になる場合を偶奇で分けて調べる。
- がともに偶数: 奇数次の頂点は 個で条件をみたす。, より の 組。
- が偶数、 が奇数: 奇数次の頂点は 個( 個の側の頂点)なので が必要十分。 は の奇数で の 組。
- が奇数、 が偶数: 奇数次の頂点は 個なので 。 かつ奇数より で の 組。
- がともに奇数: 奇数次の頂点は 個なので 、すなわち の 組( は辺 1 本だけのグラフで、その辺がオイラー路になる)。
以上より、求める組の数は
である。
別解
は( より)連結で、辺をもつ。連結グラフがオイラー路をもつ必要十分条件は、次数が奇数の頂点が 0 個または 2 個であること。
では、 個の頂点の側の次数は 、 個の頂点の側の次数は 。よって奇数次数の頂点の個数は 。
- がともに偶数: 奇数次数の頂点は 0 個。 から で選ぶので の 6 組。
- 偶数、 奇数: 奇数次数の頂点は 個なので 。 の奇数は で の 2 組。
- 奇数、 偶数: 奇数次数の頂点は 個なので 。 の奇数は で の 1 組。
- がともに奇数: 奇数次数の頂点は 個なので 、すなわち の 1 組( は辺 1 本で、その辺を通る道がオイラー路)。
合計は 組。
検算: は次数が と で奇数次数の頂点がちょうど 2 個、 は奇数次数の頂点が 6 個でオイラー路なし、 は奇数次数の頂点が 4 個(次数 3 が 1 個、次数 1 が 3 個)でオイラー路なし、といずれも条件と合う。