|
非加法型評価に対応する統一的動的計画モデルの基盤は、ほぼ完成の域に近づいた。本研究では有限モデルのみの扱いではあるが、最新の非決定性動的計画をも包含し、多様な評価関数に対応している。このモデルにおいては、様々な動的計画問題が推移法則、評価関数、期待値の型などによって分類され、単一の抽象モデルを頂点とする階層構造に類別される。そして、上位の層に与えられる解法はその下位モデルをすべて解きうるように設計されている。最上位のモデルには汎用的な列挙法が極めて厳密な形で与えられ、理論上はすべてのモデルに対する求解を実現している。この事実は非常に重要であり、今後より多くの再帰的解法の導出・検証を支えるものである。
さらに前述の結果を受けて、動的計画問題処理システムの開発を進めた。これは動的計画問題に対する汎用ソフト不在という現実を打破するためのものである。昨年のシステムをもとにインテリジェントな解法選択の機能を付加した。実際いくつかの効率的な再帰的解法が実装され、与えられた問題に対し自動的に適切な解法が選択される。また、政策やツリーなどの様々な解表現にも対応させた。利用者の欲する型で自由に解を得ることが可能となった。
この動的計画問題処理システムをもとに、インターネット上で動的計画問題を解くシステムを試作した。これは研究代表者が開発中のWebにおける数理的手法共有システムを利用している。今後、動的計算問題処理システム自体の公開はもちろん、より容易な利用環境を目指し、積極的にWeb上での動的計画的ツールを充実させていく必要があろう。
|
