2015 Fiscal Year Annual Research Report
出力パターン数を計算量として捉えた,新しいしきい値回路解析技術の確立
Project/Area Number |
25330005
|
Research Institution | Yamagata University |
Principal Investigator |
内沢 啓 山形大学, 理工学研究科, 准教授 (90510248)
|
Project Period (FY) |
2013-04-01 – 2016-03-31
|
Keywords | 計算複雑さ / しきい値回路 / 論理回路 / NPI / UP |
Outline of Annual Research Achievements |
本年度は主に,閉路を持つ論理回路の出力パターンに着目し研究を行った.閉路を持つ論理回路は,通常の閉路のない組合せ論理回路と異なり,回路内の各素子の出力が初期の出力パターンとして与えられ,その出力パターンが離散時間の経過にしたがって移り変わる計算モデルである.この計算モデルの下,与えられた閉路を持つ論理回路が生成しうる出力パターンに関連するいくつかの決定問題に着目し,その計算複雑さを調査した.その結果,それらの問題が他の多くの決定問題とは異なる,特異な計算複雑さを持つ可能性があることを示唆する結果を得た. 具体的には,閉路のある論理回路の計算モデルの下で,(1)論理回路,及びその回路に対する2つの初期出力パターンが与えられたとき,それら初期出力パターンが時間の経過とともに合流するか?,(2)論理回路,1つの初期出力パターン,及び整数 k が与えられたとき,その出力パターンの移り変わりによって構成されるサイクルの長さはk以上か?,なる2つの決定問題を考え,(1)の問題が計算量クラスUPに属し,(2)の問題が計算量クラスUP及びcoUPに属することを明らかにした.この成果はこれら2つの決定問題がNPに属する一方で,NP完全ではなく,また多項式時間で解くこともできない,NPIと呼ばれる特殊な計算量クラスに属する可能性を示唆している.このような性質を持つ問題は計算量理論の分野で非常に重要な役割を持つが,その候補となりうる問題はこれまでに数例しか見つかっておらず,非常に興味深い成果と言える.
|
-
-
[Journal Article] Swapping labeled tokens on graphs2015
Author(s)
Katsuhisa Yamanaka, Erik D. Demaine, Takehiro Ito, Jun Kawahara, Masashi Kiyomi, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Kei Uchizawa, Takeaki Uno
-
Journal Title
Theoretical Computer Science
Volume: 586
Pages: 81-94
DOI
Peer Reviewed / Int'l Joint Research
-
[Journal Article] Competitive Diffusion on Weighted Graphs2015
Author(s)
Takehiro Ito, Yota Otachi, Toshiki Saitoh, Hisayuki Satoh, Akira Suzuki, Kei Uchizawa, Ryuhei Uehara, Katsuhisa Yamanaka, Xiao Zhou
-
Journal Title
Proc. of the 14th International Symposium on Algorithms and Data Structures (WADS 2015), LNCS
Volume: 9214
Pages: 422-433
DOI
Peer Reviewed
-
-
-
-
-