烧烤与冷却之间的关系:图上的类烧烤
组合数学
2025-05-19 v1
摘要
类烧烤概括了图中的烧烤和冷却过程。在 -liminal 烧烤中, Saboteur 每轮揭示 集合的顶点,以延长游戏长度;Arsonist 必须仅从这些集合中选择源,以尽快结束游戏。结果是一个以相应优化参数(称为 -liminal 烧烤数)为目标的双人游戏。当 时,类烧烤等同于烧烤;当 时,类烧烤等同于冷却。我们使用 Sperner 集的变体,研究了超立方体的 -liminal 烧烤数,并给出各种 值的界和精确值。特别是,我们确定超立方体的精确冷却数为 。我们分析了多个图族的类烧烤,包括笛卡尔网格与积、路径以及顶点集合可分解为多个小直径组件的图。我们考虑了类烧烤的复杂性,并通过从 -QBF 的归约,证明了当 时,对图进行类烧烤是 PSPACE-complete 的。我们还通过从烧烤的归约,证明了即使在某些情况下类烧烤可能不是 PSPACE-complete 的情况下,它也是 co-NP-hard 的。我们以几个开放问题收尾。
关键词
引用
@article{arxiv.2505.10727,
title = {Between burning and cooling: liminal burning on graphs},
author = {Anthony Bonato and Trent G. Marbach and John Marcoux and Teddy Mishura},
journal= {arXiv preprint arXiv:2505.10727},
year = {2025}
}
备注
28 pages, 4 figures