首页 > 最新文献

Discrete Mathematics最新文献

英文 中文
Weak saturation numbers for the union of disjoint graphs 不相交图并集的弱饱和数
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2026-05-01 Epub Date: 2026-01-27 DOI: 10.1016/j.disc.2026.115011
Yu Zhang, Rong-Xia Hao, Zhen He, Jianbing Liu
<div><div>Let <em>F</em> and <em>H</em> be two graphs. A spanning subgraph <em>G</em> of <em>F</em> is said to be weakly <span><math><mo>(</mo><mi>F</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span>-saturated if there exists an ordering <span><math><msub><mrow><mi>e</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>t</mi></mrow></msub></math></span> of the edges in <span><math><mi>E</mi><mo>(</mo><mi>F</mi><mo>)</mo><mo>∖</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> such that, for each <span><math><mi>i</mi><mo>∈</mo><mo>[</mo><mi>t</mi><mo>]</mo></math></span>, the addition of <span><math><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> to <span><math><mi>G</mi><mo>+</mo><mo>{</mo><msub><mrow><mi>e</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>}</mo></math></span> creates a new copy of <em>H</em> containing <span><math><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>. The weak saturation number of <em>H</em> with respect to <em>F</em> is defined as <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>F</mi><mo>,</mo><mi>H</mi><mo>)</mo><mo>=</mo><mi>min</mi><mo>⁡</mo><mo>{</mo><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>:</mo><mi>G</mi><mtext> is weakly </mtext><mo>(</mo><mi>F</mi><mo>,</mo><mi>H</mi><mo>)</mo><mtext>-saturated</mtext><mo>}</mo></math></span>. Kronenberg et al. (2021) <span><span>[7]</span></span> determined the exact values of <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo></math></span> and <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span>. In this paper, we generalize previous results by determining the exact values of <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>r</mi><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo></math></span> and <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>r</mi><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span> for <span><math><mi>r</mi><mo>≥</mo><mn>1</mn></math></span>, and provide both upper and lower bounds for <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>r</mi><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo></math></span>. Additionally, we determine <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><munderover><mo>⋃</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mr
设F和H是两个图。F的生成子图G是弱(F,H)饱和的,如果存在E(F)∈E(G)中的边的排序e1,…,et,使得对于每一个i∈[t], ei加上G+{e1,…,ei−1}产生一个包含ei的H的新副本。H相对于F的弱饱和数定义为wsat(F,H)=min (|E(G)|:G是弱(F,H)饱和}。Kronenberg et al.(2021)[7]确定了wsat(n,Kt,t)和wsat(n,Kt,t+1)的确切值。本文通过确定r≥1时wsat(n,rKt,t)和wsat(n,rKt,t+1)的精确值,推广了前人的结果,并给出了wsat(n,rKs,t)的上界和下界。此外,我们确定了不相交完全图并集的wsat(n,∈i=1qKti),这改进了Faudree等人关于wsat(n,qKt)的已知结果。
{"title":"Weak saturation numbers for the union of disjoint graphs","authors":"Yu Zhang,&nbsp;Rong-Xia Hao,&nbsp;Zhen He,&nbsp;Jianbing Liu","doi":"10.1016/j.disc.2026.115011","DOIUrl":"10.1016/j.disc.2026.115011","url":null,"abstract":"&lt;div&gt;&lt;div&gt;Let &lt;em&gt;F&lt;/em&gt; and &lt;em&gt;H&lt;/em&gt; be two graphs. A spanning subgraph &lt;em&gt;G&lt;/em&gt; of &lt;em&gt;F&lt;/em&gt; is said to be weakly &lt;span&gt;&lt;math&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;F&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;H&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;-saturated if there exists an ordering &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;e&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;…&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;e&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; of the edges in &lt;span&gt;&lt;math&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;F&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;∖&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; such that, for each &lt;span&gt;&lt;math&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mo&gt;[&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;]&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;, the addition of &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;e&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; to &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;e&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;…&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;e&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; creates a new copy of &lt;em&gt;H&lt;/em&gt; containing &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;e&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt;. The weak saturation number of &lt;em&gt;H&lt;/em&gt; with respect to &lt;em&gt;F&lt;/em&gt; is defined as &lt;span&gt;&lt;math&gt;&lt;mi&gt;w&lt;/mi&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;F&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;H&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;min&lt;/mi&gt;&lt;mo&gt;⁡&lt;/mo&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mo&gt;:&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mtext&gt; is weakly &lt;/mtext&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;F&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;H&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mtext&gt;-saturated&lt;/mtext&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;. Kronenberg et al. (2021) &lt;span&gt;&lt;span&gt;[7]&lt;/span&gt;&lt;/span&gt; determined the exact values of &lt;span&gt;&lt;math&gt;&lt;mi&gt;w&lt;/mi&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;mi&gt;w&lt;/mi&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;. In this paper, we generalize previous results by determining the exact values of &lt;span&gt;&lt;math&gt;&lt;mi&gt;w&lt;/mi&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;r&lt;/mi&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;mi&gt;w&lt;/mi&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;r&lt;/mi&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; for &lt;span&gt;&lt;math&gt;&lt;mi&gt;r&lt;/mi&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt;, and provide both upper and lower bounds for &lt;span&gt;&lt;math&gt;&lt;mi&gt;w&lt;/mi&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;r&lt;/mi&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;K&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;. Additionally, we determine &lt;span&gt;&lt;math&gt;&lt;mi&gt;w&lt;/mi&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;munderover&gt;&lt;mo&gt;⋃&lt;/mo&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mr","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 115011"},"PeriodicalIF":0.7,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146077349","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}
引用次数: 0
On Ward numbers and increasing Schröder trees 关于病房数和增加Schröder树
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2026-05-01 Epub Date: 2025-12-30 DOI: 10.1016/j.disc.2025.114965
Elena L. Wang , Guoce Xin
The Ward numbers W(n,k) combinatorially enumerate set partitions with block sizes ≥2 and phylogenetic trees (total partition trees). We prove that W(n,k) also counts increasing Schröder trees by verifying they satisfy Ward's recurrence. We construct a direct type-preserving bijection between total partition trees and increasing Schröder trees, complementing known type-preserving bijections to set partitions (including Chen's decomposition for increasing Schröder trees). Weighted generalizations extend these bijections to enriched increasing Schröder trees and Schröder trees, yielding new links to labeled rooted trees. Finally, we deduce a functional equation for weighted increasing Schröder trees, whose solution using Chen's decomposition leads to a combinatorial interpretation of a Lagrange inversion variant.
Ward数W(n,k)组合枚举块大小≥2的集合分区和系统发育树(总分区树)。我们通过验证W(n,k)满足Ward递归来证明W(n,k)也算增加Schröder树。我们在总分区树和增加的Schröder树之间构造了一个直接保型双射,补充了已知的保型双射来设置分区(包括Chen的增加Schröder树的分解)。加权泛化将这些双向映射扩展到丰富的增长Schröder树和Schröder树,生成到标记有根树的新链接。最后,我们推导了加权增加Schröder树的函数方程,其解使用Chen的分解导致拉格朗日反转变体的组合解释。
{"title":"On Ward numbers and increasing Schröder trees","authors":"Elena L. Wang ,&nbsp;Guoce Xin","doi":"10.1016/j.disc.2025.114965","DOIUrl":"10.1016/j.disc.2025.114965","url":null,"abstract":"<div><div>The Ward numbers <span><math><mi>W</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span> combinatorially enumerate set partitions with block sizes ≥2 and phylogenetic trees (total partition trees). We prove that <span><math><mi>W</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span> also counts <em>increasing Schröder trees</em> by verifying they satisfy Ward's recurrence. We construct a direct type-preserving bijection between total partition trees and increasing Schröder trees, complementing known type-preserving bijections to set partitions (including Chen's decomposition for increasing Schröder trees). Weighted generalizations extend these bijections to enriched increasing Schröder trees and Schröder trees, yielding new links to labeled rooted trees. Finally, we deduce a functional equation for weighted increasing Schröder trees, whose solution using Chen's decomposition leads to a combinatorial interpretation of a Lagrange inversion variant.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 114965"},"PeriodicalIF":0.7,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145885055","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}
引用次数: 0
The burning game on graphs 图表上的燃烧游戏
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2026-05-01 Epub Date: 2026-02-02 DOI: 10.1016/j.disc.2026.115027
Nina Chiarelli , Vesna Iršič Chenoweth , Marko Jakovac , William B. Kinnersley , Mirjana Mikalački
Motivated by the burning and cooling processes, the burning game is introduced. Two players (Burner and Staller) play the game on a graph G by alternately selecting vertices of G to burn; as in the burning process, burning vertices spread fire to unburned neighbors. Burner aims to burn all vertices of G as quickly as possible, while Staller wants the process to last as long as possible. If both players play optimally, then the number of time steps needed to burn the whole graph G is the game burning number bg(G) if Burner makes the first move, and the Staller-start game burning number bg(G) if Staller starts.
In this paper, basic bounds on bg(G) are given and several fundamental properties of the burning game established. Graphs with small game burning numbers are characterized and the game is studied on paths and cycles. An analogue of the burning number conjecture for the burning game is also considered. Finally, it is shown that the problem of determining whether or not bg(G)k is NP-hard.
在燃烧和冷却过程的启发下,介绍了燃烧游戏。两名玩家(Burner和Staller)在图形G上轮流选择要燃烧的顶点来玩游戏;在燃烧过程中,燃烧的顶点将火传播到未燃烧的邻居。Burner的目标是尽可能快地燃烧G的所有顶点,而Staller希望这个过程持续尽可能长的时间。如果两个玩家都处于最佳状态,那么燃烧整个图形G所需的时间步数就是游戏燃烧数bg(G)(如果Burner先采取行动),而Staller开始游戏燃烧数bg(G)(如果Staller开始)。本文给出了bg(G)的基本界,并建立了燃烧对策的几个基本性质。对游戏燃烧数较小的图进行了表征,并在路径和循环上对游戏进行了研究。我们还考虑了燃烧游戏的燃烧数猜想的类比。最后,证明了确定bg(G)≤k是否为np困难问题。
{"title":"The burning game on graphs","authors":"Nina Chiarelli ,&nbsp;Vesna Iršič Chenoweth ,&nbsp;Marko Jakovac ,&nbsp;William B. Kinnersley ,&nbsp;Mirjana Mikalački","doi":"10.1016/j.disc.2026.115027","DOIUrl":"10.1016/j.disc.2026.115027","url":null,"abstract":"<div><div>Motivated by the burning and cooling processes, the burning game is introduced. Two players (Burner and Staller) play the game on a graph <em>G</em> by alternately selecting vertices of <em>G</em> to burn; as in the burning process, burning vertices spread fire to unburned neighbors. Burner aims to burn all vertices of <em>G</em> as quickly as possible, while Staller wants the process to last as long as possible. If both players play optimally, then the number of time steps needed to burn the whole graph <em>G</em> is the game burning number <span><math><msub><mrow><mi>b</mi></mrow><mrow><mi>g</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> if Burner makes the first move, and the Staller-start game burning number <span><math><msubsup><mrow><mi>b</mi></mrow><mrow><mi>g</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo></math></span> if Staller starts.</div><div>In this paper, basic bounds on <span><math><msub><mrow><mi>b</mi></mrow><mrow><mi>g</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> are given and several fundamental properties of the burning game established. Graphs with small game burning numbers are characterized and the game is studied on paths and cycles. An analogue of the burning number conjecture for the burning game is also considered. Finally, it is shown that the problem of determining whether or not <span><math><msub><mrow><mi>b</mi></mrow><mrow><mi>g</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>k</mi></math></span> is NP-hard.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 115027"},"PeriodicalIF":0.7,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146187841","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}
引用次数: 0
Spectral extrema of graphs: Forbidden cliques and star forests 图的谱极值:禁团和星林
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2026-04-01 Epub Date: 2025-12-23 DOI: 10.1016/j.disc.2025.114954
Ming-Zhu Chen , Ya-Lei Jin , Peng-Li Zhang
Let F be a family of graphs. A graph is called F-free if it does not contain any member of F as a subgraph. A star forest i=1s+1Sdi is a forest whose all components are stars, where Sdi is a star of order di+1. In this paper, for k2, s1 and n100(i=1s+1di+3s+1)6, we obtain the maximum spectral radius of {Kk+1,i=1s+1Sdi}-free graphs of order n, where d1ds+11. Moreover, we also characterize the extremal graphs.
设F是一个图族。如果一个图不包含F中的任何成员作为子图,则称为F自由图。星林∪i=1s+1Sdi是一个所有成分都是星的星林,其中Sdi是di+1阶的星。在本文中,对于k≥2,s≥1,n≥100(∑i=1s+1di+3s+1)6,我们得到了n阶自由图{Kk+1,∪i=1s+1Sdi}的最大谱半径,其中d1≥⋯≥ds+1≥1。此外,我们还对极值图进行了刻画。
{"title":"Spectral extrema of graphs: Forbidden cliques and star forests","authors":"Ming-Zhu Chen ,&nbsp;Ya-Lei Jin ,&nbsp;Peng-Li Zhang","doi":"10.1016/j.disc.2025.114954","DOIUrl":"10.1016/j.disc.2025.114954","url":null,"abstract":"<div><div>Let <span><math><mi>F</mi></math></span> be a family of graphs. A graph is called <span><math><mi>F</mi></math></span>-free if it does not contain any member of <span><math><mi>F</mi></math></span> as a subgraph. A star forest <span><math><msubsup><mrow><mo>∪</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>s</mi><mo>+</mo><mn>1</mn></mrow></msubsup><msub><mrow><mi>S</mi></mrow><mrow><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msub></math></span> is a forest whose all components are stars, where <span><math><msub><mrow><mi>S</mi></mrow><mrow><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msub></math></span> is a star of order <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>+</mo><mn>1</mn></math></span>. In this paper, for <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span>, <span><math><mi>s</mi><mo>≥</mo><mn>1</mn></math></span> and <span><math><mi>n</mi><mo>≥</mo><mn>100</mn><msup><mrow><mo>(</mo><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>s</mi><mo>+</mo><mn>1</mn></mrow></msubsup><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>+</mo><mn>3</mn><mi>s</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mrow><mn>6</mn></mrow></msup></math></span>, we obtain the maximum spectral radius of <span><math><mo>{</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>,</mo><msubsup><mrow><mo>∪</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>s</mi><mo>+</mo><mn>1</mn></mrow></msubsup><msub><mrow><mi>S</mi></mrow><mrow><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msub><mo>}</mo></math></span>-free graphs of order <em>n</em>, where <span><math><msub><mrow><mi>d</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≥</mo><mo>⋯</mo><mo>≥</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>s</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>≥</mo><mn>1</mn></math></span>. Moreover, we also characterize the extremal graphs.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114954"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145840261","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}
引用次数: 0
Secure domination in P5-free graphs P5-free图中的安全支配
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2026-04-01 Epub Date: 2025-12-02 DOI: 10.1016/j.disc.2025.114905
Uttam K. Gupta , Michael A. Henning , Paras Vinubhai Maniya , Dinabandhu Pradhan
A dominating set of a graph G is a set SV(G) such that every vertex in V(G)S has a neighbor in S, where two vertices are neighbors if they are adjacent. A secure dominating set of G is a dominating set S of G with the additional property that for every vertex vV(G)S, there exists a neighbor u of v in S such that (S{u}){v} is a dominating set of G. The secure domination number of G, denoted by γs(G), is the minimum cardinality of a secure dominating set of G. We prove that if G is a P5-free graph, then γs(G)32α(G), where α(G) denotes the independence number of G. We further show that if G is a connected (P5,H)-free graph for some H{P3P1,K22K1,paw,C4}, then γs(G)max{3,α(G)}. We also show that if G is a (P3P2)-free graph, then γs(G)α(G)+1.
图G的支配集是一个集S⊥V(G),满足V(G)∑S中的每个顶点在S中有一个邻居,其中两个顶点相邻为邻居。G的安全控制集是G的控制集S,其附加性质是对于每个顶点v∈v (G)∑S,在S中存在一个v的邻居u,使得(S∈{u})∪{v}是G的控制集。G的安全控制数,记作γs(G),是G的安全控制集的最小cardinality。我们证明如果G是P5-free图,则γs(G)≤32α(G),其中α(G)表示G的独立数,进一步证明了对于某些H∈{P3∪P1,K2∪2K1,paw,C4},如果G是连通(P5,H)自由图,则γs(G)≤max (3,α(G)}。我们还证明了如果G是一个(P3∪P2)自由图,那么γs(G)≤α(G)+1。
{"title":"Secure domination in P5-free graphs","authors":"Uttam K. Gupta ,&nbsp;Michael A. Henning ,&nbsp;Paras Vinubhai Maniya ,&nbsp;Dinabandhu Pradhan","doi":"10.1016/j.disc.2025.114905","DOIUrl":"10.1016/j.disc.2025.114905","url":null,"abstract":"<div><div>A dominating set of a graph <em>G</em> is a set <span><math><mi>S</mi><mo>⊆</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> such that every vertex in <span><math><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>∖</mo><mi>S</mi></math></span> has a neighbor in <em>S</em>, where two vertices are neighbors if they are adjacent. A secure dominating set of <em>G</em> is a dominating set <em>S</em> of <em>G</em> with the additional property that for every vertex <span><math><mi>v</mi><mo>∈</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>∖</mo><mi>S</mi></math></span>, there exists a neighbor <em>u</em> of <em>v</em> in <em>S</em> such that <span><math><mo>(</mo><mi>S</mi><mo>∖</mo><mo>{</mo><mi>u</mi><mo>}</mo><mo>)</mo><mo>∪</mo><mo>{</mo><mi>v</mi><mo>}</mo></math></span> is a dominating set of <em>G</em>. The secure domination number of <em>G</em>, denoted by <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, is the minimum cardinality of a secure dominating set of <em>G</em>. We prove that if <em>G</em> is a <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>5</mn></mrow></msub></math></span>-free graph, then <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mfrac><mrow><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mi>α</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, where <span><math><mi>α</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> denotes the independence number of <em>G</em>. We further show that if <em>G</em> is a connected <span><math><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>5</mn></mrow></msub><mo>,</mo><mi>H</mi><mo>)</mo></math></span>-free graph for some <span><math><mi>H</mi><mo>∈</mo><mo>{</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>∪</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∪</mo><mn>2</mn><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mrow><mi>paw</mi></mrow><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>4</mn></mrow></msub><mo>}</mo></math></span>, then <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>max</mi><mo>⁡</mo><mo>{</mo><mn>3</mn><mo>,</mo><mi>α</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>}</mo></math></span>. We also show that if <em>G</em> is a <span><math><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>∪</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></math></span>-free graph, then <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>α</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>+</mo><mn>1</mn></math></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114905"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693664","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}
引用次数: 0
On representation functions related to the partition 论与分区相关的表示函数
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2026-04-01 Epub Date: 2025-12-02 DOI: 10.1016/j.disc.2025.114908
Fang-Gang Xue , Xue-Qin Cao
<div><div>Let <span><math><mi>Z</mi></math></span> be the set of integers and <span><math><msub><mrow><mi>N</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> (resp. <span><math><mi>N</mi></math></span>) the set of non-negative (resp. positive) integers. For a nonempty set of integers <em>A</em> and integers <em>n</em>, <span><math><mi>h</mi><mo>≥</mo><mn>2</mn></math></span>, denote <span><math><msub><mrow><mi>r</mi></mrow><mrow><mi>A</mi><mo>,</mo><mi>h</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> by the number of representations of <em>n</em> of the form <span><math><mi>n</mi><mo>=</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>+</mo><mo>⋯</mo><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span>, where <span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≤</mo><mo>⋯</mo><mo>≤</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span> and <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∈</mo><mi>A</mi></math></span> for <span><math><mi>i</mi><mo>=</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>⋯</mo><mo>,</mo><mi>h</mi></math></span>, and <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>A</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> by the number of <span><math><mo>(</mo><mi>a</mi><mo>,</mo><msup><mrow><mi>a</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>)</mo></math></span> with <span><math><mi>a</mi><mo>,</mo><msup><mrow><mi>a</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>∈</mo><mi>A</mi></math></span> such that <span><math><mi>n</mi><mo>=</mo><mi>a</mi><mo>−</mo><msup><mrow><mi>a</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span>. Following Lev's work, we prove that there is a partition <span><math><mi>Z</mi><mo>=</mo><msubsup><mrow><mo>⋃</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mo>∞</mo></mrow></msubsup><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> of the set of all integers such that, for each <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>, we have <span><math><msub><mrow><mi>r</mi></mrow><mrow><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>,</mo><mn>2</mn></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo><mo>=</mo><mn>1</mn></math></span> for all integers <em>n</em> and <span><math><msub><mrow><mi>d</mi></mrow><mrow><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo><mo>=</mo><mn>1</mn></math></span> for all positive integers <em>n</em>. As a main result, we also prove that, for any integers <span><math><mi>h</mi><mo>≥</mo><mn>2</mn></math></span> and <span><math><mi>m</mi><mo>≥</mo><mn>2</mn></math></span>, there exists a set <em>T</em> of integers with the density <span><math><mn>1</mn><mo>−</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>m</mi></mrow></mfrac></mat
设Z为整数的集合,N0 (p。N)非负的(resp。积极的)整数。对于整数a和整数n, h≥2的非空集合,用n的表示形式n=a1+a2+⋯+ah的个数表示rA,h(n),其中a1≤,≤ah,且对于i=1,2,⋯,h, dA(n)用(a,a’)的个数表示,其中a,a’∈a使得n=a - a’。根据Lev的工作,我们证明了所有整数集合的一个分区Z= k=1∞Ak,使得对于每一个Ak,我们有rAk,2(n)=1,对于所有正整数n,我们有dAk(n)=1。作为一个主要结果,我们还证明了对于任何整数h≥2,m≥2,存在一个密度为1 - 1m的整数集合T,对于任何函数f:Z→N0′{∞},f−1(0)=T,存在一个整数集合a,满足rA,h(n)=f(n)对于所有n∈Z。这提供了一个与内特森问题相关的特定密度结果。
{"title":"On representation functions related to the partition","authors":"Fang-Gang Xue ,&nbsp;Xue-Qin Cao","doi":"10.1016/j.disc.2025.114908","DOIUrl":"10.1016/j.disc.2025.114908","url":null,"abstract":"&lt;div&gt;&lt;div&gt;Let &lt;span&gt;&lt;math&gt;&lt;mi&gt;Z&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; be the set of integers and &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;N&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; (resp. &lt;span&gt;&lt;math&gt;&lt;mi&gt;N&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;) the set of non-negative (resp. positive) integers. For a nonempty set of integers &lt;em&gt;A&lt;/em&gt; and integers &lt;em&gt;n&lt;/em&gt;, &lt;span&gt;&lt;math&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt;, denote &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;r&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; by the number of representations of &lt;em&gt;n&lt;/em&gt; of the form &lt;span&gt;&lt;math&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mo&gt;⋯&lt;/mo&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt;, where &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;≤&lt;/mo&gt;&lt;mo&gt;⋯&lt;/mo&gt;&lt;mo&gt;≤&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; for &lt;span&gt;&lt;math&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;⋯&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, and &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;d&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; by the number of &lt;span&gt;&lt;math&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;′&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; with &lt;span&gt;&lt;math&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;′&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; such that &lt;span&gt;&lt;math&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;′&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;/math&gt;&lt;/span&gt;. Following Lev's work, we prove that there is a partition &lt;span&gt;&lt;math&gt;&lt;mi&gt;Z&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;msubsup&gt;&lt;mrow&gt;&lt;mo&gt;⋃&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;∞&lt;/mo&gt;&lt;/mrow&gt;&lt;/msubsup&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; of the set of all integers such that, for each &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt;, we have &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;r&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt; for all integers &lt;em&gt;n&lt;/em&gt; and &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;d&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt; for all positive integers &lt;em&gt;n&lt;/em&gt;. As a main result, we also prove that, for any integers &lt;span&gt;&lt;math&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt;, there exists a set &lt;em&gt;T&lt;/em&gt; of integers with the density &lt;span&gt;&lt;math&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mfrac&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;/mrow&gt;&lt;/mfrac&gt;&lt;/mat","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114908"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693661","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}
引用次数: 0
Ramsey numbers of trees versus generalized wheels 树的拉姆齐数与广义轮
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2026-04-01 Epub Date: 2025-12-09 DOI: 10.1016/j.disc.2025.114938
Yanbo Zhang , Yaojun Chen , Yunqing Zhang
Given two graphs G and H, the Ramsey number R(G,H) is the smallest positive integer r such that every graph on r vertices contains G as a subgraph or its complement contains H as a subgraph. Let Tn denote a tree on n vertices, and let Ws,m denote a generalized wheel, obtained by joining each vertex of the complete graph Ks to every vertex of the cycle Cm. For s2, m2, and sufficiently large n, Chng, Tan, and Wong (Discrete Math., 2021) conjectured thatR(Tn,Ws,2m)=(s+1)(n1)+1. In this note, we confirm this conjecture in a stronger form by providing a linear lower bound on n in terms of m for which the equality holds.
给定两个图G和H,拉姆齐数R(G,H)是最小的正整数R,使得在R个顶点上的每个图都包含G作为子图或其补包含H作为子图。设Tn表示有n个顶点的树,设Ws,m表示一个广义轮,通过将完全图k的每个顶点与循环Cm的每个顶点连接而得到。对于s≥2,m≥2,和足够大的n, cheng, Tan, and Wong(离散数学)。, 2021)推测thatR (Tn Ws 2米)= (s + 1) (n−1)+ 1。在这篇笔记中,我们以一种更强的形式证实了这个猜想,我们用m给出了n的线性下界,在这个下界中等式成立。
{"title":"Ramsey numbers of trees versus generalized wheels","authors":"Yanbo Zhang ,&nbsp;Yaojun Chen ,&nbsp;Yunqing Zhang","doi":"10.1016/j.disc.2025.114938","DOIUrl":"10.1016/j.disc.2025.114938","url":null,"abstract":"<div><div>Given two graphs <em>G</em> and <em>H</em>, the Ramsey number <span><math><mi>R</mi><mo>(</mo><mi>G</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span> is the smallest positive integer <em>r</em> such that every graph on <em>r</em> vertices contains <em>G</em> as a subgraph or its complement contains <em>H</em> as a subgraph. Let <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> denote a tree on <em>n</em> vertices, and let <span><math><msub><mrow><mi>W</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>m</mi></mrow></msub></math></span> denote a generalized wheel, obtained by joining each vertex of the complete graph <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi></mrow></msub></math></span> to every vertex of the cycle <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span>. For <span><math><mi>s</mi><mo>≥</mo><mn>2</mn></math></span>, <span><math><mi>m</mi><mo>≥</mo><mn>2</mn></math></span>, and sufficiently large <em>n</em>, Chng, Tan, and Wong (<em>Discrete Math.</em>, 2021) conjectured that<span><span><span><math><mi>R</mi><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>,</mo><msub><mrow><mi>W</mi></mrow><mrow><mi>s</mi><mo>,</mo><mn>2</mn><mi>m</mi></mrow></msub><mo>)</mo><mo>=</mo><mo>(</mo><mi>s</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>)</mo><mo>+</mo><mn>1</mn><mo>.</mo></math></span></span></span> In this note, we confirm this conjecture in a stronger form by providing a linear lower bound on <em>n</em> in terms of <em>m</em> for which the equality holds.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114938"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145747783","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}
引用次数: 0
On asymptotically tight bound for the conflict-free chromatic index of nearly regular graphs 近正则图无冲突色指标的渐近紧界
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2026-04-01 Epub Date: 2025-12-15 DOI: 10.1016/j.disc.2025.114945
Mateusz Kamyczura, Jakub Przybyło
Let G be a graph of maximum degree Δ which does not contain isolated vertices. An edge coloring c of G is called conflict-free if each edge's closed neighborhood includes a uniquely colored element. The least number of colors admitting such c is called the conflict-free chromatic index of G and denoted χCF(G). It is known that in general χCF(G)3log2Δ+1, while there is a family of graphs, e.g. the complete graphs, for which χCF(G)(1o(1))log2Δ. In the present paper we provide the asymptotically tight upper bound χCF(G)log2Δ+O(log2log2Δ)=(1+o(1))log2Δ for regular and nearly regular graphs, which in particular implies that the same bound holds a.a.s. for a random graph G=G(n,p) whenever pnε for any fixed constant ε(0,1). Our proof is probabilistic and exploits classic results of Hall and Berge. This was inspired by our approach utilized in the particular case of complete graphs, for which we give a more specific upper bound.
设G是一个最大度的图Δ,它不包含孤立的顶点。如果每条边的封闭邻域包含一个唯一的着色元素,则称为无冲突边。允许这种c的颜色的最少数量称为G的无冲突色指数,并表示为χCF ' (G)。众所周知,一般情况下,χCF ' (G)≤3≤≤log2²Δ²+1,而有一类图,例如完整图,其中χCF ' (G)大于或等于(1−0 (1))log2²Δ。本文给出了正则图和近正则图的渐近紧上界χCF′(G)≤log2 (Δ+O(log2)log2 (Δ)=(1+ O(1))log2 (Δ),特别表明对于任意固定常数ε∈(0,1),当p≠n−ε时,对于随机图G=G(n,p),同样的上界也成立。我们的证明是概率性的,并且利用了Hall和Berge的经典结果。这是受到我们在完全图的特殊情况下所使用的方法的启发,我们给出了一个更具体的上界。
{"title":"On asymptotically tight bound for the conflict-free chromatic index of nearly regular graphs","authors":"Mateusz Kamyczura,&nbsp;Jakub Przybyło","doi":"10.1016/j.disc.2025.114945","DOIUrl":"10.1016/j.disc.2025.114945","url":null,"abstract":"<div><div>Let <em>G</em> be a graph of maximum degree Δ which does not contain isolated vertices. An edge coloring <em>c</em> of <em>G</em> is called <em>conflict-free</em> if each edge's closed neighborhood includes a uniquely colored element. The least number of colors admitting such <em>c</em> is called the <em>conflict-free chromatic index</em> of <em>G</em> and denoted <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. It is known that in general <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>⩽</mo><mn>3</mn><mo>⌈</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>Δ</mi><mo>⌉</mo><mo>+</mo><mn>1</mn></math></span>, while there is a family of graphs, e.g. the complete graphs, for which <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>⩾</mo><mo>(</mo><mn>1</mn><mo>−</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>Δ</mi></math></span>. In the present paper we provide the asymptotically tight upper bound <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>⩽</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>Δ</mi><mo>+</mo><mi>O</mi><mo>(</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>Δ</mi><mo>)</mo><mo>=</mo><mo>(</mo><mn>1</mn><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>Δ</mi></math></span> for regular and nearly regular graphs, which in particular implies that the same bound holds a.a.s. for a random graph <span><math><mi>G</mi><mo>=</mo><mi>G</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>p</mi><mo>)</mo></math></span> whenever <span><math><mi>p</mi><mo>≫</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mi>ε</mi></mrow></msup></math></span> for any fixed constant <span><math><mi>ε</mi><mo>∈</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>. Our proof is probabilistic and exploits classic results of Hall and Berge. This was inspired by our approach utilized in the particular case of complete graphs, for which we give a more specific upper bound.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114945"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145796675","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}
引用次数: 0
Extremal graphs for disjoint union of vertex-critical graphs 顶点临界图不相交并的极值图
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2026-04-01 Epub Date: 2026-01-02 DOI: 10.1016/j.disc.2025.114973
Wenqian Zhang
For a graph F, let EX(n,F) be the set of F-free graphs of order n with the maximum number of edges. The graph F is called vertex-critical, if the deletion of its some vertex induces a graph with smaller chromatic number. For example, an odd wheel (obtained by connecting a vertex to a cycle of even length) is a vertex-critical graph with chromatic number 3.
For h2, let F1,F2,...,Fh be vertex-critical graphs with the same chromatic number. Let 1ihFi be the disjoint union of them. In this paper, we characterize the graphs in EX(n,1ihFi), when there is a proper order among the graphs F1,F2,...,Fh. This solves a conjecture (on extremal problem for disjoint union of odd wheels) proposed by Xiao and Zamora [16].
对于图F,设EX(n,F)为边数最大的n阶无F图的集合。如果图F的某些顶点被删除,则图F的色数变小,则称为顶点临界图。例如,奇轮(通过将一个顶点连接到一个偶数长度的循环得到)是一个色数为3的顶点临界图。当h≥2时,设F1,F2,…, h是具有相同色数的顶点临界图。设∪1≤i≤hFi是它们的不相交并。在本文中,当图F1,F2,…,Fh之间存在适当的序时,我们刻画了EX(n,∪1≤i≤hFi)中的图。这解决了Xiao和Zamora[16]提出的一个猜想(关于奇轮不接合并的极值问题)。
{"title":"Extremal graphs for disjoint union of vertex-critical graphs","authors":"Wenqian Zhang","doi":"10.1016/j.disc.2025.114973","DOIUrl":"10.1016/j.disc.2025.114973","url":null,"abstract":"<div><div>For a graph <em>F</em>, let <span><math><mrow><mi>EX</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>F</mi><mo>)</mo></math></span> be the set of <em>F</em>-free graphs of order <em>n</em> with the maximum number of edges. The graph <em>F</em> is called vertex-critical, if the deletion of its some vertex induces a graph with smaller chromatic number. For example, an odd wheel (obtained by connecting a vertex to a cycle of even length) is a vertex-critical graph with chromatic number 3.</div><div>For <span><math><mi>h</mi><mo>≥</mo><mn>2</mn></math></span>, let <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span> be vertex-critical graphs with the same chromatic number. Let <span><math><msub><mrow><mo>∪</mo></mrow><mrow><mn>1</mn><mo>≤</mo><mi>i</mi><mo>≤</mo><mi>h</mi></mrow></msub><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> be the disjoint union of them. In this paper, we characterize the graphs in <span><math><mrow><mi>EX</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mo>∪</mo></mrow><mrow><mn>1</mn><mo>≤</mo><mi>i</mi><mo>≤</mo><mi>h</mi></mrow></msub><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></math></span>, when there is a proper order among the graphs <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span>. This solves a conjecture (on extremal problem for disjoint union of odd wheels) proposed by Xiao and Zamora <span><span>[16]</span></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114973"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145883884","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}
引用次数: 0
A note on the stability of the potential function 关于势函数稳定性的注解
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2026-04-01 Epub Date: 2025-11-24 DOI: 10.1016/j.disc.2025.114902
Jian-Hua Yin
Given a graph H, a graphic sequence π is potentially H-graphic if there is a realization of π containing H as a subgraph. Erdős et al. introduced the following problem: determine the minimum even integer σ(H,n) such that each n-term graphic sequence with sum at least σ(H,n) is potentially H-graphic. The parameter σ(H,n) is known as the potential function of H, and can be viewed as a degree sequence variant of the classical extremal function ex(n,H). Ferrara et al. (2016) [3] established an upper bound on σ(H,n) and determined σ(H,n) asymptotically for an arbitrary graph H. Yin (2020) [6] also obtained an upper bound on σ(H,n). Erbes et al. (2018) [1] defined a stability concept for the potential number, which is a natural analogue to the stability of the classical extremal function given by Simonovits. They gave a sufficient condition for a graph H to be stable with respect to the potential function, and characterized the stability of those graphs H that contain an induced subgraph of order α(H)+1 with exactly one edge. In this paper, we further characterize the stability of those graphs H that contain an induced subgraph of order α(H)+1 with exactly t independent edges for 1tα+12. Therefore, the stability for all graphs H is characterized completely.
给定一个图H,一个图序列π是潜在的H图,如果π包含H作为子图的实现。Erdős等人引入了以下问题:确定最小偶数σ(H,n),使得每个求和至少为σ(H,n)的n项图序列都是潜在的H图。参数σ(H,n)称为H的势函数,可以看作是经典极值函数ex(n,H)的阶序列变体。Ferrara et al.(2016)[3]建立了σ(H,n)的上界,并渐近地确定了任意图H的σ(H,n)。Yin(2020)[6]也获得了σ(H,n)的上界。Erbes et al.(2018)[1]定义了势数的稳定性概念,这是Simonovits给出的经典极值函数稳定性的自然类比。他们给出了图H相对于势函数稳定的充分条件,并刻画了含有α(H)+1阶的诱导子图H只有一条边的图H的稳定性。在本文中,我们进一步刻画了含有α(H)+1阶的诱导子图H的稳定性,这些图H具有恰好t条独立边,且1≤t≤⌊α+12⌋。因此,所有图H的稳定性被完全刻画。
{"title":"A note on the stability of the potential function","authors":"Jian-Hua Yin","doi":"10.1016/j.disc.2025.114902","DOIUrl":"10.1016/j.disc.2025.114902","url":null,"abstract":"<div><div>Given a graph <em>H</em>, a graphic sequence <em>π</em> is <em>potentially H</em>-<em>graphic</em> if there is a realization of <em>π</em> containing <em>H</em> as a subgraph. Erdős et al. introduced the following problem: determine the minimum even integer <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> such that each <em>n</em>-term graphic sequence with sum at least <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> is potentially <em>H</em>-graphic. The parameter <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> is known as the <em>potential function</em> of <em>H</em>, and can be viewed as a degree sequence variant of the classical extremal function ex<span><math><mo>(</mo><mi>n</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span>. Ferrara et al. (2016) <span><span>[3]</span></span> established an upper bound on <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> and determined <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> asymptotically for an arbitrary graph <em>H</em>. Yin (2020) <span><span>[6]</span></span> also obtained an upper bound on <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span>. Erbes et al. (2018) <span><span>[1]</span></span> defined a stability concept for the potential number, which is a natural analogue to the stability of the classical extremal function given by Simonovits. They gave a sufficient condition for a graph <em>H</em> to be stable with respect to the potential function, and characterized the stability of those graphs <em>H</em> that contain an induced subgraph of order <span><math><mi>α</mi><mo>(</mo><mi>H</mi><mo>)</mo><mo>+</mo><mn>1</mn></math></span> with exactly one edge. In this paper, we further characterize the stability of those graphs <em>H</em> that contain an induced subgraph of order <span><math><mi>α</mi><mo>(</mo><mi>H</mi><mo>)</mo><mo>+</mo><mn>1</mn></math></span> with exactly <em>t</em> independent edges for <span><math><mn>1</mn><mo>≤</mo><mi>t</mi><mo>≤</mo><mo>⌊</mo><mfrac><mrow><mi>α</mi><mo>+</mo><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>⌋</mo></math></span>. Therefore, the stability for all graphs <em>H</em> is characterized completely.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114902"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145625007","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}
引用次数: 0
期刊
Discrete Mathematics
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1