[論文レビュー] Revisiting Graph Modification via Disk Scaling: From One Radius to Interval-Based Radii

Thomas Depian, Frank Sommer|arXiv (Cornell University)|Mar 5, 2026

Advanced Graph Theory Research被引用数 0

ひとこと要約

この論文は、半径を区間として許容することでディスクのスケーリングを一般化し、Pi-Scalingのパラメータ付き複雑性を分析し、クラスタや完全グラフを含むいくつかのグラフクラスに対してXP、FPT、および多項式時間の結果を示し、連結グラフにはW[1]-hard性を示す。

ABSTRACT

For a fixed graph class $Π$, the goal of $Π$-Modification is to transform an input graph $G$ into a graph $H\inΠ$ using at most $k$ modifications. Vertex and edge deletions are common operations, and their (parameterized) complexity for various $Π$ is well-studied. Classic graph modification operations such as edge deletion do not consider the geometric nature of geometric graphs such as (unit) disk graphs. This led Fomin et al. [ITCS' 25] to initiate the study of disk scaling as a geometric graph modification operation for unit disk graphs: For a given radius $r$, each modified disk will be rescaled to radius $r$. In this paper, we generalize their model by allowing rescaled disks to choose a radius within a given interval $[r_{\min}, r_{\max}]$ and study the (parameterized) complexity (with respect to $k$) of the corresponding problem $Π$-Scaling. We show that $Π$-Scaling is in XP for every graph class $Π$ that can be recognized in polynomial time. Furthermore, we show that $Π$-Scaling: (1) is NP-hard and FPT for cluster graphs, (2) can be solved in polynomial time for complete graphs, and (3) is W[1]-hard for connected graphs. In particular, (1) and (2) answer open questions of Fomin et al. and (3) generalizes the hardness result for their variant where the set of scalable disks is restricted.

研究の動機と目的

• 単位ディスクグラフに幾何学的性質を保持したまま、単一のスケーリング因子ではなく半径区間を有することでグラフ変更を動機づける。
• 各拡大ディスクが[r_min, r_max]内の半径を選択できるように、従来のディスクスケーリングモデルを一般化する。
• 様々なグラフクラスPiに対するPi-Scaling（予算k） のパラメータ付き複雑性を特徴づける。
• クラスタリングのXPメンバーシップ、FPT、完全グラフの多項式時間解法など、アルゴリズム的結果を提供する。
• Fominらの区間半径の影響と特定グラフクラスに関する未解決質問を扱う。

提案手法

• Pi-Scalingを定義し、固定集合の拡大ディスクの半径を計算する線形計画問題を介してConstrained Scaling To Graph（ConScal）へ還元する。
• XPメンバーシップを証明：多項式時間で解けるPi認識問題があれば、Pi-Scalingは2^{O(k^2)} · n^{O(1)}時間で解ける。
• クラスタへ拡張するScaling To Clusterの分岐を制限するfar(p)と clo(p) を用いた2段階アプローチでFP Tアルゴリズムを構築する。
• Unit diskグラフのクリークを用いてScaling To Completeが多項式時間で解けることを利用して solvabilityを示す。
• 連結グラフなどの特定クラスに対してNP困難性およびW[1]-hard性を示し、他クラスでのFPT解法の限界を対比する。

Figure 1 : (a) Turning the underlying abstract graph into a $K_{1,6}$ by adding a single edge is easy. However, this is not possible while maintaining a unit disk graph as (b) demonstrates.

実験結果

リサーチクエスチョン

• RQ1 Pi-Scalingは区間 [r_min, r_max] から半径を選べる集合で効率的に解けるか？
• RQ2 さまざまなグラフクラスPiに対する変更予算 k の観点でPi-Scalingのパラメータ付き複雑性はどうなるか？
• RQ3 区間ベースのディスクスケーリングはクラスタや完全グラフのような特定クラスでFPTアルゴリズムを生み出すか、連結グラフの難易度にはどう影響するか？
• RQ4 幾何学的考察（far(p)、clo(p) など）はスケーリング問題の固定パラメータ可能性をどれだけ高めるか？
• RQ5 既存の単一半径スケーリングの結果は区間半径モデルの異なるPiに拡張できるか、先行研究の未解決質問は解決されたか？

主な発見

• Pi-Scalingは、ポリ記法で認識可能なPiごとにXPに属する。
• 固定な r_min, r_max での Scaling To Cluster はNP困難だが、kをパラメータとしたFPTである。
• Scaling To Complete は unit diskグラフのCliqueを用いて多項式時間で解ける。
• 連結グラフでは Scaling To Connected が k をパラメータとするW[1]-hardであり、他のクラスに対するFPTアプローチの限界を示す。
• 区間半径によるモデル間でクラスタと完全グラフに対するアルゴリズム的差異がないことを示すことで、未解決質問へ答える。
• XPの枠組みは一部ケースでタイトであり、独立集合と連結性制約が Pi の特定クラスで k=0 でもW[1]-hardとなる。

Figure 2 : We can turn (a) into a cluster graph by scaling the blue disk as shown in (b) . However, if we enlarge the disk too much as in (c) , the resulting disk graph might no longer be a cluster graph.