1994 Fiscal Year Annual Research Report
| Project/Area Number |
06680308
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
渡辺 治 東京工業大学, 大学院・情報理工学研究科, 助教授 (80158617)
|
|---|
| Keywords | NP型問題 / テストデータ生成 / 生成アルゴリズム / 時間計算量 |
|---|
| Research Abstract |
テストデータ生成問題の理論的な研究に関する枠組を作り上げ,その上で,どのようなNP型問題の,テストデータ生成が難しいのか,あるいはどのような点が難しいのかを明確にしてきた.
主要な成果としては,タイル詰め問題TILEとよばれるNP型問題のテストデータを,ある特定の確率分布(これは一様分布に近い)μに従って,生成することが,最も本質的であることをつきとめた.より正確にいうと,もし(TILE,μ)のテストデータ生成ができれば,すべてのNP探索問題とすべての妥当な入力分布に対して,テストデータ生成をすることができることを証明した.
|
