解法の説明は公式解説に任せるとして、いくつかの事実についての証明を書きます。 公式解説を見れてないのでどこが証明されてどこが証明されてないか分からない (もしかすると方針自体違うかも)。 治安が低いほど が大きいのが混乱の元なので、治安という言葉は全部 に置き換える。
使う辺を固定した場合に必要な警備員の数
使う辺を固定した場合 (= 廃止しない船を決めた場合) に必要な警備員の人数を考える。 まず、各船につき の警備員は明らかに必要である。 以降警備員と言ったら、これに追加して必要となる警備員のことを指すものとする。
を、 が 未満である頂点による誘導部分グラフと定義する。 すなわち、 である。 また、 の最大値を とする。 このとき、追加で必要な警備員の数は
\begin{align} W := \sum _ { s = 0 } ^ { S _ { \max } } L ( s ) \text{ の連結成分の個数 } \end{align}
である。
証明
セキュリティ条件を以下のように言い換える。
から への航路は の長さをもち、航路上で が線形に変化するものとする。 船は が増える方向に 進むたびに、その区画の中点に警備員を 人置き去りにしなければならない。 が減る方向に 進むと、そこを通るときに置き去りにした警備員を回収することができる。
必要性
人未満の警備員であらゆる客を輸送可能として矛盾を導く。 船は の小さい方に停泊しており、警備員は全ていずれかの島に待機しているとしてよい。
ここで、警備員に階級というパラメータを導入する。 階級は以下のような手順で定められる。
- 最初、全ての警備員は階級が未定である。
- の順に以下の操作を繰り返す。
- のすべての連結成分 について、 内の島に待機している階級が未定の警備員がいるなら 人選んで階級を と定める。
- 最後まで階級が未定だった警備員は階級 とする。
置き去りにする警備員を選ぶときは、常に船の中で階級が最小の警備員を選ぶものとしてよい。
主張
階級が の警備員は が 未満の領域にしか存在できない。
主張の証明
背理法を用いる。 階級が の警備員 を となる場所まで連れて行く手順が存在したとする。 そのような手順の中で が最小であり、その中で手数が最小のものをとる。 警備員 は最初 な場所に居るから、どこかで から に移動したことになる。 このとき置き去りにされた警備員は の階級以下の階級を持つはずだが、 以下とすると が最小になるように手順を選んだことに矛盾する。 したがって とは別の階級 の警備員が置き去りになっている。 しかし、階級 の警備員が 人で同じ場所に存在するためには、どちらかは のうち最初に自身が属していた連結成分から外に出ていることになる。 これは手順の最短性に矛盾する。
さて、警備員が全体で 人未満であるから、階級の割り当ての際に階級が未定の警備員が存在せず、新たに階級を割り当てられなかったようなタイミングが存在する。 それが のときであり、連結成分は だったとする。 すると、 内には階級が 以上の警備員が存在しない。 は全体集合ではないから ( )、 内から 外に客を運ぶことができる。 そのような手順において、船が から に移動する最初のタイミングを考える (客を運ぶので必ず存在)。 主張より、そのとき置き去りになる警備員の階級は 以上でなければならない。 しかし 内部にはそのような警備員は居ないから、 の外から警備員を連れてくる必要がある。 その警備員が に入るためにはまず船を 内から外に出す必要があり、そのような最初のタイミングを考えたのでこれは起こらない。 よって矛盾する。
十分性
各 と の各連結成分について、連結成分内の好きな場所に階級 の警備員を 人配置する。 このとき必要な警備員は 人となるが、これで任意の客を輸送できることを示す。
任意の と の連結成分 について、以下の命題が成り立つことを示せばよい。
- 内の任意の 点について、階級が 以下の警備員だけで客を輸送可能である
についての数学的帰納法を用いる。
客を輸送した後にその手順を逆回しにして警備員を初期配置に戻せることを考えると、 内の任意の辺について、その辺に沿って双方向に客を輸送できることを示せばいい。 さらに、仮想的な客を輸送した後に逆回しで本来の客を輸送することを考えれば、辺についてどちらか一方の向きに輸送できれば十分である。 である 点をつなぐ辺の間で輸送できることは明らか。 また、 である 点をつなぐ辺の間で輸送できることは帰納法の仮定から従う。 したがって、 なる点 をつなぐ辺に沿った輸送が問題となる。
の順に以下をおこなう。
- の連結成分のうち が属するものを とする。
- 内に階級 の警備員 が存在するので、その警備員を客に見立て、階級 以下の警備員だけで を に運ぶ。これは帰納法の仮定から実行可能である。
- 手順を逆回しにして、階級 以下の警備員を初期位置に戻す。
すると階級 の警備員が に集まる。 これは丁度 人なので、これを使って客を乗せた船を から に移動させることができる。
以上をまとめると、各船に常駐する警備員も含めて必要な警備員の数は
\begin{align} \sum _ { \lbrace x , y \rbrace \in E } \min ( S _ x , S _ y ) + \sum _ { s = 0 } ^ { S _ { \max } } L ( s ) \text{ の連結成分の個数 } \quad \cdots \bigstar \end{align}
となる。
使う辺を木としてよい理由
連結性は明らかに必要なので、連結だが木ではないような辺を採用した場合に、それが最適解にならないことを示す。 辺のコストを とした場合の、採用した辺だけでの最小全域木を作る。 すると、 における第 項は減少する一方で第 項は変わらない。 これはクラスカル法を考えることで証明できる。 よってこの木を採用した方が得である。
注意: より得な木の選び方がある可能性は否定されないので、 についての最小全域木は答えにはならない
使う辺が木の場合の の変形
使う辺を木にした場合、 はより扱いやすい形に変形できる。 が最大となる点を選び、それを根とする根付き木にする。 の第 項は、 のうち親である方に支払わせる。 第 項は、各連結成分の LCA の親に支払わせる。 すると、各頂点 の支払いは丁度 となることが分かる。 よって である。
貪欲法の証明
頂点の辺重み付き無向グラフがあり、各辺は赤または青に塗られている。 赤辺だけで連結であり、青辺だけでも連結とする。 以下の用語を定義する。
- -ST : 赤辺を丁度 本使った全域木
- -MST : 重み最小の -ST
仮定より、任意の について -ST , -MST は存在する。
補題
任意の と -MST について、ある -MST が存在して、 とのハミング距離が 。
証明
ハミング距離が最小となる -MST をとり、 とする。 グラフの全域木全体はマトロイドであり、以下の交換公理が成り立つ。
任意の に対し、ある が存在し、 と はいずれも全域木となる。
ここで を赤辺に選ぶことが必ずできる。 そのとき が赤辺になったとすると、 は -ST であり、 は -ST である。 しかしこれらのコストの和は変わっていないから、それぞれ -MST、-MST になっていることが分かる。 は よりも とのハミング距離が小さいから、 の取り方に矛盾する。 したがって は必ず青辺となり、 は -ST となる。 同様の議論によりこれは -MST でもあり、 は とのハミング距離が であるから求める結果を得た。
元の問題 (警備員) においては、元からある船を青辺、新たに追加する船を赤辺と思って上記の補題を適用すれば、貪欲法の証明が得られる。