Discrete Applied Mathematics最新文献

筛选
英文 中文
Shifted and threshold matroids 移位和阈值拟阵
IF 1 3区 数学
Discrete Applied Mathematics Pub Date : 2025-08-26 DOI: 10.1016/j.dam.2025.08.038
Ethan Partida
{"title":"Shifted and threshold matroids","authors":"Ethan Partida","doi":"10.1016/j.dam.2025.08.038","DOIUrl":"10.1016/j.dam.2025.08.038","url":null,"abstract":"<div><div>We characterize the class of threshold matroids by the structure of their defining bases. We also give an example of a shifted matroid which is not threshold, answering a question of Deza and Onn. We conclude by exploring consequences of our characterization of threshold matroids: We give a formula for the number of isomorphism classes of threshold matroids on a ground set of size <span><math><mi>n</mi></math></span>. This enumeration shows that almost all shifted matroids are not threshold. We also present a polynomial-time algorithm to check if a matroid is threshold and provide alternative and simplified proofs of some of the main results of Deza and Onn.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"378 ","pages":"Pages 522-537"},"PeriodicalIF":1.0,"publicationDate":"2025-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144896187","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 the Broadcast problem for mobile agents in dynamic networks 动态网络中移动代理的广播问题研究
IF 1 3区 数学
Discrete Applied Mathematics Pub Date : 2025-08-26 DOI: 10.1016/j.dam.2025.08.031
Shantanu Das , Nikos Giachoudis , Flaminia L. Luccio , Euripides Markou
{"title":"On the Broadcast problem for mobile agents in dynamic networks","authors":"Shantanu Das ,&nbsp;Nikos Giachoudis ,&nbsp;Flaminia L. Luccio ,&nbsp;Euripides Markou","doi":"10.1016/j.dam.2025.08.031","DOIUrl":"10.1016/j.dam.2025.08.031","url":null,"abstract":"<div><div>We study the standard communication problem of broadcast for mobile agents moving in a network, where a single agent called source, has to transmit a vital information to all other agents in the network. The agents move autonomously in the network and can communicate with other agents only when they meet at a node. Previous studies of this problem were restricted to static networks while, in this paper, we consider the problem in dynamic networks modeled as an evolving graph. The dynamicity of the graph is unknown to the agents; in each round an adversary selects which edges of the graph are available, and an agent can choose to traverse one of the available edges adjacent to its current location. The only restriction on the adversary is that the subgraph of available edges in each round must span all nodes; in other words the evolving graph is constantly connected. The agents have global visibility allowing them to see the location of all agents in the graph and move accordingly. Depending on the topology of the underlying graph, we determine the minimum value of <span><math><mrow><mi>k</mi><mo>&gt;</mo><mn>0</mn></mrow></math></span>, such that the broadcast from a source agent to <span><math><mi>k</mi></math></span> other agents can be solved in dynamic networks. While <span><math><mrow><mi>k</mi><mo>=</mo><mn>2</mn></mrow></math></span> agents are sufficient for ring networks, much larger teams of agents are necessary for denser graphs such as grid graphs and hypercubes, and finally for complete graphs of <span><math><mi>n</mi></math></span> nodes <span><math><mrow><mi>k</mi><mo>≥</mo><mi>n</mi><mo>−</mo><mn>2</mn></mrow></math></span> agents are necessary and sufficient. We show lower bounds on the number of agents and provide algorithms for solving broadcast using the minimum number of agents, for various topologies. These results show how the connectivity of the underlying graph affects the communication capability of a team of mobile agents in constantly connected dynamic networks.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"379 ","pages":"Pages 194-208"},"PeriodicalIF":1.0,"publicationDate":"2025-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144896140","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 the twin-width of near-regular graphs 关于近正则图的双宽度
IF 1 3区 数学
Discrete Applied Mathematics Pub Date : 2025-08-25 DOI: 10.1016/j.dam.2025.07.044
Irene Heinrich , Ferdinand Ihringer , Simon Raßmann , Lena Volk
{"title":"On the twin-width of near-regular graphs","authors":"Irene Heinrich ,&nbsp;Ferdinand Ihringer ,&nbsp;Simon Raßmann ,&nbsp;Lena Volk","doi":"10.1016/j.dam.2025.07.044","DOIUrl":"10.1016/j.dam.2025.07.044","url":null,"abstract":"<div><div>Twin-width is a recently introduced graph parameter based on the repeated contraction of near-twins. It has shown remarkable utility in algorithmic and structural graph theory, as well as in finite model theory—particularly since first-order model checking is fixed-parameter tractable when a witness certifying small twin-width is provided. However, the behavior of twin-width in specific graph classes, particularly cubic graphs, remains poorly understood. While cubic graphs are known to have unbounded twin-width, no explicit cubic graph of twin-width greater than 4 is known.</div><div>This paper explores this phenomenon in regular and near-regular graph classes. We show that extremal graphs of bounded degree and high twin-width are asymmetric, partly explaining their elusiveness. Additionally, we establish bounds for circulant and <span><math><mi>d</mi></math></span>-degenerate graphs, and examine strongly regular graphs, which exhibit similar behavior to cubic graphs. Our results include determining the twin-width of Johnson graphs over 2-sets, and cyclic Latin square graphs.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"379 ","pages":"Pages 177-193"},"PeriodicalIF":1.0,"publicationDate":"2025-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144892878","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 decomposition structure of resonance graphs that are daisy cubes 菊花立方体共振图的分解结构
IF 1 3区 数学
Discrete Applied Mathematics Pub Date : 2025-08-22 DOI: 10.1016/j.dam.2025.08.030
Zhongyuan Che , Zhibo Chen
{"title":"A decomposition structure of resonance graphs that are daisy cubes","authors":"Zhongyuan Che ,&nbsp;Zhibo Chen","doi":"10.1016/j.dam.2025.08.030","DOIUrl":"10.1016/j.dam.2025.08.030","url":null,"abstract":"<div><div>It has recently been shown in Brezovnik et al. (2025) that the resonance graph of a plane elementary bipartite graph <span><math><mi>G</mi></math></span> with more than two vertices is a daisy cube if and only if <span><math><mi>G</mi></math></span> is peripherally 2-colorable. Let <span><math><mi>G</mi></math></span> be a peripherally 2-colorable graph and <span><math><mrow><mi>R</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> be its resonance graph. We provide a decomposition structure of <span><math><mrow><mi>R</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> with respect to an arbitrary finite face of <span><math><mi>G</mi></math></span> together with a proper labeling for the vertex set of <span><math><mrow><mi>R</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>. An algorithm is obtained to generate a binary coding for all perfect matchings of <span><math><mi>G</mi></math></span> which induces an isometric embedding of <span><math><mrow><mi>R</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> as a daisy cube into an <span><math><mi>n</mi></math></span>-dimensional hypercube, where <span><math><mi>n</mi></math></span> is the isometric dimension of <span><math><mrow><mi>R</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>. We conclude the paper with an easy conversion between two binary codings for all perfect matchings of <span><math><mi>G</mi></math></span> which induce distinct structures on <span><math><mrow><mi>R</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>: one as a daisy cube and the other as a finite distributive lattice, respectively.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"377 ","pages":"Pages 529-540"},"PeriodicalIF":1.0,"publicationDate":"2025-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144890316","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
Some sufficient conditions for a graph to be strong star factor 图是强星因子的几个充分条件
IF 1 3区 数学
Discrete Applied Mathematics Pub Date : 2025-08-21 DOI: 10.1016/j.dam.2025.07.034
Fengyun Ren , Shumin Zhang
{"title":"Some sufficient conditions for a graph to be strong star factor","authors":"Fengyun Ren ,&nbsp;Shumin Zhang","doi":"10.1016/j.dam.2025.07.034","DOIUrl":"10.1016/j.dam.2025.07.034","url":null,"abstract":"<div><div>Let <span><math><mi>G</mi></math></span> be a graph and let <span><math><mrow><mi>r</mi><mo>⩾</mo><mn>2</mn></mrow></math></span> be an integer. We call a spanning subgraph <span><math><mi>H</mi></math></span> of a graph <span><math><mi>G</mi></math></span> a strong <span><math><mrow><mo>{</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>r</mi></mrow></msub><mo>}</mo></mrow></math></span>-factor if every component of <span><math><mi>H</mi></math></span> is isomorphic to an element of <span><math><mrow><mo>{</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>r</mi></mrow></msub><mo>}</mo></mrow></math></span> and is an induced subgraph of <span><math><mi>G</mi></math></span>. A <span><math><mrow><mo>{</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>r</mi></mrow></msub><mo>}</mo></mrow></math></span>-factor of <span><math><mi>G</mi></math></span> is a spanning subgraph of <span><math><mi>G</mi></math></span>, in which each component is isomorphic to a member in <span><math><mrow><mo>{</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>r</mi></mrow></msub><mo>}</mo></mrow></math></span>. If <span><math><mi>G</mi></math></span> contains a strong <span><math><mrow><mo>{</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>r</mi></mrow></msub><mo>}</mo></mrow></math></span>-factor, then <span><math><mi>G</mi></math></span> contains a <span><math><mrow><mo>{</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>r</mi></mrow></msub><mo>}</mo></mrow></math></span>-factor. In this paper, through the typical spectral techniques, we establish respectively a lower bound on the size and a lower bound on the spectral radius to ensure whether or not a graph admits a strong <span><math><mrow><mo>{</mo><msub><mrow><mi>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"378 ","pages":"Pages 508-521"},"PeriodicalIF":1.0,"publicationDate":"2025-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144886780","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 trees with fixed order and diameter for average size of maximal matchings 对于最大匹配的平均大小,具有固定顺序和直径的极值树
IF 1 3区 数学
Discrete Applied Mathematics Pub Date : 2025-08-20 DOI: 10.1016/j.dam.2025.08.016
Lukai Sui, Qiuli Li
{"title":"Extremal trees with fixed order and diameter for average size of maximal matchings","authors":"Lukai Sui,&nbsp;Qiuli Li","doi":"10.1016/j.dam.2025.08.016","DOIUrl":"10.1016/j.dam.2025.08.016","url":null,"abstract":"<div><div>This paper characterizes the classes of graphs whose average sizes of maximal matchings achieve the extremum in trees with fixed order and diameter. Regarding the conjecture posed by Engbers and Erey about the minimum case, we confirm it for trees of fixed order with diameters 6, 7 and 8. Furthermore, we also confirm the conjecture for the maximum case in trees of fixed order with diameter 6. Our proofs base on a meticulous analysis of graph structures and a thorough exploration of matching theory. By studying trees with different diameters, we discover some interesting properties and patterns, which provide insights for further research.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"377 ","pages":"Pages 518-528"},"PeriodicalIF":1.0,"publicationDate":"2025-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144865190","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
Paired (n−1)-to-(n−1) disjoint path covers in bipartite transposition-like graphs 类二部转置图的成对(n−1)到-(n−1)不相交路径覆盖
IF 1 3区 数学
Discrete Applied Mathematics Pub Date : 2025-08-20 DOI: 10.1016/j.dam.2025.07.038
Anna Coleman , Gabrielle Fischberg , Charles Gong , Joshua Harrington , Tony W.H. Wong
{"title":"Paired (n−1)-to-(n−1) disjoint path covers in bipartite transposition-like graphs","authors":"Anna Coleman ,&nbsp;Gabrielle Fischberg ,&nbsp;Charles Gong ,&nbsp;Joshua Harrington ,&nbsp;Tony W.H. Wong","doi":"10.1016/j.dam.2025.07.038","DOIUrl":"10.1016/j.dam.2025.07.038","url":null,"abstract":"<div><div>A paired <span><math><mi>k</mi></math></span>-to-<span><math><mi>k</mi></math></span> disjoint path cover of a graph <span><math><mi>G</mi></math></span> is a collection of pairwise disjoint path subgraphs <span><math><mrow><msub><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub></mrow></math></span> such that each <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> has prescribed vertices <span><math><msub><mrow><mi>s</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> and <span><math><msub><mrow><mi>t</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> as endpoints and the union of <span><math><mrow><msub><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub></mrow></math></span> contains all vertices of <span><math><mi>G</mi></math></span>. In this paper, we introduce bipartite transposition-like graphs, which are inductively constructed from lower ranked bipartite transposition-like graphs. We show that every rank <span><math><mi>n</mi></math></span> bipartite transposition-like graph <span><math><mi>G</mi></math></span> admit a paired <span><math><mrow><mo>(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow></math></span>-to-<span><math><mrow><mo>(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow></math></span> disjoint path cover for all choices of <span><math><mrow><mi>S</mi><mo>=</mo><mrow><mo>{</mo><msub><mrow><mi>s</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>s</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>s</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>}</mo></mrow></mrow></math></span> and <span><math><mrow><mi>T</mi><mo>=</mo><mrow><mo>{</mo><msub><mrow><mi>t</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>t</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>}</mo></mrow></mrow></math></span>, provided that <span><math><mi>S</mi></math></span> is in one partite set of <span><math><mi>G</mi></math></span> and <span><math><mi>T</mi></math></span> is in the other.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"376 ","pages":"Pages 449-461"},"PeriodicalIF":1.0,"publicationDate":"2025-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144879933","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 semi-transitive orientability of circulant graphs 关于循环图的半传递可定向性
IF 1 3区 数学
Discrete Applied Mathematics Pub Date : 2025-08-19 DOI: 10.1016/j.dam.2025.08.025
Eshwar Srinivasan, Ramesh Hariharasubramanian
{"title":"On semi-transitive orientability of circulant graphs","authors":"Eshwar Srinivasan,&nbsp;Ramesh Hariharasubramanian","doi":"10.1016/j.dam.2025.08.025","DOIUrl":"10.1016/j.dam.2025.08.025","url":null,"abstract":"&lt;div&gt;&lt;div&gt;A graph &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; is said to be &lt;em&gt;word-representable&lt;/em&gt; if a word &lt;span&gt;&lt;math&gt;&lt;mi&gt;w&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; can be formed using the letters of the alphabet &lt;span&gt;&lt;math&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; such that for every pair of vertices &lt;span&gt;&lt;math&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; if and only if &lt;span&gt;&lt;math&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; alternate in &lt;span&gt;&lt;math&gt;&lt;mi&gt;w&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. A &lt;em&gt;semi-transitive&lt;/em&gt; orientation is an acyclic directed graph where for any directed path &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;→&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;v&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;v&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; either there is no arc between &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;v&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; and &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; or for all &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;≤&lt;/mo&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;mi&gt;j&lt;/mi&gt;&lt;mo&gt;≤&lt;/mo&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; there is an arc between &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;v&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; and &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;j&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt;. An undirected graph is semi-transitive if it admits a semi-transitive orientation. For given positive integers &lt;span&gt;&lt;math&gt;&lt;mrow&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;k&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, we consider the undirected circulant graph with set of vertices &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&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;n&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; and the set of edges &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mi&gt;j&lt;/mi&gt;&lt;mo&gt;∣&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mi&gt;j&lt;/mi&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;/mrow&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mo&gt;mod&lt;/mo&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; is in &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mrow&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;k&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, where &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;mo&gt;&lt;&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;&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;&lt;/mo&gt;&lt;mo&gt;⋯&lt;/mo&gt;&lt;mo&gt;&","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"377 ","pages":"Pages 498-509"},"PeriodicalIF":1.0,"publicationDate":"2025-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144865188","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 Hamiltonian bypasses in orgraphs with large semi-degrees 关于大半度图中的哈密顿绕道
IF 1 3区 数学
Discrete Applied Mathematics Pub Date : 2025-08-19 DOI: 10.1016/j.dam.2025.08.010
Samvel Kh. Darbinyan
{"title":"On Hamiltonian bypasses in orgraphs with large semi-degrees","authors":"Samvel Kh. Darbinyan","doi":"10.1016/j.dam.2025.08.010","DOIUrl":"10.1016/j.dam.2025.08.010","url":null,"abstract":"<div><div>A Hamiltonian path in a digraph <span><math><mi>D</mi></math></span> in which the initial vertex dominates the terminal vertex is called a Hamiltonian bypass. A digraph with at most one arc between any pair of vertices is called an oriented graph (or orgraph, for short). Let <span><math><mi>D</mi></math></span> be an orgraph of order <span><math><mi>p</mi></math></span> with minimum semi-degree at least <span><math><mrow><mrow><mo>⌊</mo><mi>p</mi><mo>/</mo><mn>2</mn><mo>⌋</mo></mrow><mo>−</mo><mn>1</mn></mrow></math></span>. In this paper, we show that if <span><math><mrow><mi>p</mi><mo>≥</mo><mn>10</mn></mrow></math></span> and <span><math><mrow><mi>p</mi><mo>≠</mo><mn>11</mn></mrow></math></span>, then <span><math><mi>D</mi></math></span> contains a Hamiltonian bypass. We present examples of orgraphs which shows that this result is sharp in the following sense: both lower bounds <span><math><mrow><mrow><mo>⌊</mo><mi>p</mi><mo>/</mo><mn>2</mn><mo>⌋</mo></mrow><mo>−</mo><mn>1</mn></mrow></math></span> and 10 are tight.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"377 ","pages":"Pages 510-517"},"PeriodicalIF":1.0,"publicationDate":"2025-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144865189","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
Firefighting with a distance-based restriction 有距离限制的消防
IF 1 3区 数学
Discrete Applied Mathematics Pub Date : 2025-08-19 DOI: 10.1016/j.dam.2025.08.026
Andrea C. Burgess , John Marcoux , David A. Pike
{"title":"Firefighting with a distance-based restriction","authors":"Andrea C. Burgess ,&nbsp;John Marcoux ,&nbsp;David A. Pike","doi":"10.1016/j.dam.2025.08.026","DOIUrl":"10.1016/j.dam.2025.08.026","url":null,"abstract":"<div><div>In the classic version of the game of firefighter, on the first turn a fire breaks out on a vertex in a graph <span><math><mi>G</mi></math></span> and then <span><math><mi>k</mi></math></span> firefighters protect <span><math><mi>k</mi></math></span> vertices. On each subsequent turn, the fire spreads to the collective unburnt neighbourhood of all the burning vertices and the firefighters again protect <span><math><mi>k</mi></math></span> vertices. Once a vertex has been burnt or protected it remains that way for the rest of the game. A common objective with respect to some infinite graph <span><math><mi>G</mi></math></span> is to determine how many firefighters are necessary to stop the fire from spreading after a finite number of turns, commonly referred to as <em>containing</em> the fire. We introduce the concept of <em>distance-restricted firefighting</em> where the firefighters’ movement is restricted so they can only move up to some fixed distance <span><math><mi>d</mi></math></span> per turn rather than being able to move without restriction. We establish some general properties of this new game in contrast to properties of the original game, and we investigate specific cases of the distance-restricted game on the infinite square, strong, and hexagonal grids. We conjecture that two firefighters are insufficient on the infinite square grid when <span><math><mrow><mi>d</mi><mo>=</mo><mn>2</mn></mrow></math></span>, and we pose some questions about how many firefighters are required in general when <span><math><mrow><mi>d</mi><mo>=</mo><mn>1</mn></mrow></math></span>.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"378 ","pages":"Pages 480-491"},"PeriodicalIF":1.0,"publicationDate":"2025-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144867378","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信