| 研究課題/領域番号 |
26730009
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
情報学基礎理論
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
吉田 悠一 国立情報学研究所, 情報学プリンシプル研究系, 准教授 (50636967)
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2017-03-31
|
| 研究課題ステータス |
完了 (2016年度)
|
| 配分額 *注記 |
2,860千円 (直接経費: 2,200千円、間接経費: 660千円)
2016年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2015年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2014年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | 制約充足問題 / 近似アルゴリズム / 性質検査 / 近似困難性 / 高階フーリエ解析 |
|---|
| 研究成果の概要 |
制約充足問題とは、変数集合と制約の集合が入力として与えられ、制約を全て充足するように変数に値を割り当てる問題である。本研究では、充足可能な制約充足問題に関する近似アルゴリズム及び近似困難性を与える為に、その代数的構造に関する研究を行った。特に制約充足問題の近似困難性を示す為に使われる性質検査と呼ばれる枠組みに対する研究に取り組んだ。その結果、代数的な性質のうち定数時間で検査可能なものの必要十分条件や、与えられた割り当てが充足解かどうかを定数時間で検査可能な制約充足問題の必要十分条件を導出することに成功した。
|
