[논문 리뷰] The Periodic Joint Replenishment Problem is Strongly NP-Hard

Tamar Cohen, Liron Yedidsion|arXiv (Cornell University)|2015. 11. 08.

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 절의 진리 할당을 재고 비용으로 모델링한다.
• 만족 가능한 할당이 PJRP에서 더 낮은 비용 솔루션에 해당하도록 환원을 보장하며, 비용 차이에 특정 부등식을 적용한다.
• 큰 입력에 대해 비용 차이가 성립하도록 소수의 경계와 Polymath8 프로젝트의 결과를 사용한다.
• 만족 가능한 3SAT 할당을 반영하는 모든 솔루션은 비만족 가능한 할당보다 엄격히 낮은 비용을 가지며, 이는 NP-난이도를 증명한다.
• 유한 시간 범위 버전은 NP-난이도이지만, 비다항 시간 범위이므로 강한 NP-난이도가 아닐 수 있다.

실험 결과

연구 질문

• RQ1 정수 주기 시간과 정적 수요를 갖는 주기적 공동 재고 확보 문제(PJRP)는 강한 NP-난이도인가?
• RQ2 만족 가능한 할당과 비만족 가능한 할당 간의 비용 차이가 엄격히 양수인 방식으로 3SAT에서 PJRP로의 환원을 구성할 수 있는가?
• RQ3 일반 PJRP 모델의 계산 복잡도는 엄격한 PJRP 및 순환 JRP 변형과 비교해 어떻게 되는가?
• RQ4 유한 시간 범위 버전의 PJRP는 무한 시간 범위 버전과 동일한 복잡도를 유전하는가?

주요 결과

• 정수 주기 시간과 정적 수요를 갖는 주기적 공동 재고 확보 문제(PJRP)는 강한 NP-난이도이며, 운영 연구 분야에서 오랫동안 미해결된 문제를 해결한다.
• 3SAT에서 PJRP로의 유효한 다항시간 환원이 구축되었으며, 이는 PJRP를 해결하는 것이 3SAT를 해결하는 것만큼 어렵다는 것을 보여준다.
• 만족 가능한 3SAT 할당을 반영하는 솔루션은 비만족 가능한 할당보다 엄격히 낮은 비용을 가지며, 비용 차이는 매개변수 αc, αv, 및 p1를 포함한 양수 표현으로 아래에서 유계된다.
• 증명은 수론의 경계와 Polymath8 프로젝트의 결과에 의존하여, 충분히 큰 입력에 대해 비용 부등식이 성립함을 보장한다.
• 유한 시간 범위 버전의 PJRP는 NP-난이도이지만, 비다항 시간 범위이므로 강한 NP-난이도가 아닐 수 있다.
• 결과적으로 P = NP가 아닐 경우, PJRP를 정확히 해결할 수 있는 다항시간 알고리즘이 존재하지 않으며, 정수 주기 시간 제약 조건 하에서도 문제의 난이도는 그대로 유지된다.