Abstract

Modern, inherently dynamic systems are usually characterized by a network structure which is subject to discrete changes over time. Given a static underlying graph, a temporal graph can be represented via an assignment of a set of integer time-labels to every edge, indicating the discrete time steps when this edge is active. While most of the recent theoretical research on temporal graphs focused on temporal paths and other “path-related” temporal notions, only few attempts have been made to investigate “non-path” temporal problems. In this paper we introduce and study two natural temporal extensions of the classical problem VERTEX COVER. We present a thorough investigation of the computational complexity and approximability of these two temporal covering problems. We provide strong hardness results, complemented by approximation and exact algorithms. Some of our algorithms are polynomial-time, while others are asymptotically almost optimal under the Exponential Time Hypothesis (ETH) and other plausible complexity assumptions.

Highlights

  • Introduction and MotivationA great variety of both modern and traditional networks are inherently dynamic, in the sense that their link availability varies over time

  • In this paper we present a thorough investigation of the complexity and approximability of the problems Temporal Vertex Cover (TVC) and Sliding Window Temporal Vertex

  • 2 According to the American Public Transportation Association (see http://www.apta.com/resources/ standards/Documents/APTA-RT-VIM-RP-019-03.pdf “developing minimum inspection, maintenance, testing and alignment procedures maintains rail transit trucks in a safe and reliable operating condition”. 148:4 Temporal Vertex Cover with a Sliding Time Window there exists a constant ε ∈ (0, 1) such that Sliding Window Temporal Vertex Cover (SW-TVC) cannot be solved in f (T ) · 2εn·g(∆) time, assuming the Exponential Time Hypothesis (ETH)

Read more

Summary

Introduction and Motivation

A great variety of both modern and traditional networks are inherently dynamic, in the sense that their link availability varies over time. In this paper we adopt a simple and natural model for time-varying networks which is given with time-labels on the edges of a graph, while the vertex set remains unchanged. This formalism originates in the foundational work of Kempe et al [20]. Several works in the field of sensor networks considered problems of placing sensors to cover a whole area or multiple critical locations, e.g. for reasons of surveillance Such studies usually wish to minimize the number of sensors used or the total energy required [11, 16, 23, 28, 33]. Notice that the above is an application drawn from real-life, as regular checks in roads and trucks are paramount for the correct operation of the transporting sector, according to both the European Commission and the American Public Transportation Association

Our contribution
Preliminaries and notation
Temporal Vertex Cover
Sliding Window Temporal Vertex Cover
Hardness and approximability of TVC
Hardness on star temporal graphs
A randomized rounding algorithm for TVC
An almost tight algorithm for SW-TVC
A complexity lower bound
An exact dynamic programming algorithm
Always bounded vertex cover number temporal graphs
Approximation hardness of 2-TVC
Approximation algorithms
Approximation in terms of maximum degree of snapshots
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call