[논문 리뷰] The Minimum Shared Edges Problem on Planar Graphs

Till Fluschnik, Manuel Sorge|arXiv (Cornell University)|2016. 02. 03.

Advanced Graph Theory Research참고 문헌 3인용 수 3

한 줄 요약

이 논문은 최소 공유 간선 문제의 평면 그래프에 대한 NP-난이도를 증명한다. 이는 최대 차수 4인 그래프로 제한된 경우에도 성립한다. 저자들은 버텍스 커버 문제로의 감소를 통해 그리드 기반의 구조를 사용하며, 특수한 기구(패키지, 깃털, 무지개)를 활용해 정점과 간선 선택을 모델링한다. 이로써 공유 간선 제약 조건이 감소 과정에서 정점 커버 해와 정확히 일치함을 보여준다.

ABSTRACT

We study the Minimum Shared Edges problem introduced by Omran et al. [Journal of Combinatorial Optimization, 2015] on planar graphs: Planar MSE asks, given a planar graph G = (V,E), two distinct vertices s,t in V , and two integers p, k, whether there are p s-t paths in G that share at most k edges, where an edges is called shared if it appears in at least two of the p s-t paths. We show that Planar MSE is NP-hard by reduction from Vertex Cover. We make use of a grid-like structure, where the alignment (horizontal/vertical) of the edges in the grid correspond to selection and validation gadgets respectively.

연구 동기 및 목표

• 평면 그래프에서 최소 공유 간선 문제의 계산 복잡도를 규명하는 것.
• 평면성과 차수 제약 조건 하에서도 문제가 여전히 NP-난이도를 유지하는지 확인하는 것.
• 공유 간선 수를 매개변수로 삼을 때 문제의 매개변수 복잡도를 조사하는 것.
• 이 난이도 결과를 최대 외부 및 내부 차수 제약이 있는 방향성 평면 그래프로 확장하는 것.

제안 방법

• 버텍스 커버 인스턴스의 정점은 행으로, 간선은 열로 표현되는 평면 그리드 그래프를 구성한다.
• $(m^3, M, k'+1)$-깃털과 $(1,M,k'+1)$-깃털을 사용해 정점 및 간선 선택 제약 조건을 인코딩한다.
• 수직 연결을 방향성 기구 구성 요소로 대체하여, 방향성 설정에서 비방향 간선을 시뮬레이션한다.
• 간선 분할 및 이진 트리 대체를 적용해 정점 차수를 최대 4로 감소시키면서도 평면성과 해의 동치성을 유지한다.
• 패키지를 무지개로 대체하고, 공유 간선 예산을 조정하여 구조적 수정 후에도 동치성을 유지한다.
• 수직 연결을 제외한 모든 간선을 방향화하고, 각 비방향 수직 연결을 최소 $k'+1$개의 공유 아크를 보장하는 방향성 기구로 교체한다.

실험 결과

연구 질문

• RQ1 최소 공유 간선 문제의 평면 그래프에서 NP-난이도가 성립하는가?
• RQ2 그래프의 최대 차수가 4일 경우에도 문제의 NP-난이도가 유지되는가?
• RQ3 감소 과정이 최대 외부 및 내부 차수가 제한된 방향성 평면 그래프로 적응 가능한가?
• RQ4 공유 간선 수를 매개변수로 삼을 때 문제의 고정 매개변수 다항 시간 해법이 가능한가?
• RQ5 이 난이도 결과는 최대 차수 3인 평면 그래프로까지 확장되는가?

주요 결과

• 최소 공유 간선 문제의 평면 그래프에 대한 NP-난이도는 최대 차수 4인 그래프로 제한된 경우에도 성립한다.
• 버텍스 커버 문제에서의 감소 과정은 정점 및 간선 선택을 시뮬레이션하기 위해 특수 기구를 사용한 그리드 유사 구조를 활용한다.
• 구성된 인스턴스에서의 각 $s$-$t$ 경로는 원래 인스턴스의 유효한 버텍스 커버에 대응하며, 그 반대도 성립한다.
• 공유 간선 예산 $k'$는 $k \times (m^3 + m + 1)$로 설정되어 있어, 유일하게 유효한 버텍스 커버에 대응하는 해만 요구된 공유 간선 수를 충족시킨다.
• 모든 변환 과정 동안 평면성이 유지되며, 차수 감소 및 방향성 적응 과정에서도 동일하게 유지된다.
• 최대 외부 및 내부 차수가 3인 방향성 평면 그래프에서도 문제의 NP-난이도가 유지되며, 이는 방향성 기구 대체를 통해 입증되었다.