[논문 리뷰] Revisiting Graph Modification via Disk Scaling: From One Radius to Interval-Based Radii

Thomas Depian, Frank Sommer|arXiv (Cornell University)|2026. 03. 05.

Advanced Graph Theory Research인용 수 0

한 줄 요약

본 논문은 구간 반경을 허용함으로써 디스크 스케일링을 일반화하고, Pi-Scaling의 매개변수화된 복잡도를 분석하며, 군집 그래프와 완전 그래프를 포함한 여러 그래프 클래스에 대해 XP, FPT, 다항시간 해를 제공하고, 연결 그래프에 대해서는 W[1]-난해성을 보인다.

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에 대해 예산 k와 함께 Pi-Scaling의 매개변수화된 복잡성을 특징짓는다.
• 클러스터링에 대한 FPT 및 완전 그래프에 대한 다항시간 해를 포함한 알고리즘적 결과를 제공한다.
• 구간 반경의 영향과 특정 그래프 클래스에 관한 Fomin 등(Fomin et al.)의 미해결 질문들을 다룬다.

제안 방법

• Pi-Scaling을 정의하고 선형 프로그램을 통해 고정된 스케일 디스크 집합에 대해 반경을 계산하는 Constrained Scaling To Graph (ConScal)로 환원한다.
• XP-포함을 증명한다: 다항 시간에 해결 가능한 모든 Pi-인식 문제에 대해 Pi-Scaling은 2^{O(k^2)} · n^{O(1)} 시간에 해결될 수 있다.
• far(p)와 clo(p)를 이용한 2단계 방식으로 분기를 제한하는 Scaling To Cluster에 대한 FPT 알고리즘을 개발한다.
• 단위 디스크 그래프에서 다항시간 Clique를 활용하여 Scaling To Complete가 다항시간에 해결 가능임을 증명한다.
• 특정 클래스(예: 연결 그래프)에서 NP-난해성과 W[1]-난해성 결과를 보이고, 다른 클래스의 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 스케일된 디스크 집합이 구간 [r_min, r_max]에서 반경을 선택할 수 있을 때 Pi-Scaling을 효율적으로 해결할 수 있는가?
• RQ2 다양한 그래프 클래스 Pi에 대해 수정 예산 k에 대한 Pi-Scaling의 매개변수화된 복잡도는 무엇인가?
• RQ3 구간 기반 디스크 스케일링이 클러스터 그래프나 완전 그래프와 같은 특정 클래스에 대해 FPT 알고리즘을 제공하는가, 그리고 연결 그래프의 난이도에 어떤 영향을 미치는가?
• RQ4 기하학 인지적 논증들(far(p), clo(p) 등)이 스케일링 문제에서 고정 매개변수 가능성을 어느 정도로 가능하게 하는가?
• RQ5 이전의 단일 반경 스케일링의 결과가 다른 Pi에 대한 구간 반경 모델로 확장되며, 선행 연구의 어떤 미해결 문제들이 해결되는가?

주요 결과

• Pi-Scaling은 다항 시간에 인식될 수 있는 모든 Pi에 대해 k에 관해 XP에 속한다.
• 고정된 r_min, r_max에 대해 예외를 제외하고 Scaling To Cluster는 NP난해하지만, k로 매개변수화하면 FPT이다.
• 단위 디스크 그래프의 Clique를 이용하여 Scaling To Complete를 다항 시간에 해결할 수 있다.
• 연결 그래프의 경우 Scaling To Connected는 k에 대해 W[1]-난해하므로 FPT 접근의 한계를 시사한다.
• 결과는 구간 기반 반경 하에서 클러스터 그래프와 완전 그래프 모델 간에 알고리즘적 차이가 없음을 보여주어 미해결 질문에 답한다.
• XP 프레임워크는 특정 Pi에서 독립집합 및 연결성 제약으로 k=0일 때도 W[1]-난해성을 보이는 등 일부 경우에 여전히 타이트하다.

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.