k-徳山研究室.ppt

第24章　施設配置第25章　k-メディアン 徳山研究室　M1　　鈴木　晶子 発表の流れ Part1.施設配置 容量制限なしメトリック施設配置 プライマルデュアル法に基づくアルゴリズム コストに関する定理 Part2.k-メディアン メトリック k-メディアン 実行可能（小数）解を求めるアルゴリズム 乱数使用ラウンディング 近似率と計算時間 　　クラスタリング問題 Part1. 施設配置 容量制限なしメトリック施設配置 入力 2部グラフG 施設の集合F 都市の集合C 施設 i の開設コストfi 都市j の、施設i への接続（利用）コストcij （接続コストは三角不等式を満たすものとする） 出力 開設する施設I?F 各都市の、開設施設への割当φ: C→I 開設コストと接続コストの総和が最小になるようにする 問題の定式化 LP緩和と双対問題 相補条件 主相補条件 任意の　　　　　　　　に対して、 開設コストを支払う都市を直接接続の都市、支払わない都市を間接接続の都市とする。このとき、 間接接続の都市 j に対して、 任意の　　　　に対して、 双対相補条件 任意の　　　　に対して、 任意の　　　　　　　　に対して、 相補条件のイメージ 各都市が、施設への接続と施設の開設にコストを払うと考える 都市 j が支払う全コスト： 施設 i に対して、辺(i, j)を利用する接続のコスト： 施設 i の開設に対する j の貢献分： 相補条件のイメージ 各都市が支払うコストは2種類 施設を開設するためのコスト 施設に接続するためのコスト 都市 j は、接続する施設に対してのみ、開設費用を支払う 施設 i の開設コストは、この施設に接続されている都市によって完全に支払われている アルゴリズム24.2―フェーズ1 時間0からスタート はじめ、各都市は未接続の状態にあるとする 各都市ｊ に対して、双対変数αj の値を単位時間あたり1ずつ増加させる アルゴリズム24.2―フェーズ1 ある辺(i, j)でαj =cij となったとする。 このとき、辺(i, j)はタイトになったと宣言する。 これ以降、βij も一様に増加される。 βij ＞0である辺は特別な辺と宣言される。 アルゴリズム24.2―フェーズ1 施設 i は、 　のとき完済されたといい、 この施設を仮想的開設と宣言する。 仮想的開設の施設にタイトな辺でつながっている未接続の都市は、既接続と宣言される。 施設 i は、これらの都市のそれぞれに対して接続立証人と宣言する。 すべての都市が既接続になったら、フェーズ1は終了。 アルゴリズム24.2―フェーズ2 仮想的開設の施設の集合をFt とする。 特別な辺全体からなるGの部分グラフをTとする。 uとvとを結ぶ長さ高々2のパスがTに存在するとき、そのような辺(u, v)からなるグラフをT2とする。 Ft で誘導されるT2の部分グラフをHとする。 アルゴリズム24.2―フェーズ2 Hの極大独立集合Iを求める。 I に含まれる施設を全て開設と宣言する。 各都市 j に対して、 と定義する。 アルゴリズム24.2―フェーズ2 各都市をI に割り当てる関数φを求める。 都市j について、3通りの場合を考える。 施設　　　　が開設されている場合 　　のどの施設も開設されていない場合 j の接続立証人i’ について 　　　のとき 　　　のとき φ:C→Iの求め方 施設　　　　が開設されている場合 　　　　　とする 都市j は施設iに直接接続と宣言される 2-1.　 　のどの施設も開設されていない場合で、 j の接続立証人i’が　　　　を満たす場合 　　　　　とする 都市j は施設i に 直接接続と宣言される φ:C→Iの求め方 2-2. 　 　のどの施設も開設されていない場合で、 j の接続立証人i’が　　　　を満たす場合 i’ は仮想的開設の施設 I はグラフHの極大独立集合より、　　　　となるi’の隣接点i が存在する そこで、　　　　　　とし、都市j は施設i に間接接続と宣言される 定理24.7 アルゴリズムで求められた主問題の解と双対問題の解は、以下の不等式を満たす。 補題24.4 双対変数　　 について、　　　　　　　　　　とする。 　　：都市 j が支払う、施設開設コスト 　　：都市 j が支払う、開設施設への接続コスト このとき　　　　とすれば、以下が成立する。 補題24.4の証明 都市 j が支払う施設開設コストは、 j が 直接接続の都市であるとき： 間接接続の都市であるとき： 一方、開設する施設 i について i は仮想