[论文解读] Construction of an NP Problem with an Exponential Lower Bound

Roman V. Yampolskiy|arXiv (Cornell University)|Oct 28, 2011

Vehicle Routing Optimization Methods参考文献 11被引用 9

一句话总结

本文提出了哈希路径旅行商问题（HPTSP），这是一种新颖的NP问题，旨在表现出解题时间的指数下界。通过证明局部子路径信息不足以确定全局路径值，作者证明HPTSP属于NP但不属于P，从而依据拉德纳定理确立NPI（NP-中间）非空。

ABSTRACT

In this paper we present a Hashed-Path Traveling Salesperson Problem (HPTSP), a new type of problem which has the interesting property of having no polynomial time solutions. Next we show that HPTSP is in the class NP by demonstrating that local information about sub-routes is insufficient to compute the complete value of each route. As a consequence, via Ladner's theorem, we show that the class NPI is non-empty.

研究动机与目标

• 构建一个可证明无法在多项式时间内求解的具体NP问题。
• 证明在HPTSP中，子路径的局部信息不足以计算全局路径值。
• 表明HPTSP属于NP但不属于P，从而暗示NP-中间问题的存在。
• 提供构造性证明，表明NPI类非空，从而解决计算复杂性理论中长期存在的理论问题。
• 通过提出具有固有指数复杂度的问题，加强P vs NP问题的理论基础。

提出的方法

• 通过将密码学哈希引入TSP的路径评估机制，定义哈希路径旅行商问题（HPTSP）。
• 使用确定性哈希函数将路径段绑定到唯一值，确保部分解无法独立验证。
• 证明验证完整路径需要掌握整个路径信息，使得局部子路径无法用于全局验证。
• 通过证明使用完整路径和哈希值可在多项式时间内验证所提出的解，确立HPTSP属于NP。
• 应用拉德纳定理，得出若P ≠ NP，则NP中存在既不属于P也不属于NP完全的问题——从而证明NPI非空。
• 利用从子路径重构完整路径的困难性，作为解题时间存在指数下界的证据。

实验结果

研究问题

• RQ1 能否构造一个可证明需要指数时间求解的具体NP问题？
• RQ2 是否存在NP中的一个问题，其局部子路径信息不足以确定全局解？
• RQ3 此类问题的存在是否意味着NPI非空？
• RQ4 拉德纳定理能否通过一个定义明确的问题构造被具体实例化？
• RQ5 HPTSP是否表现出阻止多项式时间求解的固有结构复杂性？

主要发现

• HPTSP被形式化为TSP的一种变体，通过密码学哈希确保部分解无法独立验证。
• 该问题被证明属于NP，因为使用完整路径和哈希值可在多项式时间内验证完整解。
• 局部子路径信息不足以计算全局路径值，这意味着任何通过组合部分结果求解HPTSP的多项式时间算法均不可行。
• 局部信息的不足建立了高效计算的结构性障碍，支持解题时间存在指数下界。
• 通过应用拉德纳定理，本文得出结论：若P ≠ NP，则NPI非空。
• 该构造提供了一个具体实例，即一个属于NP但既不属于P也不属于NP完全的问题（假设P ≠ NP）。