[論文レビュー] Good Things Come to Those Who Swap Objects on Paths

Matthias Bentert, Jiehua Chen+2 more|arXiv (Cornell University)|May 10, 2019

Game Theory and Voting Systems参考文献 13被引用数 3

ひとこと要約

この論文は、分散型スワップ市場におけるREACHABLE OBJECT問題の計算複雑性に関する主要な未解決問題を解決する。パス上で多項式時間アルゴリズムを提示し、完全グラフ（クリーク）および一般化されたカタツムリ木上でNP困難であることを証明し、好みのリスト長さにおける明確な3対4の二分法を確立する。すなわち、すべての好みリストの長さが3以下である場合に限り問題は tractable となるが、いずれのリストでも長さが4以上になるとNP困難に移行する。

ABSTRACT

In recent work, Gourv{è}s, Lesca, and Wilczynski (IJCAI 17) propose a variant of the classic housing markets model in which the matching between agents and objects evolves through Pareto-improving swaps between pairs of agents who are adjacent in a social network. To explore the swap dynamics of their model, they pose several basic questions concerning the set of reachable matchings, and investigate the computational complexity of these questions when the graph structure of the social network is a star, path, or tree, or is unrestricted. We are interested in how to direct the agents to swap objects with each other in order to arrive at a reachable matching that is both efficient and most agreeable. In particular, we study the computational complexity of reaching a Pareto-efficient matching that maximizes the number of agents who prefer their match to their initial endowments. We consider various graph structures of the social network: path, star, tree, or being unrestricted. Additionally, we consider two assumptions regarding preference relations of agents: strict (ties among objects not allowed) or weak (ties among objects allowed). By designing two polynomial-time algorithms and two NP-hardness reductions, we resolve the complexity of all cases not yet known. Our main contributions include a polynomial-time algorithm for path networks with strict preferences and an NP-hardness result in a star network with weak preferences.

研究の動機と目的

• Gourvèsら[11]が明示的に問いかけた、REACHABLE OBJECT問題がパス構造の社会的ネットワーク上で多項式時間で解けるかどうかという未解決問題を解明すること。
• 好みリスト長さが有界な場合のREACHABLE OBJECT問題の計算複雑性を特定し、問題が tractable から intractable に移行する閾値を同定すること。
• 既知の木構造上のNP困難性を、クリークや一般化されたカタツムリ木を含むより広いグラフクラスへと拡張し、tractable と intractable なインスタンスの境界をよりよく理解すること。
• 異なるグラフトポロジーと好みの制約の下での問題の複雑性を包括的に分類すること。

提案手法

• パス構造の社会的ネットワークにおけるREACHABLE OBJECT問題のための新規な多項式時間アルゴリズムを設計し、パスに沿ったオブジェクト伝搬の構造的性質を活用する。
• 2-Positive-1-Negative-At-Most-3-SATへの還元を用いて、完全グラフ（クリーク）上でNP困難であることを証明する。これは、すべての好みリストが長さ4に制限されても成立する。
• Gourvèsら[11]の還元を変更したバージョンを用い、髪の長さが2以下で、かつ1つの高次元頂点を持つ一般化されたカタツムリ木に対してもNP困難性を拡張する。
• 隣接構造に基づくグラフの構造に制約を受ける相互に利益をもたらすスワップのシーケンスを通じて、オブジェクトの到達可能性を分析する。
• 長さO(n³)のスワップのシーケンスを有効な証明書として用いる証明に基づく議論により、REACHABLE OBJECTがNPに属することを示す。
• 難易度還元を適応させることで、最大次数が5であるグラフに対してもNP困難性が成立することを示し、不変性の結果の強固さを示す。

実験結果

リサーチクエスチョン

• RQ1 一般の木構造上でNP困難であるにもかかわらず、パス構造の社会的ネットワーク上ではREACHABLE OBJECT問題が多項式時間で解けるか？
• RQ2 REACHABLE OBJECTのインスタンスが tractable と intractable の間で分かれる、好みリスト長さの正確な閾値は何か？
• RQ3 クリークや一般化されたカタツムリ木といったより一般的なグラフクラス上でも問題はNP困難であるか？また、これは既知の木構造上の困難性を拡張するものか？
• RQ4 度数が3のグラフ上で問題が効率的に解けるか？これは、度数2のグラフ（パスおよびサイクル）では tractable であり、度数4のグラフではNP困難であるという事実に基づく。
• RQ5 安定マッチング問題に見られるような特別な好み構造を課すことにより、REACHABLE OBJECTの新たな tractable ケースが得られるか？

主な発見

• REACHABLE OBJECT問題はパス上で多項式時間で解ける。これはGourvèsら[11]が残した未解決問題を解決するものであり、複数の構造的洞察を統合した非自明なアルゴリズムを提供する。
• 完全グラフ（クリーク）上でREACHABLE OBJECT問題はNP困難である。これは、すべての好みリストが長さ4に制限されても成立し、最小限の好み制約のもとでも問題が不変であることを示している。
• 好みリスト長さに基づく明確な二分法が存在する：すべての好みリストの長さが3以下であれば多項式時間で解けるが、いずれのリストでも長さが4以上になると直ちにNP困難に移行する。
• NP困難性の結果は、髪の長さが2以下で、かつ1つの次数が2より大きい頂点を持つ一般化されたカタツムリ木へと拡張され、木構造からの困難性の強化がなされた。
• 還元を適応させることで、最大次数が5のグラフに対してもNP困難性が成立することが示され、問題が有界次数制約のもとでも困難であることが示された。
• 各オブジェクトがどのエッジをたかだか1回しか通れないという制約の下で、長さO(n³)のスワップのシーケンスが到達可能性の有効な証明書となるため、問題はNPに属するままである。