[논문 리뷰] Changing times to optimise reachability in temporal graphs

Jessica Enright, Kitty Meeks|arXiv (Cornell University)|2018. 02. 16.

Opportunistic and Delay-Tolerant Networks인용 수 3

한 줄 요약

이 논문은 도달 가능성을 최적화하기 위해 간선에 시간 레이블을 할당하는 새로운 시간적 그래프 수정 문제를 제안한다 — 도달 가능한 노드 수를 최대화하거나 최소화하는 것을 목표로 한다. 문제의 계산적 난이도를 강력하게 규명하여, 상수 크기의 간선 클래스와 차수 제한이 있는 그래프와 같은 엄격한 제약 조건 하에서도 문제가 NP-완전하다고 보여주며, 정점 커버 수를 파rameter로 삼을 경우 W[1]-완전함을 입증한다.

ABSTRACT

Temporal graphs (in which edges are active only at specified time steps) are an increasingly important and popular model for a wide variety of natural and social phenomena. We propose a new extension of classical graph modification problems into the temporal setting, and describe several variations on a modification problem in which we assign times to edges so as to maximise or minimise reachability sets within a temporal graph. We give an assortment of complexity results on these problems, showing that they are hard under a variety of restrictions. In particular, if edges can be grouped into classes that must be assigned the same time, then our problem is hard even on directed acyclic graphs when both the reachability target and the classes of edges are of constant size, as well as on an extremely restrictive class of trees. We further show that one version of the problem is W[1]-hard when parameterised by the vertex cover number of the instance graph. In the case that each edge is active at a unique timestep, we identify some very restricted cases in which the problem is solvable in polynomial time; however, list versions of both problems (each edge may only be assigned times from a specified lists) remain NP-complete in this setting even if the graph is of bounded degree and the reachability target is a constant.

연구 동기 및 목표

• 간선에 시간 레이블을 할당하여 고전적 그래프 수정 문제를 시간적 환경으로 확장한다.
• 간선 시간 할당을 통한 시간적 그래프에서 도달 가능 집합의 복잡도를 조사한다.
• 다양한 구조적 제약 조건 하에서 도달 가능 최대화 및 최소화의 계산적 경계를 규명한다.
• 같은 시간 할당이 요구되는 간선 클래스로 그룹화된 간선에 대한 문제의 복잡도를 분석한다.
• 리스트 제약 조건과 같은 제한된 입력 형식, 예를 들어 시간 슬롯의 사전 정의된 집합에서만 간선에 시간을 할당할 수 있는 조건이 가용성에 미치는 영향을 탐색한다.

제안 방법

• 도달 가능성을 영향을 주기 위해 간선에 시간 레이블을 할당하는 시간적 그래프 수정을 위한 형식적 모델을 제안한다.
• 두 가지 변형을 도입한다: 도달 가능한 노드 집합의 크기를 최대화하는 경우와 최소화하는 경우.
• 특히 정점 커버 수를 파rameter로 삼을 경우 W[1]-완전함을 입증하는 파rameterized 복잡도 분석을 활용한다.
• 기존의 알려진 NP-난이도 문제들을 감소시켜, DAG와 상수 크기의 간선 클래스를 가진 트리와 같은 제한된 설정 하에서도 난이도를 증명한다.
• 각 간선이 사전에 정의된 시간 슬롯 집합에서만 할당될 수 있는 리스트 기반 제약 조건을 고려한다.
• 각 간선이 유일한 시간 단계에서 활성화될 경우, 특수한 매우 제한된 조건 하에서 다항식 시간 내에 해결 가능하다는 점을 분석한다.

실험 결과

연구 질문

• RQ1 시간적 그래프에서 도달 가능성을 최적화하는 문제는 어떤 조건에서 계산적으로 가용한가?
• RQ2 예상된 클래스 내에서 간선이 동일한 시간 레이블을 공유하도록 제약을 두었을 때 문제의 복잡도는 어떻게 변화하는가?
• RQ3 기본 그래프의 정점 커버 수를 기준으로 측정했을 때 문제의 파arameterized 복잡도는 어떠한가?
• RQ4 각 간선이 고유한 활성화 시간을 가질 경우 문제는 다항식 시간 내에 해결 가능한가?
• RQ5 시간 할당에 리스트 제약 조건이 적용되더라도, 차수 제한이 있는 그래프 조건 하에서 문제의 복잡도는 어떻게 영향을 받는가?

주요 결과

• 간선 클래스와 도달 가능 목표가 상수 크기이며, 그래프가 방향 비순환 그래프인 경우조차 문제는 NP-완전하다.
• 매우 제한된 트리 클래스에서도 문제의 난이도가 유지되어, 매우 단순한 구조에서도 난이도가 높음을 시사한다.
• 문제의 한 변형은 기저 그래프의 정점 커버 수를 파arameter로 삼을 경우 W[1]-완전하다.
• 각 간선이 유일한 시간 단계에서 활성화될 경우, 특정한 매우 제한된 조건 하에서는 다항식 시간 내에 해결 가능하다.
• 차수 제한이 있는 그래프와 상수 크기의 도달 가능 목표 조건 하에서도, 최대화 및 최소화 문제의 리스트 제약 버전은 여전히 NP-완전하다.
• 구조적 제약 조건이 간선 클래스와 시간 할당에 영향을 주더라도, 가용성 확보에는 충분하지 않음을 시사한다.