| 研究概要 |
テストデータ生成問題の理論的な研究に関する枠組を作り上げ,その上で,どのようなNP型問題の,テストデータ生成が難しいのか,あるいはどのような点が難しいのかを明確にしてきた.
主要な成果としては,タイル詰め問題TILEとよばれるNP型問題のテストデータを,ある特定の確率分布(これは一様分布に近い)μに従って,生成することが,最も本質的であることをつきとめた.より正確にいうと,もし(TILE,μ)のテストデータ生成ができれば,すべてのNP探索問題とすべての妥当な入力分布に対して,テストデータ生成をすることができることを証明した.
|
