Pub Date : 2024-10-31DOI: 10.1016/j.disc.2024.114301
Qiang Wang , Liming Xiong
A graph is said to be supereulerian if it has a spanning eulerian subgraph, i.e., a spanning connected even subgraph. A graph is called hamiltonian if it contains a spanning cycle. A graph is said to be -free if it does not contain R or S as an induced subgraph. Yang et al. characterized all pairs of connected graphs such that every supereulerian -free graph is hamiltonian. In this paper, we consider disconnected forbidden graph . We characterize all pairs of disconnected graphs such that every supereulerian -free graph of sufficiently large order is hamiltonian. Applying this result, we also characterize all forbidden pairs for the existence of a Hamiltonian cycle in 2-edge connected graphs.
如果一个图有一个跨越的优勒子图,即一个跨越的连通偶数子图,则称该图为超优勒图。如果一个图包含一个跨循环,则称为哈密顿图。如果一个图不包含 R 或 S 作为诱导子图,则称其为无{R,S}图。Yang等人描述了所有连通图R,S的特征,即每个无超循环{R,S}图都是哈密顿图。在本文中,我们考虑断开的禁止图 R,S。我们描述了所有成对的断开图 R,S 的特征,即每个阶数足够大的无超线性 {R,S} 图都是哈密顿图。应用这一结果,我们还描述了在 2 边相连图中存在哈密顿循环的所有禁止图对。
{"title":"Disconnected forbidden pairs force supereulerian graphs to be hamiltonian","authors":"Qiang Wang , Liming Xiong","doi":"10.1016/j.disc.2024.114301","DOIUrl":"10.1016/j.disc.2024.114301","url":null,"abstract":"<div><div>A graph is said to be supereulerian if it has a spanning eulerian subgraph, i.e., a spanning connected even subgraph. A graph is called hamiltonian if it contains a spanning cycle. A graph is said to be <span><math><mo>{</mo><mi>R</mi><mo>,</mo><mi>S</mi><mo>}</mo></math></span>-free if it does not contain <em>R</em> or <em>S</em> as an induced subgraph. Yang et al. characterized all pairs of connected graphs <span><math><mi>R</mi><mo>,</mo><mi>S</mi></math></span> such that every supereulerian <span><math><mo>{</mo><mi>R</mi><mo>,</mo><mi>S</mi><mo>}</mo></math></span>-free graph is hamiltonian. In this paper, we consider disconnected forbidden graph <span><math><mi>R</mi><mo>,</mo><mi>S</mi></math></span>. We characterize all pairs of disconnected graphs <span><math><mi>R</mi><mo>,</mo><mi>S</mi></math></span> such that every supereulerian <span><math><mo>{</mo><mi>R</mi><mo>,</mo><mi>S</mi><mo>}</mo></math></span>-free graph of sufficiently large order is hamiltonian. Applying this result, we also characterize all forbidden pairs for the existence of a Hamiltonian cycle in 2-edge connected graphs.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114301"},"PeriodicalIF":0.7,"publicationDate":"2024-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142560886","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 : 2024-10-31DOI: 10.1016/j.disc.2024.114304
Sean Dewar , Anthony Nixon , Andrew Sainsbury
We consider the rigidity and global rigidity of bar-joint frameworks in Euclidean d-space under additional dilation constraints in specified coordinate directions. In this setting we obtain a complete characterisation of generic rigidity. We then consider generic global rigidity. In particular, we provide an algebraic sufficient condition and a weak necessary condition. We also construct a large family of globally rigid frameworks and conjecture a combinatorial characterisation when most coordinate directions have dilation constraints.
我们考虑了欧几里得 d 空间中棒关节框架在指定坐标方向的额外扩张约束下的刚度和全局刚度。在这种情况下,我们得到了一般刚性的完整特征。然后,我们考虑一般全局刚度。特别是,我们提供了一个代数充分条件和一个弱必要条件。我们还构建了一个庞大的全局刚性框架族,并猜想了当大多数坐标方向都有扩张约束时的组合特征。
{"title":"Rigid frameworks with dilation constraints","authors":"Sean Dewar , Anthony Nixon , Andrew Sainsbury","doi":"10.1016/j.disc.2024.114304","DOIUrl":"10.1016/j.disc.2024.114304","url":null,"abstract":"<div><div>We consider the rigidity and global rigidity of bar-joint frameworks in Euclidean <em>d</em>-space under additional dilation constraints in specified coordinate directions. In this setting we obtain a complete characterisation of generic rigidity. We then consider generic global rigidity. In particular, we provide an algebraic sufficient condition and a weak necessary condition. We also construct a large family of globally rigid frameworks and conjecture a combinatorial characterisation when most coordinate directions have dilation constraints.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114304"},"PeriodicalIF":0.7,"publicationDate":"2024-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142560888","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-30DOI: 10.1016/j.disc.2024.114297
Nicolas Bousquet , Quentin Chuet , Victor Falgas–Ravry , Amaury Jacques , Laure Morelle
In this short note, we prove that every twin-free graph on n vertices contains a locating-dominating set of size at most . This improves the earlier bound of due to Foucaud, Henning, Löwenstein and Sasse from 2016, and makes some progress towards the well-studied locating-dominating conjecture of Garijo, González and Márquez.
{"title":"A note on locating-dominating sets in twin-free graphs","authors":"Nicolas Bousquet , Quentin Chuet , Victor Falgas–Ravry , Amaury Jacques , Laure Morelle","doi":"10.1016/j.disc.2024.114297","DOIUrl":"10.1016/j.disc.2024.114297","url":null,"abstract":"<div><div>In this short note, we prove that every twin-free graph on <em>n</em> vertices contains a locating-dominating set of size at most <span><math><mo>⌈</mo><mfrac><mrow><mn>5</mn></mrow><mrow><mn>8</mn></mrow></mfrac><mi>n</mi><mo>⌉</mo></math></span>. This improves the earlier bound of <span><math><mo>⌊</mo><mfrac><mrow><mn>2</mn></mrow><mrow><mn>3</mn></mrow></mfrac><mi>n</mi><mo>⌋</mo></math></span> due to Foucaud, Henning, Löwenstein and Sasse from 2016, and makes some progress towards the well-studied locating-dominating conjecture of Garijo, González and Márquez.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114297"},"PeriodicalIF":0.7,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142554469","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-30DOI: 10.1016/j.disc.2024.114302
Phoebe Hollowbread-Smith , Riccardo W. Maffucci
We classify and construct all line graphs that are 3-polytopes (planar and 3-connected). Apart from a few special cases, they are all obtained starting from the medial graphs of cubic (i.e., 3-regular) 3-polytopes, by applying two types of graph transformations. This is similar to the generation of other subclasses of 3-polytopes [6], [13].
{"title":"Generation of 3-connected, planar line graphs","authors":"Phoebe Hollowbread-Smith , Riccardo W. Maffucci","doi":"10.1016/j.disc.2024.114302","DOIUrl":"10.1016/j.disc.2024.114302","url":null,"abstract":"<div><div>We classify and construct all line graphs that are 3-polytopes (planar and 3-connected). Apart from a few special cases, they are all obtained starting from the medial graphs of cubic (i.e., 3-regular) 3-polytopes, by applying two types of graph transformations. This is similar to the generation of other subclasses of 3-polytopes <span><span>[6]</span></span>, <span><span>[13]</span></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114302"},"PeriodicalIF":0.7,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142554454","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 : 2024-10-24DOI: 10.1016/j.disc.2024.114299
O.V. Borodin , A.O. Ivanova
Over the last decades, a lot of research has been devoted to structural and coloring problems on plane graphs that are sparse in this or that sense.
In this note we deal with the densest among sparse 3-polytopes, namely those having no adjacent 3-cycles. Borodin (1996) proved that such 3-polytopes have a vertex of degree at most 4 and, moreover, an edge with the degree-sum of its end-vertices at most 9, where both bounds are sharp.
By denote the degree of a vertex v. An edge in a 3-polytope is an -edge if and . The well-known (3,5;4,4)-Archimedean solid corresponds to a plane quadrangulation in which every edge joins a 3-vertex with a 5-vertex.
We prove that every 3-polytope with neither adjacent 3-cycles nor -edges has a 3-face with the degree-sum of its incident vertices (weight) at most 16, which bound is sharp.
{"title":"Light 3-faces in 3-polytopes without adjacent triangles","authors":"O.V. Borodin , A.O. Ivanova","doi":"10.1016/j.disc.2024.114299","DOIUrl":"10.1016/j.disc.2024.114299","url":null,"abstract":"<div><div>Over the last decades, a lot of research has been devoted to structural and coloring problems on plane graphs that are sparse in this or that sense.</div><div>In this note we deal with the densest among sparse 3-polytopes, namely those having no adjacent 3-cycles. Borodin (1996) proved that such 3-polytopes have a vertex of degree at most 4 and, moreover, an edge with the degree-sum of its end-vertices at most 9, where both bounds are sharp.</div><div>By <span><math><mi>d</mi><mo>(</mo><mi>v</mi><mo>)</mo></math></span> denote the degree of a vertex <em>v</em>. An edge <span><math><mi>e</mi><mo>=</mo><mi>x</mi><mi>y</mi></math></span> in a 3-polytope is an <span><math><mo>(</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>)</mo></math></span>-edge if <span><math><mi>d</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>≤</mo><mi>i</mi></math></span> and <span><math><mi>d</mi><mo>(</mo><mi>y</mi><mo>)</mo><mo>≤</mo><mi>j</mi></math></span>. The well-known (3,5;4,4)-Archimedean solid corresponds to a plane quadrangulation in which every edge joins a 3-vertex with a 5-vertex.</div><div>We prove that every 3-polytope with neither adjacent 3-cycles nor <span><math><mo>(</mo><mn>3</mn><mo>,</mo><mn>5</mn><mo>)</mo></math></span>-edges has a 3-face with the degree-sum of its incident vertices (weight) at most 16, which bound is sharp.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 1","pages":"Article 114299"},"PeriodicalIF":0.7,"publicationDate":"2024-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142529640","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 : 2024-10-24DOI: 10.1016/j.disc.2024.114300
Chenlin Yang, Tao Tian
The multiple complete split-like graph is the join of an empty graph and s copies of complete graph . In this article, we obtain the formulas for the number of spanning trees of containing a given spanning forest when and 2. Particularly, when , our result derives the number of spanning trees of complete split graph containing a given spanning forest, thereby extending Moon's result [19].
{"title":"Counting spanning trees of multiple complete split-like graph containing a given spanning forest","authors":"Chenlin Yang, Tao Tian","doi":"10.1016/j.disc.2024.114300","DOIUrl":"10.1016/j.disc.2024.114300","url":null,"abstract":"<div><div>The multiple complete split-like graph <span><math><mi>M</mi><mi>C</mi><msubsup><mrow><mi>S</mi></mrow><mrow><mi>b</mi><mo>,</mo><mi>s</mi></mrow><mrow><mi>a</mi></mrow></msubsup></math></span> is the join of an empty graph <span><math><msub><mrow><mover><mrow><mi>K</mi></mrow><mo>‾</mo></mover></mrow><mrow><mi>a</mi></mrow></msub></math></span> and <em>s</em> copies of complete graph <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>b</mi></mrow></msub></math></span>. In this article, we obtain the formulas for the number of spanning trees of <span><math><mi>M</mi><mi>C</mi><msubsup><mrow><mi>S</mi></mrow><mrow><mi>b</mi><mo>,</mo><mi>s</mi></mrow><mrow><mi>a</mi></mrow></msubsup></math></span> containing a given spanning forest when <span><math><mi>s</mi><mo>=</mo><mn>1</mn></math></span> and 2. Particularly, when <span><math><mi>s</mi><mo>=</mo><mn>1</mn></math></span>, our result derives the number of spanning trees of complete split graph containing a given spanning forest, thereby extending Moon's result <span><span>[19]</span></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114300"},"PeriodicalIF":0.7,"publicationDate":"2024-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142534362","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 : 2024-10-24DOI: 10.1016/j.disc.2024.114288
Therese Biedl , John Wittnebel
It is well-known that every maximal planar graph has a matching of size at least if . In this paper, we investigate similar matching-bounds for maximal 1-planar graphs, i.e., graphs that can be drawn such that every edge has at most one crossing. In particular we show that every 3-connected simple-maximal 1-planar graph has a matching of size at least ; the bound decreases to if the graph need not be 3-connected. We also give (weaker) bounds when the graph comes with a fixed 1-planar drawing or is not simple. All our bounds are tight in the sense that some graph that satisfies the restrictions has no bigger matching.
{"title":"Large matchings in maximal 1-planar graphs","authors":"Therese Biedl , John Wittnebel","doi":"10.1016/j.disc.2024.114288","DOIUrl":"10.1016/j.disc.2024.114288","url":null,"abstract":"<div><div>It is well-known that every maximal planar graph has a matching of size at least <span><math><mfrac><mrow><mi>n</mi><mo>+</mo><mn>8</mn></mrow><mrow><mn>3</mn></mrow></mfrac></math></span> if <span><math><mi>n</mi><mo>≥</mo><mn>14</mn></math></span>. In this paper, we investigate similar matching-bounds for maximal <em>1-planar</em> graphs, i.e., graphs that can be drawn such that every edge has at most one crossing. In particular we show that every 3-connected simple-maximal 1-planar graph has a matching of size at least <span><math><mfrac><mrow><mn>2</mn><mi>n</mi><mo>+</mo><mn>6</mn></mrow><mrow><mn>5</mn></mrow></mfrac></math></span>; the bound decreases to <span><math><mfrac><mrow><mn>3</mn><mi>n</mi><mo>+</mo><mn>14</mn></mrow><mrow><mn>10</mn></mrow></mfrac></math></span> if the graph need not be 3-connected. We also give (weaker) bounds when the graph comes with a fixed 1-planar drawing or is not simple. All our bounds are tight in the sense that some graph that satisfies the restrictions has no bigger matching.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114288"},"PeriodicalIF":0.7,"publicationDate":"2024-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142534361","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-22DOI: 10.1016/j.disc.2024.114291
Mingyuan Ma, Han Ren
The decycling number of a graph G, denoted by , is the number of vertices in a minimum decycling set of G. The line graph of G is denoted by . In this paper we show that , where is the cycle rank of G and is the path partition number of G. In particular, if and only if G has a Hamilton path, and if G is a cubic graph with n vertices, where . If is a planar graph, then we prove that , which means that the conjecture proposed by Albertson and Berman in 1979 that the decycling number of any planar graph H is at most holds for a planar line graph. If G is a connected graph of order n which is 2-cell embedded on the orientable surface (or the non-orientable surface ), then we show that (or ) if G has a spanning tree with l leaves. Our bounds are tight for .
图 G 的去循环数用 ∇(G) 表示,是 G 的最小去循环集合中的顶点数。本文证明了∇(L(G))=β(G)+μ(G)-1,其中β(G)是 G 的循环秩,μ(G)是 G 的路径分割数。尤其是,当且仅当 G 有一条汉密尔顿路径时,∇(L(G))=β(G);当 G 是有 n 个顶点的立方图时,∇(L(G))≤2n3-23,其中 n≥10 。如果 L(G) 是平面图,那么我们证明∇(L(G))≤|V(L(G))|2,这意味着阿尔伯森和伯曼在 1979 年提出的猜想,即任何平面图 H 的去环数最多为|V(H)|2,对于平面线图是成立的。如果 G 是一个阶数为 n 的连通图,并且在可定向曲面 ∑g (或不可定向曲面 ∑k′)上有 2 个单元嵌入,那么我们证明,如果 G 有一棵有 l 个叶子的生成树,∇(L(G))≤2n+l-7+6g(或 2n+l-7+3k)。当 l=2 时,我们的边界是紧密的。
{"title":"The decycling number of a line graph","authors":"Mingyuan Ma, Han Ren","doi":"10.1016/j.disc.2024.114291","DOIUrl":"10.1016/j.disc.2024.114291","url":null,"abstract":"<div><div>The decycling number of a graph <em>G</em>, denoted by <span><math><mi>∇</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, is the number of vertices in a minimum decycling set of <em>G</em>. The line graph of <em>G</em> is denoted by <span><math><mi>L</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. In this paper we show that <span><math><mi>∇</mi><mo>(</mo><mi>L</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo><mo>=</mo><mi>β</mi><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>, where <span><math><mi>β</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is the cycle rank of <em>G</em> and <span><math><mi>μ</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is the path partition number of <em>G</em>. In particular, <span><math><mi>∇</mi><mo>(</mo><mi>L</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo><mo>=</mo><mi>β</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> if and only if <em>G</em> has a Hamilton path, and <span><math><mi>∇</mi><mo>(</mo><mi>L</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo><mo>≤</mo><mfrac><mrow><mn>2</mn><mi>n</mi></mrow><mrow><mn>3</mn></mrow></mfrac><mo>−</mo><mfrac><mrow><mn>2</mn></mrow><mrow><mn>3</mn></mrow></mfrac></math></span> if <em>G</em> is a cubic graph with <em>n</em> vertices, where <span><math><mi>n</mi><mo>≥</mo><mn>10</mn></math></span>. If <span><math><mi>L</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is a planar graph, then we prove that <span><math><mi>∇</mi><mo>(</mo><mi>L</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo><mo>≤</mo><mfrac><mrow><mo>|</mo><mi>V</mi><mo>(</mo><mi>L</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo><mo>|</mo></mrow><mrow><mn>2</mn></mrow></mfrac></math></span>, which means that the conjecture proposed by Albertson and Berman in 1979 that the decycling number of any planar graph <em>H</em> is at most <span><math><mfrac><mrow><mo>|</mo><mi>V</mi><mo>(</mo><mi>H</mi><mo>)</mo><mo>|</mo></mrow><mrow><mn>2</mn></mrow></mfrac></math></span> holds for a planar line graph. If <em>G</em> is a connected graph of order <em>n</em> which is 2-cell embedded on the orientable surface <span><math><msub><mrow><mo>∑</mo></mrow><mrow><mi>g</mi></mrow></msub></math></span> (or the non-orientable surface <span><math><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>k</mi></mrow><mrow><mo>′</mo></mrow></msubsup></math></span>), then we show that <span><math><mi>∇</mi><mo>(</mo><mi>L</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo><mo>≤</mo><mn>2</mn><mi>n</mi><mo>+</mo><mi>l</mi><mo>−</mo><mn>7</mn><mo>+</mo><mn>6</mn><mi>g</mi></math></span> (or <span><math><mn>2</mn><mi>n</mi><mo>+</mo><mi>l</mi><mo>−</mo><mn>7</mn><mo>+</mo><mn>3</mn><mi>k</mi></math></span>) if <em>G</em> has a spanning tree with <em>l</em> leaves. Our bounds are tight for <span><math><mi>l</mi><mo>=</mo><mn>2</mn></math></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114291"},"PeriodicalIF":0.7,"publicationDate":"2024-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142534363","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 : 2024-10-22DOI: 10.1016/j.disc.2024.114285
Igor Nunes , Giulio Iacobelli , Daniel Ratton Figueiredo
The Aldous-Broder and Wilson are two well-known algorithms for generating uniform spanning trees (USTs) based on random walks. This work studies their transient relationship by introducing the notion of branches—paths generated by the two algorithms on particular stopping times, in order to show that the trees built by the two algorithms when running on a complete graph are statistically equivalent on these stopping times. This leads to a hybrid algorithm that can generate USTs faster than either of the two algorithms. The idea is generalized to a two-stage framework to generate USTs on arbitrary graphs. The feasibility of the framework is shown through various examples, including some edge transitive graphs where the average running time can be 25% smaller than Wilson to generate USTs. Results obtained through numerical simulations of the framework on complete graphs and hypercubes illustrate the findings.
Aldous-Broder 算法和 Wilson 算法是基于随机游走生成均匀生成树(UST)的两种著名算法。这项研究通过引入这两种算法在特定停止时间生成的分支路径概念来研究它们之间的瞬时关系,从而证明这两种算法在完整图上运行时生成的树在这些停止时间上具有统计学等价性。这就产生了一种混合算法,它生成 UST 的速度比两种算法中的任何一种都快。这一想法被推广到一个两阶段框架,用于在任意图上生成 UST。该框架的可行性通过各种实例得到了证明,其中包括一些边缘传递图,在这些图上生成 UST 所需的平均运行时间比 Wilson 算法少 25%。该框架在完整图和超立方体上的数值模拟结果也说明了这些发现。
{"title":"A transient equivalence between Aldous-Broder and Wilson's algorithms and a two-stage framework for generating uniform spanning trees","authors":"Igor Nunes , Giulio Iacobelli , Daniel Ratton Figueiredo","doi":"10.1016/j.disc.2024.114285","DOIUrl":"10.1016/j.disc.2024.114285","url":null,"abstract":"<div><div>The <em>Aldous-Broder</em> and <em>Wilson</em> are two well-known algorithms for generating uniform spanning trees (USTs) based on random walks. This work studies their transient relationship by introducing the notion of <em>branches</em>—paths generated by the two algorithms on particular stopping times, in order to show that the trees built by the two algorithms when running on a complete graph are statistically equivalent on these stopping times. This leads to a hybrid algorithm that can generate USTs faster than either of the two algorithms. The idea is generalized to a two-stage framework to generate USTs on arbitrary graphs. The feasibility of the framework is shown through various examples, including some edge transitive graphs where the average running time can be 25% smaller than <em>Wilson</em> to generate USTs. Results obtained through numerical simulations of the framework on complete graphs and hypercubes illustrate the findings.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114285"},"PeriodicalIF":0.7,"publicationDate":"2024-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142534360","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 : 2024-10-21DOI: 10.1016/j.disc.2024.114292
Hoang La, Mickael Montassier
A 2-distance k-coloring of a graph is a proper k-coloring of the vertices where vertices at distance at most 2 cannot share the same color. We prove the existence of a 2-distance ()-coloring for graphs with maximum average degree less than and maximum degree . As a corollary, every planar graph with girth at least 9 and admits a 2-distance -coloring. The proof uses the potential method to reduce new configurations compared to classic approaches on 2-distance coloring.
{"title":"2-Distance (Δ + 1)-coloring of sparse graphs using the potential method","authors":"Hoang La, Mickael Montassier","doi":"10.1016/j.disc.2024.114292","DOIUrl":"10.1016/j.disc.2024.114292","url":null,"abstract":"<div><div>A 2-distance <em>k</em>-coloring of a graph is a proper <em>k</em>-coloring of the vertices where vertices at distance at most 2 cannot share the same color. We prove the existence of a 2-distance (<span><math><mi>Δ</mi><mo>+</mo><mn>1</mn></math></span>)-coloring for graphs with maximum average degree less than <span><math><mfrac><mrow><mn>18</mn></mrow><mrow><mn>7</mn></mrow></mfrac></math></span> and maximum degree <span><math><mi>Δ</mi><mo>≥</mo><mn>7</mn></math></span>. As a corollary, every planar graph with girth at least 9 and <span><math><mi>Δ</mi><mo>≥</mo><mn>7</mn></math></span> admits a 2-distance <span><math><mo>(</mo><mi>Δ</mi><mo>+</mo><mn>1</mn><mo>)</mo></math></span>-coloring. The proof uses the potential method to reduce new configurations compared to classic approaches on 2-distance coloring.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 1","pages":"Article 114292"},"PeriodicalIF":0.7,"publicationDate":"2024-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142529717","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}