<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20241031//EN" "JATS-journalpublishing1-4.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" dtd-version="1.4" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">am</journal-id>
      <journal-title-group>
        <journal-title>Applied Mathematics</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2152-7393</issn>
      <issn pub-type="ppub">2152-7385</issn>
      <publisher>
        <publisher-name>Scientific Research Publishing</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.4236/am.2025.1612045</article-id>
      <article-id pub-id-type="publisher-id">am-148121</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>Physics</subject>
          <subject>Mathematics</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>The Independent Cascade Graph Burning for Operation Graphs</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Zhu</surname>
            <given-names>Qiuye</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Wu</surname>
            <given-names>Jiaqing</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Li</surname>
            <given-names>Yinkui</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Department of Mathematics, Qinghai Minzu University, Xining, China </aff>
      <author-notes>
        <fn fn-type="conflict" id="fn-conflict">
          <p>The authors declare no conflicts of interest regarding the publication of this paper.</p>
        </fn>
      </author-notes>
      <pub-date pub-type="epub">
        <day>22</day>
        <month>12</month>
        <year>2025</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>12</month>
        <year>2025</year>
      </pub-date>
      <volume>16</volume>
      <issue>12</issue>
      <fpage>867</fpage>
      <lpage>876</lpage>
      <history>
        <date date-type="received">
          <day>21</day>
          <month>11</month>
          <year>2025</year>
        </date>
        <date date-type="accepted">
          <day>19</day>
          <month>12</month>
          <year>2025</year>
        </date>
        <date date-type="published">
          <day>22</day>
          <month>12</month>
          <year>2025</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© 2025 by the authors and Scientific Research Publishing Inc.</copyright-statement>
        <copyright-year>2025</copyright-year>
        <license license-type="open-access">
          <license-p> This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link> ). </license-p>
        </license>
      </permissions>
      <self-uri content-type="doi" xlink:href="https://doi.org/10.4236/am.2025.1612045">https://doi.org/10.4236/am.2025.1612045</self-uri>
      <abstract>
        <p>Graph burning is a model to describe the spread of social influence. In 2023, Song <italic>et al.</italic> proposed the Independent Cascade Graph Burning model, where a vertex <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>v</p>
        <p>can be burned by its burning neighbors <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>u</p>
        <p>and the influence that <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>u</p>
        <p>gives to <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>v</p>
        <p>is larger than a given threshold <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>β</p>
        <p>. The minimum number of time steps that can be chosen as rounds to burn the whole graph <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>G</p>
        <p>with the Independent Cascade Graph Burning model called the IC burning number <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>b</p>
        <p>β</p>
        <p>(</p>
        <p>G</p>
        <p>)</p>
        <p>. In this paper, we determined the IC burning number for some graphs and operation graphs.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>IC Burning Number</kwd>
        <kwd>Binary Tree</kwd>
        <kwd>Spider</kwd>
        <kwd>Sunflower Graph</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. Introduction</title>
      <p>Graph burning is a discrete-time process on graphs [<xref ref-type="bibr" rid="B1">1</xref>], Bonato <italic>et al.</italic> introduced the concept of the burning number to measures the speed of contagion spread on a graph and denoted the burning number of graph <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> by <inline-formula><mml:math><mml:mrow><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> in [<xref ref-type="bibr" rid="B2">2</xref>], some special classes of graphs has been studied, such as spider graphs [<xref ref-type="bibr" rid="B3">3</xref>], path forest [<xref ref-type="bibr" rid="B4">4</xref>], generalized Petersen graphs [<xref ref-type="bibr" rid="B5">5</xref>], theta graphs [<xref ref-type="bibr" rid="B6">6</xref>], caterpillars [<xref ref-type="bibr" rid="B7">7</xref>] and fence graphs [<xref ref-type="bibr" rid="B8">8</xref>]. For a survey on graph burning see [<xref ref-type="bibr" rid="B9">9</xref>]. Later, Li <italic>et al.</italic> [<xref ref-type="bibr" rid="B10">10</xref>] generalized the burning number and introduced the generalized burning number <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> r </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> of <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mi> r </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Follow these, Song <italic>et al.</italic> [<xref ref-type="bibr" rid="B11">11</xref>] propose the Independent Cascade graph burning model of <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> , where a burned vertex <inline-formula><mml:math><mml:mi> v </mml:mi></mml:math></inline-formula> can burn its neighbor <inline-formula><mml:math><mml:mi> w </mml:mi></mml:math></inline-formula> only if the influence that <inline-formula><mml:math><mml:mi> v </mml:mi></mml:math></inline-formula> exerts on <inline-formula><mml:math><mml:mi> w </mml:mi></mml:math></inline-formula> is larger than a given threshold <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> . Note that when <inline-formula><mml:math><mml:mrow><mml:mi> β </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , it is a traditional burning problem. The task is still to find the minimum sequence of vertices that can burn the whole graph. The minimum number of time steps is IC burning number <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> of graph <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> . In the burn process of IC model of graph <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> , we call a vertex is fire source, it is selected to burn. For a given threshold <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> , the <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is the <inline-formula><mml:math><mml:mi> i </mml:mi></mml:math></inline-formula> -th fire source in the <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning process of <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> . If <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> are burned after <inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula> time steps, we call the fire source sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> . Clearly, the IC burning number <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is the minimum length among all <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequences of graph <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> .</p>
      <p>In reality, the influence <inline-formula><mml:math><mml:mi> u </mml:mi></mml:math></inline-formula> receives from its neighbor <inline-formula><mml:math><mml:mi> w </mml:mi></mml:math></inline-formula> is an arbitrary value in <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , we easily know whether a vertex can be burned by its neighbor depends heavily on its degree. For <inline-formula><mml:math><mml:mrow><mml:mi> v </mml:mi><mml:mo> , </mml:mo><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , the distance between them is denoted by <inline-formula><mml:math><mml:mrow><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> u </mml:mi><mml:mo> , </mml:mo><mml:mi> v </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . The open neighborhood <inline-formula><mml:math><mml:mrow><mml:mi> N </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is the set of vertices at distance one from a vertex <inline-formula><mml:math><mml:mi> v </mml:mi></mml:math></inline-formula> . Clearly, the closed neighborhood <inline-formula><mml:math><mml:mrow><mml:mi> N </mml:mi><mml:mrow><mml:mo> [ </mml:mo><mml:mi> v </mml:mi><mml:mo> ] </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> N </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mi> v </mml:mi><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Given a positive integer <inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula> and fraction <inline-formula><mml:math><mml:mrow><mml:mi> β </mml:mi><mml:mo> ∈ </mml:mo><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , the <inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula> -th closed <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -neighborhood of <inline-formula><mml:math><mml:mi> u </mml:mi></mml:math></inline-formula> is a set <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> : </mml:mo><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> u </mml:mi><mml:mo> , </mml:mo><mml:mi> v </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> k </mml:mi><mml:mo> , </mml:mo><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> β </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and is denoted by <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> N </mml:mi><mml:mi> β </mml:mi><mml:mi> k </mml:mi></mml:msubsup><mml:mrow><mml:mo> [ </mml:mo><mml:mi> v </mml:mi><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , where <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> .</p>
      <p>For <inline-formula><mml:math><mml:mrow><mml:mi> h </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> k </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> , a perfect <inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula> -ary tree with height <inline-formula><mml:math><mml:mi> h </mml:mi></mml:math></inline-formula> , denoted <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> , is a tree with <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msup></mml:mrow></mml:math></inline-formula> leaves and a root vertex with degree <inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula> whose distance to all the leaves is <inline-formula><mml:math><mml:mi> h </mml:mi></mml:math></inline-formula> and all other internal vertices have degree <inline-formula><mml:math><mml:mrow><mml:mi> k </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . The height of a vertex is the number of edges present in the path connecting that vertex to a leaf vertex. We call the internal vertices that are the parents of leaves as parent-leaves.</p>
      <p>A spider is a tree contain one vertex called the spider head with degree at least 3. In a spider graph, every leaf is connected to the head by a path which called an arm. we denote such a spider graph by <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> if all the arms of the spider graph with maximum degree <inline-formula><mml:math><mml:mi> s </mml:mi></mml:math></inline-formula> are of the same length <inline-formula><mml:math><mml:mi> r </mml:mi></mml:math></inline-formula> .</p>
      <p>A <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> -lollipop graph <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> is a graph with <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mi> j </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> , </mml:mo><mml:mi> j </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mi> i </mml:mi><mml:mo> ≠ </mml:mo><mml:mi> j </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , see <xref ref-type="fig" rid="fig1">Figure 1(a)</xref>. A corona graph of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> , denoted by <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> , is graph with <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mi> j </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> , </mml:mo><mml:mi> j </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mi> i </mml:mi><mml:mo> ≠ </mml:mo><mml:mi> j </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , see <xref ref-type="fig" rid="fig1">Figure 1(b)</xref>.</p>
      <fig id="fig1">
        <label>Figure 1</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId158.jpeg?20251222014517" />
      </fig>
      <fig id="fig2">
        <label>Figure 2</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId159.jpeg?20251222014517" />
      </fig>
      <p>(a) (b)</p>
      <p><bold>Figure 1.</bold><inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> -lollipop graph <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> and corona graph <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> .</p>
      <p>All graphs considered in this paper are finite and simple. We use book [<xref ref-type="bibr" rid="B12">12</xref>] for notation and terminology not defined here. In this paper, we study the <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning problem on several graph including complete <inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula> -ary tree, spider graphs, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> -lollipop graph, corona graph of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and other graphs such as sunflower graph, friendship graph and Dutch windmill graph. </p>
    </sec>
    <sec id="sec2">
      <title>2. Primarilies</title>
      <p><bold>Proposition</bold><bold>2.1.</bold> [<xref ref-type="bibr" rid="B11">11</xref>]<inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula><italic>is</italic><italic>a</italic><italic>connected</italic><italic>graph</italic><italic>with</italic><inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula><italic>vertices</italic><italic>and</italic><inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula><italic>for</italic><inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> k </mml:mi></mml:mrow></mml:math></inline-formula> , <italic>where</italic><inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic>, <inline-formula><mml:math><mml:mrow><mml:mi> k </mml:mi><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula><italic>.</italic></p>
      <p><bold>Proposition</bold><bold>2.2.</bold> [<xref ref-type="bibr" rid="B11">11</xref>]<inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula><italic>is</italic><italic>a</italic><italic>graph</italic><italic>with</italic><inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula><italic>vertices</italic><italic>and</italic><inline-formula><mml:math><mml:mrow><mml:mi> Δ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>is</italic><italic>the</italic><italic>maximum</italic><italic>degree.</italic><italic>Then</italic>, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>is</italic><italic>an</italic><italic>optimum</italic><inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula><italic>-burning</italic><italic>sequence</italic><italic>for</italic><inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula><italic>if</italic><italic>and</italic><italic>only</italic><italic>if</italic><italic>one</italic><italic>of</italic><italic>the</italic><italic>following</italic><italic>conditions</italic><italic>is</italic><italic>met:</italic></p>
      <p>1) <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , and <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> w </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> for all <inline-formula><mml:math><mml:mrow><mml:mo> ∀ </mml:mo><mml:mi> w </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> N </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> \ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
      <p>2) <inline-formula><mml:math><mml:mrow><mml:mtext> Δ </mml:mtext><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> , and <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> w </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> for all <inline-formula><mml:math><mml:mrow><mml:mo> ∀ </mml:mo><mml:mi> w </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> N </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . </p>
      <p>In [<xref ref-type="bibr" rid="B13">13</xref>], Bonato <italic>et al.</italic> provide a number of properties of the burning number. </p>
      <p><bold>Proposition</bold><bold>2.3.</bold> [<xref ref-type="bibr" rid="B13">13</xref>]<italic>If</italic><inline-formula><mml:math><mml:mi> T </mml:mi></mml:math></inline-formula><italic>is</italic><italic>a</italic><italic>tree</italic><italic>and</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>is</italic><italic>a</italic><italic>subtree</italic><italic>of</italic><inline-formula><mml:math><mml:mi> T </mml:mi></mml:math></inline-formula> , <italic>then</italic><italic>we</italic><italic>have</italic><italic>that</italic><inline-formula><mml:math><mml:mrow><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> T </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>.</italic></p>
      <p>A subgraph <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> of graph <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> is called an isometric subgraph if we have <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> d </mml:mi><mml:mi> H </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> u </mml:mi><mml:mo> , </mml:mo><mml:mi> v </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mi> d </mml:mi><mml:mi> G </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> u </mml:mi><mml:mo> , </mml:mo><mml:mi> v </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
      <p><bold>Proposition</bold><bold>2.4.</bold> [<xref ref-type="bibr" rid="B13">13</xref>]<italic>Let</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>be</italic><italic>an</italic><italic>isometric</italic><italic>subgraph</italic><italic>of</italic><italic>a</italic><italic>graph</italic><inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula><italic>and</italic><italic>for</italic><italic>any</italic><italic>node</italic><inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> \ </mml:mo><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , <italic>and</italic><italic>any</italic><italic>positive</italic><italic>integer</italic><inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula> , <italic>there</italic><italic>exist</italic><italic>a</italic><italic>node</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> f </mml:mi><mml:mi> k </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ∈ </mml:mo><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>satisfies</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> N </mml:mi><mml:mi> k </mml:mi></mml:msub><mml:mrow><mml:mo> [ </mml:mo><mml:mi> x </mml:mi><mml:mo> ] </mml:mo></mml:mrow><mml:mo> ∩ </mml:mo><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:msubsup><mml:mi> N </mml:mi><mml:mi> k </mml:mi><mml:mi> H </mml:mi></mml:msubsup><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:msub><mml:mi> f </mml:mi><mml:mi> k </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic><italic>we</italic><italic>have</italic><italic>that</italic><inline-formula><mml:math><mml:mrow><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>.</italic></p>
      <p><bold>Proposition</bold><bold>2.5.</bold> [<xref ref-type="bibr" rid="B13">13</xref>]<italic>For</italic><italic>any</italic><italic>graph</italic><inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula><italic>with</italic><italic>radius</italic><inline-formula><mml:math><mml:mi> r </mml:mi></mml:math></inline-formula><italic>and</italic><italic>diameter</italic><inline-formula><mml:math><mml:mi> d </mml:mi></mml:math></inline-formula> , <italic>we</italic><italic>have</italic><italic>that</italic></p>
      <disp-formula id="FD1">
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>⌈</mml:mo>
              <mml:mrow>
                <mml:msqrt>
                  <mml:mrow>
                    <mml:mi>d</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:msqrt>
              </mml:mrow>
              <mml:mo>⌉</mml:mo>
            </mml:mrow>
            <mml:mo>≤</mml:mo>
            <mml:mi>b</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>G</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≤</mml:mo>
            <mml:mi>r</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:mn>1.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><bold>Proposition</bold><bold>2.6.</bold> [<xref ref-type="bibr" rid="B13">13</xref>]<italic>For</italic><italic>a</italic><italic>graph</italic><inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> , <italic>we</italic><italic>have</italic><italic>that</italic></p>
      <p><inline-formula><mml:math><mml:mrow><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> min </mml:mi><mml:mrow><mml:mo> { </mml:mo><mml:mi> b </mml:mi></mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mi> T </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> : </mml:mo><mml:mi> T </mml:mi></mml:mrow></mml:math></inline-formula> is a spanning subtree of <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mi> G </mml:mi><mml:mo> } </mml:mo></mml:mrow><mml:mo> . </mml:mo></mml:mrow></mml:math></inline-formula></p>
    </sec>
    <sec id="sec3">
      <title>3. Main Results</title>
      <p>In this section, we determined the IC burning number of some operation graphs. First, we consider the perfect binary tree, spider graphs, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> -lollipop graph, corona graph <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> .</p>
      <p><bold>Theorem</bold><bold>3.1.</bold><italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula><italic>be</italic><italic>a</italic><italic>perfect</italic><italic>binary</italic><italic>tree</italic><italic>of</italic><italic>height</italic><inline-formula><mml:math><mml:mi> h </mml:mi></mml:math></inline-formula> , <italic>where</italic><inline-formula><mml:math><mml:mrow><mml:mi> h </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic></p>
      <disp-formula id="FD2">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>β</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msubsup>
                  <mml:mi>T</mml:mi>
                  <mml:mn>2</mml:mn>
                  <mml:mi>h</mml:mi>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>h</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mn>0</mml:mn>
                        <mml:mo>≤</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>3</mml:mn>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>{</mml:mo>
                          <mml:mrow>
                            <mml:mtable columnalign="left">
                              <mml:mtr columnalign="left">
                                <mml:mtd columnalign="left">
                                  <mml:mrow>
                                    <mml:mn>3</mml:mn>
                                    <mml:mo>,</mml:mo>
                                  </mml:mrow>
                                </mml:mtd>
                                <mml:mtd columnalign="left">
                                  <mml:mrow>
                                    <mml:mtext>If</mml:mtext>
                                    <mml:mtext>
                                       
                                    </mml:mtext>
                                    <mml:mi>h</mml:mi>
                                    <mml:mo>=</mml:mo>
                                    <mml:mn>2</mml:mn>
                                    <mml:mo>;</mml:mo>
                                  </mml:mrow>
                                </mml:mtd>
                              </mml:mtr>
                              <mml:mtr columnalign="left">
                                <mml:mtd columnalign="left">
                                  <mml:mrow>
                                    <mml:msup>
                                      <mml:mn>2</mml:mn>
                                      <mml:mi>h</mml:mi>
                                    </mml:msup>
                                    <mml:mo>−</mml:mo>
                                    <mml:mn>2</mml:mn>
                                    <mml:mo>,</mml:mo>
                                  </mml:mrow>
                                </mml:mtd>
                                <mml:mtd columnalign="left">
                                  <mml:mrow>
                                    <mml:mtext>If</mml:mtext>
                                    <mml:mtext>
                                       
                                    </mml:mtext>
                                    <mml:mi>h</mml:mi>
                                    <mml:mo>≥</mml:mo>
                                    <mml:mn>3.</mml:mn>
                                  </mml:mrow>
                                </mml:mtd>
                              </mml:mtr>
                            </mml:mtable>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>3</mml:mn>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:msup>
                          <mml:mn>2</mml:mn>
                          <mml:mi>h</mml:mi>
                        </mml:msup>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mn>1.</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>Proof.</italic> Let <inline-formula><mml:math><mml:mi> s </mml:mi></mml:math></inline-formula> be the root of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> and the leaves of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> be <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup></mml:mrow></mml:math></inline-formula> . Suppose the parent-leaves of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> be <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> h </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> .</p>
      <p><bold>Case</bold><bold>1:</bold><inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 3 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula></p>
      <p>The <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> has total <inline-formula><mml:math><mml:mrow><mml:mi> h </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> levels, since <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> has height <inline-formula><mml:math><mml:mi> h </mml:mi></mml:math></inline-formula> . Suppose we let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mi> s </mml:mi></mml:mrow></mml:math></inline-formula> . At the <inline-formula><mml:math><mml:mi> t </mml:mi></mml:math></inline-formula> -th step <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> t </mml:mi><mml:mo> = </mml:mo><mml:mi> h </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , the fire completes the burning of the <inline-formula><mml:math><mml:mi> t </mml:mi></mml:math></inline-formula> -th level of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> . Therefore, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> h </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Now, suppose <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> , where <inline-formula><mml:math><mml:mrow><mml:mi> k </mml:mi><mml:mo> &lt; </mml:mo><mml:mi> h </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . The fire source <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> can spread to the vertices of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> N </mml:mi><mml:mrow><mml:mi> k </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . For <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> k </mml:mi></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> N </mml:mi><mml:mrow><mml:mi> k </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> can contain at most <inline-formula><mml:math><mml:mrow><mml:msup><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> k </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> leaf vertices of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> . Therefore, we burned at most <inline-formula><mml:math><mml:mrow><mml:munderover><mml:mstyle mathsize="140%" displaystyle="true"><mml:mo> ∑ </mml:mo></mml:mstyle><mml:mrow><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mi> k </mml:mi></mml:munderover><mml:mtext>   </mml:mtext><mml:msup><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> k </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:msup><mml:mo> = </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> k </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> leaf vertices. Since the total number of leaves of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> is <inline-formula><mml:math><mml:mrow><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup></mml:mrow></mml:math></inline-formula> . Now, <inline-formula><mml:math><mml:mrow><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup><mml:mo> ≥ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> k </mml:mi></mml:msup><mml:mo> &gt; </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> k </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , a contradiction, we have <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> h </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Thus <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> h </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p><bold>Case</bold><bold>2:</bold><inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 3 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula></p>
      <p>Let two children of <inline-formula><mml:math><mml:mi> s </mml:mi></mml:math></inline-formula> be <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> s </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> s </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> . Suppose <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mrow><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup></mml:mrow></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> Y </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> s </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> s </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mrow><mml:msup><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> h </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup></mml:mrow></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> X </mml:mi><mml:mo> = </mml:mo><mml:mi> S </mml:mi><mml:mo> ∪ </mml:mo><mml:mi> Y </mml:mi></mml:mrow></mml:math></inline-formula> . The case for <inline-formula><mml:math><mml:mrow><mml:mi> h </mml:mi><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> , by simple checking, we know that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . Next, the case <inline-formula><mml:math><mml:mrow><mml:mi> h </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . Since <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 3 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> , thus <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup><mml:mo> \ </mml:mo><mml:mi> S </mml:mi></mml:mrow></mml:math></inline-formula> must be fire sources. Let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> s </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> s </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 3 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> h </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup><mml:mo> + </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> . Further, we choose <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup><mml:mo> \ </mml:mo><mml:mi> X </mml:mi></mml:mrow></mml:math></inline-formula> as remain fire sources. Obviously, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mrow><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> and thus <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> . Now, we show <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> . As <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> \ </mml:mo><mml:mi> S </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> . By Proposition 2.1, we get <inline-formula><mml:math><mml:mrow><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Then, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p><bold>Case</bold><bold>3:</bold><inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula></p>
      <p>Let <inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> h </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> H </mml:mi><mml:mo> = </mml:mo><mml:mi> U </mml:mi><mml:mo> ∪ </mml:mo><mml:mi> V </mml:mi></mml:mrow></mml:math></inline-formula> . We choose <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 3 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> h </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> \ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> as remain fire sources. Thus, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . On the other hand, <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> \ </mml:mo><mml:mi> U </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , combine Proposition 2.1, we have <inline-formula><mml:math><mml:mrow><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Therefore, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msup><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . </p>
      <fig id="fig3">
        <label>Figure 3</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId412.jpeg?20251222014518" />
      </fig>
      <p><bold>Corollary</bold><bold>3.2.</bold><italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula><italic>be</italic><italic>a</italic><italic>perfect</italic><inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula><italic>-</italic><italic>ary</italic><italic>tree</italic><italic>of</italic><italic>height</italic><inline-formula><mml:math><mml:mi> h </mml:mi></mml:math></inline-formula><italic>and</italic><italic>order</italic><inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> , <italic>where</italic><inline-formula><mml:math><mml:mrow><mml:mi> h </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula><italic>and</italic><inline-formula><mml:math><mml:mrow><mml:mi> k </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic></p>
      <disp-formula id="FD3">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>β</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msubsup>
                  <mml:mi>T</mml:mi>
                  <mml:mi>k</mml:mi>
                  <mml:mi>h</mml:mi>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>h</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mn>0</mml:mn>
                        <mml:mo>≤</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:msup>
                          <mml:mi>k</mml:mi>
                          <mml:mi>h</mml:mi>
                        </mml:msup>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>k</mml:mi>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:msup>
                          <mml:mi>k</mml:mi>
                          <mml:mi>h</mml:mi>
                        </mml:msup>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>k</mml:mi>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mn>1.</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>Proof.</italic> Let <inline-formula><mml:math><mml:mi> s </mml:mi></mml:math></inline-formula> be the root of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> and the leaves of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> be <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msup></mml:mrow></mml:math></inline-formula> . Suppose the parent-leaves of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> be <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mrow><mml:mi> h </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> .</p>
      <p>For the case <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> k </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> , consider <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> is a subtree of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> . Combine Proposition 2.3 and Theorem 3.1, we directly get <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mn> 2 </mml:mn><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> h </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . On the other hand, the fact that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> h </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> can be determined by let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mi> s </mml:mi></mml:mrow></mml:math></inline-formula> . Then, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> h </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>The case for <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> k </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> k </mml:mi></mml:mfrac></mml:mrow></mml:math></inline-formula> , let the children of <inline-formula><mml:math><mml:mi> s </mml:mi></mml:math></inline-formula> be <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> s </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> k </mml:mi></mml:mrow></mml:math></inline-formula> . Suppose <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msup></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mi> s </mml:mi><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> Y </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> s </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> k </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mi> j </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> j </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mrow><mml:mi> h </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> X </mml:mi><mml:mo> = </mml:mo><mml:mi> S </mml:mi><mml:mo> ∪ </mml:mo><mml:mi> Y </mml:mi></mml:mrow></mml:math></inline-formula> . Similarly with Theorem 3.1, we have that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Further, <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> \ </mml:mo><mml:mi> S </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> , by Proposition 2.1, we directly get <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Then, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msup><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>Consider that <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> k </mml:mi></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , let <inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msup></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mrow><mml:mi> h </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> H </mml:mi><mml:mo> = </mml:mo><mml:mi> U </mml:mi><mml:mo> ∪ </mml:mo><mml:mi> V </mml:mi></mml:mrow></mml:math></inline-formula> . Similarly, we choose <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> \ </mml:mo><mml:mi> U </mml:mi></mml:mrow></mml:math></inline-formula> be fire sources. Clearly, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msup></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> . So, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msup></mml:mrow></mml:math></inline-formula> . On the other hand, since <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> \ </mml:mo><mml:mi> U </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> , combine Proposition 2.1, we have that <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msup><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Therefore, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> T </mml:mi><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:msup><mml:mi> k </mml:mi><mml:mi> h </mml:mi></mml:msup></mml:mrow></mml:math></inline-formula> . </p>
      <fig id="fig4">
        <label>Figure 4</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId412.jpeg?20251222014518" />
      </fig>
      <p><bold>Theorem</bold><bold>3.3.</bold><italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>be</italic><italic>a</italic><italic>spider</italic><italic>graph</italic><italic>of</italic><italic>order</italic><inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula><italic>for</italic><inline-formula><mml:math><mml:mrow><mml:mi> s </mml:mi><mml:mo> ≥ </mml:mo><mml:mi> r </mml:mi></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic></p>
      <disp-formula id="FD4">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>β</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>S</mml:mi>
                <mml:mi>P</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>s</mml:mi>
                    <mml:mo>,</mml:mo>
                    <mml:mi>r</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>r</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mn>0</mml:mn>
                        <mml:mo>≤</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mi>s</mml:mi>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mn>1.</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>Proof.</italic> Let leaf vertices of <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> be <inline-formula><mml:math><mml:mrow><mml:mi> Y </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> s </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Suppose the neighbour vertices of leaf vertices are <inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> s </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> X </mml:mi><mml:mo> = </mml:mo><mml:mi> Y </mml:mi><mml:mo> ∪ </mml:mo><mml:mi> U </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <p>The case for <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> , we first discuss <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . The radius of <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is <inline-formula><mml:math><mml:mi> r </mml:mi></mml:math></inline-formula> . So by Proposition 2.5, we have that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> r </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Now we show that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> r </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Assume <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> r </mml:mi></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mi> t </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , where <inline-formula><mml:math><mml:mrow><mml:mi> t </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> r </mml:mi></mml:mrow></mml:math></inline-formula> . No fire source in <inline-formula><mml:math><mml:mi> S </mml:mi></mml:math></inline-formula> shall be able to burn more than 1 leaf vertex in <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , since <inline-formula><mml:math><mml:mrow><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mi> j </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn><mml:mi> r </mml:mi></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> , </mml:mo><mml:mi> j </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> s </mml:mi></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> ≠ </mml:mo><mml:mi> j </mml:mi></mml:mrow></mml:math></inline-formula> . Thus <inline-formula><mml:math><mml:mi> S </mml:mi></mml:math></inline-formula> will be able to burn at most <inline-formula><mml:math><mml:mi> t </mml:mi></mml:math></inline-formula> leaf vertices. This implies that at least 1 leaf vertex will be left unburned, a contradiction, thus we have that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> r </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Therefore, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> r </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . As <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a subtree of <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , by Proposition 2.4 and Proposition 2.5, we have <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> r </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>For the case <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Consider that <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> \ </mml:mo><mml:mi> Y </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> , by Proposition 2.1, we have that <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> s </mml:mi><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Now, we show that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> s </mml:mi></mml:mrow></mml:math></inline-formula> . Let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> s </mml:mi></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> \ </mml:mo><mml:mi> X </mml:mi></mml:mrow></mml:math></inline-formula> be remain fire sources. Obviously, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> s </mml:mi></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and then <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> s </mml:mi></mml:mrow></mml:math></inline-formula> . Further, we have that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> , </mml:mo><mml:mi> r </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> s </mml:mi></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . </p>
      <fig id="fig5">
        <label>Figure 5</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId412.jpeg?20251222014518" />
      </fig>
      <p><bold>Theorem</bold><bold>3.4.</bold><italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula><italic>be</italic><italic>a</italic><italic>corona</italic><italic>graph</italic><italic>of</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><italic>and</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula><italic>with</italic><italic>order</italic><inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> n </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic></p>
      <disp-formula id="FD5">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>β</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
                <mml:mo>∘</mml:mo>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>3</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mn>0</mml:mn>
                        <mml:mo>≤</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mn>1.</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>Proof.</italic> Let <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mi> j </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> , </mml:mo><mml:mi> j </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mi> i </mml:mi><mml:mo> ≠ </mml:mo><mml:mi> j </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . The case for <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> n </mml:mi></mml:mfrac></mml:mrow></mml:math></inline-formula> , combine Proposition 2.2, we directly get <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . Now, we show <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . Let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 3 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . Clearly, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 3 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and thus <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . Therefore, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . Consider the case <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> n </mml:mi></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> . Clearly, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> . Thus <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> . Now, we show <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> . Obviously, <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> . By Proposition 2.1, we get <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Then, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∘ </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> . </p>
      <fig id="fig6">
        <label>Figure 6</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId412.jpeg?20251222014518" />
      </fig>
      <p><bold>Corollary</bold><bold>3.5.</bold><italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula><italic>be</italic><italic>a</italic><inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>-lollipop</italic><italic>of</italic><italic>order</italic><inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic></p>
      <disp-formula id="FD6">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>β</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>L</mml:mi>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>,</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>2</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mn>0</mml:mn>
                        <mml:mo>≤</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mrow>
                            <mml:mi>n</mml:mi>
                            <mml:mo>−</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mrow>
                            <mml:mi>n</mml:mi>
                            <mml:mo>−</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mn>1.</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>Proof.</italic> Let <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> u </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mi> j </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> , </mml:mo><mml:mi> j </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mi> i </mml:mi><mml:mo> ≠ </mml:mo><mml:mi> j </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . The case for <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> , combining Proposition 2.2, we get <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> . For the case <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , similar as Theorem 3.4, the details omitted here, we have <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> L </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> . </p>
      <fig id="fig7">
        <label>Figure 7</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId412.jpeg?20251222014518" />
      </fig>
      <p>Next, we determined the IC burning number of the sunflower graph, friendship graph and Dutch windmill graph.</p>
      <p>A sunflower <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is graph with <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mtable columnalign="left"><mml:mtr><mml:mtd><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> w </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></inline-formula> , where edge <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> is <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> is <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> , see <xref ref-type="fig" rid="fig2">Figure 2(a)</xref>.</p>
      <fig id="fig8">
        <label>Figure 8</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId685.jpeg?20251222014518" />
      </fig>
      <fig id="fig9">
        <label>Figure 9</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId686.jpeg?20251222014518" />
      </fig>
      <p>(a) (b)</p>
      <p><bold>Figure 2.</bold><inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> with order <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:msubsup><mml:mi> f </mml:mi><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> with order <inline-formula><mml:math><mml:mrow><mml:mn> 3 </mml:mn><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>An <inline-formula><mml:math><mml:mi> I </mml:mi></mml:math></inline-formula> type sunflower <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:msubsup><mml:mi> f </mml:mi><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> is a graph with <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msubsup><mml:mi> f </mml:mi><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mtable columnalign="left"><mml:mtr><mml:mtd><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msubsup><mml:mi> f </mml:mi><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:msub><mml:mi> w </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> w </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></inline-formula> , where edge <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> is <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> , see <xref ref-type="fig" rid="fig2">Figure 2(b)</xref>.</p>
      <p>A friendship graph <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> obtained <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , see <xref ref-type="fig" rid="fig3">Figure 3(a)</xref>.</p>
      <fig id="fig10">
        <label>Figure 10</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId713.jpeg?20251222014518" />
      </fig>
      <fig id="fig11">
        <label>Figure 11</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId714.jpeg?20251222014518" />
      </fig>
      <p>(a) (b)</p>
      <p><bold>Figure 3.</bold><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> with order <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> with order <inline-formula><mml:math><mml:mrow><mml:mn> 3 </mml:mn><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>A Dutch windmill graph <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> satisfied <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mi> s </mml:mi><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mtable columnalign="left"><mml:mtr><mml:mtd><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mtext>   </mml:mtext><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> v </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></inline-formula> , see <xref ref-type="fig" rid="fig3">Figure 3(b)</xref>.</p>
      <p><bold>Lemma</bold><bold>3.6.</bold><italic>For</italic><italic>a</italic><italic>connected</italic><italic>graph</italic><inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula><italic>of</italic><italic>order</italic><inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula><italic>and</italic><inline-formula><mml:math><mml:mrow><mml:mi> δ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>is</italic><italic>the</italic><italic>mini</italic><italic>mum</italic><italic>degree</italic><italic>of</italic><inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula><italic>.</italic><italic>Then</italic>, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula><italic>if</italic><italic>and</italic><italic>only</italic><italic>if</italic><inline-formula><mml:math><mml:mrow><mml:mi> β </mml:mi><mml:mo> &gt; </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> δ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula><italic>.</italic></p>
      <p><italic>Proof.</italic> If <inline-formula><mml:math><mml:mrow><mml:mi> β </mml:mi><mml:mo> &gt; </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> δ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> , then <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> . By Proposition 2.1, we have that <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> . Therefore, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <p>If <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> , suppose <inline-formula><mml:math><mml:mrow><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> δ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> . Consider the minmum degree of <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> is <inline-formula><mml:math><mml:mrow><mml:mi> δ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> δ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> , then any vertex <inline-formula><mml:math><mml:mi> u </mml:mi></mml:math></inline-formula> of <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> receives influence from a neighbour is <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:mo> ≥ </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> , thus we can selecte <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> fire source to burn the whole graph <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> , a contradiction, thus <inline-formula><mml:math><mml:mrow><mml:mi> β </mml:mi><mml:mo> &gt; </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> δ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> . </p>
      <fig id="fig12">
        <label>Figure 12</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId412.jpeg?20251222014518" />
      </fig>
      <p><bold>Theorem</bold><bold>3.7.</bold><italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><italic>be</italic><italic>a</italic><italic>sunflower</italic><italic>graph</italic><italic>of</italic><italic>order</italic><inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , <italic>where</italic><inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 5 </mml:mn></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic></p>
      <disp-formula id="FD7">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>β</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>S</mml:mi>
                <mml:msub>
                  <mml:mi>f</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>3</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mn>0</mml:mn>
                        <mml:mo>≤</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>5</mml:mn>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>5</mml:mn>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>2</mml:mn>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mn>1.</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>Proof.</italic> Let <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> (see <xref ref-type="fig" rid="fig2">Figure 2(a)</xref>). The case for <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 5 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> , by Proposition 2.2, we directly get <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . On the other hand, let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mi> v </mml:mi></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 3 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> . Clearly, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 3 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and thus <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . Then, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . Consider the case <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 5 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> , let <inline-formula><mml:math><mml:mrow><mml:mi> X </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mi> v </mml:mi><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Consider <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> X </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> , by Proposition 2.1, we have that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Now we show that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mi> v </mml:mi></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> . Clearly, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and thus <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Thus, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . For the case <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , by Lemma 3.6, <inline-formula><mml:math><mml:mrow><mml:mi> δ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> β </mml:mi><mml:mo> &gt; </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> δ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> , thus we directly get <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . </p>
      <fig id="fig13">
        <label>Figure 13</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId412.jpeg?20251222014518" />
      </fig>
      <p><bold>Theorem</bold><bold>3.8.</bold><italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:msubsup><mml:mi> f </mml:mi><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula><italic>be</italic><italic>an</italic><inline-formula><mml:math><mml:mi> I </mml:mi></mml:math></inline-formula><italic>type</italic><italic>sunflower</italic><italic>graph</italic><italic>of</italic><italic>order</italic><inline-formula><mml:math><mml:mrow><mml:mn> 3 </mml:mn><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic></p>
      <disp-formula id="FD8">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>β</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>S</mml:mi>
                <mml:msub>
                  <mml:mi>f</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>2</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mn>0</mml:mn>
                        <mml:mo>≤</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>4</mml:mn>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>4</mml:mn>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>3</mml:mn>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mn>1.</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>Proof.</italic> Let <inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msubsup><mml:mi> f </mml:mi><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> v </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . The case for <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 4 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> , consider <inline-formula><mml:math><mml:mrow><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 3 </mml:mn><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> , by Proposition 2.2, we directly get <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msubsup><mml:mi> f </mml:mi><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> . The case for <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 4 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> , let <inline-formula><mml:math><mml:mrow><mml:mi> X </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> | </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ∪ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mi> v </mml:mi><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Consider <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> X </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> , by Proposition 2.1, we have that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msubsup><mml:mi> f </mml:mi><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Now we show that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mi> v </mml:mi></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> . Clearly, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:msubsup><mml:mi> f </mml:mi><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> and thus <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Thus, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msubsup><mml:mi> f </mml:mi><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . For the case <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , similar as Theorem 3.7. We have <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> S </mml:mi><mml:msubsup><mml:mi> f </mml:mi><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . </p>
      <fig id="fig14">
        <label>Figure 14</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId412.jpeg?20251222014518" />
      </fig>
      <p><bold>Theorem</bold><bold>3.9.</bold><italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><italic>be</italic><italic>a</italic><italic>friendship</italic><italic>graph</italic><italic>of</italic><italic>order</italic><inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic></p>
      <disp-formula id="FD9">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>β</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>F</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>2</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mn>0</mml:mn>
                        <mml:mo>≤</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>2</mml:mn>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mn>1.</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>Proof.</italic> Firstly, this case <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> . Consider <inline-formula><mml:math><mml:mrow><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> and all <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> , by Proposition 2.2, we have that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> . Now, consider <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Clearly, if <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , we know that <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> . Combine with Lemma 3.6, we directly get <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . </p>
      <fig id="fig15">
        <label>Figure 15</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId412.jpeg?20251222014518" />
      </fig>
      <p><bold>Theorem</bold><bold>3.10.</bold><italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula><italic>be</italic><italic>a</italic><italic>Dutch</italic><italic>windmill</italic><italic>graph</italic><italic>of</italic><italic>order</italic><inline-formula><mml:math><mml:mrow><mml:mn> 3 </mml:mn><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic></p>
      <disp-formula id="FD10">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>β</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msubsup>
                  <mml:mi>D</mml:mi>
                  <mml:mn>4</mml:mn>
                  <mml:mi>n</mml:mi>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>{</mml:mo>
                          <mml:mrow>
                            <mml:mtable columnalign="left">
                              <mml:mtr columnalign="left">
                                <mml:mtd columnalign="left">
                                  <mml:mrow>
                                    <mml:mn>2</mml:mn>
                                    <mml:mo>,</mml:mo>
                                  </mml:mrow>
                                </mml:mtd>
                                <mml:mtd columnalign="left">
                                  <mml:mrow>
                                    <mml:mtext>If</mml:mtext>
                                    <mml:mtext>
                                       
                                    </mml:mtext>
                                    <mml:mi>n</mml:mi>
                                    <mml:mo>=</mml:mo>
                                    <mml:mn>1</mml:mn>
                                    <mml:mo>;</mml:mo>
                                  </mml:mrow>
                                </mml:mtd>
                              </mml:mtr>
                              <mml:mtr columnalign="left">
                                <mml:mtd columnalign="left">
                                  <mml:mrow>
                                    <mml:mn>3</mml:mn>
                                    <mml:mo>,</mml:mo>
                                  </mml:mrow>
                                </mml:mtd>
                                <mml:mtd columnalign="left">
                                  <mml:mrow>
                                    <mml:mtext>If</mml:mtext>
                                    <mml:mtext>
                                       
                                    </mml:mtext>
                                    <mml:mi>n</mml:mi>
                                    <mml:mo>≥</mml:mo>
                                    <mml:mn>2.</mml:mn>
                                  </mml:mrow>
                                </mml:mtd>
                              </mml:mtr>
                            </mml:mtable>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mn>0</mml:mn>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>;</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>3</mml:mn>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>If</mml:mtext>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>β</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mn>1.</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>Proof.</italic> For the case <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> . If <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , by Theorem 3.8, we have that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> . If <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> , let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mi> v </mml:mi></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> u </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 3 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> w </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> . Clearly, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 3 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a burning sequence of <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> and thus <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . Consider <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . When <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> , all <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> . By Proposition 2.2, we gain <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> and thus <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> . Now, consider the case <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Clearly, if <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , we know that <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi></mml:mrow></mml:math></inline-formula> . by Lemma 3.6, we have <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msubsup><mml:mi> D </mml:mi><mml:mn> 4 </mml:mn><mml:mi> n </mml:mi></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 3 </mml:mn><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . </p>
      <fig id="fig16">
        <label>Figure 16</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId412.jpeg?20251222014518" />
      </fig>
      <p><bold>Theorem</bold><bold>3.11.</bold><italic>For</italic><italic>a</italic><italic>graph</italic><inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> , <italic>let</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>is</italic><italic>a</italic><italic>spanning</italic><italic>subgraph</italic><italic>of</italic><inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula><italic>and</italic><inline-formula><mml:math><mml:mrow><mml:mo> ∀ </mml:mo><mml:mi> v </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> d </mml:mi><mml:mi> H </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mi> d </mml:mi><mml:mi> G </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>.</italic><italic>Then</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>.</italic></p>
      <p><italic>Proof.</italic> If <inline-formula><mml:math><mml:mrow><mml:mi> β </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , then it turns a traditional burning problem, combining Proposition 2.6, we have <inline-formula><mml:math><mml:mrow><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Now we consider <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> β </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , assume <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> k </mml:mi></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> . As <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> d </mml:mi><mml:mi> H </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mi> d </mml:mi><mml:mi> G </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , therefore, for any vertex <inline-formula><mml:math><mml:mi> v </mml:mi></mml:math></inline-formula> , the influence it receives from a neighbour is <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:msub><mml:mi> d </mml:mi><mml:mi> H </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:mo> = </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:msub><mml:mi> d </mml:mi><mml:mi> G </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> , clearly, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> x </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> also can be <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> -burning sequence of <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> . We get <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mi> k </mml:mi></mml:mrow></mml:math></inline-formula> , thus <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> G </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> β </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . </p>
      <fig id="fig17">
        <label>Figure 17</label>
        <graphic xlink:href="https://html.scirp.org/file/7405526-rId412.jpeg?20251222014518" />
      </fig>
    </sec>
    <sec id="sec4">
      <title>Acknowledgements</title>
      <p>This research was supported by NSFC No.12371352.</p>
    </sec>
    <sec id="sec5">
      <title>NOTES</title>
      <p>*Corresponding author.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bonato, A., Janssen, J. and Roshanbin, E. (2014) Burning a Graph as a Model of Social Contagion. In: Bonato, A., Graham, F. and Prałat, P., Eds., <italic>Lecture Notes in Computer</italic><italic>Science</italic>, Springer International Publishing, 13-22. https://doi.org/10.1007/978-3-319-13123-8_2 <pub-id pub-id-type="doi">10.1007/978-3-319-13123-8_2</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/978-3-319-13123-8_2">https://doi.org/10.1007/978-3-319-13123-8_2</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bonato, A.</string-name>
              <string-name>Janssen, J.</string-name>
              <string-name>Roshanbin, E.</string-name>
              <string-name>Bonato, A.</string-name>
              <string-name>Graham, F.</string-name>
              <string-name>Science, S</string-name>
            </person-group>
            <year>2014</year>
            <article-title>Burning a Graph as a Model of Social Contagion</article-title>
            <source>In: Bonato</source>
            <volume>13</volume>
            <pub-id pub-id-type="doi">10.1007/978-3-319-13123-8_2</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bessy, S., Bonato, A., Janssen, J., Rautenbach, D. and Roshanbin, E. (2017) Burning a Graph Is Hard. <italic>Discrete Applied Mathematics</italic>, 232, 73-87. https://doi.org/10.1016/j.dam.2017.07.016 <pub-id pub-id-type="doi">10.1016/j.dam.2017.07.016</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/j.dam.2017.07.016">https://doi.org/10.1016/j.dam.2017.07.016</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bessy, S.</string-name>
              <string-name>Bonato, A.</string-name>
              <string-name>Janssen, J.</string-name>
              <string-name>Rautenbach, D.</string-name>
              <string-name>Roshanbin, E.</string-name>
            </person-group>
            <year>2017</year>
            <article-title>Burning a Graph Is Hard</article-title>
            <source>Discrete Applied Mathematics</source>
            <volume>232</volume>
            <pub-id pub-id-type="doi">10.1016/j.dam.2017.07.016</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bonato, A. and Lidbetter, T. (2019) Bounds on the Burning Numbers of Spiders and Path-Forests. <italic>Theoretical Computer Science</italic>, 794, 12-19. https://doi.org/10.1016/j.tcs.2018.05.035 <pub-id pub-id-type="doi">10.1016/j.tcs.2018.05.035</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/j.tcs.2018.05.035">https://doi.org/10.1016/j.tcs.2018.05.035</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bonato, A.</string-name>
              <string-name>Lidbetter, T.</string-name>
            </person-group>
            <year>2019</year>
            <article-title>Bounds on the Burning Numbers of Spiders and Path-Forests</article-title>
            <source>Theoretical Computer Science</source>
            <volume>794</volume>
            <pub-id pub-id-type="doi">10.1016/j.tcs.2018.05.035</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Liu, H., Hu, X. and Hu, X. (2021) Burning Numbers of Path Forests and Spiders. <italic>Bul</italic><italic>letin of the Malaysian Mathematical Sciences Society</italic>, 44, 661-681. https://doi.org/10.1007/s40840-020-00969-w <pub-id pub-id-type="doi">10.1007/s40840-020-00969-w</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s40840-020-00969-w">https://doi.org/10.1007/s40840-020-00969-w</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Liu, H.</string-name>
              <string-name>Hu, X.</string-name>
              <string-name>Hu, X.</string-name>
            </person-group>
            <year>2021</year>
            <article-title>Burning Numbers of Path Forests and Spiders</article-title>
            <source>Bulletin of the Malaysian Mathematical Sciences Society</source>
            <volume>44</volume>
            <pub-id pub-id-type="doi">10.1007/s40840-020-00969-w</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Sim, K.A., Tan, T.S. and Wong, K.B. (2017) On the Burning Number of Generalized Petersen Graphs. <italic>Bulletin of the Malaysian Mathematical Sciences Society</italic>, 41, 1657-1670. https://doi.org/10.1007/s40840-017-0585-6 <pub-id pub-id-type="doi">10.1007/s40840-017-0585-6</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s40840-017-0585-6">https://doi.org/10.1007/s40840-017-0585-6</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Sim, K.A.</string-name>
              <string-name>Tan, T.S.</string-name>
              <string-name>Wong, K.B.</string-name>
            </person-group>
            <year>2017</year>
            <article-title>On the Burning Number of Generalized Petersen Graphs</article-title>
            <source>Bulletin of the Malaysian Mathematical Sciences Society</source>
            <volume>41</volume>
            <pub-id pub-id-type="doi">10.1007/s40840-017-0585-6</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Liu, H., Zhang, R. and Hu, X. (2019) Burning Number of Theta Graphs. <italic>Applied Math</italic><italic>ematics and Computation</italic>, 361, 246-257. https://doi.org/10.1016/j.amc.2019.05.031 <pub-id pub-id-type="doi">10.1016/j.amc.2019.05.031</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/j.amc.2019.05.031">https://doi.org/10.1016/j.amc.2019.05.031</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Liu, H.</string-name>
              <string-name>Zhang, R.</string-name>
              <string-name>Hu, X.</string-name>
            </person-group>
            <year>2019</year>
            <article-title>Burning Number of Theta Graphs</article-title>
            <source>Applied Mathematics and Computation</source>
            <volume>361</volume>
            <pub-id pub-id-type="doi">10.1016/j.amc.2019.05.031</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Liu, H., Hu, X. and Hu, X. (2020) Burning Number of Caterpillars. <italic>Discrete Applied Mathematics</italic>, 284, 332-340. https://doi.org/10.1016/j.dam.2020.03.062 <pub-id pub-id-type="doi">10.1016/j.dam.2020.03.062</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/j.dam.2020.03.062">https://doi.org/10.1016/j.dam.2020.03.062</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Liu, H.</string-name>
              <string-name>Hu, X.</string-name>
              <string-name>Hu, X.</string-name>
            </person-group>
            <year>2020</year>
            <article-title>Burning Number of Caterpillars</article-title>
            <source>Discrete Applied Mathematics</source>
            <volume>284</volume>
            <pub-id pub-id-type="doi">10.1016/j.dam.2020.03.062</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bonato, A., English, S., Kay, B. and Moghbel, D. (2021) Improved Bounds for Burning Fence Graphs. <italic>Graphs and Combinatorics</italic>, 37, 2761-2773. https://doi.org/10.1007/s00373-021-02390-x <pub-id pub-id-type="doi">10.1007/s00373-021-02390-x</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s00373-021-02390-x">https://doi.org/10.1007/s00373-021-02390-x</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bonato, A.</string-name>
              <string-name>English, S.</string-name>
              <string-name>Kay, B.</string-name>
              <string-name>Moghbel, D.</string-name>
            </person-group>
            <year>2021</year>
            <article-title>Improved Bounds for Burning Fence Graphs</article-title>
            <source>Graphs and Combinatorics</source>
            <volume>37</volume>
            <pub-id pub-id-type="doi">10.1007/s00373-021-02390-x</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bonato, A. (2021) A Survey of Graph Burning. <italic>Contributions to Discrete Mathematics</italic>, 16, 185-197. https://doi.org/10.55016/ojs/cdm.v16i1.71194 <pub-id pub-id-type="doi">10.55016/ojs/cdm.v16i1.71194</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.55016/ojs/cdm.v16i1.71194">https://doi.org/10.55016/ojs/cdm.v16i1.71194</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bonato, A.</string-name>
            </person-group>
            <year>2021</year>
            <article-title>A Survey of Graph Burning</article-title>
            <source>Contributions to Discrete Mathematics</source>
            <volume>16</volume>
            <pub-id pub-id-type="doi">10.55016/ojs/cdm.v16i1.71194</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B10">
        <label>10.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Li, Y., Qin, X. and Li, W. (2021) The Generalized Burning Number of Graphs. <italic>Applied Mathematics and Computation</italic>, 411, Article 126306. https://doi.org/10.1016/j.amc.2021.126306 <pub-id pub-id-type="doi">10.1016/j.amc.2021.126306</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/j.amc.2021.126306">https://doi.org/10.1016/j.amc.2021.126306</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Li, Y.</string-name>
              <string-name>Qin, X.</string-name>
              <string-name>Li, W.</string-name>
            </person-group>
            <year>2021</year>
            <article-title>The Generalized Burning Number of Graphs</article-title>
            <source>Applied Mathematics and Computation</source>
            <volume>411</volume>
            <elocation-id>126306</elocation-id>
            <pub-id pub-id-type="doi">10.1016/j.amc.2021.126306</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B11">
        <label>11.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Song, J., Qi, X. and Cao, Z. (2023) An Independent Cascade Model of Graph Burning. <italic>Symmetry</italic>, 15, Article 1527. https://doi.org/10.3390/sym15081527 <pub-id pub-id-type="doi">10.3390/sym15081527</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.3390/sym15081527">https://doi.org/10.3390/sym15081527</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Song, J.</string-name>
              <string-name>Qi, X.</string-name>
              <string-name>Cao, Z.</string-name>
            </person-group>
            <year>2023</year>
            <article-title>An Independent Cascade Model of Graph Burning</article-title>
            <source>Symmetry</source>
            <volume>15</volume>
            <elocation-id>1527</elocation-id>
            <pub-id pub-id-type="doi">10.3390/sym15081527</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B12">
        <label>12.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bondy, J.A. and Murty, U.S.R. (1976) Graph Theory with Applications. Macmillan and Elsevier.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bondy, J.A.</string-name>
              <string-name>Murty, U.S.R.</string-name>
            </person-group>
            <year>1976</year>
            <article-title>Graph Theory with Applications</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B13">
        <label>13.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bonato, A., Janssen, J. and Roshanbin, E. (2016) How to Burn a Graph. <italic>Internet Mat</italic><italic>hematics</italic>, 12, 85-100. https://doi.org/10.1080/15427951.2015.1103339 <pub-id pub-id-type="doi">10.1080/15427951.2015.1103339</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1080/15427951.2015.1103339">https://doi.org/10.1080/15427951.2015.1103339</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bonato, A.</string-name>
              <string-name>Janssen, J.</string-name>
              <string-name>Roshanbin, E.</string-name>
            </person-group>
            <year>2016</year>
            <article-title>How to Burn a Graph</article-title>
            <source>Internet Mathematics</source>
            <volume>12</volume>
            <pub-id pub-id-type="doi">10.1080/15427951.2015.1103339</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>