制約グラフの局所性を用いた併合法の並列化について

スポンサーリンク

概要

論文の詳細を見る
制約充足問題(以下CSP)は、人工知能を始めとする各分野で多く見受けられる問題の総称である。CSPは問題の対象を「構成要素」に分解し、構成要素間に存在する局所的な条件、すなわち「制約」を記述することで対象全体の性質が表現できるような問題である。このような問題はパターン解析や知識処理など人工知能の各分野、特に原理的に組み合せ探索を含むような問題に多く適用できる。CSPの解法の1つとして制約の整合化を繰り返し行なう併合法がある。本研究ではCSPをグラフ表現し、そのグラフの構造の局所性に注目し、併合を並列に行なうときに適した併合順序を考察するものである。
一般社団法人情報処理学会の論文
1993-03-01

著者

関連論文

もっと見る

スポンサーリンク