WEKO3
アイテム
チャネリング制約を用いた alldifferent 制約の SAT 符号化
https://ipsj.ixsq.nii.ac.jp/records/220600
https://ipsj.ixsq.nii.ac.jp/records/220600f72bb6a7-8a74-4ea6-9128-609e808ac25d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z84-1L-03.pdf (215.2 kB)
|
Copyright (c) 2022 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-02-17 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | チャネリング制約を用いた alldifferent 制約の SAT 符号化 | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | ソフトウェア科学・工学 | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 名大 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 神戸大 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 神戸大 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 名大 | ||||||||||||||
| 著者名 |
小菅, 脩司
× 小菅, 脩司
× 宋, 剛秀
× 田村, 直之
× 番原, 睦則
|
|||||||||||||
| 論文抄録 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | alldifferent（x<sub>1</sub>,...,x<sub>n</sub>） 制約は，制約プログラミングにおける代表的なグローバル制約の一つである．この制約は，与えられた変数 x<sub>i</sub> が互いに異なる値を取ることを意味する．alldifferent 制約は，グラフ彩色問題や時間割問題など様々な問題に現れる．本発表では，alldifferent 制約の SAT 符号化について，順序符号化法と直接符号化法をチャネリング制約を用いて融合した手法について述べる．考案した SAT 符号化の評価として，Knuth のThe Art of Computer Programming でも取り上げられているクイーングラフ彩色問題を用いた実験結果を示す． | |||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AN00349328 | |||||||||||||
| 書誌情報 |
第84回全国大会講演論文集 巻 2022, 号 1, p. 267-268, 発行日 2022-02-17 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
