最小节点ランキング全域木问题について.ppt

最小節点ランキング全域木問題について 豊橋技術科学大学知識情報工学系 増山繁 節点ランキング 最小節点ランキング問題 最小節点ランキング全域木問題 センサネットワークにおけるデータ収集プロセッサの配置 最小節点ランキング全域木問題に関係ある問題 節点ランキング問題 辺ランキング問題 最小辺ランキング全域木問題 節点ランキングと辺ランキング 最小辺ランキング全域木問題 最小節点ランキング全域木問題に関係ある問題 節点ランキング問題 　一般のグラフ???NP困難[Pothen, 1988] 多項式時間アルゴリズム 木 [Schaffer, 1990] 区間グラフ，置換グラフ，台形グラフ[Deogun et. al., 1999] 　k-木グラフ [Bodlaender et. al., 1998] 辺ランキング問題 　一般のグラフ???NP困難[Lam, Yue, 1998] 多項式アルゴリズム 　木 [Torre et. al., 1995] 最小節点ランキング全域木問題に関係ある問題 最小辺ランキング全域木問題 　NP困難である 　近似アルゴリズムが開発されている [Makino, Uno and Ibaraki, 2001] MVRSTのNP困難性の証明 3次元マッチング問題（NP完全） 決定問題版＊のMVRST 問題例の作成 ３次元マッチング問題 の問題例 x = (X,Y,Z,S) 決定問題版のMVRST の問題例 f(x) = (G=(V,E) , k) 問題例の作成 ここでは決定問題版のMVRST の代わりに その部分クラスである 4-rankable spanning tree問題（4RST)： f(x) = (G=(V,E) , ４) 帰着のためのgadget 帰着のためのgadget 帰着されたグラフ中の4-rankable spanning tree 近似アルゴリズム 与えられたグラフをG=(V,E)とする。 1. V　の各要素vに対して、ｖからGの他のすべての節点に対する最短路を求める。 　　　　　　　　　　　　 但し、d(u,v)はu、vの距離 2. となるsを選び、ｓから幅優先探索を行い木Tを得、それに対し　　　　を求める。 区間グラフ上でMVRSTを 　　で求めるアルゴリズム 区間グラフ 区間グラフにおいて、MVRSTを解く多項式時間アルゴリズムを可能にしている性質 直径P*をうまくとると、P*上にないすべての節点はP*上のいずれかの節点と枝で結ばれている。 長さ4以上の閉路は必ず弦を含む(区間グラフは Chordal graph） 。　　 区間グラフにおいて、MVRSTを解く多項式時間アルゴリズムを可能にしている性質 直径P*をうまくとると、P*上にないすべての節点はP*上のいずれかの節点と枝で結ばれている。 長さ4以上の閉路は必ず弦を含む(区間グラフは Chordal graph） 。　　 アルゴリズムの方針 Step 1. グラフのある条件を満たす直径を求める Step 2. 直径に属さない節点を直径に属する 節点に辺で接続して全域木を構成する Step 3. 全域木構成に使う辺を決定するため， 　　　　　動的計画法を用いて部分グラフの 　　　　　ランキングを求める 　　　　　その際、P*上の節点を1個含む部分グラフ、2個含む部分グラフ、…の順に動的計画法を用いて構成していく。 直径を求める 直径P*に属さないすべての節点はP*の節点に枝で結ばれていることの説明 パスに関する節点ランキング 直径を求める V’ だけの場合 区間グラフの最小節点ランキング全域木 アルゴリズムの方針 アルゴリズムの方針 アルゴリズムの方針 アルゴリズムの方針 アルゴリズムの方針 動的計画法 P*上における2連続節点からなる部分グラフ P*上における2連続節点からなる部分グラフ P*上における2連続節点からなる部分グラフ P*上における2連続節点からなる部分グラフ P*上における3連続節点からなる部分グラフ P*上における3連続節点からなる部分グラフ P*上における3連続節点からなる部分グラフ 2連結グラフ 動的計画法 動的計画法 結果 計算量 外平面グラフ上でMVRSTを多項式時間で求めるアルゴリズム アルゴリズムの方針 木の最小節点ランキング 木の最小節点ランキング 木の最小節点ランキング 外平面グラフにおける，最小節点ランキング アルゴリズムの概要 Step 1.各部分グラフ G[x,y;z,w], x,y,z,w=1,???,n に