Anthony Bonato, Caleb Jones, Trent G. Marbach, Teddy Mishura, Zhiyuan Zhang
{"title":"超图燃烧、匹配和零强迫","authors":"Anthony Bonato, Caleb Jones, Trent G. Marbach, Teddy Mishura, Zhiyuan Zhang","doi":"10.1016/j.tcs.2025.115529","DOIUrl":null,"url":null,"abstract":"<div><div>Lazy burning is a recently introduced variation of burning where only one set of vertices is chosen to burn during the first round. In hypergraphs, lazy burning spreads when all but one vertex in a hyperedge is burned. The lazy burning number is the minimum number of initially burned vertices that eventually burn all vertices. We give several equivalent characterizations of lazy burning on hypergraphs using matchings and zero forcing, and then apply these to establish new bounds and complexity results.</div><div>We prove that the lazy burning number of a hypergraph <em>H</em> equals its order minus the maximum cardinality of a certain matching on its incidence graph. Using this characterization, we give a formula for the lazy burning number of a dual hypergraph and give new bounds on the lazy burning number based on various hypergraph parameters. We show that the lazy burning number of a hypergraph may be characterized by a maximal subhypergraph that results from iteratively deleting vertices in singleton hyperedges.</div><div>We prove that lazy burning on a hypergraph is equivalent to zero forcing on its incidence graph and show an equivalence between skew zero forcing on a graph and lazy burning on its neighborhood hypergraph. As a result, we show that the decision problem of computing the lazy burning number of a hypergraph is NP-complete, which solves an open problem in <span><span>[12]</span></span>. By applying the results found for lazy burning, we show that the decision problem of computing the skew zero forcing number for bipartite graphs is NP-complete. We finish with open problems.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1056 ","pages":"Article 115529"},"PeriodicalIF":1.0000,"publicationDate":"2025-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Hypergraph burning, matchings, and zero forcing\",\"authors\":\"Anthony Bonato, Caleb Jones, Trent G. Marbach, Teddy Mishura, Zhiyuan Zhang\",\"doi\":\"10.1016/j.tcs.2025.115529\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>Lazy burning is a recently introduced variation of burning where only one set of vertices is chosen to burn during the first round. In hypergraphs, lazy burning spreads when all but one vertex in a hyperedge is burned. The lazy burning number is the minimum number of initially burned vertices that eventually burn all vertices. We give several equivalent characterizations of lazy burning on hypergraphs using matchings and zero forcing, and then apply these to establish new bounds and complexity results.</div><div>We prove that the lazy burning number of a hypergraph <em>H</em> equals its order minus the maximum cardinality of a certain matching on its incidence graph. Using this characterization, we give a formula for the lazy burning number of a dual hypergraph and give new bounds on the lazy burning number based on various hypergraph parameters. We show that the lazy burning number of a hypergraph may be characterized by a maximal subhypergraph that results from iteratively deleting vertices in singleton hyperedges.</div><div>We prove that lazy burning on a hypergraph is equivalent to zero forcing on its incidence graph and show an equivalence between skew zero forcing on a graph and lazy burning on its neighborhood hypergraph. As a result, we show that the decision problem of computing the lazy burning number of a hypergraph is NP-complete, which solves an open problem in <span><span>[12]</span></span>. By applying the results found for lazy burning, we show that the decision problem of computing the skew zero forcing number for bipartite graphs is NP-complete. We finish with open problems.</div></div>\",\"PeriodicalId\":49438,\"journal\":{\"name\":\"Theoretical Computer Science\",\"volume\":\"1056 \",\"pages\":\"Article 115529\"},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2025-08-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Theoretical Computer Science\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0304397525004670\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304397525004670","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
Lazy burning is a recently introduced variation of burning where only one set of vertices is chosen to burn during the first round. In hypergraphs, lazy burning spreads when all but one vertex in a hyperedge is burned. The lazy burning number is the minimum number of initially burned vertices that eventually burn all vertices. We give several equivalent characterizations of lazy burning on hypergraphs using matchings and zero forcing, and then apply these to establish new bounds and complexity results.
We prove that the lazy burning number of a hypergraph H equals its order minus the maximum cardinality of a certain matching on its incidence graph. Using this characterization, we give a formula for the lazy burning number of a dual hypergraph and give new bounds on the lazy burning number based on various hypergraph parameters. We show that the lazy burning number of a hypergraph may be characterized by a maximal subhypergraph that results from iteratively deleting vertices in singleton hyperedges.
We prove that lazy burning on a hypergraph is equivalent to zero forcing on its incidence graph and show an equivalence between skew zero forcing on a graph and lazy burning on its neighborhood hypergraph. As a result, we show that the decision problem of computing the lazy burning number of a hypergraph is NP-complete, which solves an open problem in [12]. By applying the results found for lazy burning, we show that the decision problem of computing the skew zero forcing number for bipartite graphs is NP-complete. We finish with open problems.
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.