Deterministic Approximation Algorithm for Graph Burning
Abstract
Graph Burning models a contagion spreading in a network as a process such that in each step one node is infected and also the infection spreads to all neighbors of previously infected nodes. Formally, the burning number of a given graph , possibly with edge lengths, is the minimum number such that there exists a sequence of nodes satisfying the property that for each there exists so that the distance between and is at most .
We present an elegant deterministic 2.314-approximation algorithm for the Graph Burning problem on general graphs with arbitrary edge lengths. This algorithm matches the approximation ratio of the previous randomized 2.314-approximation algorithm and improves on the previous deterministic 3-approximation algorithm.
Keywords and phrases:
Graph Algorithms, Approximation Algorithms, Graph BurningFunding:
Matej Lieskovský: Supported by GAUK project 234723, GA ČR project 19-27871X, and the grant SVV–2025–260822.2012 ACM Subject Classification:
Theory of computation Graph algorithms analysis ; Theory of computation Approximation algorithms analysisAcknowledgements:
We wish to thank our reviewers and colleagues for their insightful feedback.Editors:
Anne Benoit, Haim Kaplan, Sebastian Wild, and Grzegorz HermanSeries and Publisher:
Leibniz International Proceedings in Informatics, Schloss Dagstuhl – Leibniz-Zentrum für Informatik
1 Introduction
Graph Burning was introduced by Bonato et al. [2, 1] as a model of a contagion or information spreading in social networks. It demonstrates how strategically selecting a sequence of nodes to “infect” while letting this infection spread over time may reach the entire network relatively quickly. Formally, we study the following process, where burned nodes in a graph represent the infected part of the network.
We are given a graph and a sequence of length where the individual elements of the sequence are either nodes of the graph or “null”. At time , no nodes are burned. At time , we burn node . At each time step , all neighbors of already burned nodes also become burned and we also burn node unless is “null”. If all nodes are burned at time , we call a burning sequence of of length . The burning number of a graph is the length of its shortest burning sequence.
We can also view a burning sequence as a set of centers where the center corresponds to being the node , ensuring that any node with distance is burned. This generalizes naturally in the presence of arbitrary edge lengths and showcases the relation of Graph Burning to the -Center problem. We call the radius of center .
We know that holds for all graphs. If we prove that some algorithm finds a valid burning sequence of length in polynomial time whenever for some , then we can create a -approximation algorithm for the Graph Burning problem by trying all possible values of . For the rest of this paper, we talk about these algorithms that take the target value of as input and take as granted that they imply the corresponding approximation algorithms.
1.1 Our results
We present a simple -approximation algorithm for the Graph Burning problem on graphs with arbitrary edge lengths where . We use this value of throughout the paper.
1.2 Previous results
Bonato and Kamali [3] adapted a well-known greedy 2-approximation algorithm for the -Center problem into a -approximation algorithm for Graph Burning. A direct greedy algorithm was given by García-Díaz, Pérez-Sansalvador, and Rodríguez-Hénríquez [5]. We are not aware of any better deterministic algorithms for general graphs.
Lieskovský, Sgall, and Feldmann [11] gave a randomized -approximation algorithm for Graph Burning as well as a pair of lower bounds – 4/3 for graphs with unit-length edges and 2 for graphs with edge lengths. Their algorithm repeatedly selects an arbitrary uncovered node and uses randomization to select a radius, creating a new center. Martingales are used to estimate the number of centers needed and a collision resolution method inspired by linear probing prevents the creation of multiple centers with the same radius.
2 Definitions and algorithm
In this section we first establish some fundamental concepts and then describe our algorithm. The concepts established in this section will be crucial for the analysis of our algorithm in the following two sections.
2.1 Fundamental concepts
For the analysis of our algorithm, we fix a graph and some optimal solution opt, which we will view as set of centers with radii from to . In the interest of clarity we will, for the rest of this paper, use “centers” exclusively to refer to centers in this optimal solution while the algorithm will be modifying a “sequence” of nodes of some given length , until it becomes a valid burning sequence of the graph.
We assign each node to a unique center that is covering it (i.e., ), thus creating a partition of the set of nodes of the graph.
For every center we denote the set of nodes assigned to it as . We say that a center is covered by a sequence if all nodes in are burned by the sequence.
A central part of our algorithm is the process for modifying the sequence. We view the sequence as a queue of length and use the procedure to add to the front of the sequence and remove the last element. Thus if , then .
Our algorithm works in cycles, selecting one unburned node and pushing it into the sequence in each cycle. Note that cycles are distinct from the time steps in the definition of the Graph Burning problem. We number the cycles starting from . We say that a center is serviced whenever any node in is selected by the algorithm.
Suppose that a is selected in cycle . At the start of cycle , is at the start of the burning sequence, ensuring that all nodes within distance from it are burned by the sequence. With each further cycle, the node is moved to later position in the sequence, reducing the area it ensures the burning of.
Observation 1.
If center is serviced in cycle , then it will be covered at the start of cycles to .
2.2 Our algorithm
The algorithm is given a graph and a guess for the burning number. It starts with a sequence of length where all elements are “null”, which obviously leaves all nodes unburned. While any such unburned nodes remain, the algorithm selects one of them arbitrarily and pushes it into the sequence. When no unburned nodes remain, the sequence is a valid burning sequence of .
3 Simple results
In this section, we analyse our algorithm at three different levels of detail, resulting in gradually improving approximation ratios. We also show a general observation about the Graph Burning problem in Subsection 3.3. The results from this section will play a minor role in the handling of some special cases by the final analysis of our algorithm in Section 4.
3.1 Proof of 3-approximation
This simple proof matches the previous result of Bonato and Kamali.
Lemma 2.
Assuming , the algorithm always concludes in at most cycles.
Proof of Lemma 2..
Given that centers have radius at most , any center serviced before cycle will, by Observation 1, still be covered at the start of cycle . Given that there are at most centers, the algorithm concludes no later than at the start of cycle as all centers will be covered.
3.2 Easy improvement
Observe what might happen if we were to run the algorithm with . If the algorithm services the center with radius in cycle , then it is possible that this center is no longer covered at the start of cycle , preventing the algorithm from concluding. Fortunately, this can be fixed by running the algorithm for one more cycle as the second largest center, with radius , can stop being covered no earlier than at the start of cycle
Lemma 3.
Assuming , the algorithm always concludes in at most cycles.
Proof of Lemma 3..
Let us separate the “large” center with and the “small” centers with . Any small serviced center will be covered at the start of cycle .
At the start of cycle , at least centers have been serviced and are covered, leaving at most one center uncovered. Over the next cycles, only the single large center can become uncovered. Thus the algorithm concludes no later than at the start of cycle as all centers will be covered.
3.3 General observation
Note that slight improvements such as Lemma 3 are generally easy for Graph Burning, as demonstrated by the following observation:
Observation 4.
If, for some , there exists an algorithm that, assuming , always finds a burning sequence of length in time, then, for any , there exists an algorithm that always finds a burning sequence of length in time.
Proof of Observation 4..
Algorithm is given a graph and a guessed burning number . For each of the possible length- prefixes of a burning sequence of length , it uses algorithm to look for a burning sequence of length for the uncovered part of the graph.
One of those prefixes is such that all are centers of opt. Since , these centers are covered by any burning sequence of length that starts with prefix . The uncovered part of the graph thus has a burning number at most and algorithm will be able to find a burning sequence of length .
3.4 More significant improvement
In order to motivate further exploration of our algorithm, let us now show that our algorithm is indeed capable of finding burning sequences of length where . In particular, we demonstrate that is sufficient and the algorithm concludes in cycles.
We use Observation 1 to show how long each center stays covered after being serviced. At the start of each cycle of our algorithm, each center of opt is in one of the following three states.
-
1.
Untouched - this center has not been serviced yet and might thus be uncovered.
-
2.
Covered - this center has been serviced in the last cycles and thus is covered.
-
3.
Expired - this center has last been serviced more than cycles ago and thus might not be covered any more.
For the purposes of our analysis, we will divide the cycles of the algorithm into two phases, with each phase shorter than cycles. During the first phase, the algorithm is only servicing untouched centers. When sufficiently many cycles have passed for a center to possibly become expired, the algorithm enters the second phase. During the second phase, the algorithm services the remaining untouched centers and any expired centers. The second phase concludes before any center can expire for the second time and we show that all centers must be covered.
We divide the centers into a smaller number of large centers and a larger number of small centers. Small centers are the centers with . When serviced, these remain covered for cycles, which is at least the number of cycles used by the algorithm. Thus they do not become expired. Large centers are the centers with . When serviced, these remain covered until the end of the phase, but might expire during the second phase if covered during the first phase.
After carefully setting the length of the phases, we show that sufficiently many small centers must be serviced during the first phase so that any untouched small centers and all large centers can be serviced during the second phase. This ensured that all centers are covered even if all the large centers have expired.
Lemma 5.
Assuming , the algorithm always concludes in at most cycles.
Proof of Lemma 5..
A center is called large if . Note that there are at most large centers. The remaining centers are small; they have radius and there are at most small centers. The first phase consists of cycles and the second phase consists of cycles.
All centers have . By Observation 1, any center serviced during the first phase is still covered at the start of cycle . Thus, at the end of the first phase, centers have been serviced and are covered, leaving at most uncovered centers.
Small centers have and thus any serviced small center will still be covered at the start of cycle . Thus, during the second phase, only the large centers can become uncovered and there are at most large centers. In total, no more than centers need to be serviced during the second phase, and the algorithm concludes no later than at the end of the second phase.
4 2.314-approximation ratio
The entirety of this section is devoted to the proof of the following theorem, which is the main result of this paper.
Theorem 6.
Assuming , the algorithm always concludes in at most cycles.
First, we focus on a single center . In an approach inspired by problems such as Bamboo Garden [7][9] and Pinwheel Scheduling [8][6], we imagine a timer that starts at , is reset to zero whenever the algorithm services the center, and otherwise increases with every cycle so that the timer is whenever the center might be uncovered.
Second, we look at all the centers of opt and consider the sum of their timers. This sum starts at and, if is large enough, decreases with every cycle. Given that all centers must be covered if the sum is less than 1, we proceed to show that is indeed large enough, completing the proof.
Proof of Theorem 6..
Let us define a potential for center at the start of the -th cycle as follows:
| (1) | ||||
| (2) |
Observe that, if , then center is covered at the start of the -th cycle.
We now define the overall potential at the start of the -th cycle as the sum of potentials for all centers of opt and observe that, whenever , all centers must be covered.
We claim that if center is serviced in cycle , then
where
The positive term accounts for the increase of the potential of all centers. The negative term accounts for the change of the potential of the serviced center . This is because must be true for to be serviced in cycle and if was serviced in cycle , which means that the potential is not only decreased by 1, but also does not increase by already included in .
We will show that for . To see that this implies the theorem, first observe that and thus we will get . Since , algorithm concludes in at most cycles. For the theorem follows directly, while for we use Lemma 5 to get the conclusion of the theorem.
It remains to prove that . The value of was set to satisfy the following integral equation:
We express as a similar integral:
To complete the proof, it is now sufficient to show that the following holds:
We first observe that this holds whenever , using a straightforward substitution for and a simple upper bound on . This makes it possible for us to get an -approximation algorithm by using Observation 4.
Finally, we give a full proof of for all . We separate the integration into intervals where is constant, seeking to prove for all natural :
The following trivially holds:
Consider the function . It is convex on and thus for every we have . Using this for we get the following:
where the last inequality follows from . This concludes the proof of and thus the proof of Theorem 6.
5 Conclusion
We have shown a simple deterministic algorithm for Graph Burning that achieves good approximation ratios when thoroughly analysed. Despite this, a significant gap remains between our result and the lower bounds of [11].
References
- [1] Anthony Bonato, Jeannette Janssen, and Elham Roshanbin and. How to burn a graph. Internet Mathematics, 12(1-2):85–100, 2016. doi:10.1080/15427951.2015.1103339.
- [2] Anthony Bonato, Jeannette Janssen, and Elham Roshanbin. Burning a graph as a model of social contagion. In Anthony Bonato, Fan Chung Graham, and Paweł Prałat, editors, Algorithms and Models for the Web Graph, volume 8882, pages 13–22, Cham, December 2014. Springer International Publishing. doi:10.1007/978-3-319-13123-8_2.
- [3] Anthony Bonato and Shahin Kamali. Approximation algorithms for graph burning. In T.V. Gopal and Junzo Watada, editors, Theory and Applications of Models of Computation, pages 74–92, Cham, 2019. Springer International Publishing. doi:10.1007/978-3-030-14812-6_6.
- [4] Anthony Bonato and Thomas Lidbetter. Bounds on the burning numbers of spiders and path-forests. Theoretical Computer Science, 794:12–19, 2019. Special Issue on Theory and Applications of Graph Searching. doi:10.1016/j.tcs.2018.05.035.
- [5] Jesús García-Díaz, Julio César Pérez-Sansalvador, Lil María Xibai Rodríguez-Henríquez, and José Alejandro Cornejo-Acosta. Burning graphs through farthest-first traversal. IEEE Access, 10:30395–30404, 2022. doi:10.1109/ACCESS.2022.3159695.
- [6] Leszek Gąsieniec, Benjamin Smith, and Sebastian Wild. Towards the 5/6-Density Conjecture of Pinwheel Scheduling, pages 91–103. Society for Industrial and Applied Mathematics, 2022. doi:10.1137/1.9781611977042.8.
- [7] Felix Höhne and Rob van Stee. A 10/7-Approximation for Discrete Bamboo Garden Trimming and Continuous Trimming on Star Graphs. In Nicole Megow and Adam Smith, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2023), volume 275 of Leibniz International Proceedings in Informatics (LIPIcs), pages 16:1–16:19, Dagstuhl, Germany, 2023. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. doi:10.4230/LIPIcs.APPROX/RANDOM.2023.16.
- [8] Akitoshi Kawamura. Proof of the density threshold conjecture for pinwheel scheduling. In Proceedings of the 56th Annual ACM Symposium on Theory of Computing, STOC 2024, pages 1816–1819, New York, NY, USA, 2024. Association for Computing Machinery. doi:10.1145/3618260.3649757.
- [9] John Kuszmaul. Bamboo trimming revisited: Simple algorithms can do well too. In Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA ’22, pages 411–417, New York, NY, USA, 2022. Association for Computing Machinery. doi:10.1145/3490148.3538580.
- [10] Matej Lieskovský and Jiří Sgall. Graph burning and non-uniform k-centers for small treewidth. In Parinya Chalermsook and Bundit Laekhanukit, editors, Approximation and Online Algorithms, pages 20–35, Cham, 2022. Springer International Publishing.
- [11] Matej Lieskovský, Jiří Sgall, and Andreas Emil Feldmann. Approximation Algorithms and Lower Bounds for Graph Burning. In Nicole Megow and Adam Smith, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2023), volume 275 of Leibniz International Proceedings in Informatics (LIPIcs), pages 9:1–9:17, Dagstuhl, Germany, 2023. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. doi:10.4230/LIPIcs.APPROX/RANDOM.2023.9.
