分割项链与平分火腿三明治的复杂性
计算复杂性
2018-11-06 v2 人工智能
计算机科学与博弈论
摘要
我们解决了两个已知问题 NECKLACE-SPLITTING 与 DISCRETE HAM SANDWICH 的计算复杂性，证明它们是 PPA-完全的。对于 NECKLACE SPLITTING，该结果针对两个盗贼分享项链这一重要特例。我们通过 CONSENSUS-HALVING 问题近似版本的 PPA-完全性结果实现这一点，强化了我们近期关于该问题在逆指数精度下为 PPA-完全的结果。我们构造的核心是将高维 Möbius 带光滑嵌入到 CONSENSUS-HALVING 问题中。这些结果确立了 PPA 作为一个捕捉“自然”问题复杂性的类，其定义中不包含电路。
引用
@article{arxiv.1805.12559,
title = {The Complexity of Splitting Necklaces and Bisecting Ham Sandwiches},
author = {Aris Filos-Ratsikas and Paul W. Goldberg},
journal= {arXiv preprint arXiv:1805.12559},
year = {2018}
}
备注
58 pages, 20 figures