[论文解读] The Periodic Joint Replenishment Problem is Strongly NP-Hard

Tamar Cohen, Liron Yedidsion|arXiv (Cornell University)|Nov 8, 2015

Optimization and Packing Problems被引用 5

一句话总结

本文证明了具有整数周期时间与平稳需求的周期性联合补货问题（PJRP）是强 NP-难问题，解决了供应链优化领域长期悬而未决的开放性问题。作者通过将 3SAT 归约至 PJRP，表明求解 PJRP 的难度至少与求解 NP-完全问题相当，揭示了相关库存模型复杂性的深层含义。

ABSTRACT

In this paper we study the long-standing open question regarding the computational complexity of one of the core problems in supply chains management, the periodic joint replenishment problem. This problem has received a lot of attention over the years and many heuristic and approximation algorithms were suggested. However, in spite of the vast effort, the complexity of the problem remained unresolved. In this paper, we provide a proof that the problem is indeed strongly NP-hard.

研究动机与目标

• 为解决关于具有平稳需求的周期性联合补货问题（PJRP）计算复杂性的长期开放性问题。
• 确定 PJRP 在整数周期时间约束下是否为 NP-难或强 NP-难问题。
• 与一般 JRP 和严格 PJRP 等相关模型进行比较，明确 PJRP 的复杂性状态。
• 提供从 3SAT 到 PJRP 的正式归约，证明该问题的不可解性。

提出的方法

• 作者构建了从 3SAT 问题到周期性联合补货问题（PJRP）的多项式时间归约。
• 他们定义了 PJRP 的成本函数，通过库存成本建模 3SAT 子句的真值赋值，将变量与子句映射为商品及联合订购成本。
• 该归约确保 3SAT 中的满足赋值对应 PJRP 中更低成本的解，且成本差异受特定不等式约束。
• 证明利用了素数的界限以及 Polymath8 项目的结果，以验证足够大输入下成本差异的有效性。
• 分析表明，任何反映满足 3SAT 赋值的解，其成本均严格低于任何不满足赋值的解，从而证明了 NP-难性。
• 有限时域版本被证明为 NP-难，但不一定是强 NP-难，原因在于时间范围非多项式时间。

实验结果

研究问题

• RQ1 具有整数周期时间与平稳需求的周期性联合补货问题（PJRP）是否为强 NP-难问题？
• RQ2 能否构造从 3SAT 到 PJRP 的归约，使得满足赋值与非满足赋值之间的成本差异严格为正？
• RQ3 与严格 PJRP 和循环 JRP 变体相比，一般 PJRP 模型的计算复杂性如何？
• RQ4 PJRP 的有限时域版本是否继承了无限时域版本的相同复杂性？

主要发现

• 具有整数周期时间与平稳需求的周期性联合补货问题（PJRP）是强 NP-难问题，解决了运筹学领域长期悬而未决的开放性问题。
• 成功构造了从 3SAT 到 PJRP 的有效多项式时间归约，表明求解 PJRP 的难度至少与求解 3SAT 相当。
• 反映满足 3SAT 赋值的解的成本严格低于反映非满足赋值的解，其成本差异下限由涉及参数 αc、αv 和 p1 的正表达式界定。
• 该证明依赖于数论中的界限以及 Polymath8 项目的结果，以确保对足够大的输入，成本不等式成立。
• 有限时域版本的 PJRP 为 NP-难，但不一定是强 NP-难，原因在于时间范围非多项式时间。
• 该结果意味着，除非 P = NP，否则不存在多项式时间算法可精确求解 PJRP，且该问题在整数周期时间约束下依然困难。