[論文レビュー] The Sitting Closer to Friends than Enemies Problem in the Circumference

Felipe Benítez, Julio Aracena+1 more|arXiv (Cornell University)|Nov 6, 2018

Political Conflict and Governance参考文献 13被引用数 7

ひとこと要約

この論文は、完全な符号付きグラフにおける Sitting Closer to Friends than Enemies (SCFE) 問題を、円周上での解決を図った。その結果、このようなグラフが有効な距離図をもつための必要十分条件は、その正の部分グラフが適切な円弧グラフ（proper circular-arc graph）であることであると証明した。この解決法は、拡張された隣接行列の円形に整合する1の性質（circularly compatible 1’s property）を活用し、多項式時間で実現可能性を特徴づける。

ABSTRACT

The Sitting Closer to Friends than Enemies (SCFE) problem is to find an embedding in a metric space for the vertices of a given signed graph so that, for every pair of incident edges with different sign, the positive edge is shorter (in the metric of the space) than the negative edge. In this document, we present new results regarding the SCFE problem when the metric space in consideration is the circumference. Our main results say that, given a signed graph, it is NP-complete to decide whether such an embedding exists in the circumference or not. Nevertheless, if the given signed graph is complete, then such decision can be made in polynomial time. In particular, we prove that, given a complete signed graph, it has such an embedding if and only if its positive part is a proper circular arc graph.

研究の動機と目的

• 完全な符号付きグラフが円周距離空間において有効な距離図をもつための条件を特徴づけること。
• SCFE問題が円周上で多項式時間で決定可能であることを確立すること。
• 行列の整合性性質を通じて、SCFE問題をよく知られた適切な円弧グラフのクラスと結びつけること。
• 円周上での有効な距離図の存在について、必要十分条件を提示すること。
• SCFE問題を完全グラフを超えて一般化するための基盤を築き、問題のより広範な複雑性分類を進める。

提案手法

• SCFE問題を、頂点を単位円に単射で埋め込むことで定式化し、各頂点が友人（正の辺）より敵（負の辺）に近づくようにする。
• 符号付きグラフを、エッジの符号を符号化し、自己ループを含む拡張隣接行列 $ A^*(S) $ で表現する。
• 行列の円形に整合する1の性質（circularly compatible 1’s property）を導入し、各頂点の周囲における正・負の隣接頂点の順序を一貫して保証する。
• 角距離の順序に基づく背理法を用いて、有効な距離図が存在するのは $ A^*(S) $ が円形に整合する1の性質を満たす場合に限ることを証明する。
• 文献に知られた特徴づけを活用：グラフが適切な円弧グラフであるための必要十分条件は、その拡張隣接行列が円形に整合する1の性質を持つことである。
• 円周上での有効な図の存在と、正の部分グラフ $ S^+ $ が適切な円弧グラフであることの同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 どの完全な符号付きグラフについて、円周上に有効な距離図が存在するか？
• RQ2 拡張隣接行列 $ A^*(S) $ が円形に整合する1の性質を満たすことは、円周上での有効な図の存在にとって必要かつ十分か？
• RQ3 完全な符号付きグラフに対して、円周上でのSCFE問題が多項式時間で決定可能か？
• RQ4 円周上でのSCFE問題はNP完全か？また、実数直線上でのSCFE問題とはどのように関係するか？
• RQ5 一般の符号付きグラフ（完全でないものも含む）で、円周上に有効な距離図が存在するための構造的特徴は何か？

主な発見

• 完全な符号付きグラフ $ S $ が円周上に有効な距離図をもつための必要十分条件は、その正の部分グラフ $ S^+ $ が適切な円弧グラフであることである。
• 頂点が図の順序に従って配置されるとき、拡張隣接行列 $ A^*(S) $ が円形に整合する1の性質を満たすことは、円周上での有効な距離図の存在にとって必要かつ十分である。
• 適切な円弧グラフの多項式時間認識が可能であるため、完全な符号付きグラフに対して、円周上でのSCFE問題は多項式時間で決定可能である。
• 証明により、円周上の幾何的実現可能性とよく知られたグラフクラスとの直接的な関係が確立され、効率的なアルゴリズム的解決が可能になる。
• 補題5.6で示された必要条件（$ A^*(S) $ が円形に整合する1の性質を持つこと）は、[12]の特徴づけと組み合わせると十分条件にもなる。
• 実数直線上でのSCFE問題は、円周上でのSCFE問題に帰着可能であり、これにより後者もNP困難であることが示唆されるが、NP完全性は未解決のままである。