Structural Parameters for Dense Temporal Graphs

Jessica Enright,Samuel D. Hand,Laura Larios-Jones,Kitty Meeks

2024-04-30

Abstract:Temporal graphs provide a useful model for many real-world networks. Unfortunately the majority of algorithmic problems we might consider on such graphs are intractable. There has been recent progress in defining structural parameters which describe tractable cases by simultaneously restricting the underlying structure and the times at which edges appear in the graph. These all rely on the temporal graph being sparse in some sense. We introduce temporal analogues of three increasingly restrictive static graph parameters -- cliquewidth, modular-width and neighbourhood diversity -- which take small values for highly structured temporal graphs, even if a large number of edges are active at each timestep. The computational problems solvable efficiently when the temporal cliquewidth of the input graph is bounded form a subset of those solvable efficiently when the temporal modular-width is bounded, which is in turn a subset of problems efficiently solvable when the temporal neighbourhood diversity is bounded. By considering specific temporal graph problems, we demonstrate that (up to standard complexity theoretic assumptions) these inclusions are strict.

Discrete Mathematics,Combinatorics

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is: **In dense temporal graphs, define and utilize structural parameters to identify computationally tractable problems that can be solved efficiently**. Specifically, the authors introduce three new temporal - graph structural parameters - Temporal Neighbourhood Diversity (TND), Temporal Modular - width (TMW), and Temporal Cliquewidth (TCW). These parameters can still take small values even when there are a large number of active edges at each time step of the graph, thus making some originally intractable problems solvable.

### Background and Motivation

A temporal graph is a graph model that can change over time and is suitable for describing dynamic phenomena in the real world such as social networks and transportation networks. However, many problems that can be solved in polynomial time on static graphs become intractable (i.e., NP - hard) on temporal graphs. To meet this challenge, researchers attempt to simplify the problems by restricting the structure of the graph. But most of the existing parameters are only applicable to sparse temporal graphs, that is, those graphs with only a small number of active edges at each time step. This limits their scope of application.

### Main Contributions of the Paper

1. **Introducing New Structural Parameters**:
- **Temporal Neighbourhood Diversity (TND)**: Vertices are partitioned into several classes, and the vertices within each class have the same neighbors at the same time step.
- **Temporal Modular - width (TMW)**: Allows for more complex modular structures while still maintaining a certain degree of temporal consistency.
- **Temporal Cliquewidth (TCW)**: Similar to the cliquewidth in static graphs, but when adding edges, it is required to ensure that all new edges are active within the same time period.

2. **Demonstrating the Effectiveness of These Parameters**:
- Prove that when the temporal cliquewidth, temporal modular - width, or temporal neighbourhood diversity of the input graph is limited, certain specific computational problems can be solved in polynomial time.
- For example, the **Temporal Clique problem** can be solved in linear time when given a temporal cliquewidth decomposition of a constant width.
- The **StarExp(4) problem** is still NP - hard on graphs with a temporal cliquewidth of 3, but can be solved in polynomial time when the temporal modular - width is limited.
- The **Graph Burning problem** is NP - hard on graphs with a constant temporal modular - width, but can be solved in polynomial time when the temporal neighbourhood diversity is limited.

### Conclusion

By introducing these three new structural parameters, the paper fills the gap in the parameter toolbox for dense temporal graphs and demonstrates the practical application value of these parameters in algorithm design. In particular, these parameters can help identify and solve problems that cannot be handled under sparse graph parameters, thus expanding the scope of application in temporal graph research.

### Markdown Representation of Formulas

- **Temporal Neighbourhood Diversity (TND)**: The TND of a temporal graph is at most \( k \) if its vertices can be partitioned into at most \( k \) classes, each class induces an independent set or clique, and the vertices in the same class have the same neighbors at each time step.

- **Temporal Modular - width (TMW)**: The TMW of a temporal graph is at most \( k \) if its vertices can be partitioned into modules, and each module itself is a temporal graph with a TMW of at most \( k \).

- **Temporal Cliquewidth (TCW)**: The TCW of a temporal graph is at most \( k \) if the minimum number of labels required to construct the graph using four operations (creating a labeled vertex, taking the disjoint union of two labeled graphs, adding all edges connecting vertices with two specified labels, renaming labels) is \( k \), and all new edges must be active within the same time period.

These formulas and definitions ensure the accuracy and readability of the structural parameters proposed in the paper.