[論文レビュー] Faster Detours in Undirected Graphs

Shyan Akmal, Virginia Vassilevska Williams+2 more|arXiv (Cornell University)|Jan 1, 2023

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

本稿では、二部分割部分グラフに基づく新しい決定的および確率的アプローチを用いて、無向グラフにおけるk-Detourおよびk-Longest Detour問題のパrameterizedアルゴリズムを高速化する。確率的k-Detourの実行時間は1.853^k poly(n)、決定的k-Detourの実行時間は4.082^k poly(n)であり、それぞれ従来の2.746^k poly(n)および6.523^k poly(n)の上限を著しく改善している。これは、二部分割パス検出における構造的制約を活用することで達成された。

ABSTRACT

The k-Detour problem is a basic path-finding problem: given a graph G on n vertices, with specified nodes s and t, and a positive integer k, the goal is to determine if G has an st-path of length exactly dist(s,t) + k, where dist(s,t) is the length of a shortest path from s to t. The k-Detour problem is NP-hard when k is part of the input, so researchers have sought efficient parameterized algorithms for this task, running in f(k)poly(n) time, for f(⋅) as slow-growing as possible. We present faster algorithms for k-Detour in undirected graphs, running in 1.853^k poly(n) randomized and 4.082^kpoly(n) deterministic time. The previous fastest algorithms for this problem took 2.746^k poly(n) randomized and 6.523^k poly(n) deterministic time [Bezáková-Curticapean-Dell-Fomin, ICALP 2017]. Our algorithms use the fact that detecting a path of a given length in an undirected graph is easier if we are promised that the path belongs to what we call a "bipartitioned" subgraph, where the nodes are split into two parts and the path must satisfy constraints on those parts. Previously, this idea was used to obtain the fastest known algorithm for finding paths of length k in undirected graphs [Björklund-Husfeldt-Kaski-Koivisto, JCSS 2017], intuitively by looking for paths of length k in randomly bipartitioned subgraphs. Our algorithms for k-Detour stem from a new application of this idea, which does not involve choosing the bipartitioned subgraphs randomly. Our work has direct implications for the k-Longest Detour problem, another related path-finding problem. In this problem, we are given the same input as in k-Detour, but are now tasked with determining if G has an st-path of length at least dist(s,t)+k. Our results for k-Detour imply that we can solve k-Longest Detour in 3.432^k poly(n) randomized and 16.661^k poly(n) deterministic time. The previous fastest algorithms for this problem took 7.539^k poly(n) randomized and 42.549^k poly(n) deterministic time [Fomin et al., STACS 2022].

研究の動機と目的

• k-Detour問題のパrameterized時間計算量を、kが入力に含まれる場合にNP困難である無向グラフにおいて改善すること。
• k-Longest Detour問題に対して、k-Detourおよびk-Longest Pathの複数のインスタンスに還元することで、より高速なアルゴリズムを構築すること。
• パス探索技術における確率的二部分割への依存を排除し、制約付き部分グラフにおけるパス検出のための決定的フレームワークを導入すること。
• k-Detourとk-Pathの複雑さのギャップ、およびk-Longest Detourとk-Longest Pathの複雑さのギャップを、k-Pathの既知の最速実行時間に近い実行時間で埋めること。

提案手法

• グラフをパスが頂点分割の所属に制約を満たす必要がある二部分割部分グラフに新たな分解を施す。
• 動的計画法と代数的技術の組み合わせを用いて、二部分割部分グラフにおける長さℓのパスを検出するパrameterizedアプローチを導入する。
• 2つの実行時間要因のバランスを取る：1つは各分割に固定された頂点数を持つパスの処理、もう1つは分割が可変なパスの処理。調整可能なパrameter α を用いてトレードオフを最適化する。
• 確率的アルゴリズムでは、確率的二部分割を避けるために、パス検出確率を保持する決定的構成を用いる。
• k-Detourを、ℓ ≤ 3k/2 + 1 のℓ-Pathのpoly(n)個のインスタンスに還元し、高速な二部分割パス検出により改良された境界を得る。
• 決定的アルゴリズムでは、既知の決定的k-Pathアルゴリズムと、二部分割パス検出の新しい解析を組み合わせることで、より良い実行時間を達成する。

実験結果

リサーチクエスチョン

• RQ1 無向グラフにおけるk-Detour問題は、現在の確率的境界2.746^k poly(n)よりも高速に解けるか？
• RQ2 k-Detourの実行時間を、k-Pathの最速実行時間1.657^k poly(n)に近づけることは可能か？
• RQ3 k-Longest Detour問題は、従来の確率的境界7.539^k poly(n)よりも著しく低い時間で解けるか？
• RQ4 既存のk-Longest Detour還元においてkから2kへのパrameterの拡大は根本的障壁を示しているのか、それとも回避可能か？
• RQ5 無向グラフにおける(ℓ, k₁, ℓ₂)-Bipartitioned Path問題に対して、より高速な決定的アルゴリズムを設計可能か？

主な発見

• 本稿では、無向グラフにおけるk-Detour問題に対して、確率的実行時間1.853^k poly(n)を達成し、従来の最良の2.746^k poly(n)を改善した。
• k-Detourの決定的アルゴリズムは4.082^k poly(n)の実行時間で動作し、従来の6.523^k poly(n)の境界を改善した。
• k-Longest Detourに対しては、確率的アルゴリズムが3.432^k poly(n)の実行時間で動作し、従来の7.539^k poly(n)の境界を改善した。
• k-Longest Detourの決定的アルゴリズムは16.661^k poly(n)の実行時間で動作し、従来の42.549^k poly(n)の境界を改善した。
• 主なイノベーションは、ランダムサンプリングを避ける新しい決定的手法であり、効率を維持したまま二部分割部分グラフにおけるパス検出を可能にした。
• 結果から、k-Detourはk-Pathに近い実行時間で解ける可能性があり、k-Longest Detourはk-Longest Pathに近い実行時間で解ける可能性があると示唆された。