凸最適化・組合せ最適化の問題
頂点集合を とする単純グラフ を考える。 の辺集合 は、 の異なる 頂点を結ぶ 本の辺すべてと、 本の辺 からなる()。辺 を と書く。各辺の重み は次のとおりである。
閉路を含まない辺集合を森とよぶ(空集合も森とする)。 の部分集合 が独立であることを「森 を用いて と書けること」と定めると、これは 上のマトロイド ( のグラフ的マトロイド とそれ自身との合併 )を定める。 の階数 と、 の基 の重み の最大値を、この順に組で求めよ。
この問題で使うもの
- マトロイドの独立集合・基・階数(説明と入口の問題)
- 貪欲法による最大重み基(説明と入口の問題)
- 双対マトロイドと切り詰め(説明と入口の問題)
この問題を解けるようになるまで(38 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数の四則計算
- 分数のたし算・ひき算
- 分数のかけ算・わり算
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 正負の数の加法・減法
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 乗法公式による展開
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 掃き出し法と連立 1 次方程式
- 行列の階数と解の存在
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 組合せ
- グラフの次数と握手補題
- 最小全域木(クラスカル法・プリム法)
- マトロイドの独立集合・基・階数
- 貪欲法による最大重み基
- 双対マトロイドと切り詰め
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
森は 頂点上で高々 本の辺しかもたないことから、密な部分グラフ(頂点 や )に含まれる独立集合の辺数を上から抑えましょう。
ヒント 2
頂点 の間の 本の辺からは高々 本、 の 本の辺からは高々 本しか独立集合に入りません。階数の上界は で、具体的に つの森に分解できる 本の辺集合を作れば階数が決まります。
ヒント 3
基の補集合は 本の辺からなり、そのうち少なくとも 本は の辺で、辺 は含みません。この条件の下で補集合の重みの和を最小にしましょう( の辺で重みが最小の 本は です)。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
記号. (頂点 上の の辺, 本)、(頂点 の間の辺, 本)とおく。
基本事実. 個の頂点の上の森は高々 本の辺しかもたない。したがって独立集合 と頂点集合 について、両端が に入る の辺は高々 本である。
階数の上界. 独立集合 に対し、、()であるから、
同様に も成り立つ。
階数 の独立集合の構成. 次の 本の辺からなる集合
を考え、これを次の つに分ける。
- : 頂点を結ぶ 本の辺で連結(, )なので全域木であり、閉路をもたない。
- : と からなる、頂点 上の木であり、閉路をもたない。
よって は独立であり、上界と合わせて である。
最大重み基. 基 は 本の辺をもつので、その補集合 は 本である。
- かつ より である。よって であり、特に となる。
- かつ より である。
の辺の重みのうち小さい つは , である。 の残り 本の重みは、 の中で最小の重み 以上である。ゆえに
となる。等号は のときに成り立ち、このとき はちょうど上で構成した である。したがって は基になっている。
全辺の重みの和は であるから、
(参考:貪欲法で確かめる。合併 はマトロイドなので、重みの大きい順に独立性を保つ辺を加える貪欲法で最大重み基が得られる。 を順に採用する。次の は 内の辺が 本になるので棄却し、 も同じ理由で棄却する。 は採用する。最後の は 内の辺が 本になるので棄却する。こうして上の が得られる。)
答え:
別解
の独立集合は、2 つの森の和集合で表せる辺集合である。
階数。 辺 は橋(頂点 7 は次数 1)なので、森に必ず入れられる。残りのグラフ (頂点 1〜6、辺 13 本)は 6 頂点なので、森 1 つにつき辺は高々 5 本である。したがって からは高々 10 本しか取れず、 となる。
10 本取れることは具体例で示す。 の辺 を 1 本ずつ葉として使い、 部分から辺集合 (道 5-1-4-3-2)と (木)を取る。これらは の互いに素な全域木 2 本である。これに と を 1 本ずつ加えると、 の互いに素な全域木 2 本になる。さらに を片方の森に加えれば 11 本の独立集合が得られる。よって である。
最大重みの基。 基は大きさ 11 で、必ず (重み 5)を含む。 の全辺の重みの和は である。したがって、 から 3 本の辺を除いて、残り 10 本が互いに素な全域木 2 本になるようにし、除く辺の重みの和を最小にすればよい。
頂点 6 の次数は で 3(辺 )である。全域木 2 本のそれぞれが頂点 6 に接する辺を使うので、残す辺のうち頂点 6 に接するものは 2 本以上必要である。つまり のうち除けるのは高々 1 本である。
重みの小さい辺は である。除く 3 本の重みの和は、 を除く場合の が最小である。 は頂点 6 の次数が 1 になるので不可。重みの和が 8 未満の組で、 と の両方を含まないものは他にない。
を除いたものが実際に可能なことは、上の分解で確認済みである。したがって最大重みは である。
答えは 。