凸最適化・組合せ最適化の問題
を有限集合、 を の部分集合の族とし、 は次の 3 条件を満たすマトロイドとする。
- (I1)
- (I2) かつ ならば
- (I3) かつ ならば、ある が存在して
の元を独立集合、包含関係について極大な独立集合を基という。すべての基の要素数は等しい(これを の階数 とする)ことは用いてよい。
重み が単射である(相異なる要素の重みは相異なる)とし、基 の重みを と定める。このとき、重み を最大にする基はただ 1 つであることを証明せよ。
この問題で使うもの
- マトロイドの独立集合・基・階数(説明と入口の問題)
- 貪欲法による最大重み基(説明と入口の問題)
この問題を解けるようになるまで(37 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数の四則計算
- 分数のたし算・ひき算
- 分数のかけ算・わり算
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 正負の数の加法・減法
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 乗法公式による展開
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 掃き出し法と連立 1 次方程式
- 行列の階数と解の存在
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 組合せ
- グラフの次数と握手補題
- 最小全域木(クラスカル法・プリム法)
- マトロイドの独立集合・基・階数
- 貪欲法による最大重み基
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
背理法で、相異なる 2 つの最大重み基 があるとして、どちらかより重い基を作ることを目指しましょう。
ヒント 2
対称差 の中で重みが最大の要素 に注目します。 として、 に を入れて代わりに の要素を 1 つ取り除いた基を作れれば十分です。
ヒント 3
は独立です。(I3) を使って の要素を足し、要素数 まで増やすと、得られる基は からちょうど 1 つの要素を除いたものになります。除かれる要素がどこに属するかを調べましょう。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
最大重み基の存在(有限性による)に触れ、相異なる最大重み基 を仮定する背理法の枠組みを立てている(1 点)
対称差 が空でないことと、その中で重み最大の要素 が一意に定まることを述べ、一般性を失わず としている(2 点)
が独立であることを (I2) から示し、(I3) で の要素を加えて基 を構成している(3 点)
で、除かれた が に属し であることを、要素数と包含関係から示している(2 点)
から を導いて矛盾とし、最大重み基の一意性を結論している(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
存在。 は有限なので基は有限個であり、(I1) より独立集合が存在し、有限集合では任意の独立集合を含む極大な独立集合がとれるので基は少なくとも 1 つある。よって の最大値をとる基(最大重み基)が存在する。示すべきはその一意性である。
一意性(背理法)。 相異なる最大重み基 が存在すると仮定して矛盾を導く。 の最大値を とし、 とする。
であり、ともに要素数 なので、対称差 は空でない。 は単射なので、 の中で重みが最大の要素 がただ 1 つ定まる。 と の役割を入れ替えても議論は変わらないので、 としてよい。
基 の構成。 とおく。 で は独立なので、(I2) より 。 である。
である限り、(I3) を独立集合 と に適用して で となるものをとる。要素数は 1 ずつ増えるので、有限回で となる独立集合 が得られる。 は要素数 の独立集合なので基である(これを真に含む独立集合 があれば、 を含む基の要素数が より大きくなり、基の要素数がすべて であることに反する)。作り方から
である( による)。
なので 、一方 。したがって となる要素 がちょうど 1 つある。 より なので 。また より 。よって で、特に かつ 。
矛盾。 は の中で重み最大で、 は単射、 なので 。したがって
これは が基であり、 が基の重みの最大値であることに矛盾する。
よって相異なる最大重み基は存在せず、重み を最大にする基はただ 1 つである。