[論文レビュー] Exact and fixed-parameter algorithms for metro-line crossing minimization problems

Yoshio Okamoto, Yuichi Tatsu+1 more|arXiv (Cornell University)|Jun 15, 2013

Computational Geometry and Mesh Generation参考文献 6被引用数 5

ひとこと要約

本稿では、路線端が駅の縁に配置されなければならない条件の下で、パス上でのメトロ路線の交差最小化問題（MLCM-P_PATH）に対する正確かつ固定パrameter化可能（FPT）なアルゴリズムを提示する。決定問題（交差が可能でない場合）に対して多項式時間アルゴリズムを導入し、O*(2^|ℒ|)-時間の正確アルゴリズムに加え、線路多重度kに関するO(k³2ᵏ|V|)時間のFPTアルゴリズムを提案し、Nöllenburgが提起した未解決問題を肯定的に解決する。

ABSTRACT

A metro-line crossing minimization problem is to draw multiple lines on an underlying graph that models stations and rail tracks so that the number of crossings of lines becomes minimum. It has several variations by adding restrictions on how lines are drawn. Among those, there is one with a restriction that line terminals have to be drawn at a verge of a station, and it is known to be NP-hard even when underlying graphs are paths. This paper studies the problem in this setting, and propose new exact algorithms. We first show that a problem to decide if lines can be drawn without crossings is solved in polynomial time, and propose a fast exponential algorithm to solve a crossing minimization problem. We then propose a fixed-parameter algorithm with respect to the multiplicity of lines, which implies that the problem is FPT.

研究の動機と目的

• 線路端が駅の縁に配置されなければならない制約下でのNP困難なメトロ路線交差最小化問題（MLCM-P）に対処すること。
• 交差がゼロであるレイアウトが存在するかどうかを特定し、交差最小化問題を効率的に解くこと。
• 線路多重度kに関するMLCM-Pの固定パrameter化可能性を調査し、Nöllenburgが提起した未解決問題に応えること。
• 線路多重度が通常小さい実世界のメトロマップ作成に実用的なアルゴリズムを開発すること。

提案手法

• ゼロ交差決定問題をグラフの平面性問題に還元し、パスグラフにおいて多項式時間で解けるようにする。
• 各頂点における線路の相対的順序を利用した動的計画法を用いて、駅を対象にした指数時間の正確アルゴリズムを設計する。
• 線路多重度kに関する固定パrameter化アルゴリズムを導入し、置換の同値類を用いて状態空間を削減する。
• 各同値類内で交差を最小化する置換のみを考慮すれば十分であるという事実を活用し、状態数をO(2ᵏ)に削減する。
• 隣接する頂点間の線路順序の入れ替え数をカウントすることで交差数を計算し、動的計画法を用いてコストを伝搬する。
• 二分探索と辞書順序を用いて、線路置換の同値類を効率的にアクセスおよび処理する。

実験結果

リサーチクエスチョン

• RQ1 パスグラフにおいて、交差のないレイアウトが存在するかどうかの決定問題は、多項式時間で解けるか？
• RQ2 MLCM-P_PATHに対して、O*(2^|ℒ|)時間で実行される正確アルゴリズムは存在するか？
• RQ3 MLCM-P_PATHは線路多重度kに関して固定パrameter化可能か？
• RQ4 周辺条件に基づく同値類を活用することで、各駅における関連のある置換の数を削減できるか？
• RQ5 線路多重度に基づく固定パrameter化アルゴリズムは、実世界のインスタンスにおいて実用的な性能を示すか？

主な発見

• MLCM-P_PATHにおける交差なしレイアウトの存在の決定問題は、グラフの平面性問題に還元することで、多項式時間で解ける。
• MLCM-P_PATHに対する正確アルゴリズムはO*(2^|ℒ|)時間で実行され、単純な全列挙よりも顕著に高速化される。
• 線路多重度kに関して、問題は固定パrameter化可能であり、実行時間はO(k³2ᵏ|V|)である。
• 各駅における関連のある置換の数は、O(2ᵏ)で抑えられ、ここでkは任意の頂点に接続される線路の最大数である。
• 各同値類内で交差を最小化する置換のみを考慮することで、探索空間が効率的に削減される。
• 固定パrameter化アルゴリズムは、線路多重度が通常小さい実世界のメトロマップに対して実用的な解決策を提供する。