文献

J-GLOBAL ID：201802275507666204   整理番号：18A0260835

無限正方格子のパッキング彩色数は13年と15年の間である【Powered by NICT】

The packing chromatic number of the infinite square lattice is between 13 and 15

著者 (4件)： Martin Barnaby (School of Engineering and Computing Sciences, University of Durham, DH1 3LE, UK) ,  Raimondi Franco (School of Science and Technology, Middlesex University, The Burroughs, Hendon, London NW4 4BT, UK) ,  Chen Taolue (School of Science and Technology, Middlesex University, The Burroughs, Hendon, London NW4 4BT, UK) ,  Martin Jos (The MathWorks, Matrix House, Cambridge CB4 0HH, UK)
資料名： Discrete Applied Mathematics  (Discrete Applied Mathematics)
巻： 225  ページ： 136-142  発行年： 2017年 
JST資料番号： A1227A  ISSN： 0166-218X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 部分以前に知られた解の上にSATソルバを用いて,17~15から無限正方格子のパッキング彩色数の上界を改善する。はこの種の問題のためのSAT解法の長所を考察し,異なる符号化の性能を比較した。さらに,SATソルバを用いて再び12~13からの下限を改善し,著者等のアプローチのためのこの技術の汎用性を実証した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 汎用性 ,  *符号化
準シソーラス用語： 上界 ,  ソルバ , 【Automatic Indexing@JST】

著者キーワード (4件)： 色彩数のパッキング ,  放送彩色数 ,  グラフ着色 ,  SAT(充足可能性)解決

分類 (2件)： 論理代数  (JB03000H) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 無限 ,  正方格子 ,  彩色数