自動放電による平方彩色平面グラフ【JST・京大機械翻訳】

Bousquet Nicolas; de Meyer Lucas; Deschamps Quentin; Pierron Theo

プレプリント

J-GLOBAL ID：202202209757525780 整理番号：22P0330213

自動放電による平方彩色平面グラフ【JST・京大機械翻訳】

Square coloring planar graphs with automatic discharging

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2022年04月12日プレプリントサーバーでの情報更新日： 2022年04月12日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

放電法は,特にグラフ彩色問題に対して強力な証明技術である。その主なダウンサイドは,しばしば検証のためにコンピュータに与えられる長いケース解析を必要とすることである。しかし,放電証明を能動的に探索するためにコンピュータを用いることは,あまり一般的ではない。本論文では,線形プログラミング法を用いて,放電証明を自動的に探索した。著者らのシステムは完全自律性ではないが,平面グラフの距離-2彩色に対するWegnerの予想に向けていくつかの進歩を管理し,最大次数4の平面グラフの距離2で12色が色に充分であることを示した。【JST・京大機械翻訳】

, , , , ,
, , 【Automatic Indexing@JST】

グラフ理論基礎

, ,

前のページに戻る