• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2016 年度 研究成果報告書

充足可能な制約充足問題に対する近似アルゴリズムの研究

研究課題

  • PDF
研究課題/領域番号 26730009
研究種目

若手研究(B)

配分区分基金
研究分野 情報学基礎理論
研究機関国立情報学研究所

研究代表者

吉田 悠一  国立情報学研究所, 情報学プリンシプル研究系, 准教授 (50636967)

研究期間 (年度) 2014-04-01 – 2017-03-31
キーワード制約充足問題 / 近似アルゴリズム / 性質検査
研究成果の概要

制約充足問題とは、変数集合と制約の集合が入力として与えられ、制約を全て充足するように変数に値を割り当てる問題である。本研究では、充足可能な制約充足問題に関する近似アルゴリズム及び近似困難性を与える為に、その代数的構造に関する研究を行った。特に制約充足問題の近似困難性を示す為に使われる性質検査と呼ばれる枠組みに対する研究に取り組んだ。その結果、代数的な性質のうち定数時間で検査可能なものの必要十分条件や、与えられた割り当てが充足解かどうかを定数時間で検査可能な制約充足問題の必要十分条件を導出することに成功した。

自由記述の分野

理論計算機科学

URL: 

公開日: 2018-03-22  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi