Pub Date : 2026-06-01Epub Date: 2026-01-28DOI: 10.1016/j.disc.2026.115003
Masaki Kashima , Riste Škrekovski , Rongxing Xu
A proper coloring ϕ of G is called a proper conflict-free coloring of G if for every non-isolated vertex v of G, there is a color c such that . As an analogy of degree-choosability of graphs, we introduced the notion of proper conflict-free -choosability of graphs. For a non-negative integer k, a graph G is proper conflict-free -choosable if for any list assignment L of G with for every vertex , G admits a proper conflict-free coloring ϕ such that for every vertex . In this note, we first remark if a graph G is d-degenerate, then G is proper conflict-free -choosable. Furthermore, when , we can reduce the number of colors by showing that every tree is proper conflict-free -choosable. This motivates us to state a question.
{"title":"Remarks on proper conflict-free degree-choosability of graphs with prescribed degeneracy","authors":"Masaki Kashima , Riste Škrekovski , Rongxing Xu","doi":"10.1016/j.disc.2026.115003","DOIUrl":"10.1016/j.disc.2026.115003","url":null,"abstract":"<div><div>A proper coloring <em>ϕ</em> of <em>G</em> is called a proper conflict-free coloring of <em>G</em> if for every non-isolated vertex <em>v</em> of <em>G</em>, there is a color <em>c</em> such that <span><math><mo>|</mo><msup><mrow><mi>ϕ</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mo>(</mo><mi>c</mi><mo>)</mo><mo>∩</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>v</mi><mo>)</mo><mo>|</mo><mo>=</mo><mn>1</mn></math></span>. As an analogy of degree-choosability of graphs, we introduced the notion of proper conflict-free <span><math><mo>(</mo><mrow><mi>degree</mi></mrow><mo>+</mo><mi>k</mi><mo>)</mo></math></span>-choosability of graphs. For a non-negative integer <em>k</em>, a graph <em>G</em> is proper conflict-free <span><math><mo>(</mo><mrow><mi>degree</mi></mrow><mo>+</mo><mi>k</mi><mo>)</mo></math></span>-choosable if for any list assignment <em>L</em> of <em>G</em> with <span><math><mo>|</mo><mi>L</mi><mo>(</mo><mi>v</mi><mo>)</mo><mo>|</mo><mo>≥</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>v</mi><mo>)</mo><mo>+</mo><mi>k</mi></math></span> for every vertex <span><math><mi>v</mi><mo>∈</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, <em>G</em> admits a proper conflict-free coloring <em>ϕ</em> such that <span><math><mi>ϕ</mi><mo>(</mo><mi>v</mi><mo>)</mo><mo>∈</mo><mi>L</mi><mo>(</mo><mi>v</mi><mo>)</mo></math></span> for every vertex <span><math><mi>v</mi><mo>∈</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. In this note, we first remark if a graph <em>G</em> is <em>d</em>-degenerate, then <em>G</em> is proper conflict-free <span><math><mo>(</mo><mrow><mi>degree</mi></mrow><mo>+</mo><mi>d</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-choosable. Furthermore, when <span><math><mi>d</mi><mo>=</mo><mn>1</mn></math></span>, we can reduce the number of colors by showing that every tree is proper conflict-free <span><math><mo>(</mo><mrow><mi>degree</mi></mrow><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-choosable. This motivates us to state a question.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 6","pages":"Article 115003"},"PeriodicalIF":0.7,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146079006","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-06-01Epub Date: 2026-01-16DOI: 10.1016/j.disc.2026.115005
András Gyárfás , Gábor N. Sárközy , Adam Zsolt Wagner
<div><div>We call a proper edge coloring of a bipartite graph <span><math><mi>G</mi><mo>=</mo><mo>[</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>]</mo></math></span> with <span><math><mo>|</mo><mi>X</mi><mo>|</mo><mo>=</mo><mo>|</mo><mi>Y</mi><mo>|</mo><mo>=</mo><mi>n</mi></math></span> a B-coloring if every 4-cycle of <em>G</em> is colored with four different colors. Denote by <span><math><msub><mrow><mi>q</mi></mrow><mrow><mi>B</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> the smallest number of colors needed for a B-coloring of graph <em>G</em>. The question whether <span><math><msub><mrow><mi>q</mi></mrow><mrow><mi>B</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>n</mi></math></span> implies <span><math><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>=</mo><mi>o</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> is from Burr, Erdős, Graham and Sós. A positive answer to this question would imply a positive answer to the famous <span><math><mo>(</mo><mn>7</mn><mo>,</mo><mn>4</mn><mo>)</mo></math></span>-conjecture of Brown, Erdős and Sós. Here we look at an interesting test case of this question. We call a B-coloring of a <em>d</em>-regular bipartite graph <span><math><mi>G</mi><mo>=</mo><mo>[</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>]</mo></math></span> with <span><math><mo>|</mo><mi>X</mi><mo>|</mo><mo>=</mo><mo>|</mo><mi>Y</mi><mo>|</mo><mo>=</mo><mi>n</mi></math></span> <em>perfect</em> if each color class forms a perfect matching in <em>G</em> (i.e. has <em>n</em> edges).</div><div>Let <span><math><mi>f</mi><mo>(</mo><mi>d</mi><mo>)</mo></math></span> be the minimal <em>n</em> such that there exists a perfect B-coloring of some <em>d</em>-regular bipartite graph <span><math><mi>G</mi><mo>=</mo><mo>[</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>]</mo></math></span> with <span><math><mo>|</mo><mi>X</mi><mo>|</mo><mo>=</mo><mo>|</mo><mi>Y</mi><mo>|</mo><mo>=</mo><mi>n</mi></math></span>. A test case of the question above is whether <span><math><mi>f</mi><mo>(</mo><mi>d</mi><mo>)</mo></math></span> is super-linear. We prove the affirmative answer for <em>shifted colorings</em>: defined by the matchings <span><math><msub><mrow><mi>M</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span><span><span><span><math><msub><mrow><mi>M</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>=</mo><mrow><mo>{</mo><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>k</mi><mo>+</mo><mi>i</mi></mrow></msub><mo>)</mo><mspace></mspace><mo>|</mo><mspace></mspace><mn>0</mn><mo>≤</mo><mi>k</mi><mo>≤</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>,</mo><mi>i</mi><mo>∈</mo><mi>D</mi><mo>}</mo></mrow><mo>,</mo></math></span></span></span> where <span><math><mi>D</mi><mo>=</mo><mo>{</mo><msub><mrow><mi>i</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>i</mi></mrow><mrow><mi>d</mi></mrow></msub><mo>}</mo><
{"title":"Perfect proper edge colorings of regular bipartite graphs with rainbow C4-s","authors":"András Gyárfás , Gábor N. Sárközy , Adam Zsolt Wagner","doi":"10.1016/j.disc.2026.115005","DOIUrl":"10.1016/j.disc.2026.115005","url":null,"abstract":"<div><div>We call a proper edge coloring of a bipartite graph <span><math><mi>G</mi><mo>=</mo><mo>[</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>]</mo></math></span> with <span><math><mo>|</mo><mi>X</mi><mo>|</mo><mo>=</mo><mo>|</mo><mi>Y</mi><mo>|</mo><mo>=</mo><mi>n</mi></math></span> a B-coloring if every 4-cycle of <em>G</em> is colored with four different colors. Denote by <span><math><msub><mrow><mi>q</mi></mrow><mrow><mi>B</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> the smallest number of colors needed for a B-coloring of graph <em>G</em>. The question whether <span><math><msub><mrow><mi>q</mi></mrow><mrow><mi>B</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>n</mi></math></span> implies <span><math><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>=</mo><mi>o</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> is from Burr, Erdős, Graham and Sós. A positive answer to this question would imply a positive answer to the famous <span><math><mo>(</mo><mn>7</mn><mo>,</mo><mn>4</mn><mo>)</mo></math></span>-conjecture of Brown, Erdős and Sós. Here we look at an interesting test case of this question. We call a B-coloring of a <em>d</em>-regular bipartite graph <span><math><mi>G</mi><mo>=</mo><mo>[</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>]</mo></math></span> with <span><math><mo>|</mo><mi>X</mi><mo>|</mo><mo>=</mo><mo>|</mo><mi>Y</mi><mo>|</mo><mo>=</mo><mi>n</mi></math></span> <em>perfect</em> if each color class forms a perfect matching in <em>G</em> (i.e. has <em>n</em> edges).</div><div>Let <span><math><mi>f</mi><mo>(</mo><mi>d</mi><mo>)</mo></math></span> be the minimal <em>n</em> such that there exists a perfect B-coloring of some <em>d</em>-regular bipartite graph <span><math><mi>G</mi><mo>=</mo><mo>[</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>]</mo></math></span> with <span><math><mo>|</mo><mi>X</mi><mo>|</mo><mo>=</mo><mo>|</mo><mi>Y</mi><mo>|</mo><mo>=</mo><mi>n</mi></math></span>. A test case of the question above is whether <span><math><mi>f</mi><mo>(</mo><mi>d</mi><mo>)</mo></math></span> is super-linear. We prove the affirmative answer for <em>shifted colorings</em>: defined by the matchings <span><math><msub><mrow><mi>M</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span><span><span><span><math><msub><mrow><mi>M</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>=</mo><mrow><mo>{</mo><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mi>k</mi><mo>+</mo><mi>i</mi></mrow></msub><mo>)</mo><mspace></mspace><mo>|</mo><mspace></mspace><mn>0</mn><mo>≤</mo><mi>k</mi><mo>≤</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>,</mo><mi>i</mi><mo>∈</mo><mi>D</mi><mo>}</mo></mrow><mo>,</mo></math></span></span></span> where <span><math><mi>D</mi><mo>=</mo><mo>{</mo><msub><mrow><mi>i</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>i</mi></mrow><mrow><mi>d</mi></mrow></msub><mo>}</mo><","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 6","pages":"Article 115005"},"PeriodicalIF":0.7,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145980014","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-06-01Epub Date: 2026-01-14DOI: 10.1016/j.disc.2026.114998
Reza Naserasr , Weiqiang Yu
A balanced k-coloring of a signed graph which has no negative loop is to partition its vertices into k sets each of which induces a balanced subgraph, that is a subgraph with no negative cycle. The notion, through basic graph operation, captures the classic proper coloring of graphs as special case.
Having observed the importance of balanced 2-coloring, in this work we study structural conditions which permit a signed graph to admit a 2-coloring. More precisely, slightly modifying the notion of color-critical, we say a signed graph is k-critical if it admits no balanced k-coloring but every proper subgraph of it admits such a coloring.
We show that if is a 2-critical signed graph whose underlying graph is not or an odd cycle, then where d is the maximum number of vertex disjoint digons in . As a corollary we conclude that, except for the signed graph , any signed simple graph with maximum average degree at most 4.2 admits a balanced 2-coloring.
{"title":"Density of 2-critical signed graphs","authors":"Reza Naserasr , Weiqiang Yu","doi":"10.1016/j.disc.2026.114998","DOIUrl":"10.1016/j.disc.2026.114998","url":null,"abstract":"<div><div>A balanced <em>k</em>-coloring of a signed graph <span><math><mo>(</mo><mi>G</mi><mo>,</mo><mi>σ</mi><mo>)</mo></math></span> which has no negative loop is to partition its vertices into <em>k</em> sets each of which induces a balanced subgraph, that is a subgraph with no negative cycle. The notion, through basic graph operation, captures the classic proper coloring of graphs as special case.</div><div>Having observed the importance of balanced 2-coloring, in this work we study structural conditions which permit a signed graph to admit a 2-coloring. More precisely, slightly modifying the notion of color-critical, we say a signed graph is <em>k</em>-critical if it admits no balanced <em>k</em>-coloring but every proper subgraph of it admits such a coloring.</div><div>We show that if <span><math><mo>(</mo><mi>G</mi><mo>,</mo><mi>σ</mi><mo>)</mo></math></span> is a 2-critical signed graph whose underlying graph is not <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>5</mn></mrow></msub></math></span> or an odd cycle, then<span><span><span><math><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>≥</mo><mfrac><mrow><mn>21</mn><mo>|</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>−</mo><mn>2</mn><mi>d</mi><mo>+</mo><mn>1</mn></mrow><mrow><mn>10</mn></mrow></mfrac></math></span></span></span> where <em>d</em> is the maximum number of vertex disjoint digons in <span><math><mo>(</mo><mi>G</mi><mo>,</mo><mi>σ</mi><mo>)</mo></math></span>. As a corollary we conclude that, except for the signed graph <span><math><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>5</mn></mrow></msub><mo>,</mo><mo>−</mo><mo>)</mo></math></span>, any signed simple graph with maximum average degree at most 4.2 admits a balanced 2-coloring.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 6","pages":"Article 114998"},"PeriodicalIF":0.7,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145980076","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-06-01Epub Date: 2026-01-08DOI: 10.1016/j.disc.2026.114979
Ran Chen, Baogang Xu
We use and to denote a path and a cycle on t vertices, respectively. A bull is a graph consisting of a triangle with two disjoint pendant edges, a hammer is a graph obtained by identifying an endvertex of a with a vertex of a triangle. A class is χ-bounded if there is a function f such that for all induced subgraphs G of a graph in . A class of graphs is Pollyanna (resp. linear-Pollyanna) if is polynomially (resp. linearly) χ-bounded for every χ-bounded class of graphs. Chudnovsky et al. [6] showed that both the classes of bull-free graphs and hammer-free graphs are Pollyannas. Let G be a connected graph with no clique cutsets and no universal vertices. In this paper, we show that G is , hammer)-free if and only if it has girth at least 5, and G is , bull)-free if and only if it is a clique blowup of some graph of girth at least 5. As a consequence, we show that both the classes of , bull)-free graphs and , hammer)-free graphs are linear-Pollyannas. We also show that the class of (bull, diamond)-free graphs is linear-Pollyanna.
我们用Pt和Ct分别表示t个顶点上的路径和循环。牛是由一个三角形的两个不相交的垂边组成的图,锤是由P3的一个端点与一个三角形的一个顶点确定而成的图。如果存在一个函数F,使得F中一个图的所有诱导子图G的χ(G)≤F (ω(G)),则该类F是χ-有界的。如果C∩F是多项式的(p。对于每一个有χ有界的图类F。Chudnovsky et al.[6]表明无牛图和无锤图都是盲目乐观的。设G是一个连通图,没有团切集,也没有全称顶点。本文证明了G是(C4,锤子)自由的当且仅当它的周长至少为5,并且G是(C4,公牛)自由的当且仅当它是某个周长至少为5的图的团团爆破。因此,我们证明了(C4,牛)自由图和(C4,锤)自由图都是线性的盲目乐观。我们还证明了一类(牛,菱形)无图是线性的。
{"title":"Structure and linear-Pollyanna for some square-free graphs","authors":"Ran Chen, Baogang Xu","doi":"10.1016/j.disc.2026.114979","DOIUrl":"10.1016/j.disc.2026.114979","url":null,"abstract":"<div><div>We use <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>t</mi></mrow></msub></math></span> and <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>t</mi></mrow></msub></math></span> to denote a path and a cycle on <em>t</em> vertices, respectively. A <em>bull</em> is a graph consisting of a triangle with two disjoint pendant edges, a <em>hammer</em> is a graph obtained by identifying an endvertex of a <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span> with a vertex of a triangle. A class <span><math><mi>F</mi></math></span> is <em>χ</em>-bounded if there is a function <em>f</em> such that <span><math><mi>χ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>f</mi><mo>(</mo><mi>ω</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo></math></span> for all induced subgraphs <em>G</em> of a graph in <span><math><mi>F</mi></math></span>. A class <span><math><mi>C</mi></math></span> of graphs is <em>Pollyanna</em> (resp. <em>linear-Pollyanna</em>) if <span><math><mi>C</mi><mo>∩</mo><mi>F</mi></math></span> is polynomially (resp. linearly) <em>χ</em>-bounded for every <em>χ</em>-bounded class <span><math><mi>F</mi></math></span> of graphs. Chudnovsky et al. <span><span>[6]</span></span> showed that both the classes of bull-free graphs and hammer-free graphs are Pollyannas. Let <em>G</em> be a connected graph with no clique cutsets and no universal vertices. In this paper, we show that <em>G</em> is <span><math><mo>(</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>, hammer)-free if and only if it has girth at least 5, and <em>G</em> is <span><math><mo>(</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>, bull)-free if and only if it is a clique blowup of some graph of girth at least 5. As a consequence, we show that both the classes of <span><math><mo>(</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>, bull)-free graphs and <span><math><mo>(</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>, hammer)-free graphs are linear-Pollyannas. We also show that the class of (bull, diamond)-free graphs is linear-Pollyanna.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 6","pages":"Article 114979"},"PeriodicalIF":0.7,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145928976","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-06-01Epub Date: 2026-01-23DOI: 10.1016/j.disc.2026.114994
S.R. Kingan
<div><div>Let <em>G</em> and <em>H</em> be simple 3-connected graphs such that <em>G</em> has an <em>H</em>-minor. An edge <em>e</em> in <em>G</em> is called <em>H-deletable</em> if <span><math><mi>G</mi><mo>﹨</mo><mi>e</mi></math></span> is 3-connected and has an <em>H</em>-minor. The main result in this paper establishes that, if <em>G</em> has no <em>H</em>-deletable edges, then there exists a sequence of simple 3-connected graphs <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> with no <em>H</em>-deletable edges such that <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>≅</mo><mi>H</mi></math></span>, <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>=</mo><mi>G</mi></math></span>, and for <span><math><mn>1</mn><mo>≤</mo><mi>i</mi><mo>≤</mo><mi>k</mi></math></span> one of three possibilities holds: <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>=</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>/</mo><mi>f</mi></math></span>; <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>=</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>/</mo><mi>f</mi><mo>﹨</mo><mi>e</mi></math></span> where <em>e</em> and <em>f</em> are incident to a degree 3 vertex in <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>; or <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>=</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>−</mo><mi>w</mi></math></span> where <em>w</em> is a degree 3 vertex in <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>. We give several applications including a graph-theoretic proof of the matroid theory result known as the Strong Splitter Theorem, a short new proof of Dirac's characterization of 3-connected graphs with no minor isomorphic to the prism graph, and an extension of a result by Halin that bounds the number of edges in a minimally 3-connected graph. Halin proved that if <em>G</em> is a minimally 3-connected graph on <span><math><mi>n</mi><mo>≥</mo><mn>8</mn></math></span> vertices, then <span><math><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>≤</mo><mn>3</mn><mi>n</mi><mo>−</mo><mn>9</mn></math></span> and equality holds if and only if <span><math><mi>G</mi><mo>≅</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>3</mn><mo>,</mo><mi>n</mi><mo>−</mo><mn>3</mn></mrow></msub></math></span>. We give a different proof of Halin's result and extend it by identifying the minimally 3-connected infinite family of graphs with <span><math><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>=</mo><mn>3</mn><mi>n</mi><mo>−</mo><mn>10</mn></math></span>. Finally, we extend the main theorem to mat
{"title":"Deletable edges in 3-connected graphs and their applications","authors":"S.R. Kingan","doi":"10.1016/j.disc.2026.114994","DOIUrl":"10.1016/j.disc.2026.114994","url":null,"abstract":"<div><div>Let <em>G</em> and <em>H</em> be simple 3-connected graphs such that <em>G</em> has an <em>H</em>-minor. An edge <em>e</em> in <em>G</em> is called <em>H-deletable</em> if <span><math><mi>G</mi><mo>﹨</mo><mi>e</mi></math></span> is 3-connected and has an <em>H</em>-minor. The main result in this paper establishes that, if <em>G</em> has no <em>H</em>-deletable edges, then there exists a sequence of simple 3-connected graphs <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> with no <em>H</em>-deletable edges such that <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>≅</mo><mi>H</mi></math></span>, <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>=</mo><mi>G</mi></math></span>, and for <span><math><mn>1</mn><mo>≤</mo><mi>i</mi><mo>≤</mo><mi>k</mi></math></span> one of three possibilities holds: <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>=</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>/</mo><mi>f</mi></math></span>; <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>=</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>/</mo><mi>f</mi><mo>﹨</mo><mi>e</mi></math></span> where <em>e</em> and <em>f</em> are incident to a degree 3 vertex in <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>; or <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>=</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>−</mo><mi>w</mi></math></span> where <em>w</em> is a degree 3 vertex in <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>. We give several applications including a graph-theoretic proof of the matroid theory result known as the Strong Splitter Theorem, a short new proof of Dirac's characterization of 3-connected graphs with no minor isomorphic to the prism graph, and an extension of a result by Halin that bounds the number of edges in a minimally 3-connected graph. Halin proved that if <em>G</em> is a minimally 3-connected graph on <span><math><mi>n</mi><mo>≥</mo><mn>8</mn></math></span> vertices, then <span><math><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>≤</mo><mn>3</mn><mi>n</mi><mo>−</mo><mn>9</mn></math></span> and equality holds if and only if <span><math><mi>G</mi><mo>≅</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>3</mn><mo>,</mo><mi>n</mi><mo>−</mo><mn>3</mn></mrow></msub></math></span>. We give a different proof of Halin's result and extend it by identifying the minimally 3-connected infinite family of graphs with <span><math><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>=</mo><mn>3</mn><mi>n</mi><mo>−</mo><mn>10</mn></math></span>. Finally, we extend the main theorem to mat","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 6","pages":"Article 114994"},"PeriodicalIF":0.7,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146038450","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-06-01Epub Date: 2026-01-12DOI: 10.1016/j.disc.2026.114983
Gholamreza Abrishami , Freydoon Rahbarnia , Nico Van Cleemput
In 1980, Zamfirescu presented a non-traceable (i.e. without a hamiltonian path) 3-connected planar cubic graph with 88 vertices, which is still the smallest known one of its kind. In this note we present several new examples with 88 vertices. Moreover, we present a non-traceable cyclically 4-connected planar cubic graph with 168 vertices.
{"title":"On non-traceable 3-connected planar cubic graphs of minimum order","authors":"Gholamreza Abrishami , Freydoon Rahbarnia , Nico Van Cleemput","doi":"10.1016/j.disc.2026.114983","DOIUrl":"10.1016/j.disc.2026.114983","url":null,"abstract":"<div><div>In 1980, Zamfirescu presented a non-traceable (i.e. without a hamiltonian path) 3-connected planar cubic graph with 88 vertices, which is still the smallest known one of its kind. In this note we present several new examples with 88 vertices. Moreover, we present a non-traceable cyclically 4-connected planar cubic graph with 168 vertices.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 6","pages":"Article 114983"},"PeriodicalIF":0.7,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145980071","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-06-01Epub Date: 2026-01-06DOI: 10.1016/j.disc.2025.114967
Kinkar Chandra Das , Da-yeon Huh , Sourav Mondal
The exponential augmented Zagreb (EAZ) index is a graph-theoretical descriptor that correlates strongly with the physico-chemical properties of molecules. Introduced by Rada in 2019, it is defined for a simple graph ϒ as where denotes the edge set and is the degree of vertex . This work is motivated by some open problems concerning the well-known augmented Zagreb index (AZ). In particular, the maximization of AZ for a given graph order and a specified number of pendant vertices was posed as an open problem in Chen et al. (2022) [7]. We completely resolve this problem for the exponential version, EAZ. In recent work Xu et al. (2025) [38], two related questions were raised: whether the maximal graphs for AZ and EAZ coincide, and if not, how they differ. We provide complete answers to these questions with respect to the chromatic number and the number of pendant vertices. We explore the maximal graph for EAZ in terms of chromatic number and graph order, and show that this differs substantially from the corresponding extremal graph for AZ. Further results include a characterization of the maximal graphs for EAZ when vertex connectivity and edge connectivity are prescribed together with the graph order. In addition, we prove that increases upon adding an edge to ϒ, a crucial result for understanding the extremal properties of EAZ. Finally, the potential usefulness of this discrete invariant in chemical graph theory is demonstrated.
指数增强萨格勒布指数(EAZ)是一种与分子的物理化学性质密切相关的图理论描述符。由Rada于2019年引入,它被定义为一个简单的图表γ asEAZ(y)=∑vivj∈E(y) E(didjdi+dj−2)3,其中E(y)表示边缘集,di表示顶点vi的度。这项工作的灵感来自于一些关于著名的增强萨格勒布指数(AZ)的开放问题。特别是,在Chen等人(2022)[7]中,给定图阶和指定数量的垂顶点的AZ最大化是一个开放问题。我们完全解决了这个问题的指数版本,EAZ。在最近的工作Xu et al. (2025) b[38]中,提出了两个相关的问题:AZ和EAZ的最大图是否重合,如果不重合,它们是如何不同的。我们提供了关于色数和垂顶点数的完整答案。我们从色数和图阶的角度探讨了EAZ的极大图,并表明这与AZ的相应极值图有很大的不同。进一步的结果包括了当顶点连通性和边连通性与图阶一起规定时EAZ的极大图的表征。此外,我们证明了在给y增加一个边缘后,y的值会增加,这是理解y的极端属性的一个关键结果。最后,证明了该离散不变量在化学图论中的潜在用途。
{"title":"Solutions to open problems on the exponential augmented Zagreb index","authors":"Kinkar Chandra Das , Da-yeon Huh , Sourav Mondal","doi":"10.1016/j.disc.2025.114967","DOIUrl":"10.1016/j.disc.2025.114967","url":null,"abstract":"<div><div>The exponential augmented Zagreb (<em>EAZ</em>) index is a graph-theoretical descriptor that correlates strongly with the physico-chemical properties of molecules. Introduced by Rada in 2019, it is defined for a simple graph ϒ as<span><span><span><math><mi>E</mi><mi>A</mi><mi>Z</mi><mo>(</mo><mi>ϒ</mi><mo>)</mo><mo>=</mo><munder><mo>∑</mo><mrow><msub><mrow><mi>v</mi></mrow><mrow><mi>i</mi></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>∈</mo><mi>E</mi><mo>(</mo><mi>ϒ</mi><mo>)</mo></mrow></munder><msup><mrow><mi>e</mi></mrow><mrow><msup><mrow><mo>(</mo><mfrac><mrow><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub><msub><mrow><mi>d</mi></mrow><mrow><mi>j</mi></mrow></msub></mrow><mrow><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>+</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>−</mo><mn>2</mn></mrow></mfrac><mo>)</mo></mrow><mrow><mn>3</mn></mrow></msup></mrow></msup><mo>,</mo></math></span></span></span> where <span><math><mi>E</mi><mo>(</mo><mi>ϒ</mi><mo>)</mo></math></span> denotes the edge set and <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is the degree of vertex <span><math><msub><mrow><mi>v</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>. This work is motivated by some open problems concerning the well-known augmented Zagreb index (<em>AZ</em>). In particular, the maximization of <em>AZ</em> for a given graph order and a specified number of pendant vertices was posed as an open problem in Chen et al. (2022) <span><span>[7]</span></span>. We completely resolve this problem for the exponential version, <em>EAZ</em>. In recent work Xu et al. (2025) <span><span>[38]</span></span>, two related questions were raised: whether the maximal graphs for <em>AZ</em> and <em>EAZ</em> coincide, and if not, how they differ. We provide complete answers to these questions with respect to the chromatic number and the number of pendant vertices. We explore the maximal graph for <em>EAZ</em> in terms of chromatic number and graph order, and show that this differs substantially from the corresponding extremal graph for <em>AZ</em>. Further results include a characterization of the maximal graphs for <em>EAZ</em> when vertex connectivity and edge connectivity are prescribed together with the graph order. In addition, we prove that <span><math><mi>E</mi><mi>A</mi><mi>Z</mi><mo>(</mo><mi>ϒ</mi><mo>)</mo></math></span> increases upon adding an edge to ϒ, a crucial result for understanding the extremal properties of <em>EAZ</em>. Finally, the potential usefulness of this discrete invariant in chemical graph theory is demonstrated.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 6","pages":"Article 114967"},"PeriodicalIF":0.7,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145928975","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-06-01Epub Date: 2026-01-28DOI: 10.1016/j.disc.2026.115001
Andrew Lane , Natasha Morrison
Given a graph H, we say that a graph G is properly rainbow H-saturated if: (1) There is a proper edge colouring of G containing no rainbow copy of H; (2) For every , every proper edge colouring of contains a rainbow copy of H. The proper rainbow saturation number is the minimum number of edges in a properly rainbow H-saturated graph. In this paper we use connections to the classical saturation and semi-saturation numbers to provide new upper bounds on for general cliques, cycles, and complete bipartite graphs. We also provide a necessary and sufficient condition for a graph to have constant proper rainbow saturation number.
{"title":"Improved bounds for proper rainbow saturation","authors":"Andrew Lane , Natasha Morrison","doi":"10.1016/j.disc.2026.115001","DOIUrl":"10.1016/j.disc.2026.115001","url":null,"abstract":"<div><div>Given a graph <em>H</em>, we say that a graph <em>G</em> is <em>properly rainbow H-saturated</em> if: (1) There is a proper edge colouring of <em>G</em> containing no rainbow copy of <em>H</em>; (2) For every <span><math><mi>e</mi><mo>∉</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, every proper edge colouring of <span><math><mi>G</mi><mo>+</mo><mi>e</mi></math></span> contains a rainbow copy of <em>H</em>. The <em>proper rainbow saturation number</em> <span><math><mrow><mi>sa</mi><msup><mrow><mi>t</mi></mrow><mrow><mo>⁎</mo></mrow></msup></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span> is the minimum number of edges in a properly rainbow <em>H</em>-saturated graph. In this paper we use connections to the classical saturation and semi-saturation numbers to provide new upper bounds on <span><math><mrow><mi>sa</mi><msup><mrow><mi>t</mi></mrow><mrow><mo>⁎</mo></mrow></msup></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span> for general cliques, cycles, and complete bipartite graphs. We also provide a necessary and sufficient condition for a graph to have constant proper rainbow saturation number.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 6","pages":"Article 115001"},"PeriodicalIF":0.7,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146079004","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-06-01Epub Date: 2026-01-20DOI: 10.1016/j.disc.2026.115009
Yusaku Nishimura
R.P. Stanley defined an invariant for graphs called the chromatic symmetric function and conjectured it is a complete invariant for trees. Miezaki et al. generalized the chromatic symmetric function and defined the Kneser chromatic functions denoted by , and rephrase Stanley's conjecture that is a complete invariant for trees. This paper shows is a complete invariant for trees.
{"title":"The Kneser chromatic function distinguishes trees","authors":"Yusaku Nishimura","doi":"10.1016/j.disc.2026.115009","DOIUrl":"10.1016/j.disc.2026.115009","url":null,"abstract":"<div><div>R.P. Stanley defined an invariant for graphs called the chromatic symmetric function and conjectured it is a complete invariant for trees. Miezaki et al. generalized the chromatic symmetric function and defined the Kneser chromatic functions denoted by <span><math><msub><mrow><mo>{</mo><msub><mrow><mi>X</mi></mrow><mrow><msub><mrow><mi>K</mi></mrow><mrow><mi>N</mi><mo>,</mo><mi>k</mi></mrow></msub></mrow></msub><mo>}</mo></mrow><mrow><mi>k</mi><mo>∈</mo><mi>N</mi></mrow></msub></math></span>, and rephrase Stanley's conjecture that <span><math><msub><mrow><mi>X</mi></mrow><mrow><msub><mrow><mi>K</mi></mrow><mrow><mi>N</mi><mo>,</mo><mn>1</mn></mrow></msub></mrow></msub></math></span> is a complete invariant for trees. This paper shows <span><math><msub><mrow><mi>X</mi></mrow><mrow><msub><mrow><mi>K</mi></mrow><mrow><mi>N</mi><mo>,</mo><mn>2</mn></mrow></msub></mrow></msub></math></span> is a complete invariant for trees.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 6","pages":"Article 115009"},"PeriodicalIF":0.7,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146038446","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-06-01Epub Date: 2026-01-19DOI: 10.1016/j.disc.2026.115004
Kanat Abdukhalikov , Askar S. Dzhumadil'daev , San Ling
We study quasi-cyclic codes of index 2 over finite fields. We give a classification of such codes. Their duals with respect to the Euclidean, symplectic and Hermitian inner products are investigated. We describe self-orthogonal and dual-containing codes. Lower bounds for minimum distances of quasi-cyclic codes are given. A quasi-cyclic code of index 2 is generated by at most two elements. We describe conditions when such a code (or its dual) is generated by one element.
{"title":"Quasi-cyclic codes of index 2","authors":"Kanat Abdukhalikov , Askar S. Dzhumadil'daev , San Ling","doi":"10.1016/j.disc.2026.115004","DOIUrl":"10.1016/j.disc.2026.115004","url":null,"abstract":"<div><div>We study quasi-cyclic codes of index 2 over finite fields. We give a classification of such codes. Their duals with respect to the Euclidean, symplectic and Hermitian inner products are investigated. We describe self-orthogonal and dual-containing codes. Lower bounds for minimum distances of quasi-cyclic codes are given. A quasi-cyclic code of index 2 is generated by at most two elements. We describe conditions when such a code (or its dual) is generated by one element.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 6","pages":"Article 115004"},"PeriodicalIF":0.7,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146038449","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}