<p>Given a graph <i>G</i>, a subset <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(M\subseteq V(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>⊆</mo> <mi>V</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a mutual-visibility (MV) set if for every <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(u,v\in M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo>∈</mo> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation>, there exists a <i>u</i>,&#xa0;<i>v</i>-geodesic whose internal vertices are not in <i>M</i>. We investigate proper vertex colorings of graphs whose color classes are mutual-visibility sets. The main concepts that arise in this investigation are independent mutual-visibility (IMV) sets and vertex partitions into these sets (IMV colorings). The IMV number <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mu _{i}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> and the IMV chromatic number <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\chi _{\mu _{i}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>χ</mi> <msub> <mi>μ</mi> <mi>i</mi> </msub> </msub> </math></EquationSource> </InlineEquation> are defined as maximum and minimum cardinality taken over all IMV sets and IMV colorings, respectively. Along the way, we also continue with the study of MV chromatic number <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\chi _{\mu }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>χ</mi> <mi>μ</mi> </msub> </math></EquationSource> </InlineEquation> (as the smallest number of sets in a vertex partition into MV sets), which was initiated in an earlier paper. We establish a close connection between the (I)MV chromatic numbers of subdivisions of complete graphs and Ramsey numbers <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(R(4^k;2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">(</mo> <msup> <mn>4</mn> <mi>k</mi> </msup> <mo>;</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. From the computational point of view, we prove that the problems of computing <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\chi _{\mu _{i}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>χ</mi> <msub> <mi>μ</mi> <mi>i</mi> </msub> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mu _{i}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> are NP-complete, and that it is NP-hard to decide whether a graph <i>G</i> satisfies <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mu _i(G)=\alpha (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>μ</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>α</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\alpha (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the independence number of <i>G</i>. Several tight bounds on <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\chi _{\mu _{i}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>χ</mi> <msub> <mi>μ</mi> <mi>i</mi> </msub> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\chi _{\mu }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>χ</mi> <mi>μ</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mu _{i}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> are given. Exact values/formulas for these parameters in some classical families of graphs are proved. In particular, we prove that <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\chi _{\mu _{i}}(T)=\chi _{\mu }(T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>χ</mi> <msub> <mi>μ</mi> <mi>i</mi> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>χ</mi> <mi>μ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> holds for any tree <i>T</i> of order at least 3, and determine their exact formulas in the case of lexicographic product graphs. Finally, we give tight bounds on the (I)MV chromatic numbers for the Cartesian and strong product graphs, which lead to exact values in some important families of product graphs.</p>

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

Independent mutual-visibility coloring and related concepts

  • Boštjan Brešar,
  • Iztok Peterin,
  • Babak Samadi,
  • Ismael G. Yero

摘要

Given a graph G, a subset \(M\subseteq V(G)\) M V ( G ) is a mutual-visibility (MV) set if for every \(u,v\in M\) u , v M , there exists a uv-geodesic whose internal vertices are not in M. We investigate proper vertex colorings of graphs whose color classes are mutual-visibility sets. The main concepts that arise in this investigation are independent mutual-visibility (IMV) sets and vertex partitions into these sets (IMV colorings). The IMV number \(\mu _{i}\) μ i and the IMV chromatic number \(\chi _{\mu _{i}}\) χ μ i are defined as maximum and minimum cardinality taken over all IMV sets and IMV colorings, respectively. Along the way, we also continue with the study of MV chromatic number \(\chi _{\mu }\) χ μ (as the smallest number of sets in a vertex partition into MV sets), which was initiated in an earlier paper. We establish a close connection between the (I)MV chromatic numbers of subdivisions of complete graphs and Ramsey numbers \(R(4^k;2)\) R ( 4 k ; 2 ) . From the computational point of view, we prove that the problems of computing \(\chi _{\mu _{i}}\) χ μ i and \(\mu _{i}\) μ i are NP-complete, and that it is NP-hard to decide whether a graph G satisfies \(\mu _i(G)=\alpha (G)\) μ i ( G ) = α ( G ) where \(\alpha (G)\) α ( G ) is the independence number of G. Several tight bounds on \(\chi _{\mu _{i}}\) χ μ i , \(\chi _{\mu }\) χ μ and \(\mu _{i}\) μ i are given. Exact values/formulas for these parameters in some classical families of graphs are proved. In particular, we prove that \(\chi _{\mu _{i}}(T)=\chi _{\mu }(T)\) χ μ i ( T ) = χ μ ( T ) holds for any tree T of order at least 3, and determine their exact formulas in the case of lexicographic product graphs. Finally, we give tight bounds on the (I)MV chromatic numbers for the Cartesian and strong product graphs, which lead to exact values in some important families of product graphs.