Proof of hierarchies on circuit complexities based on size and depth, and its application to evaluation of automated design systems

2009 Fiscal Year Self-evaluation Report

• Project/Area Number: 19500014
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Fundamental theory of informatics
• Research Institution: Hiroshima University
• Principal Investigator: IWAMOTO Chuzo Hiroshima University, 大学院・工学研究科, 准教授 (60274495)
• Project Period (FY): 2007 – 2010
• Keywords: 計算の複雑さ

Research Abstract

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

Research Products

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