WEKO3
アイテム
BDDの制約順序の効率化による制約充足問題の解法
https://ipsj.ixsq.nii.ac.jp/records/129531
https://ipsj.ixsq.nii.ac.jp/records/129531762f7fcf-84ae-4aab-9c25-ca119f9f0d80
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001329747.pdf (116.5 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1996-03-06 | |||||
| タイトル | ||||||
| タイトル | BDDの制約順序の効率化による制約充足問題の解法 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | A Solution of Constant Satisfaction Proble ms by Using an Effective Constant Ordering of BDD | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 東京大学工学部電子情報工学石塚研究室 | ||||||
| 著者所属 | ||||||
| 東京大学工学部電子情報工学石塚研究室 | ||||||
| 著者所属 | ||||||
| 東京大学工学部電子情報工学石塚研究室 | ||||||
| 著者所属 | ||||||
| NTT基礎研究所 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| The University of Tokyo | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| The University of Tokyo | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| The University of Tokyo / | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 二分決定グラフ(BDD)を使って組合せ問題の全解を求めることを検討する.ここでの課題に、計算途中に起こりうるノード数の爆発を避け、同じ計算機資源のもとでできるだけ大きな問題が解けるようにする方法を開発することがあげられる.組合せ問題にBDDを適用する場合には最大ノード数が重要であること、およびそれが変数順序だはではなく制約組合せ順序の影響を受けることがわかっている。本稿では、制約組合せ順序を求める方法の一つを提案し、具体的に有効な場合と無効な場合を実験検証してみる. | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第52回, 号 人工知能と認知科学, p. 179-180, 発行日 1996-03-06 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
