グラフ理論の問題
頂点集合を ( 個の頂点)とし、相異なる 2 頂点 を、 が を割り切るときに限り辺で結んだ単純無向グラフを とする。すなわち の辺は次の 本である。
の最大マッチングの辺数を 、最大独立集合の頂点数を 、最小頂点被覆の頂点数を とする。 をこの順に組 として求めよ。
この問題で使うもの
- 最大マッチングとケーニヒの定理(説明と入口の問題)
- 最大独立集合と最小頂点被覆(説明と入口の問題)
この問題を解けるようになるまで(9 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
孤立点(どの頂点とも辺で結ばれていない頂点)に注目し、マッチングに使える頂点数から の上限を考えましょう。独立集合については、頂点を「三角形・辺・1 点」に分けて上限を評価します。
ヒント 2
独立集合の補集合は頂点被覆になるので、 が成り立ちます。また、 以上の数どうしは割り切る関係にならないことを使いましょう。
ヒント 3
孤立点は なので です。また、 と分けると、独立集合は各部分から高々 1 頂点しか含められません。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
最大マッチング を求める。
頂点 と はどの頂点とも辺で結ばれていない( の中に の約数や 倍以上の倍数がない)。したがって、マッチングに使える頂点は残りの 個 だけである。マッチングの各辺は相異なる 2 頂点を使うので、 となる。
一方、 はどの 2 本も端点を共有しないので、辺数 のマッチングである。よって 。
最大独立集合 を求める。
を考える。 以上 以下の相異なる 2 数では、小さいほうの 倍は 以上で を超えるから、一方が他方を割り切ることはない。よってこの集合は独立集合であり、 である。
逆に、 を次の 個の部分に分ける。
と はそれぞれ三角形(3 頂点のどの 2 つも辺で結ばれている)であり、 は辺である。独立集合はこれらの各部分から高々 個の頂点しか含めないので、 である。よって 。
最小頂点被覆 を求める。
頂点の部分集合 が独立集合であることと、その補集合 が頂点被覆であることは同値である(辺の両端がともに に入らないことと、どの辺も少なくとも一方の端点が に入ることは同じ)。したがって
である。実際、 はすべての辺の少なくとも一方の端点を含む頂点被覆である。
なお、 は三角形を含むので二部グラフではなく、ケーニッヒの定理()は成り立たない。実際 である。
以上より、。
別解
非孤立頂点は の 9 個で、 は孤立頂点である。
最大マッチング : 非孤立頂点が 9 個なので 。マッチング が 4 辺で取れるので、。
最小頂点被覆 : 互いに頂点を共有しない部分グラフとして、三角形 (辺 -, -, -)、三角形 (辺 -, -, -)、辺 を取る。三角形の被覆には 2 頂点ずつ、辺の被覆には 1 頂点が必要なので、。
一方、 が被覆になる。
- 2 を端点とする辺は 2 で覆われる。
- 3 を端点とする辺は 3 で覆われる。
- - は 4 で、- は 4 と 12 で、- は 12 で覆われる。
- - は 5 で覆われる。
よって 。
最大独立集合 : 独立集合の補集合は頂点被覆なので、。
検算として、 は互いに辺で結ばれていない( と 、 と など、どれも割り切らない)。大きさ 6 の独立集合が実際に存在する。
答え: