On Efficiently Finding Small Separators in Temporal Graphs

11/02/2017
by   Philipp Zschoche, et al.
0

Vertex separators, that is, vertex sets whose deletion disconnects two distinguished vertices in a graph, play a pivotal role in algorithmic graph theory. For many realistic models of the real world it is necessary to consider graphs whose edge set changes with time. More specifically, the edges are labeled with time stamps. In the literature, these graphs are referred to as temporal graphs, temporal networks, time-varying networks, edge-scheduled networks, etc. While there is an extensive literature on separators in "static" graphs, much less is known for the temporal setting. Building on previous work, we study the problem of finding a small vertex set (the separator) in a temporal graph with two designated terminal vertices such that the removal of the set breaks all temporal paths connecting one terminal to the other. Herein, we consider two models of temporal paths: paths that contain arbitrarily many hops per time step (non-strict) and paths that contain at most one hop per time step (strict). We settle the hardness dichotomy (NP-hardness versus polynomial-time solvability) of both problem variants regarding the number of time steps of a temporal graph. Moreover we prove both problem variants to be NP-complete even on temporal graphs whose underlying graph is planar. We show that on temporal graphs whose underlying graph is planar, if additionally the number of time steps is constant then the problem variant for strict paths is solvable in quasi linear time. Finally, for general temporal graphs we introduce the notion of a temporal core (vertices whose incident edges change over time). We prove that on temporal graphs with constant-sized temporal core, the non-strict variant is solvable in polynomial time, where the degree of the polynomial is independent of the size of the temporal core, while the strict variant remains NP-complete.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/02/2017

The Computational Complexity of Finding Separators in Temporal Graphs

Vertex separators, that is, vertex sets whose deletion disconnects two d...
research
03/21/2023

Being an Influencer is Hard: The Complexity of Influence Maximization in Temporal Graphs with a Fixed Source

We consider the influence maximization problem over a temporal graph, wh...
research
12/03/2022

Parameterized temporal exploration problems

In this paper we study the fixed-parameter tractability of the problem o...
research
06/15/2020

Algorithmic Aspects of Temporal Betweenness

The betweenness centrality of a graph vertex measures how often this ver...
research
02/20/2023

Kernelizing Temporal Exploration Problems

We study the kernelization of exploration problems on temporal graphs. A...
research
02/22/2021

Temporal Reachability Minimization: Delaying vs. Deleting

We study spreading processes in temporal graphs, i. e., graphs whose con...
research
03/08/2019

How fast can we reach a target vertex in stochastic temporal graphs?

Temporal graphs are used to abstractly model real-life networks that are...

Please sign up or login with your details

Forgot password? Click here to reset