Solving the Graph Burning Problem for Large Graphs

TL;DR

This paper introduces an efficient exact algorithm for the NP-hard Graph Burning Problem, significantly improving solution times for large social network graphs by formulating it as a set covering problem and using a row generation approach.

Contribution

The paper presents a novel set covering integer programming model and a row generation algorithm that outperforms previous methods in solving large instances of the Graph Burning Problem.

Findings

Achieves optimal solutions for graphs with up to 200,000 vertices in under 35 seconds.

Solves instances approximately 236 times faster than the previous best exact algorithm.

Successfully scales to real-world social network graphs much larger than prior methods.

Abstract

We propose an exact algorithm for the Graph Burning Problem ($\texttt{GBP}$), an NP-hard optimization problem that models the spread of influence on social networks. Given a graph $G$ with vertex set $V$, the objective is to find a sequence of $k$ vertices in $V$, namely, $v_1, v_2, \dots, v_k$, such that $k$ is minimum and $\bigcup_{i = 1}^{k} \{u\! \in\! V\! : d(u, v_i) \leq k - i\} = V$, where $d(u,v)$ denotes the distance between $u$ and $v$. We formulate the problem as a set covering integer programming model and design a row generation algorithm for the $\texttt{GBP}$. Our method exploits the fact that a very small number of covering constraints is often sufficient for solving the integer model, allowing the corresponding rows to be generated on demand. To date, the most efficient exact algorithm for the $\texttt{GBP}$, denoted here by $\texttt{GDCA}$, is able to obtain optimal solutions for graphs with up to 14,000 vertices within two hours of execution. In comparison, our algorithm finds provably optimal solutions approximately 236 times faster, on average, than $\texttt{GDCA}$. For larger graphs, memory space becomes a limiting factor for $\texttt{GDCA}$. Our algorithm, however, solves real-world instances with almost 200,000 vertices in less than 35 seconds, increasing the size of graphs for which optimal solutions are known by a factor of 14.