WEKO3
アイテム
離散組み合わせ問題の制約充足問題による定式化ならびに整合化手法の適用検討
https://doi.org/10.15029/00000340
https://doi.org/10.15029/00000340e8c18d73-8987-40d6-95f5-09d42a14f6a4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00003985270 (1.4 MB)
|
TUIS
|
| Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2006-02-20 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 離散組み合わせ問題の制約充足問題による定式化ならびに整合化手法の適用検討 | |||||||||||
| 言語 | ja | |||||||||||
| タイトル | ||||||||||||
| タイトル | Towards CSP Formalization of Discrete Combinatorial Problems and an Application of Consistency Techniques | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題 | 制約充足問題, 離散組み合わせ問題, 定式化, 整合化手法, 効率性 constraint satisfaction problem, discrete combinatorial problem, formalization, consistency method, efficiency |
|||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| ID登録 | ||||||||||||
| ID登録 | 10.15029/00000340 | |||||||||||
| ID登録タイプ | JaLC | |||||||||||
| ページ属性 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | P(論文) | |||||||||||
| 著者名(日) |
永井, 保夫
× 永井, 保夫
× Nagai, Yasuo
|
|||||||||||
| 著者所属(日) | ||||||||||||
| ja | ||||||||||||
| 東京情報大学総合情報学部情報システム学科 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Tokyo University of Information Sciences,Faculty of Informatics,Department of Information Systems | ||||||||||||
| 抄録(日) | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 本論文では、離散組み合わせ問題、特に、地図の彩色問題とクロスワードパズル問題を制約充足問題として定式化するとともに、整合化手法を用いた制約充足解法を適用し、その有効性を示す。 | |||||||||||
| 言語 | ja | |||||||||||
| 抄録(英) | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | In this paper, we describe a formalization of discrete combinatorial problems from viewpoint of constraint satisfaction problems and the consistency methods for constraint satisfaction problems. Effectiveness of these consistency methods is shown using application of these methods to map coloring problem and crossword puzzle problem. | |||||||||||
| 言語 | en | |||||||||||
| 雑誌書誌ID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA11155514 | |||||||||||
| 書誌情報 |
ja : 東京情報大学研究論集 巻 9, 号 2, p. 1-12, 発行日 2006-02-20 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 東京情報大学 | |||||||||||
| 言語 | ja | |||||||||||
