[논문 리뷰] On the practically interesting instances of MAXCUT

Yonatan Bilu, Amit Daniely외 2명|arXiv (Cornell University)|2012. 05. 22.

Complexity and Algorithms in Graphs참고 문헌 12인용 수 5

한 줄 요약

이 논문은 안정성 및 구조적 가정(예: 거리계, 조밀, 국소 안정성 있는 그래프) 하에 실질적으로 유의미한 MAXCUT 문제의 인스턴스를 다루는 다항시간 알고리즘을 제안한다. (1+ε)-국소 안정성 있는 거리계 및 조밀한 MAXCUT 인스턴스는 효율적으로 해결 가능하며, Ω(√n)-안정성 있는 인스턴스는 다항시간 내에 해결 가능함을 보이며, 이는 이전의 안정성 요구 조건에 비해 크게 향상된 결과이다.

ABSTRACT

The complexity of a computational problem is traditionally quantified based on the hardness of its worst case. This approach has many advantages and has led to a deep and beautiful theory. However, from the practical perspective, this leaves much to be desired. In application areas, practically interesting instances very often occupy just a tiny part of an algorithm's space of instances, and the vast majority of instances are simply irrelevant. Addressing these issues is a major challenge for theoretical computer science which may make theory more relevant to the practice of computer science. Following Bilu and Linial, we apply this perspective to MAXCUT, viewed as a clustering problem. Using a variety of techniques, we investigate practically interesting instances of this problem. Specifically, we show how to solve in polynomial time distinguished, metric, expanding and dense instances of MAXCUT under mild stability assumptions. In particular, $(1+ε)$-stability (which is optimal) suffices for metric and dense MAXCUT. We also show how to solve in polynomial time $Ω(\sqrt{n})$-stable instances of MAXCUT, substantially improving the best previously known result.

연구 동기 및 목표

• MAXCUT의 최악의 이론적 난이도와 실질적 가능성 사이의 격차를 메우기 위해, 최악의 경우가 아닌 실질적으로 의미 있는 인스턴스에 초점을 맞춘다.
• MAXCUT이 일반적으로 NP-난이도이지만 실질적으로 해결 가능해지는, 구조적 조건과 안정성 조건을 규명한다.
• 특히 비정규 그래프에 대해 이전의 안정성 임계값을 초월하여, MAXCUT의 다항시간 해법에 대한 안정성 조건을 향상시킨다.
• 클러스터링이 쉬운가 혹은 의미 없는가에 대한 경험적 직관을 이론적으로 기반을 마련하기 위해, 그래프 분할에서의 안정성과 구별성의 정의를 명시화한다.
• 이전에 알려진 바보다 더 약한 안정성 가정(예: 국소 안정성, 헤이저 기반의 경계) 하에서도 MAXCUT를 해결할 수 있는지 탐색한다.

제안 방법

• 모든 간선이 동일한 정점에 인cidient된 경우에만 허용되는 γ-국소 안정성 인스턴스의 개념을 도입하여, 기존의 γ-안정성 조건을 약화시킨다.
• 모든 다른 컷으로의 이동이 스위칭 정점들의 가중도의 합의 최소 α 배 이상의 목적 함수 감소를 유도하는 α-구별 가능한 해의 개념을 적용한다.
• 거리계, 밀도(C-조밀), 확장성(헤이저 상수 h를 통한) 등의 구조적 그래프 성질을 활용하여 다항시간 해법을 도출한다.
• 간선 가중치와 안정성 임계값을 분석하여 최적 컷의 동일한 쪽에 있는 정점 쌍을 식별하는 결정론적 알고리즘을 사용한다.
• 총 가중치 τ(v), 최대 간선 가중치 w(v,u), 안정성 파라미터 γ를 포함하는 부등식을 활용하여, 특정 간선이 반드시 컷 간선임을 증명한다.
• 특정한 정점 쌍이 존재하지 않는다고 가정할 경우 모순을 유도하며, ∑ŵ²(v)와 ∑n(u,v)의 경계를 사용하여 n에 대한 γ의 경계를 도출한다.

실험 결과

연구 질문

• RQ1 모든 ε > 0에 대해, (1+ε)-국소 안정성 있는 거리계 MAXCUT 인스턴스는 다항시간 내에 해결 가능한가?
• RQ2 γ-국소 안정성 있는 MAXCUT 인스턴스가 다항시간 내에 해결 가능한 최소 안정성 임계값 γ는 얼마인가?
• RQ3 구별성과 국소 안정성 조건을 활용하여, 조밀하거나 확장성 있는 그래프에 대해 안정성 임계값을 향상시킬 수 있는가?
• RQ4 코로나리에이 2.6가 제안한 lin 2-국소 안정성 있는 거리계 MAXCUT 인스턴스에 대해 다항시간 알고리즘이 존재하는가?
• RQ5 정리 1.2에서 γ가 α와 h에 의존하는 방식을 추가로 최적화할 수 있는가?

주요 결과

• 모든 ε > 0에 대해, (1+ε)-국소 안정성 있는 거리계 MAXCUT 인스턴스는 다항시간 내에 해결 가능하며, 이는 최적의 안정성 임계값을 달성한다.
• 모든 ε > 0 및 C > 1에 대해, (1+ε)-국소 안정성 있고 C-조밀한 MAXCUT 인스턴스는 다항시간 내에 해결 가능하며, C-조밀성은 과도하게 가중된 간선을 배제한다.
• 이전 결과를 초월하여, α-구별 가능하고 γ-국소 안정성 있는 인스턴스에 대해 γ > 2 / (1 − √(1 − α²))이면 충분함을 보이며, 이는 이전의 기준보다 훨씬 낮은 안정성 요구 조건을 의미한다.
• γ-국소 안정성 있는 인스턴스에 대해, γ > 2 / (1 − √(1 − h²))이면 다항시간 내에 해결 가능하며, 여기서 h는 최대 컷의 헤이저 상수이다.
• 이 논문은 Ω(√n)-안정성 있는 MAXCUT 인스턴스가 다항시간 내에 해결 가능하다고 규명하며, 이는 이전에 알려진 n-안정성 요구 조건을 향상시킨다.
• 최적 컷의 동일한 쪽에 있는 정점 쌍이 존재하지 않는다고 가정할 경우 모순을 도출하며, γ > √(8n+4) + 1일 때 반드시 그러한 쌍이 존재함을 증명함으로써 알고리즘의 정당성을 입증한다.