Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2011: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2009: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
|
Research Abstract |
The aim of this research is to establish the methods for analyzing the computational complexity in various computational models. Especially, this research pursues the use of computers as a central tool for the analysis. As a result, we obtain many significant results, of which we list some.(i) We determine the exact complexity for detecting clique structure of a graph by constant depth Boolean circuits,(ii) We develop a new method for analyzing the description length of Boolean functions in polynomial threshold representation based on computer analysis, and (iii) We determine the exact value of the maximum sensitivity of CNF formulas with bounded clause length.
|