Pub Date : 2025-12-19DOI: 10.1016/j.dam.2025.12.033
Yingqian Wang
Given positive integers and with , a graph is said to be -colorable, if we can assign colors from color set to each vertex of so that adjacent vertices receive no common colors. Let denote the family of planar graphs without cycles of length 4 or 5. It is known that there are graphs in which are not -colorable (Cohen-Addad et al., 2017), and every graph in is list -colorable (Dvořák and Hu, 2019). This paper shows that every graph in is -colorable. This gives a new relaxation for refuted Steinberg’s conjecture in the setting of -coloring.
给定a≥b的正整数a和b,图G是(a:b)可着色的,如果我们可以从颜色集{1,2,…,a}中为G的每个顶点分配b种颜色,使得相邻的顶点没有共同的颜色。设S表示无环长为4或5的平面图族。已知S中存在非(3:1)可着色的图(Cohen-Addad et al., 2017), S中的每个图都是list(11:3)可着色的(Dvořák and Hu, 2019)。本文证明了S中的每一个图都是(7:2)可着色的。这给在(a:b)-着色集合中被驳倒的Steinberg猜想提供了一个新的松弛。
{"title":"Planar graphs without cycles of length 4 or 5 are (7:2)-colorable","authors":"Yingqian Wang","doi":"10.1016/j.dam.2025.12.033","DOIUrl":"10.1016/j.dam.2025.12.033","url":null,"abstract":"<div><div>Given positive integers <span><math><mi>a</mi></math></span> and <span><math><mi>b</mi></math></span> with <span><math><mrow><mi>a</mi><mo>≥</mo><mi>b</mi></mrow></math></span>, a graph <span><math><mi>G</mi></math></span> is said to be <span><math><mrow><mo>(</mo><mi>a</mi><mo>:</mo><mi>b</mi><mo>)</mo></mrow></math></span>-colorable, if we can assign <span><math><mi>b</mi></math></span> colors from color set <span><math><mrow><mo>{</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>a</mi><mo>}</mo></mrow></math></span> to each vertex of <span><math><mi>G</mi></math></span> so that adjacent vertices receive no common colors. Let <span><math><mi>S</mi></math></span> denote the family of planar graphs without cycles of length 4 or 5. It is known that there are graphs in <span><math><mi>S</mi></math></span> which are not <span><math><mrow><mo>(</mo><mn>3</mn><mo>:</mo><mn>1</mn><mo>)</mo></mrow></math></span>-colorable (Cohen-Addad et al., 2017), and every graph in <span><math><mi>S</mi></math></span> is list <span><math><mrow><mo>(</mo><mn>11</mn><mo>:</mo><mn>3</mn><mo>)</mo></mrow></math></span>-colorable (Dvořák and Hu, 2019). This paper shows that every graph in <span><math><mi>S</mi></math></span> is <span><math><mrow><mo>(</mo><mn>7</mn><mo>:</mo><mn>2</mn><mo>)</mo></mrow></math></span>-colorable. This gives a new relaxation for refuted Steinberg’s conjecture in the setting of <span><math><mrow><mo>(</mo><mi>a</mi><mo>:</mo><mi>b</mi><mo>)</mo></mrow></math></span>-coloring.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"381 ","pages":"Pages 368-377"},"PeriodicalIF":1.0,"publicationDate":"2025-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145790228","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-19DOI: 10.1016/j.dam.2025.12.029
Vadim Lozin
We study properties of graph classes that are closed under taking subclasses, such as boundedness of graph parameters or polynomial-time solvability of algorithmic problems. In the universe of minor-closed classes of graphs, any such property can be described by a set of minimal classes that do not possess the property, because the minor relation is a well-quasi-order. This, however, is not the case for the subgraph relation, implying that in the universe of monotone classes, which extends the family of minor-closed classes, the existence of minimal classes is not guaranteed. To overcome this difficulty, we employ the notion of boundary classes. Together with minimal classes they play a critical role for classes defined by finitely many forbidden subgraphs. In the present paper, we identify several levels in the hierarchy of monotone classes and describe respective critical classes. In particular, we show that a finitely-defined monotone class has bounded chromatic number, degeneracy, functionality and admits an implicit representation if and only if excludes a forest. We also show that has bounded tree-, clique- and twin-width and admits polynomial-time solutions for a variety of algorithmic problems if and only if excludes a tripod, i.e. a subcubic forest every connected component of which has at most one cubic vertex. The last result, however, does not apply to the Hamiltonian cycle problem. Towards identifying critical classes for this problem we determine complexity of the Hamiltonian cycle problem in some monotone classes.
{"title":"Graph problems and monotone classes","authors":"Vadim Lozin","doi":"10.1016/j.dam.2025.12.029","DOIUrl":"10.1016/j.dam.2025.12.029","url":null,"abstract":"<div><div>We study properties of graph classes that are closed under taking subclasses, such as boundedness of graph parameters or polynomial-time solvability of algorithmic problems. In the universe of minor-closed classes of graphs, any such property can be described by a set of minimal classes that do not possess the property, because the minor relation is a well-quasi-order. This, however, is not the case for the subgraph relation, implying that in the universe of monotone classes, which extends the family of minor-closed classes, the existence of minimal classes is not guaranteed. To overcome this difficulty, we employ the notion of boundary classes. Together with minimal classes they play a critical role for classes defined by finitely many forbidden subgraphs. In the present paper, we identify several levels in the hierarchy of monotone classes and describe respective critical classes. In particular, we show that a finitely-defined monotone class <span><math><mi>X</mi></math></span> has bounded chromatic number, degeneracy, functionality and admits an implicit representation if and only if <span><math><mi>X</mi></math></span> excludes a forest. We also show that <span><math><mi>X</mi></math></span> has bounded tree-, clique- and twin-width and admits polynomial-time solutions for a variety of algorithmic problems if and only if <span><math><mi>X</mi></math></span> excludes a tripod, i.e. a subcubic forest every connected component of which has at most one cubic vertex. The last result, however, does not apply to the Hamiltonian cycle problem. Towards identifying critical classes for this problem we determine complexity of the Hamiltonian cycle problem in some monotone classes.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"383 ","pages":"Pages 152-164"},"PeriodicalIF":1.0,"publicationDate":"2025-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145792197","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-12-18DOI: 10.1016/j.dam.2025.12.016
Sasmita Rout , Gautam Kumar Das
Let be a simple undirected graph with no isolated vertex. A set is a dominating set if each vertex is either in or is adjacent to a vertex . A set is called a semi-total dominating set if