Test Instance Generation for NPSearch Problems
Project/Area Number  06680308 
Research Category 
GrantinAid for General Scientific Research (C)

Allocation Type  Singleyear Grants 
Research Field 
計算機科学

Research Institution  TOKYO INSTITUTE OF TECHNOLOGY 
Principal Investigator 
WATANABE Osamu Tokyo Institute of Technology, Graduate School of Information Science and Engineering, Associate Professor, 大学院・情報理工学研究科, 助教授 (80158617)

Project Period (FY) 
1994 – 1995

Project Status 
Completed(Fiscal Year 1995)

Budget Amount *help 
¥1,300,000 (Direct Cost : ¥1,300,000)
Fiscal Year 1995 : ¥400,000 (Direct Cost : ¥400,000)
Fiscal Year 1994 : ¥900,000 (Direct Cost : ¥900,000)

Keywords  NP Problem / Search Algoritum / Algorithm Test / Test Instance Generation / AverageCase Complexity / NP最適化問題 / NP型問題 / 生成アルゴリズム / 時間計算量 
Research Abstract 
In this project, we first established a mathematical framework for discussing test instance generation problems and the intrinsic difficulty of such problems. Some of the essential points were found through this investigation. For example, we showed that the test instance generation for Tiling Problem under a certain uniform distribution is essential for all test instance generation problems. More specifically, we showed the following result : if the test instance generation for Tiling Problem under TILE this uniform distribution is feasible, then test instance generation is feasible for every NP search problem and every reasonable distribution. This result and the framework is summarized in [1]. In this theoretical framework and using several technical results, we investigated test instance generation for some concrete NP search problem. We consider the test instance generation for SAT,Satisfiability Problem, under a certain uniform distribution. We proposed some test instance generation algorithms, and proved their effectiveness. We then investigated their performance experimentally. These results are now being summarized for a technical paper. On the other hand, the averagecase complexity of NP and related problems is also investigated. We found some gap between NP search problems and NP optimization problems. In fact, we were able to characterize this difference in terms of the difficulty of generating (test) instances for those problems. This result is summarized in [2].

Report
(3results)
Research Output
(6results)