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

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 width. Broadly, this gives a bound on the number of vertices we need to keep track of at any time in order to solve any of a family of problems. Our contributions are two-fold. Firstly, we introduce a new parameter, tree-interval-membership-width, that generalises both vertex-interval-membership-width and several existing generalisations. Secondly, we provide meta-algorithms for both parameters 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. We apply these algorithms to temporal versions of Hamiltonian path, matching, edge deletion to limit maximum reachability, and firefighting.