LP 라운딩으로 풀어낸 결함 내성 시설 배치: 1.575 배율 알고리즘

초록

본 논문은 결함 내성 시설 배치 문제(FTFP)를 다루며, LP‑라운딩 기법을 이용해 1.575‑근사 알고리즘을 제시한다. 먼저 수요를 사이트 수의 다항식 수준으로 축소하고, 적응형 파티셔닝을 통해 클라이언트를 단위 수요로 분할·각 사이트에 잠재 시설을 생성한다. 이후 최적 분수 해를 파티셔닝된 인스턴스로 변환하고, UFL에 대한 기존 1.575‑근사 라운딩 기법을 적절히 변형해 정수 해를 얻는다. 이 과정에서 요구되는 여러 구조적 성질을 증명함으로써 원래 문제에 동일한 근사 비율을 유지한다.

상세 분석

FTFP는 전통적인 무용량 시설 위치 문제(UFL)를 일반화한 모델로, 각 클라이언트 j가 요구하는 복수의 연결 r_j 를 만족해야 한다는 점이 핵심 차별점이다. 논문은 먼저 전형적인 선형 계획(LP) 모델을 구축한다. 변수 y_i는 사이트 i에 개설되는 시설 수(정수형)이며, x_{ij}는 클라이언트 j가 시설 i에 연결되는 정도를 나타낸다. 제약식은 (1) 각 클라이언트의 총 연결량이 r_j 이상, (2) 연결은 해당 시설이 실제로 개설된 경우에만 허용한다는 형태다.

근사 알고리즘 설계의 첫 단계는 “수요 감소(demand reduction)”이다. 원래의 r_j 를 O(|F|·log|F|) 수준으로 제한함으로써, 이후 파티셔닝 과정에서 발생할 수 있는 폭발적인 인스턴스 크기를 방지한다. 이때 손실은 비용 상수 배율 이하로 제한된다.

핵심 기법인 “적응형 파티셔닝(adaptive partitioning)”은 두 가지 작업을 동시에 수행한다. 첫째, 각 클라이언트를 r_j 개의 단위 수요(‘포인트’)로 분해한다; 둘째, 각 사이트 i에 대해 아직 열지 않은 잠재 시설을 k_i 개 생성한다(여기서 k_i는 원 LP 해의 y_i 값에 기반한다). 이 과정에서 원래의 최적 분수 해 (y*, x*)를 파티셔닝된 인스턴스에 맞게 재분배한다. 중요한 것은 파티셔닝 후 얻어지는 인스턴스가 다음과 같은 다섯 가지 성질(P1~P5)을 만족한다는 점이다.

• P1: 각 단위 수요는 정확히 하나의 시설에 연결된다.
• P2: 각 시설은 최대 하나의 단위 수요와 ‘프라임’ 연결을 가진다(프라임 연결은 라운딩 단계에서 우선 고려).
• P3: 모든 프라임 연결의 총 비용은 원 LP 해의 연결 비용의 1.575배 이하이다.
• P4: 각 사이트에 존재하는 잠재 시설 수는 원 y* 값의 상수 배 이하이며, 이는 라운딩 시 과도한 개설을 방지한다.
• P5: 파티셔닝 과정에서 발생하는 추가 비용은 ε·OPT 수준으로, 전체 근사 비율에 영향을 주지 않는다.

이러한 구조적 제약을 이용해, 저자들은 기존 Byrka et al. (2010)의 1.575‑approximation UFL 라운딩 알고리즘을 그대로 적용할 수 있다. 구체적으로, 프라임 연결을 기준으로 ‘클러스터’를 형성하고, 각 클러스터 내에서 가장 비용 효율적인 시설을 실제로 개설한다. 이후 남은 단위 수요는 가장 가까운 개설된 시설에 연결한다. 라운딩 과정에서 발생하는 개설 비용과 연결 비용을 각각 분석하면, 전체 비용은 원 LP 최적값의 1.575배 이하임을 보인다.

이 논문의 주요 기여는 (1) FTFP라는 복합적인 요구사항을 가진 문제에 대해, 기존 UFL 근사 기법을 그대로 활용할 수 있는 파티셔닝 프레임워크를 제시한 점, (2) 수요 감소와 적응형 파티셔닝을 결합해 인스턴스 크기를 다항식 수준으로 제한함으로써 알고리즘의 실용성을 확보한 점, (3) 1.575라는 현재 알려진 최선의 UFL 근사 비율을 그대로 FTFP에 전달함으로써, 두 문제 사이의 근사 복잡도 격차를 없앴다는 점이다.