[논문 리뷰] On Temporally Connected Graphs of small cost

Eleni C. Akrida, Leszek Gąsieniec외 2명|arXiv (Cornell University)|2015. 02. 16.

Opportunistic and Delay-Tolerant Networks인용 수 6

한 줄 요약

이 논문은 비방향 그래프에서 시간적 연결성을 검증하기 위한 다항식 시간 알고리즘을 제시하고, 최소한의 레이블 사용으로 시간적 연결성을 가지는 그래프를 설계하는 비용 효율적인 방법을 제안한다. 설계 비용이 n에 대해 선형임은 최적에 대해 약 2 이내로 near-optimal임을 증명하며, 여유 레이블 제거 문제가 APX-난이도임을 보여주어, P=NP가 아닌 한 다항식 시간 근사 스킴이 존재하지 않음을 암시한다.

ABSTRACT

We study the design and verification of temporal graphs that are temporally connected. We mainly consider undirected graphs of $n$ vertices and follow the model of \cite{kempe}, where each edge has an associated set of discrete availability instances (labels). A journey from vertex $u$ to vertex $v$ is a path from $u$ to $v$ where successive path edges have strictly increasing labels. A graph is temporally connected iff there is a $(u,v)$-journey for any pair of vertices $u,v$. We first give a simple polynomial-time algorithm to check whether a given temporal graph is temporally connected. We then consider the case in which a designer can \emph{freely choose} availability instances for all edges and aims for temporal connectivity a very small \emph{cost}; the cost here is the total number of availability instances used. We achieve this via a simple polynomial-time procedure which derives designs of cost linear in $n$, and at most the optimal cost plus $2$. To show this, we prove a lower bound on the cost for any undirected Next, we consider the case in which a designer could only choose among a pre-specified set of availability instances. She comes to us and says with those availability instances I deliver a temporally connected graph. Here, we first have to verify the correctness of the design. Then our aim is to decrease the cost by removing some labels without destroying temporal connectivity (redundant labels). Our main technical result is that computing the maximum number of labels that are redundant is APX-hard, i.e., there is no PTAS unless $P=NP$. On the other hand, a temporal design may be i.e. all its labels may be needed for temporal connectivity. We partially characterise minimal temporal designs.

연구 동기 및 목표

• 시간 그래프에서 시간적 연결성을 검증하기 위한 효율적인 알고리즘을 개발하기 위해.
• 시간적 연결성을 보장하면서도 간선 가용성 인스턴스(레이블) 총 수를 최소화하기 위해.
• 연결성을 해치지 않으면서 여유 레이블을 제거하는 문제의 계산 복잡도를 규명하기 위해.
• 모든 레이블이 연결성에 필수적인 최소 시간 설계를 특성화하기 위해.

제안 방법

• 모든 정점 쌍 간에 엄격히 증가하는 레이블을 가진 여정이 존재하는지 확인함으로써, 시간적 연결성을 검증하기 위한 다항식 시간 알고리즘을 적용한다.
• 간단한 절차를 통해 O(n) 레이블을 사용하여 시간적 연결 그래프를 구성하며, 이론적 최소값에 대해 최대 2 이내로 near-optimal 비용을 달성한다.
• 비방향 그래프에서 최소 비용에 대한 하한을 유도하여 최적성 보장을 확립한다.
• 기존의 알려진 NP-난이도 문제로의 축소를 통해, 여유 레이블 수를 최대화하는 문제의 APX-난이도를 증명한다.
• 모든 레이블이 반드시 필요한 그래프의 구조적 특성들을 규명함으로써 최소 시간 설계의 부분적 특성화를 제공한다.

실험 결과

연구 질문

• RQ1 비방향 그래프에서 시간적 연결성을 달성하기 위해 필요한 최소 레이블 수는 얼마인가?
• RQ2 다항식 시간 절차를 사용하여 최적에 가까운 비용으로 시간적 연결 그래프를 설계할 수 있는가?
• RQ3 여유 레이블 제거 문제는 계산적으로 다룰 수 있는가, 아니면 NP-난이도인가?
• RQ4 어떤 조건에서 시간 그래프의 모든 레이블이 연결성에 필수적인가?
• RQ5 주어진 시간 그래프 설계가 시간적으로 연결되어 있는지 효율적으로 검증할 수 있는가?

주요 결과

• 시간 그래프에서 시간적 연결성을 검증하기 위한 다항식 시간 알고리즘이 존재한다.
• O(n) 레이블을 사용하는 설계는 다항식 시간 내에 구성 가능하며, 그 비용은 최적 비용에 대해 최대 2 이내이다.
• 비방향 그래프에서 시간적 연결성의 최소 비용은 하한선으로 제시되어 이론적 한계를 설정한다.
• 여유 레이블 제거 수를 최대화하는 문제는 APX-난이도임을 증명하며, 이는 P=NP가 아닐 경우 다항식 시간 근사 스킴이 존재하지 않음을 암시한다.
• 모든 레이블이 연결성에 필수적인 시간 그래프가 존재하며, 이는 최소 설계가 존재하고 비트리비어스하게 식별하기 어려움을 확인한다.