[논문 리뷰] Editing to a Connected Graph of Given Degrees

Petr A. Golovach|arXiv (Cornell University)|2013. 08. 08.

Scheduling and Optimization Algorithms참고 문헌 5인용 수 11

한 줄 요약

이 논문은 최대 k개의 간선 추가 또는 삭제를 사용하여 그래프를 주어진 정점 차수를 가진 연결 그래프로 편집하는 데 필요한 매개변수 복잡도를 연구한다. 일반적인 경우에 대해 크기 $O(kd^3(k+d)^2)$의 다항식 커널을 제시하고, $d$-정규 그래프의 특수한 경우에서 $k$로만 매개변수화했을 때 고정 매개변수 복잡도를 입증한다.

ABSTRACT

The aim of edge editing or modification problems is to change a given graph by adding and deleting of a small number of edges in order to satisfy a certain property. We consider the Edge Editing to a Connected Graph of Given Degrees problem that asks for a graph G, non-negative integers d,k and a function δ:V(G)->{1,...,d}, whether it is possible to obtain a connected graph G' from G such that the degree of v is δ(v) for any vertex v by at most k edge editing operations. As the problem is NP-complete even if δ(v)=2, we are interested in the parameterized complexity and show that Edge Editing to a Connected Graph of Given Degrees admits a polynomial kernel when parameterized by d+k. For the special case δ(v)=d, i.e., when the aim is to obtain a connected d-regular graph, the problem is shown to be fixed parameter tractable when parameterized by k only.

연구 동기 및 목표

• 주어진 정점 차수를 가진 연결 그래프로 그래프를 변형하는 데 필요한 최소한의 간선 편집 연산의 계산 복잡도를 다루기.
• 차수 제약 외에도 연결성이 요구될 경우 문제의 타당성 여부를 조사하기.
• 차수 지정과 연결성의 병합 제약 조건 하에서 간선 편집의 매개변수 복잡도를 규명하기.
• 매개변수 $k$와 $d$로 설정했을 때 문제에 다항식 커널이 존재하는지, 그리고 $k$만을 매개변수로 사용했을 때 고정 매개변수 복잡도가 되는지 탐색하기.
• 특수한 경우인 $d$-정규 그래프를 고려하고, $k$로만 매개변수화했을 때의 매개변수 복잡도를 결정하기.

제안 방법

• 목표 차수에서 벗어난 정점들과 그 이웃을 중심으로, 차수 편차가 있는 정점들에 초점을 맞춰 문제를 크기가 유한한 인스턴스로 축소하는 커널화 기법을 적용한다.
• 가능한 간선 편집을 모델링하기 위해 보조 그래프 $F$를 구성하고, 차수 편차와 연결성 요구 조건에 따라 가중치를 할당한다.
• 차수 제약 조건을 만족시키는 최적의 간선 추가/삭제 집합을 식별하기 위해 $F$에서 최소 가중치 완전 매칭을 계산한다.
• 공통 정점을 통해 연결된 구성 요소를 유지함으로써 수정된 구성 요소 간 연결성을 유지하는 동적 구축 과정(단계 6)을 적용한다.
• 반복적인 수정 과정 전반에 걸쳐 연결성이 유지됨을 보장하기 위해 귀납적 불변성을 활용한다.
• 기존의 매칭과 그래프의 연결성에 관한 결과를 활용하여 후보 해의 수를 제한하고 다항 시간 내에 해를 구할 수 있음을 보장한다.

실험 결과

연구 질문

• RQ1 $d + k$로 매개변수화했을 때, 주어진 차수를 가진 연결 그래프로의 간선 편집 문제에 다항식 커널이 존재하는가?
• RQ2 특수한 경우인 $d$-정규 그래프에서 $k$로만 매개변수화했을 때 문제는 고정 매개변수 복잡도인가?
• RQ3 커널 크기를 $d$에 독립적으로 $k$만에 의존하도록 개선할 수 있는가?
• RQ4 차수 제약 조건이 구간 $\delta(v) \subseteq \{1,\dots,d\}$로 완화될 경우 문제의 매개변수 복잡도는 어떻게 되는가?
• RQ5 비용이 있는 간선 편집을 다룰 수 있도록 접근법을 확장할 수 있으며, 그 결과 시간 복잡도는 어떻게 되는가?

주요 결과

• $d + k$로 매개변수화했을 때, 주어진 차수를 가진 연결 그래프로의 간선 편집 문제는 크기 $O(kd^3(k+d)^2)$의 다항식 커널을 가진다.
• $\delta(v) = d$ for all $v$인 특수한 경우에서, 문제는 $k$로만 매개변수화했을 때 고정 매개변수 복잡도이다.
• 알고리즘은 보조 그래프 $F$에서 최소 가중치 완전 매칭을 계산하여 차수 제약 조건과 연결성 제약 조건을 모두 만족하는 해를 구성한다.
• 해의 정당성은 수정된 구성 요소 간 연결성을 유지하는 귀납적 추론에 기반하며, 동일한 구성 요소에 속한 임의의 두 정점은 편집 후에도 연결되어 있음을 보장한다.
• 전반적인 알고리즘은 $O^*(k^{O(k^3)})$의 시간 복잡도를 가지며, $k$의 값이 작을 경우 효율적이다.
• 일반적 또는 정규적 경우에 대해 $k$에만 의존하는 다항식 커널이 존재하는지 여부는 여전히 열려 있다.