<p>Given a graph <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G=(V,E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and a function <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(b: V\rightarrow \{0, 1, 2\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>:</mo> <mi>V</mi> <mo stretchy="false">→</mo> <mo stretchy="false">{</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. If <i>b</i> satisfies <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\sum _{z\in N_G(w)}b(z)\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mrow> <mi>z</mi> <mo>∈</mo> <msub> <mi>N</mi> <mi>G</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> for every vertex <i>w</i> with <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(b(w)=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(N_G(w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>N</mi> <mi>G</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the neighborhood of <i>w</i> in <i>G</i>, then <i>b</i> is called a Roman {2}-dominating function of <i>G</i>. The Roman {2}-domination number <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\gamma _{\{R2\}}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mrow> <mo stretchy="false">{</mo> <mi>R</mi> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of <i>G</i> is the minimum value <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\sum _{w\in V}b(w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mrow> <mi>w</mi> <mo>∈</mo> <mi>V</mi> </mrow> </msub> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> among all Roman {2}-dominating functions <i>b</i> of <i>G</i>. A set <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(S\subseteq V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo>⊆</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation> is a 2-dominating set of <i>G</i> if <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(|N_G(w)\cap S|\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi>N</mi> <mi>G</mi> </msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <mi>S</mi> <mo stretchy="false">|</mo> <mo>≥</mo> <mn>2</mn> </mrow> </mrow> </math></EquationSource> </InlineEquation> for each <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(w\in V\backslash S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>∈</mo> <mi>V</mi> <mo stretchy="true">\</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation>. The minimum cardinality among all 2-dominating sets of <i>G</i> is called the 2-domination number <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\gamma _2(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of <i>G</i>. For any graph <i>G</i>, Chellali et al. (2016) showed that <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\gamma _{\{R2\}}(G)\le \gamma _{2}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mrow> <mo stretchy="false">{</mo> <mi>R</mi> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msub> <mi>γ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In this article, firstly, we provide a characterization for the trees <i>T</i> with <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\gamma _{\{R2\}}(T)=\gamma _{2}(T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mrow> <mo stretchy="false">{</mo> <mi>R</mi> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>γ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Secondly, for a tree <i>T</i>, we provide a lower bound of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\gamma _{\{R2\}}(T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mrow> <mo stretchy="false">{</mo> <mi>R</mi> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> relying on <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\gamma _{2}(T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and the number of leaves <i>l</i>(<i>T</i>) in <i>T</i>: <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\gamma _{\{R2\}}(T)\ge \gamma _{2}(T)-l(T)+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mrow> <mo stretchy="false">{</mo> <mi>R</mi> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>≥</mo> <msub> <mi>γ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi>l</mi> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, and a characterization for the trees <i>T</i> with <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\gamma _{\{R2\}}(T)=\gamma _{2}(T)-l(T)+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mrow> <mo stretchy="false">{</mo> <mi>R</mi> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>γ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi>l</mi> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. Finally, we prove that it is NP-hard to determine whether <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\gamma _{\{R2\}}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mrow> <mo stretchy="false">{</mo> <mi>R</mi> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\gamma _2(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are equal for a given bipartite graph <i>G</i>.</p>

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

The characterizations and complexity of Roman {2}-domination number and 2-domination number in graphs

  • Cai-Xia Wang,
  • Yu Yang,
  • Ze-Peng Li,
  • Shou-Jun Xu

摘要

Given a graph \(G=(V,E)\) G = ( V , E ) and a function \(b: V\rightarrow \{0, 1, 2\}\) b : V { 0 , 1 , 2 } . If b satisfies \(\sum _{z\in N_G(w)}b(z)\ge 2\) z N G ( w ) b ( z ) 2 for every vertex w with \(b(w)=0\) b ( w ) = 0 , where \(N_G(w)\) N G ( w ) is the neighborhood of w in G, then b is called a Roman {2}-dominating function of G. The Roman {2}-domination number \(\gamma _{\{R2\}}(G)\) γ { R 2 } ( G ) of G is the minimum value \(\sum _{w\in V}b(w)\) w V b ( w ) among all Roman {2}-dominating functions b of G. A set \(S\subseteq V\) S V is a 2-dominating set of G if \(|N_G(w)\cap S|\ge 2\) | N G ( w ) S | 2 for each \(w\in V\backslash S\) w V \ S . The minimum cardinality among all 2-dominating sets of G is called the 2-domination number \(\gamma _2(G)\) γ 2 ( G ) of G. For any graph G, Chellali et al. (2016) showed that \(\gamma _{\{R2\}}(G)\le \gamma _{2}(G)\) γ { R 2 } ( G ) γ 2 ( G ) . In this article, firstly, we provide a characterization for the trees T with \(\gamma _{\{R2\}}(T)=\gamma _{2}(T)\) γ { R 2 } ( T ) = γ 2 ( T ) . Secondly, for a tree T, we provide a lower bound of \(\gamma _{\{R2\}}(T)\) γ { R 2 } ( T ) relying on \(\gamma _{2}(T)\) γ 2 ( T ) and the number of leaves l(T) in T: \(\gamma _{\{R2\}}(T)\ge \gamma _{2}(T)-l(T)+2\) γ { R 2 } ( T ) γ 2 ( T ) - l ( T ) + 2 , and a characterization for the trees T with \(\gamma _{\{R2\}}(T)=\gamma _{2}(T)-l(T)+2\) γ { R 2 } ( T ) = γ 2 ( T ) - l ( T ) + 2 . Finally, we prove that it is NP-hard to determine whether \(\gamma _{\{R2\}}(G)\) γ { R 2 } ( G ) and \(\gamma _2(G)\) γ 2 ( G ) are equal for a given bipartite graph G.