[论文解读] Hardness Results for Consensus-Halving
本文证明了当近似误差 ǫ 为常数时，共识平分问题依然是 PPAD-难的，且即使允许常数个额外切割，该难解性依然存在。此外，本文进一步证明了仅使用 n−1 刀时，判断是否存在 ǫ-近似解的问题是 NP-难的，显著收紧了对不同精度水平下该问题计算复杂性的理解。
The Consensus-halving problem is the problem of dividing an object into two portions, such that each of n agents has equal valuation for the two portions. We study the epsilon-approximate version, which allows each agent to have an epsilon discrepancy on the values of the portions. It was recently proven in [Filos-Ratsikas and Goldberg, 2018] that the problem of computing an epsilon-approximate Consensus-halving solution (for n agents and n cuts) is PPA-complete when epsilon is inverse-exponential. In this paper, we prove that when epsilon is constant, the problem is PPAD-hard and the problem remains PPAD-hard when we allow a constant number of additional cuts. Additionally, we prove that deciding whether a solution with n-1 cuts exists for the problem is NP-hard.
研究动机与目标
- 确定当 ǫ 为常数（与参与人数无关）时，寻找 ǫ-近似共识平分解的计算复杂性。
- 研究当允许在最小 n 刀之外增加常数个额外切割时，该问题是否依然困难。
- 研究仅使用 n−1 刀时，判断是否存在 ǫ-近似解的复杂性。
- 阐明共识平分问题与已知复杂性类（尤其是 PPAD 和 PPA）之间的关系。
提出的方法
- 通过从近似广义电路问题归约，证明在常数 ǫ 和常数个额外切割下，共识平分问题的 PPAD-难性。
- 通过从 3SAT 归约，建立仅使用 n−1 刀时判断 ǫ-近似解存在性的 NP-难性。
- 形式化 Simmons 和 Su [30] 的算法以及 Fan 版本的 Tucker 引理，表明该问题属于 PPA 复杂性类。
- 利用 Tucker 引理及其计算变体，结合拓扑不动点定理，证明该问题属于 PPA。
- 基于单纯形类型（交替型、准交替型）及其符号构造图，以模拟通向解的路径，类比于 End-of-Line 问题。
- 在归约中应用三角剖分的网格大小无关性，确保结果对任何足够精细、与半球对齐的三角剖分均成立。
实验结果
研究问题
- RQ1当近似误差 ǫ 为常数时，共识平分问题是否为 PPAD-难？
- RQ2当允许常数个额外切割时，共识平分问题的 PPAD-难性是否依然成立？
- RQ3仅使用 n−1 刀时，判断是否存在 ǫ-近似共识平分解是否为 NP-难？
- RQ4当 ǫ 从反指数级增加到常数时，共识平分问题的复杂性如何变化？
主要发现
- 即使允许常数个额外切割，使用 n 刀为 n 个参与者计算 ǫ-近似共识平分解的问题依然是 PPAD-难的。
- 通过从 3SAT 的归约，证明仅使用 n−1 刀时判断 ǫ-近似解是否存在的问题是 NP-难的。
- 通过归约至 Tucker 引理，证明使用 n 刀寻找 ǫ-近似解的问题属于 PPA 复杂性类。
- PPAD-难性结果在标准计算复杂性假设下成立，即 PPAD-难问题不存在多项式时间算法。
- 本研究填补了先前工作的关键空白，表明即使在常数 ǫ 情况下，难解性依然存在，这更贴近现实应用（如土地分割）的需求。
- 研究结果支持在常数 ǫ 下，共识平分问题与项链分割问题之间的计算等价性，从而可将 PPAD-难性结果推广至后者。
更好的研究，从现在开始
从论文设计到论文写作，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。