다중목표 근사에서 불일치 이론의 활용

초록

본 논문은 다중색 베크‑피알라 정리를 이용해 다중목표 최대 여행 판매원 문제와 다중목표 최대 가중치 SAT 문제에 대한 새로운 근사 알고리즘을 제시한다. 방향 그래프에서는 1/2‑확률적 근사, 무방향 그래프에서는 2/3‑확률적 근사를 보이며, 다중목표 최대 가중치 SAT에서도 1/2‑근사를 달성한다. 핵심 아이디어는 고정된 몇 개의 간선을 브루트포스로 선택한 뒤, 사이클 커버의 FPRAS와 다중색 불일치 색칠을 결합해 각 목표에 대한 손실을 균등하게 제한하는 것이다.

상세 분석

이 논문은 다중목표 최적화에서 “파레토 집합”을 근사하는 새로운 프레임워크를 제시한다. 기존에는 단일목표 TSP와 SAT에 대해 각각 1/2, 2/3, 7/9 등 알려진 비율의 근사 알고리즘이 존재했지만, 다중목표 버전에서는 목표 간 상충으로 인해 직접적인 확장이 어려웠다. 저자들은 이를 해결하기 위해 두 가지 핵심 도구를 결합한다. 첫 번째는 기존 연구에서 알려진 사이클 커버 문제에 대한 FPRAS(완전다항시간 무작위 근사 스킴)이다. 특히 k‑2‑MaxDCC F와 k‑3‑MaxUCC F에 대해 고정된 간선 집합 F를 포함하도록 변형한 알고리즘을 사용한다. 두 번째는 Doerr‑Srivastava가 제시한 다중색 베크‑피알라 정리이다. 이 정리는 각 아이템이 c개의 색 중 하나를 선택하도록 강제하면서도, 각 목표 차원에 대해 최대 2·‖A‖₁ 이하의 불일치를 보장한다. 논문에서는 이를 “색칠 라운딩” 단계에 적용한다. 구체적으로, 사이클 커버에서 각 사이클마다 l개의 후보 간선을 선택하고, 이들에 대해 2‑색(또는 3‑색) 색칠을 수행한다. 색칠 결과에 따라 각 사이클에서 정확히 하나의 간선을 제거하고, 남은 경로들을 임의로 연결해 해밀턴 사이클을 만든다. 색칠 과정에서 발생하는 불일치는 베크‑피알라 정리의 보장에 의해 각 목표 가중치의 손실이 전체 최적값의 1/2(또는 2/3) 이하로 제한된다. 특히 방향 그래프에서는 2‑색을, 무방향 그래프에서는 3‑색을 사용해 각각 1/2와 2/3의 근사 비율을 달성한다. 또한, 다중목표 최대 가중치 SAT에 대해서는 각 절에 대해 두 개의 상보적인 진리 할당을 만든 뒤, 동일한 색칠 기법을 적용해 절반 이상의 가중치를 보존한다. 이와 같이 불일치 이론을 알고리즘 설계에 직접 활용함으로써, 기존의 “ε‑감소”형 근사(1/2 − ε 등)보다 강력한 확률적 근사를 얻는다. 논문은 또한 알고리즘의 복잡도 분석을 제공하며, 브루트포스 단계에서 l을 k에만 의존하도록 선택함으로써 전체 실행 시간이 다항식임을 보인다.