[논문 리뷰] Counting Temporal Paths

Jessica Enright, Kitty Meeks외 1명|arXiv (Cornell University)|2022. 02. 24.

Opportunistic and Delay-Tolerant Networks인용 수 3

한 줄 요약

이 논문은 간선이 특정 시간에만 존재하는 동적 그래프에서 시간적 경로를 세는 계산 복잡도를 조사한다. 최초 또는 최신 시간적 경로를 세는 것은 #P-난이도임을 증명하지만, 피드백 정점 수나 트리너비와 같은 구조적 제약 조건 하에서 다항식 시간 알고리즘과 근사 알고리즘을 통해 해결 가능성을 밝혀내며, 정확하고 효율적인 해법을 제시한다.

ABSTRACT

The betweenness centrality of a vertex v is an important centrality measure that quantifies how many optimal paths between pairs of other vertices visit v. Computing betweenness centrality in a temporal graph, in which the edge set may change over discrete timesteps, requires us to count temporal paths that are optimal with respect to some criterion. For several natural notions of optimality, including foremost or fastest temporal paths, this counting problem reduces to #TEMPORAL PATH, the problem of counting all temporal paths between a fixed pair of vertices; like the problems of counting foremost and fastest temporal paths, #TEMPORAL PATH is #P-hard in general. Motivated by the many applications of this intractable problem, we initiate a systematic study of the parameterised and approximation complexity of #TEMPORAL PATH. We show that the problem presumably does not admit an FPT-algorithm for the feedback vertex number of the static underlying graph, and that it is hard to approximate in general. On the positive side, we prove several exact and approximate FPT-algorithms for special cases.

연구 동기 및 목표

• 동적 그래프에서 시간적 경로 세기의 매개변수화 및 근사 복잡도를 분석하는 것.
• 시간적 경로를 세는 것이 구조적 그래프 매개변수에 따라 다항식 시간 알고리즘으로 가능할지 여부를 규명하는 것.
• 특수 그래프 클래스에서 시간적 경로 세기의 정확하고 근사 알고리즘을 개발하는 것.
• 시간적 경로 세기와 시간적 중심성 중심성 계산 간의 관계를 설정하는 것.

제안 방법

• 정적 그래프에서의 경로 세기의 일반화로 #Temporal Path를 제안하며, 비감소 시간 레이블을 가진 비엄격 시간적 경로에 초점을 맞춘다.
• 최초 또는 최신 경로 세기 문제를 #Temporal Path로 환원하여, Valiant의 프레임워크를 통해 그 #P-난이도를 증명한다.
• 피드백 정점 수와 트리너비에 대한 하드함을 분석하기 위해 매개변수화된 복잡도 기법을 적용한다.
• 트리너비나 경로 길이가 유한한 특수 케이스에 대해 정확하고 근사 FPT-알고리즘을 제안한다.
• 동적 프로그래밍과 트리 분해를 활용해 구조적 시간적 그래프에 대한 효율적인 알고리즘을 설계한다.
• 감소와 난이도 결과를 활용하여, 피드백 정점 수에 대해 FPT-알고리즘이 존재하지 않는다는 것을 보여주며, FPT = #W[1]가 성립하지 않는 한 이를 증명한다.

실험 결과

연구 질문

• RQ1 기저 그래프의 피드백 정점 수에 대해 시간적 경로 세기는 고정 매개변수 다항시간 알고리즘으로 가능할까?
• RQ2 최초 또는 최신 시간적 경로 세기의 효율적인 근사 알고리즘을 설계할 수 있을까?
• RQ3 어떤 구조적 매개변수가 #P-난이도에도 불구하고 문제의 다항식 시간 해법 가능성을 보장할까?
• RQ4 시간적 경로 세기의 복잡도는 시간적 중심성 중심성 계산과 어떻게 관련이 있을까?
• RQ5 #Temporal Path에 대해 트리너비나 경로 길이가 유한할 경우 FPT-알고리즘이 존재할까?

주요 결과

• 시간적 경로 세기는 비감소 시간 레이블을 가진 경로로 제한된 경우조차 #P-난이도임이 입증된다.
• 기저 그래프의 피드백 정점 수에 대해 FPT-알고리즘이 존재할 가능성이 낮다.
• 트리너비와 경로 길이에 대해 매개변수화된 #Temporal Path에 대해 FPT-알고리즘이 존재한다.
• 일부 구조적 제약 조건 하에서는 오차가 유한한 근사 알고리즘이 가능하다.
• 일반적으로는 강한 제약 조건이 존재하더라도 근사화가 어렵다는 것이 입증된다.
• 이 연구는 시간적 경로 세기와 시간적 중심성 중심성 간의 직접적인 연결 고리를 설정하며, 후자의 #P-난이도를 입증한다.