2002 Fiscal Year Annual Research Report
| Project/Area Number |
13640139
|
|---|
| Research Institution | Nihon University |
|---|
Principal Investigator |
戸田 誠之助 日本大学, 文理学部, 教授 (90172163)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
陳 致中 東京電機大学, 理工学部, 助教授 (00242933)
谷 聖一 日本大学, 文理学部, 助教授 (70266708)
夜久 竹夫 日本大学, 文理学部, 教授 (90102821)
|
|---|
| Keywords | 計算量理論 / グラフ理論 / 絡み目 / 同型写真像 / 多項式時間 / マッチング / 近似アルゴリズム |
|---|
| Research Abstract |
本研究は,グラフ理論的な計算問題や絡み目に関係した計算問題の計算量を解析することを目的としている.以下,本年度の主な研究成果を述べる.(1)任意に与えられた二つの部分k-木(Partial k-tree)に対して,それらの間の同型写像の個数がO(n^<k+4>)時間で計算可能であることを示した.ここで,kは木幅(tree-width)を表し,nは頂点の個数を表す.(2)2次元格子上の単純道(self-avoiding walk)の個数を求める問題に関して,2次元格子に対してある種の系統的な制限を施した場合には#P-完全となることを示した.本研究は現在も継続中である.(3)arborescent linkに対する多項式時間アルゴリズムを構成し,そのアルゴリズムに関する算機実験を行った.その結果,標準的なダイアグラムに表現された2橋絡み目ダイアグラムとclosed 3-braid絡み目ダイアグラムが入力されると,それらのジョーンズ多項式を線形時間で決定するアルゴリズムを開発することに成功した.(4)絡み目の非自明性判定問題を解く定数ラウンド対話型証明系が存在することを示すことによって,この問題がNP-完全とはなり得ない根拠を提示した.(5)NMRによって計測されるスペクトルデータの解析を定式化したある種の制約が付いた二部グラフ上の最大重みマッチング問題に対して,MAX SNP-困難となることを示すとともに,近似アルゴリズムを提案し,その近似率に関する理論的かつ実験的な性能解析を行った.
|
Research Products
(4 results)
-
[Publications] 名古屋, 谷, 戸田: "グラフ同型写像の数え上げ問題に対するアルゴリズムについて"電子情報通信学会論文誌. Vol.J85-D-1 No.5. 424-435 (2002)
-
[Publications] 原, 谷, 山本: "Anborescent絡み目に対するジョーンズ多項式計算アルゴリズム"情報技術レターズ. Vol.1. 16-17 (2002)
-
[Publications] T.Motohashi, K.Tsuchido, T.Yaku: "Attribute graph for tables and their algorithms"ソフトウェア工学の基礎(近代科学社). 9. 183-186 (2002)
-
[Publications] Z.Z.Chen et al.: "Better Approximation Algorithms for NMR Spectral Peak Assignment"Lecture Notes in Computer Science. Vol.2452. 82-96 (2002)
