[논문 리뷰] Improved Hardness for Cut, Interdiction, and Firefighter Problems

Euiwoong Lee|arXiv (Cornell University)|2016. 07. 18.

Mechanical Behavior of Composites참고 문헌 24인용 수 10

한 줄 요약

이 논문은 유니크 게임 추측(UQC) 하에서 기본적인 그래프 컷 및 간섭 문제에 대한 향상된 근사 불가능성 결과를 확립한다. 새로운 길이 제어 딕타토십 테스트 프레임워크를 도입하여, 방향성 멀티컷, 길이 제한 컷, 최단 경로 간섭, 자원 최소화 화재 확산 방지 문제에 대해 날카롭거나 초수상수 수준의 근사 불가능성 경계를 증명하며, 이는 이전에 알려진 최고의 요인을 따라하거나 초월한다.

ABSTRACT

We study variants of the classic $s$-$t$ cut problem and prove the following improved hardness results assuming the Unique Games Conjecture (UGC). - For any constant $k \geq 2$ and $ε> 0$, we show that Directed Multicut with $k$ source-sink pairs is hard to approximate within a factor $k - ε$. This matches the trivial $k$-approximation algorithm. By a simple reduction, our result for $k = 2$ implies that Directed Multiway Cut with two terminals (also known as $s$-$t$ Bicut) is hard to approximate within a factor $2 - ε$, matching the trivial $2$-approximation algorithm. Previously, the best hardness factor for these problems (for constant $k$) was $1.5 - ε$ under the UGC. - For Length-Bounded Cut and Shortest Path Interdiction, we show that both problems are hard to approximate within any constant factor, even if we allow bicriteria approximation. If we want to cut vertices or the graph is directed, our hardness factor for Length-Bounded Cut matches the best approximation ratio up to a constant. Previously, the best hardness factor was $1.1377$ for Length-Bounded Cut and $2$ for Shortest Path Interdiction. - Assuming a variant of the UGC (implied by another variant of Bansal and Khot), we prove that it is hard to approximate Resource Minimization Fire Containment within any constant factor. Previously, the best hardness factor was $2$. Our results are based on a general method of converting an integrality gap instance to a length-control dictatorship test for variants of the $s$-$t$ cut problem, which may be useful for other problems.

연구 동기 및 목표

• 핵심 그래프 컷 문제에 대해 알려진 근사 알고리즘과 최고의 근사 불가능성 요인 사이의 격차를 메우기.
• LP 정수화 오차 인스턴스를 구조적 제약 조건이 있는 컷 문제의 하드네스 결과로 변환하는 일반적인 방법 개발.
• 유니크 게임 추측 하에서 방향성 멀티컷, 길이 제한 컷, 최단 경로 간섭 문제에 대해 최적 또는 초수상수 수준의 근사 불가능성 증명하기.
• UGC의 변형을 사용하여 자원 최소화 화재 확산 방지 문제로 하드네스 결과 확장하기.

제안 방법

• 구조적 제약 조건을 유지하는 길이 제어 딕타토십 테스트 설계하여, LP 정수화 오차에서 하드네스로의 감소 가능하게 하기.
• 라벨이 부여된 정점과 간선을 가진 이중정규 유니크 게임 인스턴스를 사용하여 경로 길이 및 컷 무게 제약 조건 시뮬레이션하기.
• 영향도 및 확산 분석을 적용하여 고도의 影響력을 가진 '좋은' 정점을 식별하고, 딕타토십 테스트에서 레이블 일관성 확보하기.
• 도수-기반 영향도 임계값에 기반한 레이블링 전략을 구축하여 감소 과정에서 완전성과 타당성을 확보하기.
• 유니크 게임 추측을 활용하여 표준 LP 완화의 정수화 오차 인스턴스를 일치하는 간격을 가진 NP-난이도 결과로 변환하기.
• 경로 길이, 정점/간선 제거, 연결성 제약 조건을 유지하도록 구성에 맞게 조정하여, 여러 문제에 이 프레임워크 적용하기.

실험 결과

연구 질문

• RQ1 표준 LP 완화의 정수화 오차가 UGC 하에서 날카로운 근사 불가능성 결과로 변환될 수 있는가?
• RQ2 이중기준 근사 하에서도 길이 제한 컷 및 최단 경로 간섭 문제에 대해 초수상수 수준의 하드네스를 달성할 수 있는가?
• RQ3 UGC 하에서 k개의 소스-싱크 쌍을 가진 방향성 멀티컷의 최적 근사 불가능성 요인이 무엇인가?
• RQ4 자원 최소화 화재 확산 방지와 같이 이전에 강력한 근사 불가능성 결과가 없는 문제로 이 프레임워크를 확장할 수 있는가?
• RQ5 UGC의 변형이 자원 최소화 화재 확산 방지 문제에 대해 상수 요인의 근사 불가능성을 암시하는가?

주요 결과

• k개의 소스-싱크 쌍을 가진 방향성 멀티컷은 임의의 ε>0에 대해 k−ε 요인 이내로 근사하는 것이 어렵다. 이는 자명한 k-근사와 일치한다.
• k=2일 경우, s-t Bicut는 2−ε 이내로 근사하는 것이 어렵다. 이는 자명한 2-근사와 일치한다.
• 길이 제한 컷 및 최단 경로 간섭 문제는 이중기준 근사 하에서도 어떤 상수 요인 이내로 근사하는 것이 어렵다.
• 길이 제한 컷의 하드네스 요인은 상수 범위 내에서 최고의 알려진 근사 비율과 일치하며, 이전의 하한 1.1377을 향상시킨다.
• 자원 최소화 화재 확산 방지 문제는 UGC의 변형 하에서 어떤 상수 요인 이내로 근사하는 것이 어렵다. 이는 이전의 최고 요인 2를 향상시킨다.
• 제안된 길이 제어 딕타토십 테스트 프레임워크는 여러 컷 문제에 적용 가능하며, LP 정수화 오차에서 하드네스를 유도하는 일반적인 방법을 제공한다.