<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="373_2025_2937_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="373_2025_2937_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 at least one 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="373_2025_2937_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="373_2025_2937_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="373_2025_2937_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="373_2025_2937_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="373_2025_2937_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="373_2025_2937_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="373_2025_2937_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 discuss the problem to determine or estimate the best possible constants <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq10.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta _{r}^{\textrm{reg}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>θ</mi> <mrow> <mi>r</mi> </mrow> <mtext>reg</mtext> </msubsup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta _{r}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>θ</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation> (which depend only on&#xa0;<i>r</i>) for each <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq12.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(r \ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, such that <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="129" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{DC}(G) \le \theta _{r}^{\textrm{reg}} \times r\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>DC</mtext> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msubsup> <mi>θ</mi> <mrow> <mi>r</mi> </mrow> <mtext>reg</mtext> </msubsup> <mo>×</mo> <mi>r</mi> </mrow> </math></EquationSource> </InlineEquation> for the class of <i>r</i>-regular graphs <i>G</i> and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="148" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{DC}(G) \le \theta _{r} \times \Delta (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>DC</mtext> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msub> <mi>θ</mi> <mi>r</mi> </msub> <mo>×</mo> <mi mathvariant="normal">Δ</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for the class of graphs <i>G</i> with minimum degree equal to&#xa0;<i>r</i>. We show that <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq15.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta _{r}^{\textrm{reg}} \ge 2 \left( \frac{r-1}{r} \right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>θ</mi> <mrow> <mi>r</mi> </mrow> <mtext>reg</mtext> </msubsup> <mo>≥</mo> <mn>2</mn> <mfenced close=")" open="("> <mfrac> <mrow> <mi>r</mi> <mo>-</mo> <mn>1</mn> </mrow> <mi>r</mi> </mfrac> </mfenced> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq12.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(r \ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, and that equality holds if <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(r \in \{3,4\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>3</mn> <mo>,</mo> <mn>4</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, while <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq18.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta _{r} \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>θ</mi> <mi>r</mi> </msub> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq12.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(r \ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq20.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta _{r} \ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>θ</mi> <mi>r</mi> </msub> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> for <i>r</i> sufficiently large. Moreover, we show that <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq21.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta _3 = 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>θ</mi> <mn>3</mn> </msub> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. Finally, we prove that <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2937_Article_IEq22.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="113" /> </InlineMediaObject> <EquationSource Format="TEX">\(5 \le \textrm{DC}(G) \le 6\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>5</mn> <mo>≤</mo> <mtext>DC</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo>≤</mo> <mn>6</mn> </mrow> </math></EquationSource> </InlineEquation> whenever <i>G</i> is a 4-regular graph.</p>

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

Double Coalitions in Regular 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 at least one 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 discuss the problem to determine or estimate the best possible constants \(\theta _{r}^{\textrm{reg}}\) θ r reg and \(\theta _{r}\) θ r (which depend only on r) for each \(r \ge 3\) r 3 , such that \(\textrm{DC}(G) \le \theta _{r}^{\textrm{reg}} \times r\) DC ( G ) θ r reg × r for the class of r-regular graphs G and \(\textrm{DC}(G) \le \theta _{r} \times \Delta (G)\) DC ( G ) θ r × Δ ( G ) for the class of graphs G with minimum degree equal to r. We show that \(\theta _{r}^{\textrm{reg}} \ge 2 \left( \frac{r-1}{r} \right) \) θ r reg 2 r - 1 r for all \(r \ge 3\) r 3 , and that equality holds if \(r \in \{3,4\}\) r { 3 , 4 } , while \(\theta _{r} \ge 2\) θ r 2 for all \(r \ge 3\) r 3 , and \(\theta _{r} \ge 3\) θ r 3 for r sufficiently large. Moreover, we show that \(\theta _3 = 2\) θ 3 = 2 . Finally, we prove that \(5 \le \textrm{DC}(G) \le 6\) 5 DC ( G ) 6 whenever G is a 4-regular graph.