arXiv論文メモ
新着一覧
cs.DS · 査読状況未確認

重みと長さが独立なグラフ・スパナ問題の計算複雑性

Parameterized Complexity of Spanner Problems with Independent Weights and Lengths

Marius Bächler, Markus Chimani, Henning Jasper

この論文をやさしく読む

ひとことで言うと

元のグラフの距離を一定範囲で保つ疎なグラフを求める問題について、どの条件なら効率的に解けるかを調べた理論研究。

何に役立つ?

辺の重みと長さが別々に決まるグラフで、スパナを求めるアルゴリズムやパラメータの選び方を検討するのに役立つ。

この研究の面白いところ

削除する側と含める側の二つの方法を扱い、単独では難しいパラメータも、補助パラメータを加えるとFPTになる境界を示す。

どこまで分かった?

計算複雑性とアルゴリズムの理論結果であり、実際のネットワークでの実行時間評価は要旨に記載されていない。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

本論文は、無向グラフで辺の重みと長さを独立に設定できる、乗法的なαスパナ問題のパラメータ化計算複雑性を初めて検討する。従来の固定パラメータ容易性(FPT)の結果は、DAGに関する一つを除き、重みと長さがともに1の基本的な問題例を仮定し、伸張係数αと、実際には一定でないことが多い削除辺数をパラメータとしていた。本研究は、複数のパラメータ設定ではFPTアルゴリズムが得られないことを示す。 一方、辺を除外していく方法では、基本的な問題例向けの既存アルゴリズムを、任意の重みと長さへ一般化できる。この方法は、削除した辺の総重みと、新たなタイトネス・パラメータを用いる。後者はαより精密であり、基本的な問題例についても従来の最良結果を改善できる。二つ目の、辺を含めていくアルゴリズムでは、スパナの総重みを自然なパラメータとして用いる。このパラメータだけでは問題がW[2]困難であることを証明する一方、補助パラメータを追加すればFPTアルゴリズムが存在することを示す。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-24(UTC)
最新改訂
2026-09-24 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

In this paper, the parameterized complexity of the multiplicative $\alpha$-spanner problem with independent weights and lengths on undirected graphs is considered for the first time. All prior FPT results (except one on DAGs) assume basic instances (i.e., with unit weights and lengths) and are parameterized in the stretch factor $\alpha$ and the (in practice typically non-constant) number of removed edges. We show that several parameterizations do not allow FPT algorithms. However, our exclusion approach generalizes an existing algorithm for basic instances to arbitrary weights and lengths. It is parameterized by the total removed weight and a new tightness parameter. The latter is more precise than $\alpha$ and allows us to also improve the best known result for basic instances. Our second algorithm, called inclusion approach, uses the natural parameterization in the spanner's total weight. We prove that this sole parameter leaves a W[2]-hard problem, but also show FPT algorithms exist when augmented with secondary parameters.

arXiv ID: 2609.29259 / 要約の誤りについて