[논문 리뷰] Applying Predicate Detection to the Constrained Optimization Problems

Vijay K. Garg|arXiv (Cornell University)|2018. 12. 26.

Game Theory and Voting Systems참고 문헌 15인용 수 3

한 줄 요약

이 논문은 가용해결공간을 분배 랜서드로 모델링함으로써 제약 조건이 있는 조합 최적화 문제를 해결하는 통합 랜서드-선형 술어 탐지 프레임워크를 제안한다. 안정 결혼 문제, 최단 경로 문제, 시장 균형 가격 문제와 같은 문제들을 랜서드 상의 술어 탐지로 재구성함으로써 고전적 알고리즘(Gale-Shapley, Dijkstra, Demange-Gale-Sotomayor)을 특수한 경우로 도출하고, 랜서드-선형 제약 조건을 처리할 수 있도록 일반화함으로써 제약 조건이 있는 최적해를 효율적으로 병렬 및 구성적으로 열거할 수 있다.

ABSTRACT

We present a method to design parallel algorithms for constrained combinatorial optimization problems. Our method solves and generalizes many classical combinatorial optimization problems including the stable marriage problem, the shortest path problem and the market clearing price problem. These three problems are solved in the literature using Gale-Shapley algorithm, Dijkstra's algorithm, and Demange, Gale, Sotomayor algorithm. Our method solves all these problems by casting them as searching for an element that satisfies an appropriate predicate in a distributive lattice. Moreover, it solves generalizations of all these problems - namely finding the optimal solution satisfying additional constraints called {\em lattice-linear} predicates. For stable marriage problems, an example of such a constraint is that Peter's regret is less than that of Paul. For shortest path problems, an example of such a constraint is that cost of reaching vertex $v_1$ is at least the cost of reaching vertex $v_2$. For the market clearing price problem, an example of such a constraint is that $item_1$ is priced at least as much as $item_2$. In addition to finding the optimal solution, our method is useful in enumerating all constrained stable matchings, and all constrained market clearing price vectors.

연구 동기 및 목표

• 안정 결혼, 최단 경로, 시장 균형 가격과 같은 기본적인 조합 최적화 문제들을 단일 알고리즘 프레임워크로 통합적으로 해결하는 것.
• 추가 제약 조건을 랜서드-선형 술어로 모델링하여 고전적 알고리즘을 일반화하는 것.
• 제약 조건이 있는 환경에서 최적해를 효율적으로 병렬 및 분산 계산할 수 있도록 하는 것.
• 모든 제약 조건이 있는 안정적 매칭과 시장 균형 가격 벡터를 구성적으로 열거할 수 있는 방법을 제공하는 것.
• 제약 조건이 있는 해공간 내에서 부분격자 구조와 합-기초 원소 표현의 이론적 기초를 확립하는 것.

제안 방법

• 각 문제의 해공간을 n차원 벡터의 분배 랜서드로 모델링하며, 각 벡터는 할당을 나타낸다(예: 남성-여성 쌍, 노드 비용, 상품 가격).
• 주어진 벡터가 문제에 특화된 제약 조건을 만족하는지 확인하는 불리언 타당성 술어 B를 정의한다(예: 차단 쌍 없음, 유효한 트리 구조, 시장 균형).
• 타당성 술어 B가 랜서드-선형인 것을 증명함으로써, 랜서드의 바닥에서 단조롭게 진행되는 효율적 탐색이 가능해진다.
• 랜서드-선형 술어 탐지 알고리즘을 사용하여 하한(최적) 타당해를 찾는다. 이는 남성 최적 안정 매칭, 최단 경로, 최소 시장 균형 가격에 해당한다.
• 각 간선 e에 대해 이중 랜서드-선형 술어와 구성적 Birkhoff 정리를 사용하여 타당해의 슬라이스를 계산함으로써 모든 제약 조건이 있는 해를 열거하는 데 확장한다.
• 각 간선 e에 대해 B_e(G) ≡ B(G) ∧ (e ∈ G)를 만족하는 랜서드-선형 술어 탐지 절차를 사용하여 타당 부분격자의 슬라이스를 구성한다.

실험 결과

연구 질문

• RQ1 단일 알고리즘 프레임워크로 안정 결혼, 최단 경로, 시장 균형 가격과 같은 고전적 조합 최적화 문제를 해결하고 일반화할 수 있는가?
• RQ2 랜서드-선형 술어를 어떻게 사용하여 이러한 문제에 추가 제약 조건을 모델링하면서도 알고리즘 효율성을 유지할 수 있는가?
• RQ3 타당해의 랜서드 구조를 어떻게 활용하여 고전적 알고리즘(Gale-Shapley, Dijkstra 등)을 특수한 경우로 도출할 수 있는가?
• RQ4 랜서드 이론적 방법을 사용하여 모든 제약 조건이 있는 안정 매칭과 시장 균형 가격 벡터를 구성적으로 열거할 수 있는가?
• RQ5 이중 랜서드-선형 술어와 역방향 금지 상태는 어떻게 후방 탐색과 부분격자 특성 분석을 가능하게 하는가?

주요 결과

• 타당성 술어 B가 랜서드-선형인 경우, 랜서드-선형 술어 탐지 알고리즘이 Gale-Shapley, Dijkstra, Demange-Gale-Sotomayor 알고리즘을 특수한 경우로 일반화하고 도출한다.
• 랜서드 구조와 랜서드의 바닥 원소에서의 단조로운 진행을 활용하여 최적해의 효율적 병렬 계산이 가능해진다.
• 모든 제약 조건이 있는 안정 매칭의 집합은 유한한 분배 랜서드를 이룬다. 이는 그 합-기초 원소들의 부분순서 집합(‘슬라이스’)으로 표현될 수 있다.
• 그래프의 각 간선에 대해 랜서드-선형 술어 탐지 문제를 순차적으로 해결함으로써 슬라이스를 구성적으로 계산할 수 있다.
• 제약 조건이 있는 안정 매칭의 타당성 술어는 랜서드-선형이자 후방-랜서드-선형이므로, 타당 집합이 합에 대해 닫혀 있고 부분격자가 된다.
• 정수 가격 조건이 있을 경우, 슬라이스 구성 방법을 통해 모든 제약 조건이 있는 시장 균형 가격 벡터의 간결하고 다항 시간 내 표현이 가능하다.