| 研究課題/領域番号 |
26870011
|
|---|
| 研究機関 | 電気通信大学 |
|---|
研究代表者 |
戸田 貴久 電気通信大学, 大学院情報理工学研究科, 助教 (50451159)
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2018-03-31
|
| キーワード | AllSAT / モデル列挙 / 二分決定グラフ / SATソルバー / 論理関数の双対化 |
|---|
| 研究実績の概要 |
本研究では、決定グラフと呼ばれるデータ構造を用いて、網羅的な計算問題に対する実用的な計算技法の開発を目指している。本研究課題の中核として位置づけている、「論理関数の双対化」、および「All Solutions SAT問題（AllSAT問題）」に関する研究成果をそれぞれ論文にまとめ、論文誌で出版した。さらに、これらの結果を基礎として、モデル検査への応用に向けた研究結果も論文にまとめ、論文誌に採録されることが決定した。
本研究課題の基礎をなす成果（極小ヒッティング集合の列挙に関して以前私が提案した手法）が、最近出版された他の研究グループによるサーベイ論文（Gainer-Dewar, Andrew, and Paola Vera-Licona. "The minimal hitting set generation problem: algorithms and computation." SIAM Journal on Discrete Mathematics 31.1 (2017): 63-100）の中で最も優れた手法の１つであると結論され、高く評価されている。
国内の制約充足分野の主要な研究発表の場となっている人工知能学会主催人工知能基本問題研究会において招待講演を引き受けた。この回の研究会は、アルゴリズム研究会との共催であり、人工知能、制約充足分野、アルゴリズム分野などに所属する多くの研究者に対して、これまでの研究成果を発表した。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
本研究計画はおおむね順調に進展している。対象としていたそれぞれの研究課題に関して研究成果が得られた。また、発展的な応用研究に向けて着実に研究を進めている。開発したプログラムや関連資料などは誰でも利用できる形で一般に公開している。
|
| 今後の研究の推進方策 |
これまでの研究を基礎にした応用研究の成果を論文誌に投稿している。採録が決定しているので、出版に向けて最終調整を行う。これまでの研究成果を整理する。また、追加の計算機実験を行い、研究の完成度を高める。
|
| 次年度使用額が生じた理由 |
補助事業の当初の目的はおおむね達成したが、研究をまとめるにあたり、雑誌に投稿した論文の掲載料や出張旅費など、年度をまたいで必要となる見込みとなったため、必要額を次年度に残すことにした。
|
| 次年度使用額の使用計画 |
雑誌論文の掲載料、学会発表などの出張旅費など研究をまとめたり、追加の計算機実験を行うための必要な周辺機器などの購入代金などに使用する。
|
