は頂点が 個の連結な単純平面グラフである。 を平面上に辺が交差しないように描いたところ、すべての面(外側の非有界な面も含む)の境界がちょうど 本の辺からなる閉路(三角形)になった。この描き方における の面の数 を求めよ。
平面グラフとオイラーの公式
連結な平面グラフで と「面の長さの和 」を使い、面の数を求められる。また (2 部グラフなら )を導いて、, などが平面的でないことを示せる
前提
- 2 部グラフと奇閉路 (大学数学 グラフ理論)
この技能までの道筋(7 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- グラフの次数と握手補題 (大学数学 グラフ理論)
- 2 部グラフと奇閉路 (大学数学 グラフ理論)
説明
交差なしに平面に描いたグラフでは、頂点数 ・辺数 ・面の数 の間に という関係が成り立ちます。これを使うと、絵を描かずに面の数を計算できます。さらに「面の長さの和 」と組み合わせると、平面に描けるグラフの辺の数に上限 が得られます。この上限を超えるグラフは平面に描けないとわかるので、 や が平面的でないことを示せます。
なぜそうしてよいのか
辺どうしが交わらないように平面に描いたグラフを平面グラフといい、そのように描けるグラフを平面的といいます。描いた線(頂点と辺)を平面から取り除くと、平面はいくつかの領域に分かれます。この領域を面と呼びます。いちばん外側の果てしなく広がる領域(外面)も 1 つの面として数えます。連結な平面グラフは、1 頂点だけの状態から、すでに描いた部分が連結なまま辺を 1 本ずつ描き足して作れます。最初は なので です。描き足す辺には 2 種類あります。(ア) 新しい頂点へ伸ばす辺のときは、 と が 1 ずつ増え、面は分かれません。(イ) すでにある 2 頂点を結ぶ辺のときは、その辺がある面を 2 つに仕切るので、 と が 1 ずつ増えます。どちらの場合も は変わらないので、最後まで が保たれます。
面の長さとは、その面の境界を一周したときにたどる辺の本数です。両側が同じ面になっている辺(橋のような辺)は、一周するあいだに 2 回通るので 2 と数えます。どの辺も、両側の面の境界で合わせてちょうど 2 回数えられます。したがって、すべての面の長さの和は です。これは、次数の和が になる握手補題の「面版」にあたります。
単純グラフ(ループや多重辺がないグラフ)で のとき、面の境界を一周する道の長さは 1 や 2 にはなれません。そのため各面の長さは 3 以上で、 となります。これを に代入すると、 より が得られます。2 部グラフの場合は、奇数長の閉路をもたないので、境界を一周する道の長さは偶数です。それが 2 になることもないので、各面の長さは 4 以上です。 から同様に計算して が得られます。
手順
グラフが連結であることと、交差なしに描かれている(平面グラフである)ことを確かめる。
頂点数 と辺数 を求める。次数が与えられているときは、握手補題 から を出す。
オイラーの公式 から面の数を求める:(外面も 1 つと数えた個数)。
面の長さの情報があるときは、その和が になることを使って、未知の量を決めたり計算を検算したりする。
平面的でないことを示すときは、平面的だと仮定する。単純で なら 、さらに 2 部グラフなら が成り立つはずなので、実際の がこれを破ることを確かめて矛盾を導く。例: は 、 は 。
例題
連結な単純平面グラフ があり、頂点数は 、どの頂点の次数も である。 の面の数(外面も含む)を求めよ。
例題の解答
手順 1: は連結な平面グラフなので、オイラーの公式が使えます。
手順 2:握手補題より なので、 です。頂点数は です。
手順 3: です。
手順 4(検算):面は 7 個で、長さの和は になるはずです。各面の長さは 3 以上なので和は 以上となり、矛盾はありません。また も満たしています。
よって面の数は です。
答え:
よくある誤り
外面(外側の無限に広がる領域)を数え忘れて、 を 1 小さくしてしまう誤り。正しくは外面も 1 つの面として数え、例えば三角形 は内側と外側で となり、 が成り立つ。
連結でないグラフにも を使ってしまう誤り。正しくは連結成分が 個なら となる。例えば辺のない 2 頂点では なので である。
面の長さの和を としてしまう誤り。正しくは各辺が 2 回数えられるので和は 。両側が同じ面である辺は、その面の長さに 2 と数える。例えば 3 頂点の道 は面が 1 つで、その長さは である。
を満たせば平面的だと結論してしまう誤り。この不等式は平面的であるための必要条件にすぎない。例えば は を満たすが平面的でない。この場合は 2 部グラフ用の を使い、 から矛盾を導く必要がある。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
連結な単純グラフ が、辺どうしが交わらないように平面上に描かれている(平面グラフ)。 の頂点数は で、どの頂点の次数もちょうど である。この描画で平面が辺によって分けられる面の数 を求めよ。ただし、外側の有界でない領域も つの面として数える。
を頂点数 の連結な単純グラフとし、 のすべての頂点の次数は であるとする。 は平面グラフであり、辺どうしが交差しないように平面上に描かれている。この描画における面の数 を求めよ。ただし、外側の非有界な面も つの面として数える。
この技能を使う問題
を頂点数 、辺数 の連結な単純グラフとし、 は平面に辺が交差しないように描かれている(平面グラフ)とする。この描画で平面が分けられてできる領域(外側の非有界な領域も含む)を面といい、その個数を とする。各面について、その境界をたどる閉路状の歩道の長さ(境界上の辺のうち、両側がともにその面であるものは 2 回数える)をその面の長さという。
のすべての頂点の次数が 以上であるとき、 には長さが 以下の面が少なくとも 1 つ存在することを証明せよ。
なお、連結な平面グラフに対するオイラーの公式 と、すべての面の長さの和が に等しいことは用いてよい。
を、 個の頂点からなる部集合 と 個の頂点からなる部集合 をもつ完全二部グラフ( の各頂点と の各頂点がちょうど 1 本の辺で結ばれ、それ以外に辺はない単純グラフ)とする。
を平面に描く。ただし、頂点は相異なる点、辺はその両端点を結ぶ連続曲線で表し、辺は自分の端点以外の頂点を通らず、2 本の辺は有限個の点でしか交わらず、3 本以上の辺が同じ 1 点(端点以外)で交わることはないものとする。このような描き方において、2 本の辺が端点以外で交わる点の個数を交差数とよぶ(同じ 2 本の辺が何点で交わっても、交わる点を 1 点ずつ数える)。
のすべての描き方にわたる交差数の最小値を求めよ。
この技能の次に学べること
- ガウス・ボンネの定理(大域版)とオイラー標数 (大学院数学 微分幾何)