[논문 리뷰] The Sorting Buffer Problem is NP-hard

Ho-Leung Chan, Nicole Megow외 2명|arXiv (Cornell University)|2010. 09. 22.

Optimization and Search Problems참고 문헌 12인용 수 9

한 줄 요약

이 논문은 3-Partition 문제로부터의 환원을 통해 오프라인 정렬 버퍼 문제의 NP-난이도를 증명하며, 오랫동안 남아있던 열린 문제를 해결한다. 또한 원래 크기의 두 배보다 약간 큰 버퍼를 사용할 경우 상수배 근사 알고리즘을 제안하고, 버퍼 크기가 2인 경우 선형 시간 동적 계획법 해법을 제시한다.

ABSTRACT

We consider the offline sorting buffer problem. The input is a sequence of items of different types. All items must be processed one by one by a server. The server is equipped with a random-access buffer of limited capacity which can be used to rearrange items. The problem is to design a scheduling strategy that decides upon the order in which items from the buffer are sent to the server. Each type change incurs unit cost, and thus, the cost minimizing objective is to minimize the total number of type changes for serving the entire sequence. This problem is motivated by various applications in manufacturing processes and computer science, and it has attracted significant attention in the last few years. The main focus has been on online competitive algorithms. Surprisingly little is known on the basic offline problem. In this paper, we show that the sorting buffer problem with uniform cost is NP-hard and, thus, close one of the most fundamental questions for the offline problem. On the positive side, we give an O(1)-approximation algorithm when the scheduler is given a buffer only slightly larger than double the original size. We also give a dynamic programming algorithm for the special case of buffer size two that solves the problem exactly in linear time, improving on the standard DP which runs in cubic time.

연구 동기 및 목표

• 오프라인 정렬 버퍼 문제의 NP-난이도 여부라는 기본적인 열린 문제를 해결하기 위해.
• 특히 버퍼 용량이 최적값보다 약간 큰 경우에 효율적인 근사 알고리즘을 개발하기 위해.
• 특히 버퍼 크기가 2인 작은 버퍼 크기에 대해 더 빠른 정확 알고리즘을 설계하기 위해.
• 근사 보장 조건 하에서 기존 오프라인 알고리즘인 Longest Forward Distance (LFD)의 한계를 분석하기 위해.

제안 방법

• NP-난이도 문제인 3-Partition 문제를 정렬 버퍼 문제로 환원하여 NP-난이도를 증명한다.
• 선형계획형식 라운딩 기반의 O(1)-근사 알고리즘을 제안하며, 원래 용량의 두 배보다 약간 큰 버퍼 크기를 사용한다.
• 버퍼 크기가 2인 경우를 위해 효율적으로 버퍼 내 활성 색상들을 추적하고 갱신하는 방식으로 선형 시간 O(n)에 실행되는 동적 계획법 알고리즘을 설계한다.
• 균형 분석을 통해 활성 색상 집합과 그 향후 위치를 유지하여 단계당 상수 시간 연산을 가능하게 한다.
• 최종 DP 테이블 상태로부터 최적 스케줄을 복원하기 위해 역재구성 기법을 활용한다.
• Longest Forward Distance (LFD) 알고리즘의 성능을 분석하고, 악성 사례를 구성하여 그 근사 비율이 Ω(k^{1/3})임을 보여준다.

실험 결과

연구 질문

• RQ1 오프라인 정렬 버퍼 문제의 NP-난이도 여부는 무엇인가?
• RQ2 버퍼 용량이 최적값보다 약간 큰 경우 오프라인 문제에 대해 상수배 근사가 가능할까?
• RQ3 크기가 2인 작은 버퍼 크기에 대해 상당히 빠른 정확 알고리즘이 존재하는가?
• RQ4 정렬 버퍼 문제에서 Longest Forward Distance (LFD) 알고리즘의 근사 비율은 얼마인가?
• RQ5 NP-난이도 결과를 바탕으로 정렬 버퍼 문제가 APX-난이도인지 여부는 무엇인가?

주요 결과

• 오프라인 정렬 버퍼 문제의 NP-난이도가 3-Partition 문제로부터의 환원을 통해 증명되었다.
• 버퍼 용량이 원래 크기의 두 배보다 약간 큰 경우 오프라인 문제에 대해 O(1)-근사 알고리즘이 개발되었다.
• 버퍼 크기가 2인 경우를 위한 동적 계획법 알고리즘이 선형 시간 O(n)에 실행되어 기존의 표준 O(n^3) DP 접근보다 크게 향상되었다.
• Longest Forward Distance (LFD) 알고리즘의 근사 비율은 최소 Ω(k^{1/3}) 이상이며, 이는 상수배 근사 보장이 되지 않음을 보여준다.
• NP-난이도 환원이 근사 보존적이지 않아 문제의 APX-난이도 여부는 여전히 열려있다.
• 이 논문은 최소화 및 최대화 변형 모두가 NP-난이도임을 입증하였으며, 이는 최적 해가 동일하기 때문이다.