| 研究課題/領域番号 |
18K11164
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 兵庫県立大学 (2019-2022)
京都大学 (2018) |
|---|
研究代表者 |
玉置 卓 兵庫県立大学, 大学院情報科学研究科, 准教授 (40432413)
|
|---|
| 研究期間 (年度) |
2018-04-01 – 2023-03-31
|
| 研究課題ステータス |
完了 (2022年度)
|
| 配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2021年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2020年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2019年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2018年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | 厳密アルゴリズム / 近似アルゴリズム / 計算困難 / 制約充足問題 / 充足可能性問題 / 量子計算 / 指数時間アルゴリズム / 計算複雑性 |
|---|
| 研究成果の概要 |
制約充足問題は様々な分野に現れる普遍的な組合せ問題である. 制約充足問題は, その記述能力の高さゆえに, NP困難と呼ばれる計算困難なクラスに属している. 本課題では, 制約充足問題に対する効率の良い厳密および近似アルゴリズムの設計とその解析を行った. 結果として, 重み付対称素子を持つ限定段数回路の充足可能性問題, 交差数でパラメタ付けられた最大カット問題に対する改良された厳密アルゴリズムを得た. また, 最小線形配置問題に対して, 高階固有値を利用した近似アルゴリズムも与えた.
|
| 研究成果の学術的意義や社会的意義 |
制約充足問題は, 普遍的な組合せ問題として, 様々な分野 (理論計算機科学, 数理論理学, 人工知能, オペレーションズリサーチ, 離散数学, 統計物理など) で研究されている. 本課題の観点であるアルゴリズム理論・計算理論においては, 最も基本的な研究対象のひとつである. 本研究の成果は学術的にも社会的にも広範囲に影響があると考えられる.
|
