[논문 리뷰] The Complexity of Finding Small Separators in Temporal Graphs

Philipp Zschoche, Till Fluschnik외 2명|arXiv (Cornell University)|2018. 01. 01.

Opportunistic and Delay-Tolerant Networks인용 수 9

한 줄 요약

이 논문은 시간적 그래프에서 작은 정점 분리집합을 찾는 문제의 계산 복잡도를 조사하며, 비엄격 및 엄격한 시간적 경로를 구분한다. 복잡도 이분법을 확립한다: 두 문제 모두 τ ≥ 2일 경우 비엄격 모델, τ ≥ 5일 경우 엄격 모델에서 NP-완전이지만, τ가 4 이하로 제한될 경우 다항식 시간으로 해결 가능해진다. 핵심적으로, 비엄격 변형은 시간적 코어 크기로 매개변수화할 경우 고정 매개변수 복잡도(FTP)가 되지만, 엄격 변형은 빈 시간적 코어일지라도 여전히 NP-완전이다.

ABSTRACT

Temporal graphs are graphs with time-stamped edges. We study the problem of finding a small vertex set (the separator) with respect to two designated terminal vertices such that the removal of the set eliminates all temporal paths connecting one terminal to the other. Herein, we consider two models of temporal paths: paths that pass through arbitrarily many edges per time step (non-strict) and paths that pass through at most one edge per time step (strict). Regarding the number of time steps of a temporal graph, we show a complexity dichotomy (NP-hardness versus polynomial-time solvability) for both problem variants. Moreover we prove both problem variants to be NP-complete even on temporal graphs whose underlying graph is planar. We further show that, on temporal graphs with planar underlying graph, if additionally the number of time steps is constant, then the problem variant for strict paths is solvable in quasi-linear time. Finally, we introduce and motivate the notion of a temporal core (vertices whose incident edges change over time). We prove that the non-strict variant is fixed-parameter tractable when parameterized by the size of the temporal core, while the strict variant remains NP-complete, even for constant-size temporal cores.

연구 동기 및 목표

• 비엄격 및 엄격한 시간적 경로 모델 하에서 시간적 그래프에서 작은 정점 분리집합을 찾는 문제의 계산 복잡도를 규명하는 것.
• 문제가 기저 평면 그래프를 가진 시간적 그래프에서 여전히 NP-완전인지 조사하는 것.
• 시간 단계 수 τ 및 시간적 코어 크기와 같은 구조적 매개변수의 문제 해결 가능성에 미치는 영향을 탐색하는 것.
• 비엄격 및 엄격한 시간적 경로 모델 간의 분리집합 문제에서의 계산 행동을 비교하는 것.
• 시간적 그래프 문제의 새로운 매개변수로 시간적 코어의 개념을 도입하고 분석하는 것.

제안 방법

• 이산 시간 단계에 걸쳐 시간이 부여된 간선을 포함한 정적 그래프의 시퀀스로 시간적 그래프를 수식화한다.
• 두 가지 경로 모델을 정의한다: 비엄격(각 시간 단계에서 다중 간선 허용) 및 엄격(각 시간 단계에서 최대 한 개의 간선 허용).
• 기존의 알려진 NP-완전 문제로의 감소를 통해, τ ≥ 2(비엄격) 및 τ ≥ 5(엄격)일 경우 일반 시간적 그래프에서 두 변형 모두 NP-완전임을 증명한다.
• τ ≤ 4일 경우 엄격한 시간적 (s,z)-분리 문제의 다항식 시간 해결 가능성을 입증하며, 노드 가중 연결성(NWC) 문제로의 감소를 활용한다.
• 시간적 코어를 비영구적으로 존재하는 간선에 인cidient인 정점들의 집합으로 정의하고, 이를 고정 매개변수 복잡도의 매개변수로 사용한다.
• 시간적 코어의 분할을 추측하는 랜덤화된 검색 트리 알고리즘을 설계하고 문제를 NWC로 감소시켜, 비엄격 변형의 경우 2^O(|W| log |W|) · |V|^O(1) 실행 시간을 달성한다.

실험 결과

연구 질문

• RQ1 비엄격 경로 모델 하에서 작은 시간적 (s,z)-분리집합을 찾는 문제의 계산 복잡도는 무엇인가?
• RQ2 시간 단계 수 τ에 따라 엄격한 시간적 (s,z)-분리집합 문제의 복잡도는 어떻게 변하는가?
• RQ3 비엄격 및 엄격 분리집합 문제 모두가 기저 평면 그래프를 가진 시간적 그래프에서 NP-완전인가?
• RQ4 시간적 코어가 작을 경우 문제를 다항식 시간 내에 해결할 수 있으며, 이는 비엄격 및 엄격 모델 간에 어떻게 다를까?
• RQ5 비엄격 대비 엄격한 시간적 경로 모델이 분리집합 문제의 해결 가능성에 미치는 영향은 무엇인가?

주요 결과

• 비엄격 시간적 (s,z)-분리 문제는 모든 τ ≥ 2에서 NP-완전이며, 기저 평면 그래프를 가진 시간적 그래프에서도 NP-완전이다.
• 엄격한 시간적 (s,z)-분리 문제는 τ ≥ 5일 경우 NP-완전이지만, τ ≤ 4일 경우 다항식 시간으로 해결 가능하다.
• τ가 상수이고 기저 그래프가 평면일 경우, 엄격한 시간적 (s,z)-분리 문제는 O(|E| log |E|) 시간에 해결 가능하다.
• 비엄격 시간적 (s,z)-분리 문제는 시간적 코어 크기로 매개변수화할 경우 고정 매개변수 복잡도(FTP)이며, 실행 시간은 2^O(|W| log |W|) · |V|^O(1)이다.
• 엄격한 시간적 (s,z)-분리 문제는 시간적 코어가 비어 있을 경우에도 여전히 NP-완전이므로, 두 모델 간의 복잡도에 근본적인 차이가 있음을 시사한다.
• 비엄격 대비 엄격한 시간적 경로의 선택은 계산 복잡도에 결정적인 영향을 미치며, 이는 이전 문헌에서 자주 간과되는 중요한 차이점이다.