 percolating sets can have different sizes. For example, another minimal percolating set with $5$ vertices appears in Figure \[ex1\] (b).

![(a) In this tree, having nodes $2,4,5$ infected (shaded in red) initially is sufficient to ensure that the whole tree is infected. (b) This minimal percolating set shaded in red is of size $5$.[]{data-label="ex1"}](Fig8.jpg)

In what follows we shall work with general finite trees $T(V,E)$ with set of vertices $V$ and set of edges $E$. In particular, we shall consider the smallest minimal percolating sets in the following section.

Algorithms for Finding Smallest Minimal Percolating Set {#minimal2}
=======================================================

Consider $F(t)$-bootstrap percolation on a tree $T(V,E)$ with initially infected set $A_0\subset V$. As before, we shall denote by $A_t$ be the set of nodes infected at time $t$. For simplicity, we shall use here the word “infected” synonymously with “infected”. In order to build an algorithm to find smallest percolating sets, we first need to introduce a few definitions that will simplify the notation at later stages.

We shall denote by $L(a)$ the largest time $t$ such that $a \leq F(t),$ and if there does not exist such a time $t$, then set $L(a)=\infty$. Similarly, define $B(a)$ as the smallest time $t$ such that $a \leq F(t)$, and if such a time $t$ does not exist, set $B(a)=\infty$.

Given $a,b\in \mathbb{N}$, if $a<b$ then $L(a) \geq L(b)$. Indeed, this holds because if a node can be infected to with $b$ neighbors, it can with $a$ neighbors where $a<b$. Note that in general, a smallest percolating set $A_0$ must be a minimal percolating set. To see this, suppose not. Then there exists some $v$ in $A_0$ such that $A_0 -\{v\}$ percolates the graph. That means that $A_0 -\{v\}$, a smaller set that $A_0$, is a percolating set
percolating sets can have different size. For case, another minimal percolating set with $ 5 $ vertices appears in Figure \[ex1\ ] (b-complex vitamin). 

! [ (a) In this tree, having nodes $ 2,4,5 $ infected (shade in loss) initially is sufficient to ensure that the unharmed tree is infected. (b) This minimal percolating set up shaded in red is of size $ 5$.[]{data - label="ex1"}](Fig8.jpg) 

 In what follow we shall work with general finite trees $ T(V, E)$ with set of vertices $ V$ and set of edge $ E$. In particular, we shall consider the smallest minimal percolating sets in the be section. 

 Algorithms for Finding Smallest Minimal Percolating Set { # minimal2 } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Consider $ F(t)$-bootstrap percolation on a tree $ T(V, E)$ with initially infected put $ A_0\subset V$. As before, we shall denote by $ A_t$ be the set of nodes infected at meter $ t$. For simplicity, we shall use here the word “ infected ” synonymously with “ infected ”. In order to build an algorithm to find smallest percolating sets, we first need to introduce a few definitions that will simplify the notation at later stages. 

 We shall announce by $ L(a)$ the large time $ t$ such that $ a \leq F(t),$ and if there does not exist such a prison term $ t$, then specify $ L(a)=\infty$. Similarly, define $ B(a)$ as the smallest time $ t$ such that $ a \leq F(t)$, and if such a meter $ t$ does not exist, set $ B(a)=\infty$. 

 Given $ a, b\in \mathbb{N}$, if $ a < b$ then $ L(a) \geq L(b)$. Indeed, this holds because if a node can be infect to with $ b$ neighbors, it can with $ a$ neighbors where $ a < b$. Note that in general, a smallest percolating set $ A_0 $ must be a minimal percolating bent. To see this, suppose not. Then there exists some $ v$ in $ A_0 $ such that $ A_0 -\{v\}$ percolates the graph. That mean that $ A_0 -\{v\}$, a smaller stage set that $ A_0 $, is a percolating set
 pegcolating sets can have aifferent sizes. For exemple, ahother mknimal percolating set with $5$ vwrtictf appears in Figurd \[ex1\] (b).

![(a) Ij this teee, iaving nodes $2,4,5$ inhscted (smcded jk red) mnitially is sunficient to ensure that tve wkole tree is infected. (b) This minimal percolstlng set shaded in geq is of size $5$.[]{data-label="ex1"}](Fig8.jpg)

In what rollows we shall worl with general finite treed $T(V,F)$ with set of vertlces $V$ and wet jd edges $E$. In particulag, we shall donsider the smallest minimal pdrcolcting sets un thf following wectijn.

Algorithms for Finging Smsllest Minimal Peccolqting Set {#minimal2}
=======================================================

Consmder $F(t)$-bootstrap persolation mn a tree $T(V,E)$ with unutialny itfecgwd ret $A_0\xugset V$. As before, we shall denore by $A_t$ be the set os nodes infectsd at eiie $t$. For simplicity, we shall use here tve sord “infected” synonymouwly with “infected”. In lrder to fuild an algorithm to find smallest percolating sats, wx wirwt vwef to introduce a few definitions that will siillofj the notation at later stagrs.

Ae fhall denote cy $L(a)$ cge largest time $t$ sufh that $a \lew F(t),$ and yf tnere does not exist such a rime $t$, then fwt $L(a)=\infty$. Similarpy, define $B(c)$ as tne smsllest time $t$ such that $a \lsq F(t)$, and iv such a fkme $t$ does not ebisn, sed $B(a)=\infty$.

Given $a,b\in \mathbb{G}$, if $a<b$ tien $L(c) \geq L(b)$. Indged, thif holds befause if a node can be ijfectgd to fith $b$ neihhbors, it can with $a$ neighbors xiere $a<b$. Note jhad it generaj, a skallest percojating set $A_0$ most be a iinimxl percolaning set. Vo see this, fuppose not. Tvgn there exisvs some $v$ in $Q_0$ suxh that $X_0 -\{v\}$ percolates the grapk. Thar means that $A_0 -\{v\}$, a smxmler set that $A_0$, is a percolating xet
percolating sets can have different sizes. For minimal set with vertices appears in this having nodes $2,4,5$ (shaded in red) is sufficient to ensure that the tree is infected. (b) This minimal percolating set shaded in red is of $5$.[]{data-label="ex1"}](Fig8.jpg) In what follows we shall work with general finite trees $T(V,E)$ with of $V$ set edges $E$. In particular, we shall consider the smallest minimal percolating sets in the following section. for Finding Smallest Minimal Percolating Set {#minimal2} ======================================================= $F(t)$-bootstrap percolation on a $T(V,E)$ with initially infected set V$. before, we denote $A_t$ the set of infected at time $t$. For simplicity, we shall use here the word “infected” synonymously with “infected”. In to build to find percolating we need to introduce definitions that will simplify the notation We shall denote by $L(a)$ the largest time such that \leq F(t),$ and if there does exist such a time $t$, then set $L(a)=\infty$. define $B(a)$ as the smallest time $t$ such that $a \leq F(t)$, and if such $t$ does not exist, $B(a)=\infty$. Given $a,b\in if then \geq Indeed, this because if a node can be infected to with $b$ neighbors, can with $a$ neighbors where $a<b$. Note that in general, percolating $A_0$ must be minimal percolating set. To this, not. Then there exists in such percolates graph. means that $A_0 -\{v\}$, smaller set that $A_0$, is percolating set
 percolating sets can have difFerent sizeS. For eXamPle, AnOtheR minImal percolatinG Set wIth $5$ vertices appears in FiGure \[eX1\] (b).

![(A) in thIS tRee, haVing nodES $2,4,5$ iNFEctEd (ShAdeD iN ReD) initIalLy is sufFicient to eNsuRe That the whole TReE is infecteD. (b) THis minimal peRcoLating SeT shADed in Red Is of sIze $5$.[]{datA-Label="eX1"}](Fig8.jpg)

In WhAT folloWS we shalL WOrK witH general finite treES $T(v,e)$ with set of vertIces $V$ aNd SEt OF EdgEs $E$. in particulAr, We shaLL considER tHE SMalLEst minimal perColating setS In tHe follOwIng SEction.

algorItHMs fOr Finding SmAlleSt Minimal percolATing Set {#MInimal2}
=======================================================

COnsideR $F(t)$-BooTstrAP pErColAtIOn oN A tRee $t(v,E)$ wIth initiAlLy InfecTed sET $a_0\SUbseT V$. AS befOre, we Shall denote by $a_t$ bE the SEt oF nodeS infeCted At Time $t$. for simPliciTy, We shall use here tHe woRd “infecteD” syNoNymOuSly wiTH “infecTed”. in oRder to bUild an aLGorItHM TO fInd smallest percolaTiNG SeTs, we firsT need tO InTrODuce a few DeFinItioNS That wIll sIMpLify the nOtatioN At LaTer stagEs.

we shalL dEnoTe bY $L(a)$ thE LargEst timE $t$ such thAt $a \leQ f(t),$ and if there doES not exist such A TiME $T$, tHEn seT $L(a)=\Infty$. SimilaRly, dEFine $b(a)$ as THe SmaLLest tIme $t$ sUcH ThAT $a \leq F(t)$, and if such a tiMe $T$ does nOt exiSt, set $B(a)=\infty$.

GIven $a,b\in \maTHBB{N}$, if $a<b$ thEn $L(a) \GEq l(B)$. Indeed, this holDs becAuse if a nodE Can be infEcted To with $b$ nEighbors, iT CAn with $a$ nEigHboRs wHerE $A<B$. NOte that in geneRAL, a smAlLest perColAting seT $A_0$ mUst Be a MinImAl percolaTing set. TO sEe ThIs, SupPose nOT. Then theRe ExiStS soMe $v$ in $a_0$ Such thAt $A_0 -\{v\}$ pErcoLaTeS The Graph. ThAT mEANs thAt $a_0 -\{v\}$, A smaLleR sEt thaT $A_0$, is A PerColatinG set
 percolating sets can have  different  size s.For  e xamp le,another minima l  per colating set with $5$verti ce s  app e ar s inFigure\ [e x 1 \](b ). 

! [( a )In th istree, h aving node s $ 2, 4,5$ infecte d  ( shaded inred ) initiallyissuffic ie ntt o ens ure  that  the w h ole tr ee is inf ec t ed. (b )  This m i n im al p ercolating set sh a de d  in red is ofsize $ 5$ . [] { d ata -la bel="ex1"} ]( Fig8. j pg)

In wh a t fol l ows we shallwork with g e ner al fin it e t r ees $T (V,E) $w ith  set of ver tice s $V$ and  set o f  edges$ E$. Inpartic ula r,we s h al lcon si d ert he  sm a lle st minim al  p ercol atin g s e ts i n t he f ollow ing section.
Al gori t hms  forFindi ng S ma llest  Minim al Pe rc olating Set {#m inim al2}
==== === == === == ===== = ====== === === ======= ======= = === == = = = 
Consider $F(t)$-bo ot s t ra p percol ationo nat ree $T(V ,E )$with i nitia llyi nf ected se t $A_0 \ su bs et V$.As  befor e,  we  sh all d e note  by $A _t$ be t he se t  of nodes infe c ted at time $ t $. F or simp lic ity, we sha ll u s e he re t h ewor d  “inf ected ”s yn o nymously with “infe ct ed”. I n ord er to build a n algorith m t o find s mall e st percolating se ts, w e first ne e d to int roduc e a fewdefinitio n s  that wi llsim pli fyt h enotation at l a t er s ta ges.

W e s hall de not e b y $ L(a )$  the larg est time  $ t$  s uc h t hat $ a  \leq F( t) ,$an d i f the r e does  notexis tsu c h a  time $ t $, t hense t$L(a )=\ in fty$.  Sim i lar ly, def ine $B(a) $ a s  the  s ma llest t ime $t$ suchth at $a \leq  F (t) $, and i f such a  time $t$ does not exis t , set $ B(a )=\in fty$ .

Given$a, b\in \ mat h bb{N}$ , if $ a<b$th en$ L (a) \ g e qL(b )$ . Indeed,t h isholds  b ecau se if a  node can be infec t edto with $b$ n eig hbor s ,  i t c a nw ith  $ a $ n e i ghbors where $a <b$. Noteth a tin general ,  asm allestpercola tings et $A_0 $ must be  a minima lperc o l ati ng set. To  see thi s, suppos e  not. Th en th ere  exist ssom e $v$  in $A _ 0$suchthat $ A_ 0 -\{v \}$ p er colatesthe graph. That means t hat $A _0 -\ {v\ }$, a sma lle r  se t that $A _0$,  is a perc ola tin g set 
 percolating_sets can_have different sizes. For_example, another_minimal_percolating set_with_$5$ vertices appears_in Figure \[ex1\]_(b).

![(a) In this tree,_having nodes $2,4,5$_infected_(shaded in red) initially is sufficient to ensure that the whole tree is infected._(b)_This minimal_percolating_set_shaded in red is of_size $5$.[]{data-label="ex1"}](Fig8.jpg)

In what follows we_shall work_with general finite trees $T(V,E)$ with set of_vertices_$V$ and set_of edges $E$. In particular, we shall consider the_smallest minimal percolating sets in the_following section.

Algorithms for_Finding_Smallest_Minimal Percolating Set {#minimal2}
=======================================================

Consider_$F(t)$-bootstrap percolation on a tree $T(V,E)$_with initially infected set $A_0\subset V$._As before, we shall denote by $A_t$_be the set of nodes infected_at time $t$. For simplicity,_we shall_use here the word “infected”_synonymously with “infected”._In order_to build an_algorithm to find smallest percolating sets,_we first need_to introduce a few definitions that_will_simplify the notation_at_later_stages.

We shall_denote by $L(a)$_the_largest time_$t$_such that $a \leq F(t),$ and_if_there does not exist such a time_$t$, then set $L(a)=\infty$._Similarly,_define $B(a)$ as the_smallest time $t$ such that_$a \leq F(t)$, and if such_a time_$t$ does_not exist, set $B(a)=\infty$.

Given $a,b\in \mathbb{N}$, if $a<b$ then $L(a) \geq_L(b)$. Indeed, this holds because if_a node can be_infected to_with_$b$ neighbors, it_can_with $a$_neighbors where $a<b$. Note that in general,_a smallest_percolating set $A_0$ must be a_minimal percolating set. To_see_this, suppose not. Then there exists_some $v$ in $A_0$ such that_$A_0 -\{v\}$ percolates the graph._That_means_that $A_0 -\{v\}$, a smaller_set that $A_0$, is a percolating_set