최대 컷의 로컬 최적해 계산 복잡도 해결: 도형의 최대 차수 5에서 PLS 완전성 증명

이 논문은 그래프의 최대 차수가 5인 경우 로컬 Max-Cut 문제의 PLS-완전성을 증명한다. 이는 Ackermann et al. (2008)이 제기한 문제를 거의 완벽하게 해결하며, d가 4 또는 5일 때 로컬 최적해 계산이 PLS-완전함을 보여준다. 논문은 또한 그래프의 차수가 O(log n)인 경우 FLIP-근방에서 로컬 최적해를 찾는 알고리즘이 평활화된 복잡도에서 확률적으로 다항식 시간에 실행됨을 증명한다. 논문은 Max-Cut 문제와 관련하여 그래프의 각 노드가 두 집합 중 하나로 분할되는 컷을 고려하며, 이 때 엣지 가중치를 최대화하는 것을 목표로 한다. 로컬 검색 방법을 사용하면 초기 솔루션에서 시작해 더 나은 근방 솔루션으로 이동하면서 로컬 최적해를 찾는다. 논문에서는 그래프의 노드가 5보다 큰 차수를 가질 때 특정 유형의 노드(비교 노드)를 대체하는 기술을 소개한다. 이를 통해, 원래 그래프에서 특정 로컬 최적해가 새로운 그래프에서 유일한 로컬 최적해를 유도함을 보여준다. PLS-완전성 증명에서는 CircuitFlip 문제로부터의 감소를 사용하여 그래프의 노드가 5보다 큰 차수를 가질 때 비교 노드로 대체된 그래프를 생성한다. 이 그래프에서 로컬 최적해는 CircuitFlip 인스턴스의 로컬 최적해와 일치함을 보여준다. 평활화된 복잡도에 대한 결과에서는, 각 엣지 가중치가 작은 가우시안 임의 노이즈로 편향되었을 때, 로컬 최적해를 찾는 알고리즘이 n과 σ^{-1}에 대해 다항식 시간 내에 종료됨을 증명한다. 이는 그래프의 차수가 O(log n)인 경우 FLIP-근방에서 로컬 최적해를 찾는 알고리즘의 성능을 설명한다. 논문은 Max-Cut 문제뿐만 아니라, 다양한 다른 최적화 문제에도 적용 가능하다는 점에서 중요성을 갖는다. 특히, 0/1-knapsack, 제약 조건이 있는 최단 경로 문제, 그리고 제약 조건이 있는 최소 가중치 매칭 문제 등에 확률적으로 다항식 평활화된 복잡도를 가지는 알고리즘을 제공한다.