<p>A set <i>S</i> of vertices in a graph <i>G</i> is a dominating set of <i>G</i> if every vertex not in <i>S</i> has a neighbor in <i>S</i>, where two vertices are neighbors if they are adjacent. If <i>G</i> is isolate-free, then a set <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(S \subseteq V(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo>⊆</mo> <mi>V</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a double dominating set of <i>G</i>, if every vertex in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(V(G) \setminus S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation> has at least two neighbors in <i>S</i>, and every vertex in <i>S</i> has a neighbor in <i>S</i>. A double coalition in <i>G</i> consists of two disjoint sets of vertices <i>X</i> and <i>Y</i> of <i>G</i>, neither of which is a double dominating set but whose union <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(X \cup Y\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>∪</mo> <mi>Y</mi> </mrow> </math></EquationSource> </InlineEquation> is a double dominating set of <i>G</i>. Such sets <i>X</i> and <i>Y</i> are said to form a double coalition. A double coalition partition in <i>G</i> is a vertex partition <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="151" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Psi = \{V_1,V_2,\ldots ,V_k\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ψ</mi> <mo>=</mo> <mo stretchy="false">{</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>V</mi> <mi>k</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> such that for all <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(i \in [k]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mi>k</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, the set <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(V_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>V</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> forms a double coalition with another set <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(V_j\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>V</mi> <mi>j</mi> </msub> </math></EquationSource> </InlineEquation> for some <i>j</i>, where <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(j \in [k] \setminus \{i\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>j</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mi>k</mi> <mo stretchy="false">]</mo> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mo stretchy="false">{</mo> <mi>i</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. The double coalition number, <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{DC}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>DC</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, of <i>G</i> equals the maximum order of a double coalition partition in <i>G</i>. We prove that every isolate-free graph has a double coalition partition, and we show that <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="117" /> </InlineMediaObject> <EquationSource Format="TEX">\(2 \le \textrm{DC}(G) \le n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>≤</mo> <mtext>DC</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>≤</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> and we characterize the graphs <i>G</i> satisfying <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{DC}(G) = 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>DC</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and the graphs <i>G</i> satisfying <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="85" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{DC}(G) = n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>DC</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>. We show that <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="136" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{DC}(G) \ge \delta (G) + 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>DC</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>≥</mo> <mi>δ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> denotes the minimum degree among the vertices of <i>G</i>. We show that if <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta (G) \in \{1,2\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="141" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{DC}(G) \le \Delta (G) + 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>DC</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>≤</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta (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> denotes the maximum degree among the vertices of <i>G</i>. However we show that there exist graphs <i>G</i> with <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta (G) \ge 6\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>≥</mo> <mn>6</mn> </mrow> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq19.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="141" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{DC}(G) &gt; \Delta (G) + 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>DC</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. We determine the double coalition number of special classes of graphs. In particular, we determine the double coalition number of every cubic graph <i>G</i> and show that <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1831_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{DC}(G) = 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>DC</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> always holds.</p>

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

Double Coalitions in Graphs

  • Michael A. Henning,
  • Doost Ali Mojdeh

摘要

A set S of vertices in a graph G is a dominating set of G if every vertex not in S has a neighbor in S, where two vertices are neighbors if they are adjacent. If G is isolate-free, then a set \(S \subseteq V(G)\) S V ( G ) is a double dominating set of G, if every vertex in \(V(G) \setminus S\) V ( G ) \ S has at least two neighbors in S, and every vertex in S has a neighbor in S. A double coalition in G consists of two disjoint sets of vertices X and Y of G, neither of which is a double dominating set but whose union \(X \cup Y\) X Y is a double dominating set of G. Such sets X and Y are said to form a double coalition. A double coalition partition in G is a vertex partition \(\Psi = \{V_1,V_2,\ldots ,V_k\}\) Ψ = { V 1 , V 2 , , V k } such that for all \(i \in [k]\) i [ k ] , the set \(V_i\) V i forms a double coalition with another set \(V_j\) V j for some j, where \(j \in [k] \setminus \{i\}\) j [ k ] \ { i } . The double coalition number, \(\textrm{DC}(G)\) DC ( G ) , of G equals the maximum order of a double coalition partition in G. We prove that every isolate-free graph has a double coalition partition, and we show that \(2 \le \textrm{DC}(G) \le n\) 2 DC ( G ) n and we characterize the graphs G satisfying \(\textrm{DC}(G) = 2\) DC ( G ) = 2 and the graphs G satisfying \(\textrm{DC}(G) = n\) DC ( G ) = n . We show that \(\textrm{DC}(G) \ge \delta (G) + 1\) DC ( G ) δ ( G ) + 1 where \(\delta (G)\) δ ( G ) denotes the minimum degree among the vertices of G. We show that if \(\delta (G) \in \{1,2\}\) δ ( G ) { 1 , 2 } , then \(\textrm{DC}(G) \le \Delta (G) + 1\) DC ( G ) Δ ( G ) + 1 where \(\Delta (G)\) Δ ( G ) denotes the maximum degree among the vertices of G. However we show that there exist graphs G with \(\delta (G) \ge 6\) δ ( G ) 6 satisfying \(\textrm{DC}(G) > \Delta (G) + 1\) DC ( G ) > Δ ( G ) + 1 . We determine the double coalition number of special classes of graphs. In particular, we determine the double coalition number of every cubic graph G and show that \(\textrm{DC}(G) = 4\) DC ( G ) = 4 always holds.