尽早输出:遍历生成生成树的边
数据结构与算法
2025-02-17 v1 计算复杂性
摘要
在经典情况下,规划任务被研究为两个步骤:规划创建和规划执行。当规划创建缓慢(例如由于昂贵的信息获取或复杂约束)时,一种自然的加速策略是交错进行规划和执行。我们实现了这种方法,提出一种枚举算法,该算法在进行少量预处理后,逐个输出计划的部分,连续输出之间几乎没有延迟。作为具体的规划任务,我们考虑在网络中实现高效连接性,具体表现为四种标准变体中的最小生成树问题:(有/无)权重(有/无)有向图。要输出的具体方案部件是构成最终树的单个边。我们通过算法上界和相匹配的无条件对手下界表明,对于三种四种问题变体中都可能实现高效枚举;具体来说对于无向无权图(延迟约为平均度)、具有权重的图(延迟约为最大度和平均运行时间每输出一条边的总体时间算法)或具有方向的图(延迟约为最大度)。对于同时具有权重和方向的图,我们表明不存在有意义的枚举。最后,通过对随机无向无权图的实验,我们表明了少量预处理和延迟的理论优势在实践中也能实现。
引用
@article{arxiv.2502.10279,
title = {Emit As You Go: Enumerating Edges of a Spanning Tree},
author = {Katrin Casel and Stefan Neubert},
journal= {arXiv preprint arXiv:2502.10279},
year = {2025}
}
备注
To be published in AAMAS 2025