{"title":"Equitable List Coloring of Planar Graphs With Given Maximum Degree","authors":"H. A. Kierstead, Alexandr Kostochka, Zimu Xiang","doi":"10.1002/jgt.23203","DOIUrl":null,"url":null,"abstract":"<p>If <span></span><math>\n <semantics>\n <mrow>\n <mi>L</mi>\n </mrow>\n <annotation> $L$</annotation>\n </semantics></math> is a list assignment of <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math> colors to each vertex of an <span></span><math>\n <semantics>\n <mrow>\n <mi>n</mi>\n </mrow>\n <annotation> $n$</annotation>\n </semantics></math>-vertex graph <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math>, then an <i>equitable</i> <span></span><math>\n <semantics>\n <mrow>\n <mi>L</mi>\n </mrow>\n <annotation> $L$</annotation>\n </semantics></math>-<i>coloring</i> of <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math> is a proper coloring of vertices of <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math> from their lists such that no color is used more than <span></span><math>\n <semantics>\n <mrow>\n <mo>⌈</mo>\n <mrow>\n <mi>n</mi>\n <mo>/</mo>\n <mi>r</mi>\n </mrow>\n <mo>⌉</mo>\n </mrow>\n <annotation> $\\lceil n/r\\rceil $</annotation>\n </semantics></math> times. A graph is <i>equitably</i> <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math>-<i>choosable</i> if it has an equitable <span></span><math>\n <semantics>\n <mrow>\n <mi>L</mi>\n </mrow>\n <annotation> $L$</annotation>\n </semantics></math>-coloring for every <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math>-list assignment <span></span><math>\n <semantics>\n <mrow>\n <mi>L</mi>\n </mrow>\n <annotation> $L$</annotation>\n </semantics></math>. In 2003, Kostochka, Pelsmajer, and West (KPW) conjectured that an analog of the famous Hajnal–Szemerédi Theorem on equitable coloring holds for equitable list coloring, namely, that for each positive integer <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math> every graph <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math> with maximum degree at most <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n <mo>−</mo>\n <mn>1</mn>\n </mrow>\n <annotation> $r-1$</annotation>\n </semantics></math> is equitably <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math>-choosable. The main result of this paper is that for each <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n <mo>≥</mo>\n <mn>9</mn>\n </mrow>\n <annotation> $r\\ge 9$</annotation>\n </semantics></math> and each planar graph <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math>, a stronger statement holds: if the maximum degree of <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math> is at most <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math>, then <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math> is equitably <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math>-choosable. In fact, we prove the result for a broader class of graphs—the class <span></span><math>\n <semantics>\n <mrow>\n <mi>ℬ</mi>\n </mrow>\n <annotation> ${\\rm{ {\\mathcal B} }}$</annotation>\n </semantics></math> of the graphs in which each bipartite subgraph <span></span><math>\n <semantics>\n <mrow>\n <mi>B</mi>\n </mrow>\n <annotation> $B$</annotation>\n </semantics></math> with <span></span><math>\n <semantics>\n <mrow>\n <mo>|</mo>\n <mi>V</mi>\n <mrow>\n <mo>(</mo>\n <mi>B</mi>\n <mo>)</mo>\n </mrow>\n <mo>|</mo>\n <mo>≥</mo>\n <mn>3</mn>\n </mrow>\n <annotation> $|V(B)|\\ge 3$</annotation>\n </semantics></math> has at most <span></span><math>\n <semantics>\n <mrow>\n <mn>2</mn>\n <mo>|</mo>\n <mi>V</mi>\n <mrow>\n <mo>(</mo>\n <mi>B</mi>\n <mo>)</mo>\n </mrow>\n <mo>|</mo>\n <mo>−</mo>\n <mn>4</mn>\n </mrow>\n <annotation> $2|V(B)|-4$</annotation>\n </semantics></math> edges. Together with some known results, this implies that the KPW Conjecture holds for all graphs in <span></span><math>\n <semantics>\n <mrow>\n <mi>ℬ</mi>\n </mrow>\n <annotation> ${\\rm{ {\\mathcal B} }}$</annotation>\n </semantics></math>, in particular, for all planar graphs. We also introduce the new stronger notion of <i>strongly equitable</i> (SE, for short) list coloring and prove all bounds for this parameter. An advantage of this is that if a graph is SE <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math>-choosable, then it is both equitably <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math>-choosable and equitably <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math>-colorable, while neither of being equitably <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math>-choosable and equitably <span></span><math>\n <semantics>\n <mrow>\n <mi>r</mi>\n </mrow>\n <annotation> $r$</annotation>\n </semantics></math>-colorable implies the other.</p>","PeriodicalId":16014,"journal":{"name":"Journal of Graph Theory","volume":"108 4","pages":"832-838"},"PeriodicalIF":0.9000,"publicationDate":"2024-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/jgt.23203","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Graph Theory","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/jgt.23203","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
If is a list assignment of colors to each vertex of an -vertex graph , then an equitable -coloring of is a proper coloring of vertices of from their lists such that no color is used more than times. A graph is equitably -choosable if it has an equitable -coloring for every -list assignment . In 2003, Kostochka, Pelsmajer, and West (KPW) conjectured that an analog of the famous Hajnal–Szemerédi Theorem on equitable coloring holds for equitable list coloring, namely, that for each positive integer every graph with maximum degree at most is equitably -choosable. The main result of this paper is that for each and each planar graph , a stronger statement holds: if the maximum degree of is at most , then is equitably -choosable. In fact, we prove the result for a broader class of graphs—the class of the graphs in which each bipartite subgraph with has at most edges. Together with some known results, this implies that the KPW Conjecture holds for all graphs in , in particular, for all planar graphs. We also introduce the new stronger notion of strongly equitable (SE, for short) list coloring and prove all bounds for this parameter. An advantage of this is that if a graph is SE -choosable, then it is both equitably -choosable and equitably -colorable, while neither of being equitably -choosable and equitably -colorable implies the other.
期刊介绍:
The Journal of Graph Theory is devoted to a variety of topics in graph theory, such as structural results about graphs, graph algorithms with theoretical emphasis, and discrete optimization on graphs. The scope of the journal also includes related areas in combinatorics and the interaction of graph theory with other mathematical sciences.
A subscription to the Journal of Graph Theory includes a subscription to the Journal of Combinatorial Designs .