시간불변 증분 배낭 문제에 대한 PTAS

초록

**
본 논문은 시간에 따라 용량이 증가하고 한 번 넣은 물품은 제거할 수 없는 시간불변 증분 배낭(IIK) 문제에 대해, 시간 단계 (T)의 크기에 관계없이 다항시간 근사 스키마(PTAS)를 제시한다. 핵심은 아이템의 이익을 계층화하고, “계단형(stairway)” 구조를 이용해 가능한 경우의 수를 다항적으로 제한한 뒤, 이산형 프로그래밍의 디스정티브(relaxation) 형태를 LP로 풀고, 제한된 소수점 성분을 그리디 방식으로 반올림함으로써 ((1-\varepsilon)) 근사 해를 얻는 것이다.

**

상세 분석

**
IIK는 전통적인 0‑1 배낭 문제를 다기간으로 확장한 모델로, 각 시점 (t) 에서 용량 (b_t) 가 비감소하고, 한 번 배낭에 넣은 아이템은 이후 시점에서도 유지되어야 한다는 제약이 추가된다. 이 문제는 기존 연구에서 (T=O(\log n)) 혹은 이익과 무게가 동일한 특수 경우에만 PTAS가 알려져 있었으며, 일반적인 (T)에 대해서는 강한 NP‑hardness만 알려졌다.

논문은 먼저 “(1)-in” 해, 즉 최대 이익 아이템이 반드시 어느 시점에 삽입된 해만을 고려하도록 문제를 제한한다. 이를 위해 아이템 이익을 ((1+\varepsilon)^{-j}) 형태의 이산값으로 양자화하고, 용량 변화 시점을 ((1+\varepsilon)^j) 구간에 맞춰 조정하는 ‘(\varepsilon)-well‑behaved’ 인스턴스로 변환한다. 이러한 전처리는 전체 최적값의 ((1-\Theta(\varepsilon))) 정도만 손실시키며, 변환 과정은 (O(n+T)) 시간에 수행된다.

다음 단계에서는 ‘계단형(stairway)’이라는 개념을 도입한다. 시간 축을 중요한 시점 (J=O(\frac{1}{\varepsilon}\log T)) 으로, 이익을 (K=O(\frac{1}{\varepsilon}\log T)) 개의 클래스으로 나눈 뒤, ((j,k)) 격자 위에서 (j)는 시점, (k)는 이익 클래스이다. ‘계단형’은 격자상의 좌표가 시간은 감소하고 이익 클래스는 증가하는 일련의 점들로, 각 점은 해당 시점에 해당 클래스 이상의 아이템이 처음으로 배낭에 들어가는 순간을 의미한다. Lemma 5에 의해 이러한 계단형은 최대 (2K+J+1) 개만 존재하므로, 모든 가능한 계단형을 열거해도 다항시간 안에 가능하다.

각 계단형에 대해 부분 할당을 정의하고, 이를 기반으로 디스정티브(Disjunctive) 정수계획(IP) 모델을 만든다. 이 IP는 ‘(1)-in’ 해와 (\varepsilon)-well‑behaved 조건을 만족하는 해만을 포함한다. 모델의 선형완화(LP)를 풀면, 해벡터 (x^*)는 다수의 정수 성분과 제한된 수의 소수점 성분을 가진다. 논문은 소수점 성분이 나타나는 구간을 정밀히 분석하고, 그 구간에서 그리디 방식으로 아이템을 선택해 전체 이익 손실을 (\varepsilon) 이하로 제한한다.

결과적으로, 모든 (\varepsilon>0)에 대해 입력 크기 (n)과 시간 단계 (T)에 대해 다항시간 (O\bigl(T\cdot h(\varepsilon)\cdot \text{LP}(n)\bigr)) 안에 ((1-\varepsilon)) 근사 해를 구할 수 있음을 보인다. 여기서 (h(\varepsilon))는 (\varepsilon)에만 의존하는 상수이며, (\text{LP}(n))은 (O(n)) 변수·제약을 갖는 LP를 푸는 시간이다. 이 결과는 기존 연구들을 모두 포괄하고, IIK 문제의 복잡도 지형을 완전히 규명한다는 점에서 의의가 크다.

**