凸最適化・組合せ最適化の問題
頂点集合を とする完全グラフ の辺集合を とし、 を 上のグラフ的マトロイド(独立集合は森をなす辺集合)、 をその双対マトロイドとする。各辺 に重み を
で与え、辺集合 の重みを と定める。 の基の重みの最大値を求めよ。
この問題で使うもの
- 双対マトロイドと切り詰め(説明と入口の問題)
この問題を解けるようになるまで(38 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数の四則計算
- 分数のたし算・ひき算
- 分数のかけ算・わり算
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 正負の数の加法・減法
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 乗法公式による展開
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 掃き出し法と連立 1 次方程式
- 行列の階数と解の存在
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 組合せ
- グラフの次数と握手補題
- 最小全域木(クラスカル法・プリム法)
- マトロイドの独立集合・基・階数
- 貪欲法による最大重み基
- 双対マトロイドと切り詰め
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
技能「双対マトロイドと切り詰め」を使う。 の基は の基の補集合であることを利用しよう。
ヒント 2
なので、 の最大重み基は の最小重み基、すなわち の最小全域木の補集合になる。
ヒント 3
クラスカル法で辺を重みの小さい順に見ると、 が選ばれる。全辺の重みの和を求めて比べよう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
手順 1:双対マトロイドの基 双対マトロイド の基は、 の基の補集合 である。 は連結グラフ のグラフ的マトロイドなので、 の基は全域木(辺数 )であり、 の階数は
である。
手順 2:最大重み基は最小重み基の補集合 の基 の重みは
なので、これを最大にするには を最小にすればよい。つまり、 の最大重み基は の最小重み基(最小全域木)の補集合である。
手順 3:最小全域木を求める(クラスカル法) 辺を重みの小さい順に並べると
- を加える。
- を加える(閉路はできない)。
- を加える(頂点 が新たにつながる)。
これで辺が 本になり全域木 が得られた。重みは である。
手順 4:補集合の重み 全体の重みは
なので、 の最大重み基 の重みは
(直接計算しても である。)
よって、 の基の重みの最大値は である。
別解
の基は の基(全域木)の補集合である。 の辺は 6 本で全辺の重みの和は 。したがって の基の重みの最大値は 。
クラスカル法: 重みの小さい順に , , を採用すると、頂点 1,2,3,4 がすべて連結し 3 辺の全域木となる。最小全域木の重みは 。
よって求める最大値は 。補集合 の重みは で、これは の基(辺 3 本、)である。
検算: 全域木 16 個のうち、例えば の重みは 8 でより大きいので最小ではない。最小は 6 で、貪欲法の最適性による。