[논문 리뷰] New algorithms for Steiner tree reoptimization

Davide Bilò|arXiv (Cornell University)|2018. 04. 28.

Formal Methods in Verification인용 수 2

한 줄 요약

이 논문은 네 가지 국소적 수정—간선 비용 변화와 정점 상태 변화—에 대한 스티너 트리 재최적화를 위한 최초의 다항시간 근사법(PTAS)을 제안하며, 이는 이전의 상수 요인 근사 알고리즘보다 크게 향상시킨다. Connect 알고리즘, 제한된 스티너 트리 구축, 경로 증강을 통한 반복적 정밀화의 새로운 조합을 활용하여, 최적 또는 ρ-근사해에서 시작할 경우 (1+ϵ)-근사해를 달성한다. 주요 결과는 P=NP가 아닐 경우 더 나은 근사가 불가능하다는 것이다.

ABSTRACT

{\em Reoptimization} is a setting in which we are given an (near) optimal solution of a problem instance and a local modification that slightly changes the instance. The main goal is that of finding an (near) optimal solution of the modified instance. We investigate one of the most studied scenarios in reoptimization known as {\em Steiner tree reoptimization}. Steiner tree reoptimization is a collection of strongly NP-hard optimization problems that are defined on top of the classical Steiner tree problem and for which several constant-factor approximation algorithms have been designed in the last decade. In this paper we improve upon all these results by developing a novel technique that allows us to design {\em polynomial-time approximation schemes}. Remarkably, prior to this paper, no approximation algorithm better than recomputing a solution from scratch was known for the elusive scenario in which the cost of a single edge decreases. Our results are best possible since none of the problems addressed in this paper admits a fully polynomial-time approximation scheme, unless P=NP.

연구 동기 및 목표

• 국소적 수정 하에서 효율적인 근사 알고리즘 설계라는 오랜 도전 과제를 해결하기 위해.
• 이전 연구의 한계를 극복하기 위해, 재계산 이외의 보다 나은 보장을 제공하지 못하는 상수 요인 근사 알고리즘에 의존하는 것.
• 원래 해가 최적 또는 근사적일 경우, 재최적화 시나리오에 대해 다항시간 근사법(PTAS)을 가능하게 하는 일반적인 기법을 개발하기 위해.
• 이전에 알려진 근사보다 나은 결과가 없었던 간선 비용 감소의 경우에 대해 근사성의 격차를 메우기 위해.

제안 방법

• 최소비용 간선을 사용해 스티너 포레스트를 증강하는 Connect 알고리즘을 활용하여, 다항시간 내에 타당한 스티너 트리를 구성한다.
• Borchers와 Du의 알고리즘적 증명을 활용해 임의의 스티너 트리를 (1+ξ)-근사 f(ξ)-제한 스티너 트리로 변환함으로써, 제어 가능한 근사성의 상호 교환을 가능하게 한다.
• k-제한 포레스트와 경로 집합 H를 사용한 경로 기반의 재귀적 증강 전략을 도입하여 해를 반복적으로 정밀화한다.
• ℓ = ⌈2/ϵ⌉ 단계의 층위 구조를 사용해 중간 해의 비용을 제한함으로써, (1+ϵ)-근사해로의 수렴을 보장한다.
• ℓ개의 중간 해에 대한 가중 평균을 적용하여 최종 비용을 제한하며, 평균 비용이 최적 비용의 (1+ϵ)배 이내라는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 단일 간선 비용 감소가 발생할 경우, 스티너 트리 재최적화에 대해 다항시간 근사법을 설계할 수 있는가?
• RQ2 최적 해에서 시작할 경우, 정점 상태 변화(터미널에서 스티너 정점로 또는 그 반대)에 대해 (1+ϵ)-근사해를 달성할 수 있는가?
• RQ3 원래 해의 구조적 특성을 활용함으로써 상수 요인을 초월한 근사 비율을 향상시킬 수 있는가?
• RQ4 재최적화 하에서 달성 가능한 최선의 근사 비율은 무엇이며, 이는 초기 해의 품질에 따라 달라지는가?

주요 결과

• 논문은 네 가지 표준 스티너 트리 재최적화 시나리오 전부에 대해 최초의 다항시간 근사법(PTAS)을 제시하며, 이전에 해결되지 않았던 간선 비용 감소의 경우를 포함한다.
• 간선 비용 감소 및 터미널에서 스티너 정점으로의 변화에 대해, 초기 해가 최적일 경우(ρ=1) (1+ϵ)-근사해를 달성하며, 이는 P=NP가 아닐 경우 최적이며 더 이상 향상될 수 없다.
• 알고리즘은 다항시간 내에 실행되며, 원래 해가 ρ-근사일 경우에도 수정된 인스턴스의 최적 비용에 대해 (1+ϵ) 이내의 비용을 보장한다.
• 이 방법은 제한된 스티너 트리 구축과 반복적 경로 기반 증강의 새로운 조합에 의존하여, 각 층에서의 비용 증가를 제한한다.
• 분석을 통해 ℓ개의 중간 해의 평균 비용이 최적 해의 비용의 (1+ϵ)배 이내임을 증명하며, 이는 (1+ϵ)-근사해를 이끈다.
• 결과는 날카롭게 조건이 맞다: P=NP가 아닐 경우, 이러한 문제들 중 어느 하나에 대해서도 완전 다항시간 근사법이 존재하지 않으며, 제안된 PTAS는 이 복잡도 클래스에서 최적이다.