Families of tractable problems with respect to vertex-interval-membership width and its generalisations

TL;DR

This paper introduces a new parameter, TIM width, generalizing VIM width, and provides meta-algorithms for fixed-parameter tractability of various temporal graph problems.

Contribution

It presents a new parameter TIM width that generalizes VIM width and offers meta-algorithms for fixed-parameter tractability of multiple temporal graph problems.

Findings

TIM width generalizes VIM width and other parameters.

Meta-algorithms establish fixed-parameter tractability for several problems.

Applied algorithms to temporal Hamiltonian path, dominating set, matching, and edge deletion.

Abstract

Temporal graphs are graphs whose edges are labelled with times at which they are active. Their time-sensitivity provides a useful model of real networks, but renders many problems studied on temporal graphs more computationally complex than their static counterparts. To contend with this, there has been recent work devising parameters for which temporal problems become tractable. One such parameter is vertex-interval-membership (VIM) width. Broadly, this gives a bound on the number of vertices we need to keep track of at any given time to solve many problems. Our contributions are two-fold. Firstly, we introduce a new parameter, tree-interval-membership (TIM) width, that generalises both VIM width and several existing generalisations. Secondly, we provide meta-algorithms for both VIM and TIM width which can be used to prove fixed-parameter-tractability for large families of problems, bypassing the need to give involved dynamic programming arguments for every problem. In doing this, we provide a characterisation of problems in FPT with respect to both parameters. We apply these algorithms to temporal versions of Hamiltonian path, dominating set, matching, and edge deletion to limit maximum reachability.