[논문 리뷰] Approximation of barter exchanges with cycle length constraints

Suiqian Luo, Pingzhong Tang외 2명|arXiv (Cornell University)|2016. 05. 28.

Auction Theory and Applications참고 문헌 4인용 수 4

한 줄 요약

이 논문은 신장 교환 시장의 계산 복잡도를 연구하며, 가중치가 부여된 방향 그래프로 모델링하여 길이 제약 조건 하에 총 가중치를 최대화하는 정점을 공유하지 않는 사이클을 찾는다. 가중치가 있는 그래프와 없는 그래프에서 사이클 길이 ≤3일 경우, 강력한 근사 불가능성 한계(14/13, 434/433, 698/697보다 더 나쁜)를 증명한다. 또한 시뮬레이션 데이터에서 근사 최적해에 매우 가까운 성능을 보이는 실용적인 다항식 시간 알고리즘 두 가지를 제안한다.

ABSTRACT

We explore the clearing problem in the barter exchange market. The problem, described in the terminology of graph theory, is to find a set of vertex-disjoint, length-restricted cycles that maximize the total weight in a weighted digraph. The problem has previously been shown to be NP-hard. We advance the understanding of this problem by the following contributions. We prove three constant inapproximability results for this problem. For the weighted graphs, we prove that it is NP-hard to approximate the clearing problem within a factor of 14/13 under general length constraints and within a factor of 434/433 when the cycle length is not longer than 3. For the unweighted graphs, we prove that this problem is NP-hard to approximate within a factor of 698/697. For the unweighted graphs when the cycle length is not longer than 3, we design and implement two simple and practical algorithms. Experiments on simulated data suggest that these algorithms yield excellent performances.

연구 동기 및 목표

• 신장 교환 시장에서 사이클 길이 제약 조건이 있는 바ter 거래 청산의 계산 복잡도를 이해하기 위해.
• 다양한 사이클 길이 제약 조건 하에서 가중치가 있는 그래프와 없는 그래프에 대해 날카운 근사 불가능성 결과를 확립하기 위해.
• 실제 세계 시뮬레이션에서 근사 최적해를 제공하는 실용적이고 다항식 시간 복잡도를 가지는 알고리즘을 설계하고 평가하기 위해.
• 이론적 복잡도와 실용적 성능를 연결하여, 기존 시스템에서 근사 알고리즘 대신 정수 프로그래밍을 사용할 근거를 제공하기 위해.

제안 방법

• Max-3Lin-2 및 Maximum-3-Dimensional-Matching 문제로부터의 축소를 통해 근사 불가능성을 증명한다.
• 알고리즘 1을 설계하여 그래프를 이분 매칭 문제로 변환함으로써 최대 3사이클을 찾는다.
• 알고리즘 2를 설계하여 변환된 그래프에서 이중 단계 매칭 과정을 통해 최대 2- 및 3사이클을 찾는다.
• 두 알고리즘을 구현하고, 다양한 크기의 그래프를 가진 미국 및 중국 인구 기반 시뮬레이션 데이터에서 평가한다.
• 해결 품질 평가를 위해 Max-Size-2-Exchange와 Max-Size-Exchange를 각각 하한 및 상한으로 사용한다.
• 크기별로 10개의 랜덤 그래프 인스턴스를 평균 내어, 해결 품질 및 실행 시간 측면에서 성능을 평가한다.

실험 결과

연구 질문

• RQ1 일반적인 사이클 길이 제약 조건 하에서 가중치가 있는 신장 교환 문제의 최선의 근사 비율은 무엇인가?
• RQ2 사이클 길이가 3 이하로 제한될 경우, 가중치가 있는 경우와 없는 경우 모두에서 문제를 근사하는 데 얼마나 어려운가?
• RQ3 강력한 이론적 근사 불가능성 한계가 존재함에도 불구하고, 단순하고 효율적인 알고리즘이 실질적으로 근사 최적해를 달성할 수 있는가?
• RQ4 신장 교환 문제와 Max-3Lin-2 및 3D-Matching과 같은 기본적인 NP-난해 최적화 문제 사이의 관계는 무엇인가?
• RQ5 실제 세계 시뮬레이션에서 실용적 알고리즘이 이론적 한계를 초월하는가?

주요 결과

• 일반적인 사이클 길이 제약 조건 하에서 가중치가 있는 신장 교환 문제는 14/13 요인 이내로 근사하는 것이 NP-난해하다.
• 가중치가 있는 그래프에서 사이클 길이 ≤3일 경우, 문제는 434/433 요인 이내로 근사하는 것이 NP-난해하다.
• 사이클 길이 ≤3인 비가중치 그래프에서 문제는 698/697 요인 이내로 근사하는 것이 NP-난해하다.
• 알고리즘 1은 근사 비율 3을 달성하며 다항식 시간 내에 실행되지만, 효율성이 다소 떨어진다.
• 알고리즘 2는 알고리즘 1보다 빠르게 실행되며, 최적해에 매우 가까운 해를 생성한다. 특히 미국 데이터에서 2000개 노드를 가진 10개 테스트 케이스 중 5개에서 최적해를 찾는다.
• 두 알고리즘 모두 두 분 이내에 해를 반환하며, 상한(즉, Max-Size-Exchange)에 매우 가까운 해결 품질을 달성하여, 이론적 난이도에도 불구하고 뛰어난 실용적 성능을 보인다.