[논문 리뷰] Exponential lower bounds on the size of approximate formulations in the natural encoding for Capacitated Facility Location

Stavros G. Kolliopoulos, Yannis Moysoglou|arXiv (Cornell University)|2013. 12. 06.

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

한 줄 요약

이 논문은 자연스러운 인코딩을 사용하여 메트릭 용량 제한 시설 위치 문제(CFL)에 대한 선형계획법(LP) 리 릿츠의 크기에 대해 지수적 하한을 확립한다. 특정 비용 함수 하에서 거의 최적인 분수 해의 큰 가족을 구성함으로써, 저자들은 임의의 정수 갭이 일정한 리 릿츠는 지수적으로 많은 약속을 가져야 하며, 이는 이러한 인코딩 하에서 대칭성 또는 구조적 가정 없이 다항 크기의 포지션을 배제함을 의미한다.

ABSTRACT

The metric capacitated facility location is a well-studied problem for which, while constant factor approximations are known, no efficient relaxation with constant integrality gap is known. The question whether there is such a relaxation is among the most important open problems of approximation algorithms \cite{ShmoysWbook}. In this paper we show that, if one is restricted to linear programs that use the natural encoding for facility location, at least an exponential number of constraints is needed to achieve a constant gap. Our proof does not assume any special property of the relaxation such as locality or symmetry.

연구 동기 및 목표

• 메트릭 용량 제한 시설 위치 문제에 대해 다항 크기의 선형계획법 리 릿츠가 정수 갭이 일정한지 여부를 해결하는 데 오랫동안 열려 있던 문제를 해결하기 위해.
• 시설 개방 및 고객 배정 변수의 자연스러운 인코딩에 제한된 경우 이러한 리 릿츠가 불가능함을 보여주기 위해.
• 약속의 대칭성, 국소성, 계층 기반 구조에 대한 가정 없이도 무조건적인 하한을 제공하기 위해.
• 주어진 갭 품질 g에 대해 근사 포지션에 대한 수량 기반 추론의 적용 범위를 확장하기 위해.
• CFL의 정수 해의 볼록 hull에 속하는지 여부를 확인하는 데 도전하는 문제를 해결하기 위해, 새로운 확률적 프레임워크를 사용하기 위해.

제안 방법

• 차원 n에 따라 매개변수화된 인스턴스의 가족을 구성하여, [0,1]^n 내에 지수적으로 많은 분수 해의 코어 집합을 정의한다.
• 각 코어 해 s_k,l 이 해당하는 비용 벡터 하에서 o(OPT)의 비용을 가지도록 비용 함수를 정의함으로써, 분수임에도 불구하고 거의 최적임을 보장한다.
• 분수 해에서 정수 해를 생성하기 위해 확률적 라운딩 절차를 사용하여, 기대값이 분수 벡터와 일치하도록 보장한다.
• 유니언 바운드 추론을 사용하여, 임의의 유효한 부등식은 최대 2^{-Ω(n log n)}의 비율의 코어 해를 위반할 수 있음을 증명한다.
• 두 개의 서로 다른 분수 해의 대칭적인 볼록 조합을 이용하여 볼록 hull 내의 새로운 해를 구성함으로써, 변수 간 일관성을 확보한다.
• 충돌 및 위반 확률에 기반한 수량 추론을 적용하여, 모든 문제적 분수 해를 배제하기 위해 지수적으로 많은 약속이 필요하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 메트릭 용량 제한 시설 위치 문제에 대해 자연스러운 인코딩을 사용하여 다항 크기의 선형계획법 리 릿츠가 정수 갭이 일정한지 여부는?
• RQ2 대칭성 또는 국소성과 같은 구조적 가정 없이도 자연스러운 인코딩 LP의 표현력에 내재된 제약이 있는가?
• RQ3 CFL에서 정수 갭이 일정한 근사 포지션을 달성하기 위해 필요한 최소 약속 수는 얼마인가?
• RQ4 정확한 리 릿츠를 초월하여 근사 포지션의 크기를 제한하는 데 수량 기반 추론을 일반화할 수 있는가?
• RQ5 CFL의 맥락에서 분수 해가 정수 해의 볼록 hull에 속하는지 여부를 어떻게 확인할 수 있는가?

주요 결과

• 메트릭 CFL에 대해 자연스러운 인코딩을 사용하는 선형계획법 리 릿츠가 정수 갭을 일정하게 유지하려면 최소 2^{Ω(n log n)}개의 약속이 필요하다.
• 하한은 대칭성, 국소성, 계층 수준에 대한 가정 없이도 무조건적으로 성립한다.
• 증명은 특정 비용 함수 하에서 거의 최적인 분수 해의 가족을 구성함으로써, 이러한 점들이 리 릿츠에 의해 배제되어야 함을 보여준다.
• 일부 분수 해가 정수 해의 볼록 hull에 속한다는 것을 검증하기 위해 확률적 라운딩 프레임워크를 사용하여, 수량 추론을 가능하게 한다.
• 이 방법은 주어진 갭 품질 g에 대해 근사 포지션에도 적용되며, g = o(n)일지라도 지수적 크기가 필요함을 보여준다.
• 이 결과는 CFL에 대해 효율적인 LP 리 릿츠의 존재에 대해 강력한 부정적 증거를 제공하며, 근사 알고리즘 분야에서 주요 열린 문제이다.