P와 FPTAS 사이의 새로운 근사 개념

본 논문은 NP‑hard 최적화 문제에 대해 기존의 근사 개념인 FPTAS(Fully Polynomial‑Time Approximation Scheme)보다 강력하면서도, 완전 다항시간 알고리즘보다는 약한 새로운 근사 모델을 제안한다. 이를 위해 저자들은 문제를 (f, g)라는 쌍으로 정의한다. 여기서 f는 입력 x와 후보 해 y가 허용 가능한지를 판단하는 판정 함수이며, g는 목표 값을 반환하는 유리값 함수이다. 입력 x에 대해 정수 해의 최적값을 OPT(x), 동일 제약을 연속(분수) 변수에 확장했을 때의 최적값을 PER(x)라고 부른다. 일반적으로 PER(x) ≥ OPT(x)이며, 많은 경우 PER(x)는 선형계획법 등으로 다항시간에 계산 가능하지만, OPT(x)는 NP‑hard 문제이므로 정확히 구하기 어렵다. 새로운 근사 개념인 FFPTAS(Fractional Fully Polynomial‑Time Approximation Scheme)는 다음과 같이 정의된다. 입력 x와 허용 오차 t>0에 대해, 알고리즘은 “YES” 혹은 “NO”를 반환한다. “YES”는 어떤 정수 해 y가 존재해 g(x, y) ≥ (1 − t)·PER(x)임을 의미한다. 즉, 완전 해(PER)와 비교해 일정 비율 이하만큼 손실된 정수 해가 존재하는지를 판단한다. 반환값이 “NO”이면 그러한 해가 존재하지 않음을 의미한다. 이 알고리즘은 실행 시간이 입력 크기와 1/t에 대해 다항식이어야 한다. 논문은 먼저 FFPTAS와 기존 개념 사이의 관계를 정리한다. Theorem 5는 네 가지 핵심 명제를 제시한다. (1) 문제에 다항시간 정확 알고리즘이 존재하면, OPT와 PER를 직접 계산해 비교함으로써 FFPTAS를 즉시 구현할 수 있다. (2) 반대로, 특정 NP‑hard 문제에서는 FFPTAS는 존재하지만 다항시간 정확 알고리즘은 존재하지 않는다. 이를 증명하기 위해 저자들은 2‑분할 최대‑최소 파티션 문제(P₂)를 사용한다. 이 문제는 아이템을 두 개의 빈에 나누어 작은 빈의 합을 최대화하는데, 연속형 완화에서는 각 빈이 전체 합의 절반이 되므로 PER(x)=∑x_i/2 로 쉽게 계산된다. 그러나 정수 해를 찾는 것은 NP‑hard이며, 저자는 FFPTAS를 설계해 “YES”/“NO” 판단을 가능하게 한다. (3) FFPTAS가 존재하면, 이진 탐색을 이용해 FPTAS를 구성할 수 있다. 구체적으로 PER(x)를 먼저 구하고, t를 점차 감소시키며 FFPTAS를 호출해 OPT와 PER 사이의 구간을 좁힌다. 이 과정은 O(log(1/ε))번의 FFPTAS 호출로 (1 − ε)·OPT를 얻으며, 전체 복잡도는 다항시간·poly(1/ε)이다. (4) 반대로, FPTAS는 존재하지만 FFPTAS는 존재하지 않는 문제도 있다. 저자들은 4‑분할 최대‑최소 파티션 문제(P₄)를 이용한다. 이 문제는 PER(x)=∑x_i/4 로 계산 가능하지만, “YES”/“NO” 판단을 위한 FFPTAS는 Equal‑Cardinality Partition 문제와 귀류 관계에 놓여 NP‑hard가 된다. 따라서 P ≠ NP 가정 하에 FFPTAS는 존재하지 않는다. 이러한 네 가지 명제는 복잡도 계층에서 P ⊂ FFPTAS ⊂ FPTAS ⊂ NP‑hard 라는 새로운 중간 클래스를 제시한다. 특히, 기존 연구에서는 P와 FPTAS 사이에 아직 알려지지 않은 클래스가 존재할 가능성만 논의되었지만, 본 논문은 구체적인 정의와 예시를 통해 실제 존재함을 증명한다. 논문의 기술적 기여는 다음과 같다. 첫째, “완전 해”라는 새로운 기준을 도입해 근사 목표를 기존 최적값이 아닌 연속형 최적값에 맞추었다. 둘째, FFPTAS와 FPTAS 사이의 변환 알고리즘을 제시함으로써, FFPTAS가 존재하면 자동으로 FPTAS를 얻을 수 있음을 보였다. 셋째, 구체적인 파티션 문제들을 통해 FFPTAS가 존재하면서도 다항시간 정확 알고리즘이 불가능한 경우와, 반대로 FPTAS는 존재하지만 FFPTAS는 불가능한 경우를 각각 구성했다. 넷째, 이러한 결과는 실제 응용에서 “몇 개의 아이템만 분할하면 충분하다”는 제약을 허용하는 새로운 설계 패러다임을 제공한다. 예를 들어, 두 파트너 간 가치 균등을 맞추는 상황에서 완전 분할이 불가능할 때, 작은 오차 t만큼만 아이템을 분할하거나 금전적 보상을 통해 균형을 맞출 수 있다는 실용적 해석이 가능하다. 마지막으로, 저자들은 이론적 한계와 향후 연구 방향을 제시한다. 현재 정의된 FFPTAS는 존재 여부 판단에 초점을 맞추고 있어, 실제 해의 구성을 반환하는 확장형 모델이 필요하다. 또한, 다른 NP‑hard 문제(예: 스케줄링, 배낭 문제 등)에서 FFPTAS가 가능한지 여부와, 그에 따른 복잡도 구분을 탐구하는 것이 향후 과제로 남는다.