[論文レビュー] Approximation of barter exchanges with cycle length constraints

Suiqian Luo, Pingzhong Tang+2 more|arXiv (Cornell University)|May 28, 2016

Auction Theory and Applications参考文献 4被引用数 4

ひとこと要約

本稿は腎臓交換市場の計算複雑性を研究し、重み付き有向グラフとしてモデル化することで、長さ制約下での総重みを最大化する頂点に交差しないサイクルを特定する。重み付きおよび重みなしグラフにおいて、サイクル長 ≤3 の場合、14/13、434/433、698/697 よりも悪い強力な近似不能性の境界を証明する。一方で、シミュレートされたデータ上でほぼ最適な性能を達成する2つの実用的な多項式時間アルゴリズムを提案する。

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.

研究の動機と目的

• バーゲン交換の明細制約（サイクル長制約）を伴う腎臓交換市場における計算の難易度を理解すること。
• さまざまなサイクル長制約下での重み付きおよび重みなしグラフにおけるタイトな近似不能性結果を確立すること。
• 実用的で多項式時間のアルゴリズムを設計・評価し、実世界のシミュレーションでほぼ最適な解を達成すること。
• 理論的複雑性と実際の性能を橋渡しし、既存のシステムで整数プログラミングを近似アルゴリズムよりも採用する根拠を示すこと。

提案手法

• Max-3Lin-2およびMaximum-3-Dimensional-Matching問題からの還元を用いて近似不能性を証明する。
• アルゴリズム1を設計し、グラフを二部マッチング問題に変換することで最大3サイクルを特定する。
• アルゴリズム2を設計し、変換されたグラフ上で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つで最適解を発見した。
• 両アルゴリズムは2分以内に解を返し、上限（Max-Size-Exchange）に非常に近い解の品質を達成しており、理論的難易度にかかわらず強力な実用的性能を示している。