Studies on hierarchies of complexity classes and its application to new evaluation methods for circuit design systems

2016 Fiscal Year Final Research Report

• Project/Area Number: 23500018
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Fundamental theory of informatics
• Research Institution: Hiroshima University
• Principal Investigator: IWAMOTO Chuzo 広島大学, 工学研究院, 教授 (60274495)
• Project Period (FY): 2011-04-28 – 2017-03-31
• Keywords: 計算の複雑さ

Outline of Final Research Achievements

It is strongly believed that in order to solve more difficult problems, we need more computational resources, such as space and time. Studies on hierarchies of complexity classes provide a theoretical evidence for such properties. In this research, we investigated the relationship between the depth and the number of nondeterministic gates of circuits. It was shown that every nondeterministic circuit family of depth polylog and size polynomial can be simulated by a nondeterministic circuit family of depth O(log n) and size polynomial by increasing nondeterministic gates polynomially. We also proved the NP-completeness and PSPACE-completeness of several combinatorial problems.

Free Research Field

情報学基礎