This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

11institutetext: Indian Statistical Institute, Kolkata, India

Burning a binary tree and its generalization

Sandip Das    Sk Samim Islam    Ritam M Mitra    Sanchita Paul Corresponding author
Abstract

Graph burning is a graph process that models the spread of social contagion. Initially, all the vertices of a graph GG are unburnt. At each step, an unburnt vertex is put on fire and the fire from burnt vertices of the previous step spreads to their adjacent unburnt vertices. This process continues till all the vertices are burnt. The burning number b(G)b(G) of the graph GG is the minimum number of steps required to burn all the vertices in the graph. The burning number conjecture by Bonato et al. states that for a connected graph GG of order nn, its burning number b(G)nb(G)\leq\lceil\sqrt{n}\rceil. It is easy to observe that in order to burn a graph it is enough to burn its spanning tree. Hence it suffices to prove that for any tree TT of order nn, its burning number b(T)nb(T)\leq\lceil\sqrt{n}\rceil where TT is the spanning tree of GG. It was proved in 2018 that b(T)n+n2+1/4+1/2b(T)\leq\lceil\sqrt{n+n_{2}+1/4}+1/2\rceil for a tree TT where n2n_{2} is the number of degree 22 vertices in TT. In this paper, we provide an algorithm to burn a tree and we improve the existing bound using this algorithm. We prove that b(T)n+n2+81b(T)\leq\lceil\sqrt{n+n_{2}+8}\rceil-1 which is an improved bound for n50n\geq 50. We also provide an algorithm to burn some subclasses of the binary tree and prove the burning number conjecture for the same.

Keywords:
Binary Tree Graph Burning Algorithm.

1 Introduction

Graph burning is a process that captures the spread of social contagion and was introduced by Bonato, Janssen, and Roshanbin [4] in 2014. The way ideas and feelings spread among people on social networks is a hot topic in social network research. For instance, check out these studies [1, 10, 11, 12, 15, 16]. A recent study focused on how emotions spread on Facebook [13]. What’s interesting is that it found that the structure of the network itself is crucial. Surprisingly, you don’t need to meet someone in person or see their body language for emotions to spread. Instead, people in the network share these feelings with their friends or followers, and it keeps spreading over time. Now, here’s the question: If you wanted to make this emotional spread happen as quickly as possible across the whole network, who should you start with, and in what order? To address this problem, we study graph burning. We can think that each person or profile is a vertex of a graph. Two people can share their feelings in one step if there is an edge between them. We say a vertex is burnt if the feeling is spread to the vertex.

Below, we describe the process of burning a simple graph G(V,E)G(V,E) where |V|=n|V|=n. Graph burning consists of discrete steps. After each step, each vertex is either burnt or unburnt, once a vertex is burnt it remains burnt till the end. Initially, all the vertices are unburnt. In the first step, we burn a vertex. At each subsequent step, two things happen: first, one new unburned vertex is chosen to burn; second, the fire spreads from each burnt vertex of the previous step to its neighboring vertices and burns the unburned vertices from the neighbors. If a vertex is burned, then it remains in that state until the end of the process. The process ends when all the vertices are burnt. The burning number, denoted by b(G)b(G), is the minimum number of steps taken for this process to end. The burning problem asks, given a graph G and an integer k2k\geq 2, whether b(G)kb(G)\leq k. An intuitive way to look at this process is to cover the vertices of the graph GG by kk balls of radius 0,1,,k10,1,\ldots,k-1, placed at appropriate vertices such that b(G)b(G) is minimized. A ball of radius rr placed at a vertex vv can cover vertices that are at a distance of at most rr from vv. For example, it is straightforward to see that b(Kn)=2b(K_{n})=2. However, even for a relatively simple graph such as the path PnP_{n} on nn nodes, computing the burning number is more complex; in fact, b(Pn)=nb(P_{n})=\lceil\sqrt{n}\rceil as [4] proved. Suppose that in the process of burning a graph GG, we eventually burn the whole graph GG in kk steps, and for each ii, 1ik1\leq i\leq k, we denote the node where we set the fire in the iith step by xix_{i}. We call such a node simply a source of fire. The sequence (x1,x2,,xk)(x_{1},x_{2},\ldots,x_{k}) is called a burning sequence for GG.

Graph burning can be likened to the way viruses propagate within populations. When left uncontrolled, a limited number of infected individuals within a population can lead to the widespread transmission of the virus. Similarly, one can draw an analogy to a forest fire, which, when left to burn without intervention, can devastate entire forests across a vast expanse.

Bessy et al. [2] showed that the Graph Burning problem is NP-complete when restricted to the trees of maximum degree three. This implies that the burning graph problem is NP-complete for binary trees, chordal graphs, bipartite graphs, planar graphs, and disconnected graphs. Moreover, they showed the NP-completeness of the burning problem even for trees with a structure as simple as spider graphs, and also for disconnected graphs such as path-forests. Furthermore, there is a polynomial time approximation algorithm with approximation factor 33 for general graphs. Hence, determining the precise burning number of a graph is currently not the primary focus. Now, a question can be raised: Is there any tight relation between the burning number and the number of vertices of a graph? Bonato, Janssen, and Roshanbin [5] proposed the Burning Number Conjecture that relates these two numbers of a graph.

Burning Number Conjecture (BNC): Let GG be a connected graph of order nn, then b(G)nb(G)\leq\lceil\sqrt{n}\rceil.

In order to burn a connected graph, it is sufficient to burn its spanning trees [5]. Therefore, in the study of graph burning, much focus has been spent on the trees. Note that, if TT is a spanning tree of a graph GG, then b(G)b(T)b(G)\leq b(T), since the number of steps required to burn TT is at least the number of steps required to burn GG. Therefore, if the BNC holds for all the trees, then it definitely holds for all the graphs. Now the main challenge is to solve the BNC for the trees. Till now the BNC has been solved for some subclasses of trees including Spider [7, 9], Double spider [17], Caterpillars [14].

Our Contribution: In this paper, we study the graph burning problem on several types of binary trees.

A perfect binary tree is a special type of binary tree in which all the leaf nodes are at the same level and all internal nodes have exactly two children. In Section 3, we provide a relation between the height and the burning number of a perfect binary tree:

Theorem 1.1 ()

Let TT be a perfect binary tree of height hh, then b(T)=h+1b(T)=h+1.

Using Theorem 1.1, we show that the BNC is true for the perfect binary tree.

Section 4 is based on the study of the graph burning problem on the complete binary tree. A complete binary tree is a binary tree in which every level, except the last, is completely filled, and all nodes in the last level are filled from as left as possible. We provide a relation between the height and the burning number of a complete binary tree:

Theorem 1.2 ()

Let TT be a binary tree of height hh which needs exactly 11 more leaf to be perfect. Then b(T)=h+1b(T)=h+1.

Theorem 1.3 ()

Let TT be a complete binary tree of height hh which does not have at least 22 leaves in it’s last level. Then b(T)=hb(T)=h.

Using Theorem 1.2 and Theorem 1.3, we show that the BNC is true for the complete binary tree.

A full binary tree is a binary tree in which all of the nodes have either 0 or 22 children. In other words, except for the leaf nodes, all other nodes have two children, and it is not necessary for all leaf nodes to be at the same level. In section 5, we show that the burning number of a full binary tree which is not perfect is upper bounded by its height. We state that in the following theorem:

Theorem 1.4 ()

Let TT be a full binary tree of height hh, which is not perfect, then b(T)hb(T)\leq h.

In the same section, we provide an algorithm to burn the full binary tree which is not perfect, that yields the following Theorem which says the BNC is true for the same:

Theorem 1.5 ()

Let TT be a full binary tree of nn vertices, which is not perfect. Then we have b(T)nb(T)\leq\lceil\sqrt{n}\rceil.

Moreover, we provide a tighter bound of the burning number for the full binary tree which is not perfect having the number of vertices more than 1717. We state that in the following theorem:

Theorem 1.6 ()

Let TT be a full binary tree on nn vertices, which is not perfect, then b(T)n+91b(T)\leq\lceil\sqrt{n+9}\rceil-1.

In 2018, Bessy et al. proved [3] that b(T)n+n2+1/4+1/2b(T)\leq\lceil\sqrt{n+n_{2}+1/4}+1/2\rceil for a tree TT where n2n_{2} is the number of degree 22 vertices in TT. Using Theorem 5, we improve this bound for the trees having the number of vertices at least 5050. The improved bound is the following:

Theorem 1.7 ()

Let TT be a tree of order n and n2n_{2} be the number of degree 2 vertices. Then b(T)n+n2+81b(T)\leq\lceil\sqrt{n+n_{2}+8}\rceil-1.

2 Preliminaries

Since every connected graph is spanned by a tree, burning the spanning tree is sufficient to burn the connected graph’s vertices. Binary trees are the most commonly known trees, which have several applications in data structure and algorithms [8]. Binary trees have the characteristic feature that they are rooted trees, and every vertex has at most two children. The depth of a node in a tree is the number of edges present in the path from the root node to that node. For a binary tree TT, any two vertices are said to be at the same level if they are at the same depth from the root. The root is considered to be at the 1st level, and any other vertex that is at level ii is said to be i1i-1 distant from the root. Any non-leaf node is said to be an internal node. We call the internal nodes that are the parents of leaves as parent-leaves. We call one node to be the sibling of other if they have a common parent. The height of a node is the number of edges present in the path connecting that node to a leaf node. For any other definition, we follow the standard notation of West [18].

Given a positive integer kk, the kk-th closed neighbourhood of vv in a tree T=(V,E)T=(V,E) is defined by Nk[v]={uV:d(u,v)k}N_{k}[v]=\{u\in V:d(u,v)\leq k\}.

3 Perfect Binary Tree

A perfect binary tree is a special type of binary tree in which all the leaf nodes are at the same level and all internal nodes have exactly two children. In simple terms, this means that all leaf nodes are at the maximum depth of the tree. It is to be noted that a perfect binary tree of height hh has 2h2^{h} number of leaf nodes.

See 1.1

Proof

TT has total h+1h+1 levels, since TT has height hh. Suppose we set the fire at the root of TT which is at the 11st level. At the tt-th step, the fire completes the burning of the tt-th level of TT. Therefore, the burning of the whole TT will be completed after h+1h+1 steps, since TT has total h+1h+1 levels. Therefore, b(T)h+1b(T)\leq h+1.

Now we will show that b(T)h+1b(T)\geq h+1. We prove this by contradiction. Suppose there is a burning sequence S=(x1,x2,,xα)S=(x_{1},x_{2},\ldots,x_{\alpha}), where α<h+1\alpha<h+1. After completing the burning of TT using this burning sequence, the fire that was set on the vertex xjx_{j} can spread to the vertices of the ball Nαj[xj]N_{\alpha-j}[x_{j}], for all jj where 1jα1\leq j\leq\alpha. Note that, Nαj[xj]N_{\alpha-j}[x_{j}] can contain at most 2αj2^{\alpha-j} leaves of TT. Therefore, the total number of leaves that can be burned using the burning sequence SS is at most j=1α2αj=2α1\sum_{j=1}^{\alpha}2^{\alpha-j}=2^{\alpha}-1. But the total number of leaves of TT is 2h2^{h}. Now, 2h2α>2α12^{h}\geq 2^{\alpha}>2^{\alpha}-1. Therefore, all the leaves of TT can not be burned by SS, which is a contradiction. Therefore, b(T)h+1b(T)\geq h+1. \square

A perfect binary tree TT of height hh is of order n=2h+11n=2^{h+1}-1, therefore, we have b(T)=h+1=log2(n+1)nb(T)=h+1=\log_{2}(n+1)\leq\lceil\sqrt{n}\rceil for n19n\geq 19. This validates the burning number conjecture for this graph class.

4 Complete Binary Tree

A complete binary tree is a binary tree in which every level, except the last, is completely filled, and all nodes in the last level are filled from as left as possible. The number of nodes (leaves) at the last level, ranges from 11 to 2h12^{h}-1, where hh is the height of the tree.

See 1.2

Proof

The fact that b(T)h+1b(T)\leq h+1 can be determined by placing the source of fire at the root of TT at the first step of burning.

We will now show that TT cannot be burnt in hh steps. On the contrary, let (x1,x2,,xh)(x_{1},x_{2},\ldots,\\ x_{h}) be an arbitrary burning sequence of TT, i.e., b(T)hb(T)\leq h. After completing the burning of TT using this burning sequence, the fire that was set on the vertex xix_{i} can spread to the vertices of the ball Nhi[xi]N_{h-i}[x_{i}], for all ii where 1ih1\leq i\leq h. Now we show that for xix_{i}, the total number of leaves that can be burnt from the fire spread from xix_{i}, i.e., which are in Nhi[xi]N_{h-i}[x_{i}] is at most 2hi2^{h-i} in number and maximality is attained only when xix_{i} is at i+1i+1 th level. If xix_{i} is at jj th level where 1ji1\leq j\leq i, then any leaf (say ll) that is the descendant of xix_{i} remains unburnt from the fire spread from xix_{i} since, d(xi,l)=h+1jh+1i>(hi)d(x_{i},l)=h+1-j\geq h+1-i>(h-i). Therefore, it is necessary to place xix_{i} at j(i+1)j(\geq i+1) th level to burn the leaves, and furthermore, maximality can only be attained when j=i+1j=i+1. Note that xhx_{h} cannot burn any more vertex except itself. Hence, the total number of leaves and parent-leaves that can be burnt by all the xix_{i}’s up to hh th step of burning is at max i=1h1(2hi+2hi1)+1=2h+2h12\sum_{i=1}^{h-1}(2^{h-i}+2^{h-i-1})+1=2^{h}+2^{h-1}-2. Again, since there is only one leaf is missing at the h+1h+1 th level, the total number of leaves and parent leaves in TT is (2h1)+2h1(2^{h}-1)+2^{h-1}. Therefore, at least 11 vertex (leaf/parent-leaf) is left unburnt after hh th step. Therefore b(T)=h+1b(T)=h+1. \square

See 1.3

Proof

First, we show that hh steps are sufficient to burn TT in this case, i.e., b(T)hb(T)\leq h. Let cc be the root of TT and T1,T2T_{1},T_{2} be two subtrees of TT rooted at the two children c1,c2c_{1},c_{2} of cc. Since TT is a complete binary tree where at least two leaves are absent at its last level, at least one among T1,T2T_{1},T_{2}, let’s say T1T_{1} is of height h1h-1, while T2T_{2} is of height h2h-2 or h1h-1. Let u1,u2,,uh1u_{1},u_{2},\ldots,u_{h-1} be the vertices on a branch of T2T_{2} that does not contain any leaf from h+1h+1 th level (see Figure 1) satisfying dT(c,ui)=id_{T}(c,u_{i})=i and xix_{i} be the sibling node of uiu_{i}. Then d(c,xi)=id(c,x_{i})=i. We set v1=c1,vi=xi,2ih1v_{1}=c_{1},v_{i}=x_{i},2\leq i\leq h-1 and vh=uh1v_{h}=u_{h-1}. Now consider the sequence (v1,v2,,vh1,vh)(v_{1},v_{2},\ldots,v_{h-1},v_{h}). As every subtree rooted at vi,1ih1v_{i},1\leq i\leq h-1 is of height hih-i or hi1h-i-1 and vhv_{h} is a leaf node of T2T_{2}, we get i=1hNhi[vi]=V(T)\bigcup\limits_{i=1}^{h}N_{h-i}[v_{i}]=V(T). Therefore, (v1,v2,,vh)(v_{1},v_{2},\ldots,v_{h}) becomes the burning sequence of TT. Thus, up to hh steps TT must be burnt.

Now we will show that TT cannot be burnt in h1h-1 steps. Let TT^{\prime} be the perfect binary subtree of TT having height h1h-1. If we assume on the contrary that TT can be burnt in h1h-1 steps, then TT^{\prime} should also be burnt in h1h-1 steps. But from Theorem 1.1 we know that b(T)=hb(T^{\prime})=h, which contradicts our assumption. Hence b(T)=hb(T)=h. \square

Refer to caption
Figure 1: Complete Binary Tree

A complete binary tree of height hh that does not contain exactly one leaf in its last level is of order 2h+122^{h+1}-2. Hence b(T)=h+1=log2(n+2)nb(T)=h+1=\log_{2}(n+2)\leq\lceil\sqrt{n}\rceil when n20n\geq 20. For the other complete binary trees, n2hn\geq 2^{h}, therefore, b(T)=hlog2nnb(T)=h\leq\log_{2}n\leq\lceil\sqrt{n}\rceil. Hence, the burning number conjecture holds true for this subclass.

5 Full Binary Tree

A full binary tree is a binary tree in which all of the nodes have either 0 or 22 children. In other words, except for the leaf nodes, all other nodes have two children, and it is not necessary for all leaf nodes to be at the same level.

See 1.4

Proof

Let cc be the root and x1,x2x_{1},x_{2} be the two children of cc in TT. By induction hypothesis, we assume that the result is true for all such trees of height less than hh. Now consider the subtrees T1,T2T_{1},T_{2} of TT having x1,x2x_{1},x_{2} as their roots. It is easy to note that T1,T2T_{1},T_{2} are two disjoint trees. Also, they cannot be perfect binary trees of height h1h-1 simultaneously, as TT is not perfect. Without loss of generality, let T1T_{1} be any full binary tree of height h1h-1 and T2T_{2} be a full binary tree of height h1\leq h-1 which is not perfect. Thus, using the algorithm stated in the proof of Theorem 1.1, T1T_{1} can be burnt in hh steps by only placing fire at x1x_{1} in the 1st1st step. Note that we do not need to set fire to any other vertex of T1T_{1} to burn it in hh steps. Now, by the induction hypothesis, we know b(T2)h1b(T_{2})\leq h-1. Also if T2T_{2} is perfect and of height h2\leq h-2 then it can be burned upto h1h-1 steps by the algorithm stated in the proof of Theorem 1.1. Let the burning sequence to burn T2T_{2} be (y1,,yh1)(y_{1},\ldots,y_{h-1}). Thus, the burning sequence (x1,y1,,yh1)(x_{1},y_{1},\ldots,y_{h-1}) is sufficient to burn TT upto hh steps. Therefore, b(T)hb(T)\leq h. \square

For convenience, we denote the class of full binary tree which is not perfect by the notation FBTNP(Full Binary Tree Not Perfect).

Proposition 1

Given any positive integer kk, there exists a maximal full binary tree T=(V,E)T=(V,E) which is not perfect satisfying |V|=3(2k1)2k|V|=3(2^{k}-1)-2k, that can be burnt in kk steps.

Proof
Refer to caption
Figure 2: Maximal Burning

It is sufficient to create a burning sequence (v1,v2,,vk)(v_{1},v_{2},\ldots,v_{k}) in such a manner so that Nk1[v1]Nk2[v2]N0[vk]=VN_{k-1}[v_{1}]\cup N_{k-2}[v_{2}]\cup\ldots\cup N_{0}[v_{k}]=V for some FBTNP tree TT and |V|=3(2k1)2k|V|=3(2^{k}-1)-2k. Maximality can be guaranteed whenever we are able to prevent all instances of double-burning in TT, i.e., if TT can be constructed in such a way that Nki[vi]Nkj[vj]=N_{k-i}[v_{i}]\cap N_{k-j}[v_{j}]=\emptyset for all iji\neq j.

First, we construct a perfect binary tree T(v1)T(v_{1}) (say) of height k1k-1, rooted at the vertex v1v_{1}. Let v1v_{1}^{\prime} be the neighbor of v1v_{1} apart from the two children of v1v_{1} in T(v1)T(v_{1}). Clearly, v1V(T(v1))v_{1}^{\prime}\notin V(T(v_{1})). Next, we create a perfect binary tree of height k2k-2 rooted at v1v_{1}^{\prime}, say T(v1)T(v_{1}^{\prime}) disjoint from T(v1)T({v_{1}}). It is important to note that, T(v1)T(v_{1}) and T(v1)T(v_{1}^{\prime}) are two separate perfect binary trees and are connected by the edge v1v1v_{1}v_{1}^{\prime}. Let, T1=T(v1)T(v1)T_{1}=T(v_{1})\cup T(v_{1}^{\prime}) be a subtree of TT. It is easy to verify that |Nk1[v1]|=|V(T1)|=|V(T(v1))|+|V(T(v1))|=(2k1)+(2k11)=2k+2k12|N_{k-1}[v_{1}]|=|V(T_{1})|=|V(T(v_{1}))|+|V(T({v_{1}}^{\prime}))|=(2^{k}-1)+(2^{k-1}-1)=2^{k}+2^{k-1}-2 (see Figure 2). We construct the subtrees T2,T3,TkT_{2},T_{3},\ldots T_{k} sequentially in the aforementioned procedure where Ti=Nki[vi]T_{i}=N_{k-i}[v_{i}] and |Ti|=|Nki[vi]|=2(ki)+1+2ki2|T_{i}|=|N_{k-i}[v_{i}]|=2^{(k-i)+1}+2^{k-i}-2 for 2ik2\leq i\leq k. We create an edge between any two leaves of Ti,TjT_{i},T_{j} for all iji\neq j. Thus we build T=T1T2T3TkT=T_{1}\cup T_{2}\cup T_{3}\ldots\cup T_{k}.

One can verify that TT is an FBTNP with the root as one of the leaves of T(v1)T(v_{1}^{\prime}). Furthermore, the total number of vertices of TT is (2k+2k12)+i=2k(2ki+1+2ki2)=3(2k1)2k(2^{k}+2^{k-1}-2)+\sum_{i=2}^{k}(2^{k-i+1}+2^{k-i}-2)=3(2^{k}-1)-2k. Since each of T(vi)T(v_{i}) and T(vi)T(v_{i}^{\prime}) are perfect binary trees of height kik-i and ki1k-i-1 respectively, and viviEv_{i}v_{i}^{\prime}\in E, using Theorem 1.1 we can burn the FBTNP TT in kk steps. The maximality of TT is ensured by the above construction. \square

5.1 Algorithm to burn an FBTNP

Refer to caption
Refer to caption
Refer to caption
Figure 3: Cases in Full Binary Tree (case (a) at the top, case (b)(i) in the middle, case (b)(ii) in the bottom)

In this subsection, we propose an algorithm to burn an FBTNP which is recursive in nature. We construct a burning sequence (v1,,vk)(v_{1},\ldots,v_{k}) of an FBTNP tree TT of height hh for some kk\in\mathbb{N}. Our idea is to burn a portion of the tree TT at each step by using one or two sources of fire. When k<hk<h, we cut the portion from the main tree in such a way that the remaining graph becomes an FBTNP 111except some trivial situations where after generating the sequence (v1,,vk2)(v_{1},\ldots,v_{k-2}), the modified tree may not be an FBTNP. In these cases, it can be P2P_{2} or K1,3K_{1,3} and both can be burned by placing vk1v_{k-1} and vkv_{k} itself with a smaller size. Otherwise, only a single source of fire spreading upto kk steps is sufficient to burn the whole tree. In the Theorem 1.5, we prove that for an FBTNP of order nn, the value of k=nk=\lceil\sqrt{n}\rceil.

Algorithm: Let T=(V,E)T=(V,E) be an FBTNP having Pd+1=(u0,u1,,ud)P_{d+1}=(u_{0},u_{1},\ldots,u_{d}) as the diametral path, where dd is the diameter and hh be the height of TT. Below we will construct a burning sequence (v1,v2,vk)(v_{1},v_{2},\dots v_{k}) of TT for some kk\in\mathbb{N}. For 0id0\leq i\leq d, we define T(ui)T(u_{i}) to be the subtree rooted at uiu_{i}, formed by the branches of TT attached to the vertices u0,u1,,uiu_{0},u_{1},\ldots,u_{i} excluding the branch (ui+1,,ud)(u_{i+1},\ldots,u_{d}). Let ucu_{c} be the root of TT and pip_{i} be the neighbour of uiucu_{i}\neq u_{c}, where piui1p_{i}\neq u_{i-1} or ui+1u_{i+1}. Similarly, another subtree T(ui)T^{\prime}(u_{i}) rooted at uiu_{i} can be formed by the branches attached to the vertices ui,ui+1,,udu_{i},u_{i+1},\ldots,u_{d}, excluding the branch (u0,,ui1)(u_{0},\ldots,u_{i-1}) at uiu_{i} in TT.

In order to burn the tree TT in kk steps, we consider the two circumstances.

11) Let khk\geq h. If the root ucu_{c} lies on the diametral path (u0,,uc,,uk,,ud)(u_{0},\ldots,u_{c},\ldots,u_{k},\ldots,u_{d}). Then either uc=uk1u_{c}=u_{k-1} or it occurs left to uk1u_{k-1} along the path Pd+1P_{d+1}. We place v1v_{1} at ucu_{c} to burn T(uc)T(uc)=TT(u_{c})\cup T^{\prime}(u_{c})=T up to kk steps.

In the other situation, i.e., when the root ucu_{c} is not on the diametral path Pd+1P_{d+1}, then it must be on a branch attached to some ulu_{l}, where 0<l<k0<l<k or dk<l<dd-k<l<d. Without loss of generality, we assume 0<l<k0<l<k and pmp_{m} be the maximum distance vertex on that branch measured from ulu_{l}. We place v1v_{1} at ulu_{l} to burn T(ul)T(ul)=TT(u_{l})\cup T^{\prime}(u_{l})=T up to kk steps.

Choices of v2,,vkv_{2},\ldots,v_{k} in this case, can be arbitrary.

22) Let k<hk<h. We will apply the following technique to form the burning sequence (v1,v2,,vk)(v_{1},v_{2},\ldots,v_{k}) of TT. We start the algorithm from the maximum end of Pd+1P_{d+1}, calculated from the root of TT. If both of the endpoints of Pd+1P_{d+1} are of the same distance from the root, then we can start from any end. Without loss of generality, assume that u0u_{0} is at maximum distance from the root (Refer to Figure 3).

Step I:

a) Let the number of vertices of the subtree T(uk2)T(u_{k-2}) be greater than equal 2k12k-1. Then the order of T(uk2){pk1}T(u_{k-2})\cup\{p_{k-1}\} becomes 2k\geq 2k. One can observe that for this to happen there must exist at least one branch from a vertex uiu_{i}, 1ik21\leq i\leq k-2 having its height 2\geq 2 which is different from Pd+1P_{d+1}. Now we place v1v_{1} at uk1u_{k-1} in order to burn the vertices of T(uk2){pk1}T(u_{k-2})\cup\{p_{k-1}\} upto kk steps.

Next, we update the diametral path Pd+1P_{d+1} to Pdk+2=(uk1,uk,,ud)P_{d-k+2}=(u_{k-1},u_{k},\ldots,u_{d}). It is important to note that we include uk1u_{k-1} in the updated diametral path so that the modified tree T(uk){uk1}T^{\prime}(u_{k})\cup\{u_{k-1}\} preserves all the features of the initial tree TT.

b) Next, we consider the case when the order of the subtree T(uk2)T(u_{k-2}) is less than 2k12k-1. Since k<hk<h, no vertex uiu_{i}, 0ik0\leq i\leq k can be the root of TT. Therefore |V(T(uk2)|2k3|V(T(u_{k-2})|\geq 2k-3 and hence T(uk1){pk}T(u_{k-1})\cup\{p_{k}\} is of order (2k3)+3=2k\geq(2k-3)+3=2k as TT is an FBTNP.

The following situations may further occur.

i) The branch attached to uku_{k} different from Pd+1P_{d+1} is of maximum height k2k-2. Then we place v1v_{1} at uk1u_{k-1} to burn the vertices of T(uk1){pk}T(u_{k-1})\cup\{p_{k}\} upto kk steps.

ii) The branch attached to uku_{k} different from Pd+1P_{d+1} is of height k1k-1 or kk. Let pmp_{m} be the last vertex in the attached branch. Then m=km=k or k1k-1. Apart from pkp_{k}, there must be at least 2k22k-2 vertices in this branch. We place v1v_{1} at pkp_{k} and v2v_{2} at uk2u_{k-2} so that up to kk th step the total number of vertices burnt due to the fire spread from the vertices v1,v2v_{1},v_{2} become 4k4\geq 4k-4.

After this, the diametral path Pd+1P_{d+1} of TT is updated, resulting in the new diametral path Pdk+1=(uk,,ud)P_{d-k+1}=(u_{k},\ldots,u_{d}). In order to ensure that the modified tree T(uk+1){uk}T^{\prime}(u_{k+1})\cup\{u_{k}\} retains all the properties of the original tree TT, we include the vertex uku_{k} in the updated diameter 222in both of these cases, we have placed v1v_{1} or {v1,v2}\{v_{1},v_{2}\} on the branches of TT in a suitable manner so that the modified tree remains a connected FBTNP and the remaining graph completely burns upto kk steps.

Step II: Repeat Step I.

See 1.5

Proof

Let Pd=(u0,u1,,ud)P_{d}=(u_{0},u_{1},\ldots,u_{d}) be the diametral path of TT. We follow the Algorithm 5.1 to burn TT in kk steps. We will use induction on |V(T)||V(T)| to prove the theorem.

Induction Hypothesis : Suppose the result is true for all FBTNP trees having order less than equal t2t^{2}, i.e., if |V(T)|t2|V(T)|\leq t^{2} then we get b(T)tb(T)\leq t.

Inductive Step: Consider an FBTNP tree TT of mm verices such that t2<m(t+1)2t^{2}<m\leq(t+1)^{2}. In order to prove the theorem, it is sufficient to show that TT can be burnt in t+1t+1 steps. Assume k=t+1k=t+1.

First, we consider the situation when khk\geq h. If ucu_{c} is on Pd+1P_{d+1} then h=d(u0,uc)<d(uc,uk)=kh=d(u_{0},u_{c})<d(u_{c},u_{k})=k. In the other situation, d(u0,uc)=h<k=d(u0,uk)d(u_{0},u_{c})=h<k=d(u_{0},u_{k}) imply d(u0,ul)<kd(u_{0},u_{l})<k. Again, d(ul,ud)<d(uc,ud)<hkd(u_{l},u_{d})<d(u_{c},u_{d})<h\leq k. Furthermore, d(ul,um)<kd(u_{l},u_{m})<k follows from the definition of diametral path Pd+1P_{d+1}. More specifically, Nk1[v1]=V(T)N_{k-1}[v_{1}]=V(T) as v1=ulv_{1}=u_{l}. Therefore all the vertices of TT will get burnt up to k=t+1k=t+1 th step due to the fire spread from v1v_{1}.

Next, we consider the case when k<hk<h. For Case (a) and Case (b) (i), the total number of vertices burnt due to the fire spread from v1v_{1} upto t+1t+1 th step is 2(t+1)2t+2\geq 2(t+1)\geq 2t+2. Moreover, since Pd+1P_{d+1} is the diametral path, any branch attached to uk1u_{k-1} is of maximum height k1k-1 and the branch attached to uku_{k} is of maximum height k2k-2 in case (b) (i). Therefore, after placing v1v_{1} at uk1u_{k-1}, the subtree T(uk1)T(u_{k-1}) in case (a) and the subtree T(uk)T(u_{k}) in case (b)(i) will be completely burnt up to kk steps.

One can observe that the order of the modified tree becomes less than equal to m2t2m-2t-2 after updating the diameter for both of the above cases. Since m(t+1)2m\leq(t+1)^{2}, the number of vertices of the modified tree is (t+1)22t2=t21<t2\leq(t+1)^{2}-2t-2=t^{2}-1<t^{2}. Thus, the modified tree can be burnt in tt steps by the induction hypothesis.

For Case (b) (ii), the total number of vertices burnt as a result of the fire spreading from v1,v2v_{1},v_{2} up to t+1t+1 th step is 4(t+1)44t\geq 4(t+1)-4\geq 4t. Also, it is important to note that any branch attached to uku_{k} can be of maximum height kk, as a result, the placement of v1,v2v_{1},v_{2} as described in the algorithm ensures the complete burnability of the subtree T(uk)T(u_{k}) up to kk th step. Due to this burning, the order of the modified tree becomes less than equal m4t(t+1)24t(t1)2m-4t\leq(t+1)^{2}-4t\leq(t-1)^{2}. Therefore, according to the induction hypothesis the modified tree can be burnt in t1t-1 steps.

Conclusion: Thus, by induction the FBTNP TT, having |V(T)|(t+1)2|V(T)|\leq(t+1)^{2} can be burnt in (t+1)(t+1) steps. Hence we get b(T)mb(T)\leq\lceil\sqrt{m}\hskip 3.00003pt\rceil. \square

5.2 Improved Bound Algorithm to burn an FBTNP

Algorithm : Let Pd+1=(u0,u1,,ud)P_{d+1}=(u_{0},u_{1},\ldots,u_{d}) be the diametral path where dd is the diameter and hh be the height of an FBTNP T=(V,E)T=(V,E). We consider the following cases, depending on which we develop a method to burn the tree TT in kk steps. The burning sequence of TT will be built as (v1,v2,vk)(v_{1},v_{2},\ldots v_{k}). If khk\geq h, then we follow the method to burn TT as described in Algorithm 5.1. Now we will consider the situation when k<hk<h. Let Li=(pi,1,pi,2,,pi,h)L_{i}=(p_{i,1},p_{i,2},\ldots,p_{i,h^{\prime}}) be the branch attached to uiu_{i} different from Pd+1P_{d+1} where 1id11\leq i\leq d-1 and h=d(ui,pi,h)h^{\prime}=d(u_{i},p_{i,h^{\prime}}) be the height of LiL_{i} computed from uiu_{i}. To keep the notations simple, we denote the subtree rooted at pi,lp_{i,l}, 1lh1\leq l\leq h^{\prime} by considering all the branches which are attached to the path (pi,l,,pi,h)(p_{i,l},\ldots,p_{i,h^{\prime}}). Other notations will remain the same as in Algorithm 5.1.

Step I:

Case 1: First, we consider the case where T(uk1)T(u_{k-1}) has order 2k+1\geq 2k+1. Here are three situations that may happen. For this to happen, there must be a branch from some uiu_{i}, 1ik11\leq i\leq k-1 of height 2\geq 2 that is different from Pd+1P_{d+1}.

a) If the branch Lk1L_{k-1} attached to uk1u_{k-1} is of height 2\geq 2, then order of T(uk1){uk1}2k+2T(u_{k-1})\setminus\{u_{k-1}\}\geq 2k+2. In this situation, we place v1v_{1} at uk1u_{k-1} to burn 2k+2\geq 2k+2 vertices up to kk steps. Next, we update the diametral path Pd+1P_{d+1} to Pdk+2=(uk1,,ud)P_{d-k+2}=(u_{k-1},\ldots,u_{d}). It is important to note that we include the vertex uk1u_{k-1} in the updated diametrical path so that the modified tree T(uk){uk1}T^{\prime}(u_{k})\cup\{u_{k-1}\} retains all properties of the original tree TT.(Refer Figure 4(a))

Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Refer to caption
(d)
Figure 4: Case 1

b) Next, we consider the situation when Lk1L_{k-1} is of height 11, i.e., a single pendant is attached to uk1u_{k-1}. We observe that T(uk1){pk,1}T(u_{k-1})\cup\{p_{k,1}\} have order 2k+2\geq 2k+2.

If the branch LkL_{k} attached to uku_{k} is of height at most k2k-2, then we place v1v_{1} at uk1u_{k-1} to burn T(uk1){pk,1}T(u_{k-1})\cup\{p_{k,1}\}.(see Figure 4(b)).
Again, if LkL_{k} is of height kk, then we place v1v_{1} at pk,1p_{k,1} and v2v_{2} at uk2u_{k-2} to burn 4k\geq 4k vertices. In both of these situations, we update the diametral path Pd+1P_{d+1} to Pdk+1=(uk,,ud)P_{d-k+1}=(u_{k},\ldots,u_{d}) and the modified FBTNP becomes T(uk+1){uk}T^{\prime}(u_{k+1})\cup\{u_{k}\}. (Refer Figure 4(d))

When LkL_{k} is of height k1k-1 and furthermore there is a branch of height 2\geq 2 at pk,1p_{k,1} different from LkL_{k}, then by placing v1v_{1} at pk,1p_{k,1} and v2v_{2} at uk2u_{k-2} we burn T(uk){uk}T(u_{k})\setminus\{u_{k}\} upto kk steps, i.e. total of 4k\geq 4k vertices, otherwise, we place v1v_{1} at uk1u_{k-1} to burn 4k5\geq 4k-5 many vertices to burn T(uk)T(pk,k2)T(u_{k})\setminus T(p_{k,k-2}) up to kk steps. Next, we place vk1v_{k-1} at pk,k2p_{k,k-2} to burn T(pk,k2)T(p_{k,k-2}). Therefore, total 4k2\geq 4k-2 vertices get burnt by burning T(uk){uk}T(u_{k})\setminus\{u_{k}\} up to kk steps. Also, to burn the modified tree T(uk+1){uk}T^{\prime}(u_{k+1})\cup\{u_{k}\} we use Algorithm 5.1. (Refer Figure 4(c))

Case 2: Next, we consider the case when T(uk1)T(u_{k-1}) have order less than 2k+12k+1. Since k<hk<h, no vertex uiu_{i}, 0ik0\leq i\leq k can be the root of TT. Therefore, number of vertices of T(uk1)T(u_{k-1}) is 2k1\geq 2k-1. In fact, |V(T(uk1)|=2k1|V(T(u_{k-1})|=2k-1 as TT is an FBTNP. Hence the total number of vertices of T(uk)(2k1)+2=2k+1T(u_{k})\geq(2k-1)+2=2k+1. The following situations may arise:

a) First, we consider the situation when the branch LkL_{k} attached to uku_{k} is of height 2\geq 2.

Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Figure 5: Case 2a

If the branch LkL_{k} attached to uku_{k} is of maximum height k2k-2, then order of T(uk){uk}T(u_{k})\setminus\{u_{k}\} is (2k1)+3=2k+2\geq(2k-1)+3=2k+2. We place v1v_{1} at uk1u_{k-1} to burn 2k+2\geq 2k+2 vertices to burn T(uk){uk}T(u_{k})\setminus\{u_{k}\} up to kk steps. Next, we update the diametral path Pd+1P_{d+1} to Pdk+1=(uk,,ud)P_{d-k+1}=(u_{k},\ldots,u_{d}) so that the modified FBTNP becomes T(uk+1){uk}T^{\prime}(u_{k+1})\cup\{u_{k}\}. (Refer Figure 5(a))

Now, consider the situation when LkL_{k} is of height kk. If there is a branch of height 2\geq 2 from any pk,ip_{k,i} where 1ik21\leq i\leq k-2, then |V(T(pk,1)|2k+1|V(T(p_{k,1})|\geq 2k+1. We can modify the diametral path Pd+1P_{d+1} to (pk,k,,pk,1,uk,,ud)(p_{k,k},\ldots,p_{k,1},u_{k},\ldots,u_{d}) and hence we can apply Case 11 by taking |V(T(pk,1)|2k+1|V(T(p_{k,1})|\geq 2k+1. In another situation, order of T(uk){uk}T(u_{k})\setminus\{u_{k}\} is (2k1)+(2k1)=4k2(2k-1)+(2k-1)=4k-2. Therefore, we place v1v_{1} at uk1u_{k-1} and vk1v_{k-1} at pk,k1p_{k,k-1} and vkv_{k} at the pendant attached to pk,k2p_{k,k-2} to burn 4k24k-2 vertices up to kk steps. (Refer Figure 5(c))

Again, if LkL_{k} is of height k1k-1, we place v1v_{1} at uku_{k} and vk1v_{k-1} at u1u_{1} to burn 4k44k-4 vertices of the subtree T(uk){uk}T(u_{k})\setminus\{u_{k}\}. In both of these circumstances, we update the diametral path to Pdk+1P_{d-k+1} and to burn the modified FBTNP T(uk+1){uk}T^{\prime}(u_{k+1})\cup\{u_{k}\} we apply Algorithm 5.1. (Refer Figure 5(b))

b) If there is only one pendant attached to uku_{k}, i.e., |V(T(uk)|=2k+1|V(T(u_{k})|=2k+1. Let uk+1u_{k+1} be the root of TT. Then we place v1v_{1} at uk1u_{k-1} to burn to burn 2k+22k+2 vertices of the subtree T(uk+1)T(u_{k+1}) in kk steps. We update the diametral path Pd+1P_{d+1} to Lk+2(uk+2,,ud)L_{k+2}\cup(u_{k+2},\ldots,u_{d}) and hence the modified FBTNP becomes T(uk+2)T^{\prime}(u_{k+2}).

Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Refer to caption
(d)
Refer to caption
(e)
Figure 6: Case 2b

Now, consider the situation when uk+1u_{k+1} is not the root of TT. Let T(uk){pk+1,1}T(u_{k})\cup\{p_{k+1,1}\} has order 2k+2\geq 2k+2. Since k<hk<h, no vertex of the path Lk+1L_{k+1} can be the root of TT.

If the branch Lk+1L_{k+1} attached to uk+1u_{k+1} is of height k3\leq k-3, then we place v1v_{1} at uk1u_{k-1} to burn T(uk+1)T(u_{k+1}) up to kk steps. Next, we update the diametral path Pd+1P_{d+1} to Pdk=(uk+1,,ud)P_{d-k}=(u_{k+1},\ldots,u_{d}) so that the modified FBTNP becomes T(uk+2){uk+1}T^{\prime}(u_{k+2})\cup\{u_{k+1}\}. (Refer Figure 6(a))

If Lk+1L_{k+1} is of height k+1k+1. Let the subtree T(uk)T(pk+1,1)T(u_{k})\cup T(p_{k+1,1}) have order exactly equals 4k+24k+2. Then every branch from the internal nodes of Lk+1L_{k+1} is of height exactly equals 11. We place v1v_{1} at pk+1,2p_{k+1,2} and v2v_{2} at uk2u_{k-2} to burn T(uk+1){uk}T(u_{k+1})\setminus\{u_{k}\} up to kk steps. Hence the modified FBTNP is T(uk+2){uk+1}T^{\prime}(u_{k+2})\cup\{u_{k+1}\}. (Refer Figure 6(e))

Again, if the subtree T(uk)T(pk+1,1)T(u_{k})\cup T(p_{k+1,1}) has its order >4k+2>4k+2, then there must be some branch from the vertices of Lk+1L_{k+1} of height 2\geq 2, different from Lk+1L_{k+1} as |V(T(uk)|=2k+1|V(T(u_{k})|=2k+1. Now, if the order of the subtree T(pk+1,2)2k+1T(p_{k+1,2})\geq 2k+1, then we update the diametral path Pd+1P_{d+1} to Lk+1(uk+1,,ud)L_{k+1}\cup(u_{k+1},\ldots,u_{d}) and apply Case 11, otherwise, i.e., when the order of the subtree T(pk+1,1)2k+3T(p_{{k+1},1})\geq 2k+3 and |V(T(pk+1,2))|=2k1|V(T(p_{k+1,2}))|=2k-1, then also we update the the diametral path Pd+1P_{d+1} to Lk+1(uk+1,,ud)L_{k+1}\cup(u_{k+1},\ldots,u_{d}) and apply Case 22(a).

If the branch Lk+1L_{k+1} is of height kk, then the order of the subtree T(uk)T(pk+1,1)T(u_{k})\cup T(p_{k+1,1}) has order 4k\geq 4k. We place v1v_{1} at pk+1,1p_{k+1,1} and v2v_{2} at uk2u_{k-2} to burn T(uk+1){uk+1}T(u_{k+1})\setminus\{u_{k+1}\} up to kk steps. After this, we update the diametral path Pd+1P_{d+1} to PdkP_{d-k} so that the modified tree T(uk+2){uk+1}T^{\prime}(u_{k+2})\cup\{u_{k+1}\} preserves all properties of the initial tree TT. (Refer Figure 6(d))

When the branch Lk+1L_{k+1} is of height k1k-1, then if the order of the subtree T(uk)T(pk+1,1)T(u_{k})\cup T(p_{k+1,1}) has order 4k2(2k+2)4k-2(\geq 2k+2), then we place v1v_{1} at uk+1u_{k+1} and vk1v_{k-1} at u1u_{1} and vkv_{k} at the leaf of u2u_{2} to burn T(uk+1){uk}T(u_{k+1})\setminus\{u_{k}\} up to kk steps (Refer Figure 6(c)). After this placement, we update the diametral path to PdkP_{d-k} and the modified FBTNP becomes T(uk+2){uk+1}T^{\prime}(u_{k+2})\cup\{u_{k+1}\}.

If the branch Lk+1L_{k+1} is of height k2k-2, then T(uk)T(pk+1,1)T(u_{k})\cup T(p_{k+1,1}) has order 4k4\geq 4k-4. We place v1v_{1} at uku_{k} and vk1v_{k-1} at u1u_{1} to burn T(uk)T(pk+1,1)T(u_{k})\cup T(p_{k+1,1}) up to kk steps (Refer Figure 6(b)). Next, we update the diametral path to PdkP_{d-k} so that the modified FBTNP becomes T(uk+2){uk+1}T^{\prime}(u_{k+2})\cup\{u_{k+1}\}.

Step II: Repeat Step I.

See 1.6

Proof

Let Pd+1=(u0,u1,,ud)P_{d+1}=(u_{0},u_{1},\ldots,u_{d}) be the diametral path of TT. We follow the Algorithm 5.2 to burn TT in kk steps. We will use induction on |V(T)||V(T)| to prove the theorem.

Induction Hypothesis : Suppose, all FBTNP trees having order less than equal (t+1)29(t+1)^{2}-9, i.e. |V(T)|(t+1)29|V(T)|\leq(t+1)^{2}-9 can be burnt in tt steps.

Inductive Step: Consider a tree TT with mm vertices such that (t+1)29<m(t+2)29(t+1)^{2}-9<m\leq(t+2)^{2}-9. In order to prove the theorem, it is sufficient to show that TT can be burnt in t+1t+1 steps. We set k=t+1k=t+1. For khk\geq h, the verification is similar to what we did in Theorem 1.5.

Consider the case when k<hk<h. In the first step of Algorithm 5.2, different vertices have been chosen as sources of fire as per requirement. The choices are made among the following sources {v1,v2,vk1,vk}\{v_{1},v_{2},v_{k-1},v_{k}\} before updating the diametral path of TT for the first time. We have burnt a certain number of vertices in each of the cases in such a manner so that the modified FBTNP remains connected and the remaining graph gets burnt completely up to kk steps. In each of the cases, we prove k=n+91k=\lceil\sqrt{n+9}\rceil-1.

We select v1v_{1} as a source of fire to burn 2k+2\geq 2k+2 vertices for some cases. Therefore, the number of vertices burnt due to the fire spread from v1v_{1} up to t+1t+1 th step is 2t+4\geq 2t+4. Therefore, the order of the modified tree becomes less than equal m(2t+4)m-(2t+4). Since m(t+2)29m\leq(t+2)^{2}-9, the number of vertices of the modified tree is (t+2)29(2t+4)=(t+1)210<(t+1)29\leq(t+2)^{2}-9-(2t+4)=(t+1)^{2}-10<(t+1)^{2}-9. Hence, it can be burnt in tt steps by induction hypothesis.

We select v1v_{1} and v2v_{2} at suitable places over the branches of TT to burn 4k\geq 4k vertices. Therefore, the number of vertices burnt up to t+1t+1 th step from the fire spread from v1,v2v_{1},v_{2} is 4t+4\geq 4t+4. Hence the order of the modified tree is m(4t+4)(t+2)294t4=t29\leq m-(4t+4)\leq(t+2)^{2}-9-4t-4=t^{2}-9. Therefore, the modified tree can be burnt in t1t-1 steps by induction hypothesis.

The remaining cases have been proved with the help of Theorem 1.5.

We select v1v_{1} and vk1v_{k-1} at appropriate locations over the branches of TT to burn 4k4\geq 4k-4 vertices. Therefore, the number of vertices burnt up to t+1t+1 th step from the fire spread from v1,vtv_{1},v_{t} is 4t\geq 4t. Hence the order of the modified tree is m4t(t+2)294t=t25<t2\leq m-4t\leq(t+2)^{2}-9-4t=t^{2}-5<t^{2}.

Again, in some situations, to burn 4k24k-2 vertices, we choose v1,vk1,vkv_{1},v_{k-1},v_{k} suitably at proper places on the branches of TT. Hence, the number of vertices burnt up to t+1t+1 th step from the fire spread from v1,vt,vt+1v_{1},v_{t},v_{t+1} is 4t+2\geq 4t+2. Therefore, the order of the modified tree is m(4t+2)(t+2)294t=t27<t2m-(4t+2)\leq(t+2)^{2}-9-4t=t^{2}-7<t^{2}. = (

We see in both of the above cases the modified tree has order t25\leq t^{2}-5. Now, we claim that (v2,,vt2)(v_{2},\ldots,v_{t-2}) is sufficient to burn the modified tree. From the proof of Theorem 1.5, we know, we can burn a tree of order t2t^{2} in tt steps (i.e., (v1,,vt)(v_{1}^{\prime},\ldots,v_{t}^{\prime}). Note that, the sources vt1v_{t-1}^{\prime} and vtv_{t}^{\prime} burn a maximum of 55 vertices in an FBTNP. Thus, using (v1,,vt2)(v_{1}^{\prime},\ldots,v_{t-2}^{\prime}) is enough to burn a tree using a tree of order t25t^{2}-5. It is easy to observe that the burning sequence (v2,v3,vt+1)(v_{2},v_{3},\ldots v_{t+1}) is equivalent to (v1,v2,,vt)(v_{1}^{\prime},v_{2}^{\prime},\ldots,v_{t}^{\prime}).

Conclusion: Thus, by induction we are able to prove that an FBTNP TT having |V(T)|(t+2)29|V(T)|\leq(t+2)^{2}-9 can be burnt in t+1t+1 steps. Hence we get b(T)n+91b(T)\leq\lceil\sqrt{n+9}\rceil-1. \square

6 General Tree

We now extend our results to the more general tree. The kk-ary tree is a rooted tree, where each node can hold at most kk number of children. We define a special type of kk-ary tree, where each internal node can hold at least 22 children and at most kk children, we name this tree as (3,k)(3,k)-ary tree. Note that, Algorithm 5.2 works for this special kind of kk-ary.

In 2018, Bessy et al. proved [3] that b(T)n+n2+1/4+1/2b(T)\leq\lceil\sqrt{n+n_{2}+1/4}+1/2\rceil for a tree TT where n2n_{2} is the number of degree 22 vertices in TT. Using Theorem 1.6, we improve this bound for the trees having the number of vertices at least 5050. See 1.7

Proof

Let a tree TT of order nn has n2n_{2} nodes of degree 22. We add a pendent vertex to each of n21n_{2}-1 nodes leaving out 11 node as the root, thus transforming TT to a (3,k)(3,k)-ary TT^{\prime} of order n+n21n+n_{2}-1. We know that Algorithm 5.2 works for (3,k)(3,k)-ary tree. By Theorem 1.7 we can burn TT^{\prime} in (n+n21)+91=n+n2+81\lceil\sqrt{(n+n_{2}-1)+9}\rceil-1=\lceil\sqrt{n+n_{2}+8}\rceil-1 steps. \square

The burning number of a connected graph G equals the burning number of a spanning tree of G; see [5]. Hence, we derive the following results for a connected graph. As, n2n2n_{2}\leq n-2, thus a tree of order nn can be burnt in 2n+61\lceil\sqrt{2n+6}\rceil-1 steps which is an improvement over [3]. Also, when n2n/3n_{2}\leq n/3, then b(T)4n/3+81b(T)\leq\lceil\sqrt{4n/3+8}\rceil-1 which is an improvement over [6] under the given condition.

7 Conclusion

To sum up, the burning number conjecture has been proved for the perfect binary tree, complete binary tree, and FBTNP. For an FBTNP, an improved algorithm has been given which in turn has improved the bound from the original conjecture.

The burning number conjecture could also be studied for the other interesting subclasses of trees.

References

  • [1] Banerjee, S., Gopalan, A., Das, A.K., Shakkottai, S.: Epidemic spreading with external agents. IEEE Transactions on Information Theory 60(7), 4125–4138 (2014)
  • [2] Bessy, S., Bonato, A., Janssen, J., Rautenbach, D., Roshanbin, E.: Burning a graph is hard. Discrete Applied Mathematics 232, 73–87 (2017)
  • [3] Bessy, S., Bonato, A., Janssen, J., Rautenbach, D., Roshanbin, E.: Bounds on the burning number. Discrete Applied Mathematics 235, 16–22 (2018)
  • [4] Bonato, A., Janssen, J., Roshanbin, E.: Burning a graph as a model of social contagion. In: Algorithms and Models for the Web Graph: 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings 11. pp. 13–22. Springer (2014)
  • [5] Bonato, A., Janssen, J., Roshanbin, E.: How to burn a graph. Internet Mathematics 12(1-2), 85–100 (2016)
  • [6] Bonato, A., Kamali, S.: An improved bound on the burning number of graphs. arXiv preprint arXiv:2110.01087 (2021)
  • [7] Bonato, A., Lidbetter, T.: Bounds on the burning numbers of spiders and path-forests. Theoretical Computer Science 794, 12–19 (2019)
  • [8] Cormen, T., Leiserson, C., Rivest, R., Stein, C.: Introduction To Algorithms. Mit Electrical Engineering and Computer Science, MIT Press (2001)
  • [9] Das, S., Dev, S.R., Sadhukhan, A., Sahoo, U.K., Sen, S.: Burning spiders. In: Algorithms and Discrete Applied Mathematics: 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings. pp. 155–163. Springer (2018)
  • [10] Domingos, P., Richardson, M.: Mining the network value of customers. In: Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining. pp. 57–66 (2001)
  • [11] Kempe, D., Kleinberg, J., Tardos, É.: Maximizing the spread of influence through a social network. In: Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining. pp. 137–146 (2003)
  • [12] Kempe, D., Kleinberg, J., Tardos, É.: Influential nodes in a diffusion model for social networks. In: Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings 32. pp. 1127–1138. Springer (2005)
  • [13] Kramer, A.D., Guillory, J.E., Hancock, J.T.: Experimental evidence of massive-scale emotional contagion through social networks. Proceedings of the National academy of Sciences of the United States of America 111(24),  8788 (2014)
  • [14] Liu, H., Hu, X., Hu, X.: Burning number of caterpillars. Discrete Applied Mathematics 284, 332–340 (2020)
  • [15] Mossel, E., Roch, S.: On the submodularity of influence in social networks. In: Proceedings of the thirty-ninth annual ACM symposium on Theory of computing. pp. 128–134 (2007)
  • [16] Richardson, M., Domingos, P.: Mining knowledge-sharing sites for viral marketing. In: Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining. pp. 61–70 (2002)
  • [17] Tan, T.S., Teh, W.C.: Burnability of double spiders and path forests. Applied Mathematics and Computation 438, 127574 (2023)
  • [18] West, D.: Introduction to graph theory. 2nd edn. Pearson Education, London (2002)