<p>The decycling number of a graph <i>G</i>, denoted by <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\nabla (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">∇</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, is the smallest number of vertices whose removal results in an acyclic subgraph of <i>G</i>. A decycling set <i>S</i> of <i>G</i> with <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\nabla (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">∇</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> vertices is said to be a <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\nabla \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">∇</mi> </math></EquationSource> </InlineEquation>-set. For any connected loopless 4-regular graph <i>G</i> on <i>n</i> vertices, it is shown that <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( \frac{n+1}{3}\le \nabla (G)\le \frac{n+1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> <mn>3</mn> </mfrac> <mo>≤</mo> <mi mathvariant="normal">∇</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mfrac> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, and presents a necessary and sufficient condition for the two equalities, respectively. Moreover, for any <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\nabla \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">∇</mi> </math></EquationSource> </InlineEquation>-set <i>S</i> of <i>G</i>, it is also shown that if <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(G-S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>-</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation> is a tree and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\nabla (G)=\frac{n+1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">∇</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\frac{n}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mi>n</mi> <mn>2</mn> </mfrac> </math></EquationSource> </InlineEquation>, then <i>G</i> is upper-embeddable. Meanwhile, there exists a Xuong-tree <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(T_{X}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>X</mi> </msub> </math></EquationSource> </InlineEquation> of <i>G</i> such that vertices of <i>S</i> are leaves of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(T_{X}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>X</mi> </msub> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Upper-embeddability and the decycling number of connected 4-regular graphs

  • Shude Long,
  • Junliang Cai

摘要

The decycling number of a graph G, denoted by \(\nabla (G)\) ( G ) , is the smallest number of vertices whose removal results in an acyclic subgraph of G. A decycling set S of G with \(\nabla (G)\) ( G ) vertices is said to be a \(\nabla \) -set. For any connected loopless 4-regular graph G on n vertices, it is shown that \( \frac{n+1}{3}\le \nabla (G)\le \frac{n+1}{2}\) n + 1 3 ( G ) n + 1 2 , and presents a necessary and sufficient condition for the two equalities, respectively. Moreover, for any \(\nabla \) -set S of G, it is also shown that if \(G-S\) G - S is a tree and \(\nabla (G)=\frac{n+1}{2}\) ( G ) = n + 1 2 or \(\frac{n}{2}\) n 2 , then G is upper-embeddable. Meanwhile, there exists a Xuong-tree \(T_{X}\) T X of G such that vertices of S are leaves of \(T_{X}\) T X .