通过局部计算对拉斯维加斯算法进行完美模拟
数据结构与算法
2024-04-08 v2
摘要
拉斯维加斯算法的概念由 Babai（1979）引入，可用两种方式定义：* 在 Babai 的原始定义中，若随机算法具有有限有界运行时间且可认证随机失败，则称为拉斯维加斯算法。* 当今广泛接受的另一种定义是，拉斯维加斯算法指具有随机运行时间的零错误随机算法。两种定义之间的等价性是直接的。具体而言，对于具有可认证失败的随机算法，重复运行该算法直至未遇到失败，可在其成功执行时忠实模拟正确输出。我们表明类似的完美模拟也可在分布式局部计算中实现。具体而言，在 LOCAL 模型中，以时间复杂度多对数开销，任何具有有限有界运行时间与局部可认证失败的拉斯维加斯算法可转化为零错误拉斯维加斯算法。该转化后的算法在成功执行中忠实复现原算法的正确输出。
引用
@article{arxiv.2311.11679,
title = {Perfect Simulation of Las Vegas Algorithms via Local Computation},
author = {Xinyu Fu and Yonggang Jiang and Yitong Yin},
journal= {arXiv preprint arXiv:2311.11679},
year = {2024}
}