2026-06-12T08:16:24Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00123351 2025-01-21T02:59:29Z 6504:8032:8036

制約グラフの局所性を用いた併合法の並列化について On Parallelism of Merge Method by Using Locality of Constraint Graphs 制約充足問題(以下CSP)は、人工知能を始めとする各分野で多く見受けられる問題の総称である。CSPは問題の対象を「構成要素」に分解し、構成要素間に存在する局所的な条件、すなわち「制約」を記述することで対象全体の性質が表現できるような問題である。このような問題はパターン解析や知識処理など人工知能の各分野、特に原理的に組み合せ探索を含むような問題に多く適用できる。CSPの解法の1つとして制約の整合化を繰り返し行なう併合法がある。本研究ではCSPをグラフ表現し、そのグラフの構造の局所性に注目し、併合を並列に行なうときに適した併合順序を考察するものである。 情報処理学会 1993-03-01 jpn conference paper https://ipsj.ixsq.nii.ac.jp/records/123351 AN00349328 全国大会講演論文集 第46回 人工知能及び認知科学 7 8 https://ipsj.ixsq.nii.ac.jp/record/123351/files/KJ00001337183.pdf application/pdf 178.2 kB 1993-03-01