1998 Fiscal Year Annual Research Report
| Project/Area Number |
09640296
|
|---|
| Research Institution | Nihon University, College of Humanities and Sciences |
|---|
Principal Investigator |
戸田 誠之助 日本大学, 文理学部, 助教授 (90172163)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
谷 聖一 日本大学, 文理学部, 講師 (70266708)
斉藤 明 日本大学, 文理学部, 助教授 (90186924)
和手 正道 日本大学, 文理学部, 教授 (60059475)
夜久 竹夫 日本大学, 文理学部, 教授 (90102821)
|
|---|
| Keywords | アルゴリズム / 計算量 / グラフ理論 / 分割幅 / 到達可能性 / 同型性 / ハミルトン性 |
|---|
| Research Abstract |
本研究では,無向グラフならびに有向グラフの到達可能性判定問題の領域計算量の解析を軸にしながら,グラフ論的計算問題に関する計算量の解析を行った.到達可能性判定問題については,分割幅と呼ばれるグラフの不変量を新たに導入し,分割幅がkの任意のグラフGが与えられたとき,このグラフに対する到達可能性判定問題が決定性Ο(k^2log_2n)領域で判定可能であることを示した.また更に,任意のグラフに対して,その分割幅がpath-width以下であることを示した.これらの結果によって,path-widthがkのグラフに対しても到達可能性判定問題が決定性Ο(k^2log_2n)領域で判定可能であることを示した.一方,この結果の一般化として,到達可能性判定問題の領域計算量とtree-widthとの関係や平面グラフに関する分析を試みたが,本研究期間中には有意義な結果は得られなかった.この研究は現在も継続中である.次に,二つのグラフの間の同型写像の個数を計算する問題の時間計算量の分析を行い,tree-widthがあらかじめ与えられた定数で抑えられたグラフに対して,この問題が多項式時間計算可能であることを示した.この結果の応用として,同型性判定問題についても従来の性能を改善したアルゴリズムを設計することができた.また更に,二つのグラフが同型であるとき,それらの間の同型写像を等確率で生成する多項式時間アルゴリズムも設計できた.一方,グラフ論的計算問題の計算量を分析するための基礎研究として,グラフのハミルトン性について研究を行った.この研究では,ハミルトン性を維持する閉包操作として知られているRyjacek閉包を拡張するものとして,新たにκ-閉包という概念を導入し,3-閉包がハミルトン連結性を保存することを証明した.更に,ハミルトン性に関する一つの尺度として,連結グラフGの最長パスの位数p(G)と最長サイクルの位数c(G)の差p(G)-c(G)について考察し,この不変量の挙動を詳しく分析している.
|
Research Products
(6 results)
-
[Publications] 垂井 淳: "到達可能性判定問題の計算量について" 電子情報通信学会技術研究報告書. COMP 98-23. 17-24 (1998)
-
[Publications] 名古屋 孝幸: "グラフ同型写像の数え上げ問題に対するアルゴリズム" 電子情報通信学会技術研究報告書. COMP 98-24. 25-33 (1998)
-
[Publications] 斉藤 明: "Long paths, long cycles and their relative length" J.Groaph Theory. Vol.30. 91-99 (1999)
-
[Publications] B.Bolobas: "Closure and hamiltonian-connectivity of claw-free graphs" Discrete Mathematics. Vol.195. 67-80 (1999)
-
[Publications] A.Adachi: "Program visualization using attribute graph grammar" CDROM Proc.IFIP World Computer Congress 98. (1998)
-
[Publications] K.Uemura: "Induced permutation automate and coverings of strongly connected. automata" Discrete Applied Mathematics. 掲載予定.
