素子数と段数に基づく回路計算量の階層性の証明と自動設計システムの評価への応用

2009 年度 自己評価報告書

• 研究課題/領域番号: 19500014
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 情報学基礎
• 研究機関: 広島大学
• 研究代表者: 岩本 宙造 広島大学, 大学院・工学研究科, 准教授 (60274495)
• 研究期間 (年度): 2007 – 2010
• キーワード: 計算の複雑さ

研究概要

記憶領域や計算時間といった計算資源を,より多く用いれば,より難しい関数の計算や,より多くの言語の受理が可能になると考えられる.この性質を理論的に証明したものが,計算量クラスの階層定理である.本研究では,(1)計算量クラスの階層定理を証明し,(2)その定理から,計算資源量の最適性が証明できる具体的関数を人工的に作成する.また,(3)作成した関数を,自動設計システムなどの性能評価に役立てる.

研究成果

• [雑誌論文] An Efficient Reconstruction Algorithm for Restricted Domino Tilings (2009)
  • 著者名/発表者名: Chuzo Iwamoto, Reijiro Mikamo
  • 雑誌名: The Transactions of the Institute of Electronics, Information and Communication Engineers D-I Vol. J92-D, No. 6(in Japanese) ページ: 758-766
• [雑誌論文] A Recursive Padding Technique on Nondeterministic Cellular Automata (2008)
  • 著者名/発表者名: Chuzo Iwamoto, Harumasa Yoneda, Kenichi Morita, Katsunobu Imai
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol. E91-A, No. 9 ページ: 2335-2340
• [雑誌論文] Translational Lemmas for DLOGTIME-uniform Circuits, Alternating TMs, and PRAMs (2007)
  • 著者名/発表者名: Chuzo Iwamoto, Naoki Hatayama, Yoshiaki Nakashiba, Kenichi Morita, Katsunobu Imai
  • 雑誌名: Acta Informatica Vol. 44, No. 5 ページ: 345-359
• [雑誌論文] A Tight Space-Hierarchy Theorem for Nondeterministic Turing Machines
  • 著者名/発表者名: Chuzo Iwamoto, Daisuke Tachibana, Seiki Tokunaga, Kenichi Morita
  • 雑誌名: The Transactions of the Institute of Electronics, Information and Communication Engineers D-I (to appear)
• [学会発表] Computational Complexity of Cast Puzzles (2009)
  • 著者名/発表者名: Chuzo Iwamoto, Kento Sasaki, Kenji Nishio, Kenichi Morita
  • 学会等名: Proceedings of the 20th International Symposium on Algorithms and Computation (ISAAC 2009) (Lecture Notes in Computer Science 5878)
  • 発表場所: Hawaii(発表)
  • 年月日: 2009-12-16
• [学会発表] A Time Hierarchy Theorem for Nondeterministic Cellular Automata (2007)
  • 著者名/発表者名: Chuzo Iwamoto, Harumasa Yoneda, Kenichi Morita, Katsunobu Imai
  • 学会等名: Proceedings of the 4th Annual Conference on Theory and Applications of Models of Computation (Lecture Notes in Computer Science 4484)
  • 発表場所: Shanghai, China(発表)
  • 年月日: 2007-05-25