Hypergraph burning, matchings, and zero forcing

IF 1 4区 计算机科学 Q3 COMPUTER SCIENCE, THEORY & METHODS
Anthony Bonato, Caleb Jones, Trent G. Marbach, Teddy Mishura, Zhiyuan Zhang
{"title":"Hypergraph burning, matchings, and zero forcing","authors":"Anthony Bonato,&nbsp;Caleb Jones,&nbsp;Trent G. Marbach,&nbsp;Teddy Mishura,&nbsp;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}
引用次数: 0

Abstract

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.
超图燃烧、匹配和零强迫
惰性燃烧是最近引入的燃烧的变体,在第一轮中只选择一组顶点进行燃烧。在超图中,当超边中除一个顶点外的所有顶点都被燃烧时,惰性燃烧会扩散。惰性燃烧数是最初燃烧顶点的最小数量,最终燃烧所有顶点。我们利用匹配和零强迫给出了超图上延迟燃烧的几个等价特征,然后应用这些特征建立了新的边界和复杂度结果。证明了超图H的惰性燃烧数等于它的阶数减去它的关联图上某个匹配的最大基数。利用这一特性,我们给出了对偶超图的延迟燃烧数的公式,并给出了基于各种超图参数的延迟燃烧数的新界。我们证明了一个超图的惰性燃烧数可以用一个极大的子超图来表征,这个子超图是由迭代地删除单个超边上的顶点而得到的。证明了超图上的惰性燃烧与关联图上的零强迫是等价的,并证明了图上的偏零强迫与其邻域超图上的惰性燃烧是等价的。结果表明,计算超图的延迟燃烧数的决策问题是np完全的,解决了[12]中的一个开放问题。通过应用延迟燃烧的结果,我们证明了计算二部图的偏零强迫数的决策问题是np完全的。我们以开放问题结束。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Theoretical Computer Science
Theoretical Computer Science 工程技术-计算机:理论方法
CiteScore
2.60
自引率
18.20%
发文量
471
审稿时长
12.6 months
期刊介绍: 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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信