|
Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Information Science and Technology / Faculty of Information Science and Technology >
Peer-reviewed Journal Articles, etc >
二分決定グラフによる制約充足問題の解法
| Title: | 二分決定グラフによる制約充足問題の解法 |
| Other Titles: | Solving Constraint Statisfaction Problems by Binary Decision Diagram |
| Authors: | 奥乃, 博1 Browse this author | | 湊, 真一2 Browse this author →KAKEN DB |
| Authors(alt): | Okuno, G. Hiroshi1 | | Minato, Shin-ichi2 |
| Issue Date: | 15-Aug-1995 |
| Publisher: | 情報処理学会 |
| Journal Title: | 情報処理学会論文誌 |
| Volume: | 36 |
| Issue: | 8 |
| Start Page: | 1789 |
| End Page: | 1799 |
| Abstract: | BDD(二分決定グラフ) はブール関数のコンパクトな表現方法である.我々は,BDDを使用して組合せ問題の複数の解を同時に表現したり,ATMSといった多重文脈型真偽維持システムの機能拡張をする方法を検討してきた.与えられた問題記述あるいは制約条件からBDDを構築する過程は制約充足問題の解法とみなすことができる.本稿では,2種類のBDD,算術論理式が使用できる通常のBDDと組合せ集合が使用できるZBDD (Zero-Suppressed BDD) を取り上げ,それらを用いた制約充足問題の解放を検討する.制約充足問題のデータと制約条件のコーディング方法を提案し,N-Queens問題や魔方陣の問題などの具体的な問題を取り上げ,2種類のBDDによる解法を評価する.さらに,BDDによる解法を,制約充足問題での一貫性アルゴリズムやATMSと比較し,評価を行う.BDDでは,一旦適用された制約条件が以降ずっと成立するという単調一貫性維持が成立する.一方,ZBDDでは,組合せ集合演算の性質から,制約条件が適用する対象によって制限される.しかし,この結果ZBDDでは段階的解法が容易となる. | | BDD (Binary Decision Diagram) is a compact representation of boolean functions. We have applied BDD to represent all solutions of combinatorial problems or to extend capabilities of multiple-context truth maintenance systems such as ATMS.The process of building BDDs from a set of problem specifications or constraints is considered as solving Constraint Satisfaction Problems (CSPs). In this paper，w e focus on two types of BDD; an ormal BDD representing arithmetic logical formula，and ZBDD (Zero-Suppressed BDD) representing sets. We present encoding methods of data and constraints and new operations for ZBDD.We evaluate these methods by solving N- Queens and Magic Square problems. Then，we discuss the relationship of these methods to constraint propagation methods and ATMS. In BDD，th e monotonic consistency maintenance that constraints applied so far hold for ever. 1n ZBDD， when ac onstraint is applied to as et，its elements unrelated to the set are removed from it. However，this property allows incremental computation in ZBDD. |
| Rights: | ここに掲載した著作物の利用に関する注意 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 |
| Type: | article |
| URI: | http://hdl.handle.net/2115/47399 |
| Appears in Collections: | 情報科学院・情報科学研究院 (Graduate School of Information Science and Technology / Faculty of Information Science and Technology) > 雑誌発表論文等 (Peer-reviewed Journal Articles, etc)
|
Submitter: 湊 真一
|
