[논문 리뷰] LP approximations to mixed-integer polynomial optimization problems

Daniel Bienstock, Gonzalo Muñoz|arXiv (Cornell University)|2015. 01. 01.

Advanced Graph Theory Research참고 문헌 19인용 수 11

한 줄 요약

이 논문은 제약 조건의 교차 그래프에서 유계 트리-너비를 통해 구조적 희박성(structured sparsity)을 활용하여 혼합정수다항최적화 문제를 위한 새로운 선형계획법(LP) 근사 프레임워크를 제안한다. 임의의 오차 허용치 ϵ > 0에 대해, O((2π/ϵ)^{ω+1} n log(π/ϵ))개의 변수와 제약 조건을 가지며 타당성 및 최적성 오차가 ϵ에 비례하는 다항크기의 LP 설정이 존재함을 증명하고, 이를 통해 유계 트리-너비 그래프에서 AC-OPF 문제에 대한 다항시간 근사계량법(PTAS)을 도출한다.

ABSTRACT

We present a class of linear programming approximations for constrained optimization problems. In the case of mixed-integer polynomial optimization problems, if the intersection graph of the constraints has bounded tree-width our construction yields a class of linear size formulations that attain any desired tolerance. As a result, we obtain an approximation scheme for the "AC-OPF" problem on graphs with bounded tree-width. We also describe a more general construction for pure binary optimization problems where individual constraints are available through a membership oracle; if the intersection graph for the constraints has bounded tree-width our construction is of linear size and exact. This improves on a number of results in the literature, both from the perspective of formulation size and generality.

연구 동기 및 목표

• 증명 가능한 오차 한계를 가진 혼합정수다항최적화 문제를 위한 압축되고 다항크기의 LP 설정을 개발하기 위해.
• 제약 행렬의 구조적 희박성을 교차 그래프의 트리-너비를 통해 활용하기 위해.
• 유계 트리-너비 그래프에서 AC-OPF 문제에 대한 다항시간 근사계량법(PTAS)을 제공하기 위해.
• 트리분해와 제약 조건의 일致성 기반으로 기존의 상향식 설정 기법을 다항 및 혼합정수 설정으로 일반화하기 위해.
• 근사 품질의 이론적 한계를 규명하여, 설정 크기에서 ϵ에 대한 의존성이 P=NP 가정 하에 최적이 아닐 경우가 아님을 보여주기 위해.

제안 방법

• 제약 조건의 교차 그래프에 대한 트리분해를 구성하며, 각 노드는 크기가 유계인 변수 부분집합(클리크 크기 ≤ ω+1)을 나타낸다.
• 각 트리분해 노드 t에 대해 타당 구성(configuration) F_t를 정의하며, 이는 Q_t에 속하는 변수들만을 포함하는 모든 제약 조건을 만족하는 변수 할당을 나타낸다.
• 각 타당 구성 v ∈ F_t에 대해 보조 변수 λ^t_v와 각 부분집합 S ⊆ Q_t에 대해 Z_S를 도입하여 트리 노드 간 일致성을 보장한다.
• 제약 조건 (27b) 및 (27c)를 사용하여 Z_S 가 타당 해의 특성 벡터들의 볼록조합을 나타내도록 하여, 상향식 LP 근사를 형성한다.
• 해의 다면체의 정수성을 확보하기 위해, 트리분해 백에 국한된 로바슈-슈라이버 상향식 기법을 적용한다.
• 유계 트리-너비를 활용하여 각 백당 구성 수를 O(2^ω)로 상한 설정하여 총 설정 크기를 O(|V(T)|2^ω) = O(n 2^ω)로 유도한다.

실험 결과

연구 질문

• RQ1 제약 조건 교차 그래프에서 유계 트리-너비를 가정할 때, 증명 가능한 오차 한계를 가진 다항크기 LP 설정을 혼합정수다항최적화 문제에 대해 구성할 수 있는가?
• RQ2 유계 트리-너비 그래프에서 LP 근사를 사용하여 AC-OPF 문제에 대해 다항시간 근사계량법(PTAS)을 달성할 수 있는가?
• RQ3 교차 그래프의 트리-너비가 다항혼합정수계획 문제의 LP 근사 설정 크기와 정확도에 어떤 영향을 미치는가?
• RQ4 로바슈-슈라이버 상향식 기법을 다항 및 혼합정수 문제에 대해 구조적 희박성을 가진 상황에 적응시킬 수 있는가?
• RQ5 설정 크기에서 오차 허용치 ϵ에 대한 최적의 의존성은 무엇이며, 복잡도 이론적 가정 하에 이는 날카로운가?

주요 결과

• 모든 ϵ > 0에 대해, 타당성 오차 Fϵ 및 최적성 오차 ||c||₁ϵ 내에서 혼합정수다항문제를 근사하는 O((2π/ϵ)^{ω+1} n log(π/ϵ))개의 변수와 제약 조건을 가지는 LP 설정을 구성한다.
• 설정 크기는 O(ϵ^{-ω-1} log ϵ^{-1})로 증가하며, 이 의존성은 P=NP 가정 하에 최적이므로 증명된다.
• 이 방법은 유계 트리-너비 그래프에서 AC-OPF 문제에 대한 다항시간 근사계량법(PTAS)을 도출한다.
• LP 설정의 해 다면체는 정수성을 가지며, 이는 원래 문제의 유계 트리-너비 조건을 만족할 경우 타당 해의 볼록 hull을 정확히 표현함을 의미한다.
• 이 구성은 제약 조건에 대한 멤버십 오라클을 가진 순수 이진 문제로 일반화 가능하며, 교차 그래프의 유계 트리-너비 조건을 만족할 경우 정확한 선형 크기 설정을 달성한다.
• 모든 타당 해를 명시적으로 열거하지 않아도 되며, 트리분해 노드 간 동적계획법 스타일의 일치성 기반으로 증명 가능한 근사 한계를 달성한다.