Pub Date : 2026-01-30DOI: 10.1016/j.dam.2026.01.028
Vladimir Gurvich , Mariya Naumova
In several recent papers some concepts of convex analysis were extended to discrete sets. The present paper is one more step in this direction. It is well known that a local minimum of a convex function is always its global minimum. We study some discrete objects that share this property and provide several examples of convex families related to graphs and to two-person games in normal form.
{"title":"More on discrete convexity","authors":"Vladimir Gurvich , Mariya Naumova","doi":"10.1016/j.dam.2026.01.028","DOIUrl":"10.1016/j.dam.2026.01.028","url":null,"abstract":"<div><div>In several recent papers some concepts of convex analysis were extended to discrete sets. The present paper is one more step in this direction. It is well known that a local minimum of a convex function is always its global minimum. We study some discrete objects that share this property and provide several examples of convex families related to graphs and to two-person games in normal form.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"385 ","pages":"Pages 146-164"},"PeriodicalIF":1.0,"publicationDate":"2026-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146090578","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 : 2026-01-29DOI: 10.1016/j.dam.2026.01.031
Taizo Sadahiro
In this short note, we construct an explicit Hamiltonian cycle in the state graph of the 5-puzzle on a cylindrical 2 × 3 grid, a graph with 720 vertices. The cycle is described by a short symbolic sequence of 48 moves over the alphabet , repeated 15 times, which can be verified directly. We also find a shorter 24-move sequence whose repetition yields a 2-cycle cover, which can be spliced into a Hamiltonian path. These constructions arise naturally from a general method: lifting Hamiltonian cycles from a quotient graph under the action of the puzzle’s symmetry group. The method produces compact, human-readable cycle encoding.
{"title":"A quotient-lifting approach to the Hamiltonicity of the cylindrical 5-puzzle graph","authors":"Taizo Sadahiro","doi":"10.1016/j.dam.2026.01.031","DOIUrl":"10.1016/j.dam.2026.01.031","url":null,"abstract":"<div><div>In this short note, we construct an explicit Hamiltonian cycle in the state graph of the 5-puzzle on a cylindrical 2 × 3 grid, a graph with 720 vertices. The cycle is described by a short symbolic sequence of 48 moves over the alphabet <span><math><mrow><mo>{</mo><mstyle><mi>L</mi></mstyle><mo>,</mo><mstyle><mi>R</mi></mstyle><mo>,</mo><mstyle><mi>V</mi></mstyle><mo>}</mo></mrow></math></span>, repeated 15 times, which can be verified directly. We also find a shorter 24-move sequence whose repetition yields a 2-cycle cover, which can be spliced into a Hamiltonian path. These constructions arise naturally from a general method: lifting Hamiltonian cycles from a quotient graph under the action of the puzzle’s symmetry group. The method produces compact, human-readable cycle encoding.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"386 ","pages":"Pages 9-15"},"PeriodicalIF":1.0,"publicationDate":"2026-01-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146090450","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 : 2026-01-28DOI: 10.1016/j.dam.2026.01.017
Jessica Enright , Kitty Meeks , William Pettersson , John Sylvester
We generalise the popular cops and robbers game to multi-layer graphs, where each cop and the robber are restricted to a single layer (or set of edges). We demonstrate that initial intuition about the best way to allocate cops to layers is not always correct, and prove that the multi-layer cop number is neither bounded from above nor below by any increasing function of the cop numbers of the individual layers. We show that it is -hard to decide if cops are sufficient to catch the robber, even if every cop layer is a tree and a set of isolated vertices. However, we give a polynomial time algorithm to determine if cops can win when the robber layer is a tree. Additionally, we investigate a question of worst-case divisions of a simple graph into layers: given a simple graph , what is the maximum number of cops required to catch a robber over all multi-layer graphs where each edge of is in at least one layer and all layers are connected? For cliques, suitably dense random graphs, and graphs of bounded treewidth, we determine this parameter up to multiplicative constants. Lastly we consider a multi-layer variant of Meyniel’s conjecture, and show the existence of an infinite family of graphs whose multi-layer cop number is bounded from below by a constant times , where is the number of vertices in the graph.
{"title":"Cops and robbers on multi-layer graphs","authors":"Jessica Enright , Kitty Meeks , William Pettersson , John Sylvester","doi":"10.1016/j.dam.2026.01.017","DOIUrl":"10.1016/j.dam.2026.01.017","url":null,"abstract":"<div><div>We generalise the popular <em>cops and robbers</em> game to multi-layer graphs, where each cop and the robber are restricted to a single layer (or set of edges). We demonstrate that initial intuition about the best way to allocate cops to layers is not always correct, and prove that the multi-layer cop number is neither bounded from above nor below by any increasing function of the cop numbers of the individual layers. We show that it is <span><math><mi>NP</mi></math></span>-hard to decide if <span><math><mi>k</mi></math></span> cops are sufficient to catch the robber, even if every cop layer is a tree and a set of isolated vertices. However, we give a polynomial time algorithm to determine if <span><math><mi>k</mi></math></span> cops can win when the robber layer is a tree. Additionally, we investigate a question of worst-case divisions of a simple graph into layers: given a simple graph <span><math><mi>G</mi></math></span>, what is the maximum number of cops required to catch a robber over all multi-layer graphs where each edge of <span><math><mi>G</mi></math></span> is in at least one layer and all layers are connected? For cliques, suitably dense random graphs, and graphs of bounded treewidth, we determine this parameter up to multiplicative constants. Lastly we consider a multi-layer variant of Meyniel’s conjecture, and show the existence of an infinite family of graphs whose multi-layer cop number is bounded from below by a constant times <span><math><mrow><mi>n</mi><mo>/</mo><mo>log</mo><mi>n</mi></mrow></math></span>, where <span><math><mi>n</mi></math></span> is the number of vertices in the graph.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"385 ","pages":"Pages 109-133"},"PeriodicalIF":1.0,"publicationDate":"2026-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146090665","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 : 2026-01-27DOI: 10.1016/j.dam.2026.01.010
Guanglong Yu , Lin Sun , Xin Li
Some structural properties of the (edge) maximal bipartite outerplanar graphs are represented in this paper. As well, among all outerplanar graphs of order , the minimum least eigenvalue is completely determined.
{"title":"Some properties of outerplanar graphs and the least eigenvalue","authors":"Guanglong Yu , Lin Sun , Xin Li","doi":"10.1016/j.dam.2026.01.010","DOIUrl":"10.1016/j.dam.2026.01.010","url":null,"abstract":"<div><div>Some structural properties of the (edge) maximal bipartite outerplanar graphs are represented in this paper. As well, among all outerplanar graphs of order <span><math><mrow><mi>n</mi><mo>≥</mo><mn>18</mn></mrow></math></span>, the minimum least eigenvalue is completely determined.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"383 ","pages":"Pages 409-417"},"PeriodicalIF":1.0,"publicationDate":"2026-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146077876","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 : 2026-01-27DOI: 10.1016/j.dam.2026.01.011
Zejun Huang, Chenxi Yang
An oriented graph is a digraph obtained from an undirected graph by choosing an orientation for each edge. Given a positive integer and an oriented graph , the oriented Turán number is the maximum number of arcs in an -free oriented graph of order . In this paper, we investigate the oriented Turán number , where is the 1-subdivision of the in-star of order . We determine for as well as the extremal oriented graphs. For , we establish a lower bound and an upper bound on .
{"title":"Extremal oriented graphs avoiding 1-subdivision of an in-star","authors":"Zejun Huang, Chenxi Yang","doi":"10.1016/j.dam.2026.01.011","DOIUrl":"10.1016/j.dam.2026.01.011","url":null,"abstract":"<div><div>An oriented graph is a digraph obtained from an undirected graph by choosing an orientation for each edge. Given a positive integer <span><math><mi>n</mi></math></span> and an oriented graph <span><math><mi>F</mi></math></span>, the oriented Turán number <span><math><mrow><mi>e</mi><msub><mrow><mi>x</mi></mrow><mrow><mi>o</mi><mi>r</mi><mi>i</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>F</mi><mo>)</mo></mrow></mrow></math></span> is the maximum number of arcs in an <span><math><mi>F</mi></math></span>-free oriented graph of order <span><math><mi>n</mi></math></span>. In this paper, we investigate the oriented Turán number <span><math><mrow><mi>e</mi><msub><mrow><mi>x</mi></mrow><mrow><mi>o</mi><mi>r</mi><mi>i</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mover><mrow><msub><mrow><mi>S</mi></mrow><mrow><mi>k</mi><mo>,</mo><mn>1</mn></mrow></msub></mrow><mo>⃗</mo></mover><mo>)</mo></mrow></mrow></math></span>, where <span><math><mover><mrow><msub><mrow><mi>S</mi></mrow><mrow><mi>k</mi><mo>,</mo><mn>1</mn></mrow></msub></mrow><mo>⃗</mo></mover></math></span> is the 1-subdivision of the in-star of order <span><math><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></math></span>. We determine <span><math><mrow><mi>e</mi><msub><mrow><mi>x</mi></mrow><mrow><mi>o</mi><mi>r</mi><mi>i</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mover><mrow><msub><mrow><mi>S</mi></mrow><mrow><mi>k</mi><mo>,</mo><mn>1</mn></mrow></msub></mrow><mo>⃗</mo></mover><mo>)</mo></mrow></mrow></math></span> for <span><math><mrow><mi>k</mi><mo>=</mo><mn>2</mn><mo>,</mo><mn>3</mn></mrow></math></span> as well as the extremal oriented graphs. For <span><math><mrow><mi>k</mi><mo>≥</mo><mn>4</mn></mrow></math></span>, we establish a lower bound and an upper bound on <span><math><mrow><mi>e</mi><msub><mrow><mi>x</mi></mrow><mrow><mi>o</mi><mi>r</mi><mi>i</mi></mrow></msub><mrow><mo>(</mo><mi>n</mi><mo>,</mo><mover><mrow><msub><mrow><mi>S</mi></mrow><mrow><mi>k</mi><mo>,</mo><mn>1</mn></mrow></msub></mrow><mo>⃗</mo></mover><mo>)</mo></mrow></mrow></math></span>.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"385 ","pages":"Pages 134-145"},"PeriodicalIF":1.0,"publicationDate":"2026-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146090577","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 : 2026-01-27DOI: 10.1016/j.dam.2026.01.008
Zahra Hamed-Labbafian , Michael A. Henning , Mostafa Tavakoli
An edge general position set in a graph is a set of edges where no three distinct edges in lie on a common shortest path. The edge general position number, denoted gpe is the maximum cardinality of an edge general position set in . In this study, we explore the edge general position number for various graph products, including the hierarchical product, corona product, and edge corona product. Additionally, we propose an integer linear programming model to address the edge general position problem.
{"title":"Edge general position in graphs: Graph products, integer linear programming and some applications","authors":"Zahra Hamed-Labbafian , Michael A. Henning , Mostafa Tavakoli","doi":"10.1016/j.dam.2026.01.008","DOIUrl":"10.1016/j.dam.2026.01.008","url":null,"abstract":"<div><div>An edge general position set in a graph <span><math><mi>G</mi></math></span> is a set of edges <span><math><mrow><mi>X</mi><mo>⊆</mo><mi>E</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> where no three distinct edges in <span><math><mi>X</mi></math></span> lie on a common shortest path. The edge general position number, denoted gp<sub>e</sub> is the maximum cardinality of an edge general position set in <span><math><mi>G</mi></math></span>. In this study, we explore the edge general position number for various graph products, including the hierarchical product, corona product, and edge corona product. Additionally, we propose an integer linear programming model to address the edge general position problem.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"386 ","pages":"Pages 1-8"},"PeriodicalIF":1.0,"publicationDate":"2026-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146045207","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}
This paper introduces and studies a family of graphs characterized by a commutative structure among their distance matrices, with a focus on those exhibiting distance-based regularity via constant row sums. This notion extends classical degree-regularity to a broader context, and, in particular, presents a new generalization of distance-regular graphs. We provide characterizations of this class, examine their relation to classical notions of regularity, and present several examples and constructions that highlight their behavior.
{"title":"Commutative distance degree-regular graphs","authors":"Cristian M. Conde , Ezequiel Dratman , Verónica Moyano , Adrián Pastine","doi":"10.1016/j.dam.2026.01.026","DOIUrl":"10.1016/j.dam.2026.01.026","url":null,"abstract":"<div><div>This paper introduces and studies a family of graphs characterized by a commutative structure among their distance matrices, with a focus on those exhibiting distance-based regularity via constant row sums. This notion extends classical degree-regularity to a broader context, and, in particular, presents a new generalization of distance-regular graphs. We provide characterizations of this class, examine their relation to classical notions of regularity, and present several examples and constructions that highlight their behavior.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"384 ","pages":"Pages 397-410"},"PeriodicalIF":1.0,"publicationDate":"2026-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146078351","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 : 2026-01-24DOI: 10.1016/j.dam.2025.12.060
Nadejda Drenska
deBruijn graphs are widely used in genomics and computer science. In this paper we present a novel approach to finding weights on edges of doubly weighted deBruijn graphs. Given any fixed set of weights on vertices, we use a repeated two-person zero-sum game to find weights on edges so that every cycle on the deBruijn graph has the same average weight, providing explicit formulas. This approach uses minimax optimal strategies of the players. Once the weights on the edges are determined, we observe that they correspond to solving a set of linear equations with as many equations as there are cycles. This is very surprising, because there are many more cycles than unknowns. Moreover we analyze other, related games on graphs.
{"title":"Games on deBruijn graphs and cycle means","authors":"Nadejda Drenska","doi":"10.1016/j.dam.2025.12.060","DOIUrl":"10.1016/j.dam.2025.12.060","url":null,"abstract":"<div><div>deBruijn graphs are widely used in genomics and computer science. In this paper we present a novel approach to finding weights on edges of doubly weighted deBruijn graphs. Given any fixed set of weights on vertices, we use a repeated two-person zero-sum game to find weights on edges so that every cycle on the deBruijn graph has the same average weight, providing explicit formulas. This approach uses minimax optimal strategies of the players. Once the weights on the edges are determined, we observe that they correspond to solving a set of linear equations with as many equations as there are cycles. This is very surprising, because there are many more cycles than unknowns. Moreover we analyze other, related games on graphs.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"385 ","pages":"Pages 100-108"},"PeriodicalIF":1.0,"publicationDate":"2026-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146039499","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 : 2026-01-22DOI: 10.1016/j.dam.2026.01.014
Rachel Galindo, Jessica McDonald , Songling Shan
We give a uniform and self-contained proof that if is a connected graph with and , then contains either or an odd hole where every vertex has degree at least in . This was previously proved in series of two papers by Chen, Lan, Lin, and Zhou, who used the Strong Perfect Graph Theorem for the cases .
{"title":"Cliques and high odd holes in graphs with chromatic number equal to maximum degree","authors":"Rachel Galindo, Jessica McDonald , Songling Shan","doi":"10.1016/j.dam.2026.01.014","DOIUrl":"10.1016/j.dam.2026.01.014","url":null,"abstract":"<div><div>We give a uniform and self-contained proof that if <span><math><mi>G</mi></math></span> is a connected graph with <span><math><mrow><mi>χ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><mi>Δ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> and <span><math><mrow><mi>G</mi><mo>≠</mo><mover><mrow><msub><mrow><mi>C</mi></mrow><mrow><mn>7</mn></mrow></msub></mrow><mo>¯</mo></mover></mrow></math></span>, then <span><math><mi>G</mi></math></span> contains either <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>Δ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></msub></math></span> or an odd hole where every vertex has degree at least <span><math><mrow><mi>Δ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>−</mo><mn>1</mn></mrow></math></span> in <span><math><mi>G</mi></math></span>. This was previously proved in series of two papers by Chen, Lan, Lin, and Zhou, who used the Strong Perfect Graph Theorem for the cases <span><math><mrow><mi>Δ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><mn>4</mn><mo>,</mo><mn>5</mn><mo>,</mo><mn>6</mn></mrow></math></span>.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"383 ","pages":"Pages 383-386"},"PeriodicalIF":1.0,"publicationDate":"2026-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146023128","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}
For a non-decreasing sequence of positive integers , the -packing chromatic number of a graph is denoted by . In this paper, -critical graphs are introduced as the graphs such that for each proper subgraph of . Several families of -critical graphs are constructed, and 2- and 3-colorable -critical graphs are presented for all packing sequences , while 4-colorable -critical graphs are found for most of . Cycles which are -critical are characterized under different conditions. It is proved that for any graph and any edge , the inequality holds. Moreover, in several important cases, this bound can be improved to . The sharpness of the bounds is also discussed. Along the way an earlier result on -vertex-critical graphs is supplemented.
对于非递减的正整数序列S=(s1,s2,…),图G的S填充色数用χS(G)表示。本文将χS临界图作为图G引入,对G的每个固有子图H都构造了χS(H)<χS(G)。构造了几类χS临界图,对所有填充序列S都给出了2色和3色的χS临界图,对大多数S循环都得到了4色的χS临界图,并在不同条件下对其进行了χS临界表征。证明了对于任意图G和任意边e∈e (G),不等式χS(G−e)≥χS(G)/2成立。此外,在一些重要的情况下,这个界限可以改进为χS(G−e)≥(χS(G)+1)/2。讨论了边界的清晰度。在此过程中,对先前关于χ s -顶点临界图的结果进行了补充。
{"title":"S-packing chromatic critical graphs","authors":"Gülnaz Boruzanlı Ekinci , Csilla Bujtás , Didem Gözüpek , Sandi Klavžar","doi":"10.1016/j.dam.2026.01.024","DOIUrl":"10.1016/j.dam.2026.01.024","url":null,"abstract":"<div><div>For a non-decreasing sequence of positive integers <span><math><mrow><mi>S</mi><mo>=</mo><mrow><mo>(</mo><msub><mrow><mi>s</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>s</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>)</mo></mrow></mrow></math></span>, the <span><math><mi>S</mi></math></span>-packing chromatic number of a graph <span><math><mi>G</mi></math></span> is denoted by <span><math><mrow><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>. In this paper, <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub></math></span>-critical graphs are introduced as the graphs <span><math><mi>G</mi></math></span> such that <span><math><mrow><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub><mrow><mo>(</mo><mi>H</mi><mo>)</mo></mrow><mo><</mo><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> for each proper subgraph <span><math><mi>H</mi></math></span> of <span><math><mi>G</mi></math></span>. Several families of <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub></math></span>-critical graphs are constructed, and 2- and 3-colorable <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub></math></span>-critical graphs are presented for all packing sequences <span><math><mi>S</mi></math></span>, while 4-colorable <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub></math></span>-critical graphs are found for most of <span><math><mi>S</mi></math></span>. Cycles which are <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub></math></span>-critical are characterized under different conditions. It is proved that for any graph <span><math><mi>G</mi></math></span> and any edge <span><math><mrow><mi>e</mi><mo>∈</mo><mi>E</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>, the inequality <span><math><mrow><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>−</mo><mi>e</mi><mo>)</mo></mrow><mo>≥</mo><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>/</mo><mn>2</mn></mrow></math></span> holds. Moreover, in several important cases, this bound can be improved to <span><math><mrow><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>−</mo><mi>e</mi><mo>)</mo></mrow><mo>≥</mo><mrow><mo>(</mo><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>/</mo><mn>2</mn></mrow></math></span>. The sharpness of the bounds is also discussed. Along the way an earlier result on <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>S</mi></mrow></msub></math></span>-vertex-critical graphs is supplemented.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"385 ","pages":"Pages 77-85"},"PeriodicalIF":1.0,"publicationDate":"2026-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146039497","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}