<p>A graph <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_485_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <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> is a star-<i>k</i>-pairwise compatibility graph (star-<i>k</i>-PCG) if there exists a weight function <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_485_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(w: V \rightarrow \mathbb {R}^+\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>:</mo> <mi>V</mi> <mo stretchy="false">→</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> and <i>k</i> mutually exclusive intervals <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_485_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_1, I_2, \ldots I_k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>I</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>…</mo> <msub> <mi>I</mi> <mi>k</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, such that there is an edge <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_485_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(uv \in E\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mi>v</mi> <mo>∈</mo> <mi>E</mi> </mrow> </math></EquationSource> </InlineEquation> if and only if <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_485_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="146" /> </InlineMediaObject> <EquationSource Format="TEX">\(w(u)+w(v) \in \bigcup _i I_i\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>w</mi> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msub> <mo>⋃</mo> <mi>i</mi> </msub> <msub> <mi>I</mi> <mi>i</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. These graphs are related to two important classes of graphs: pairwise compatibility graphs (PCGs) and multithreshold graphs. It is known that for any graph <i>G</i> there exists a <i>k</i> such that <i>G</i> is a star-<i>k</i>-PCG. Thus, for a given graph <i>G</i> it is interesting to know which is the minimum <i>k</i> such that <i>G</i> is a star-<i>k</i>-PCG. We define this minimum <i>k</i> as the <i>star number</i> of the graph, denoted by <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_485_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Here we investigate the star number of simple graph classes, such as graphs of small size, caterpillars, cycles and grids. Specifically, we determine the exact value of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="236_2025_485_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for all the graphs with at most 7 vertices. By doing so we show that the smallest graphs with star number 2 are only 4 and have exactly 5 vertices; the smallest graphs with star number 3 are only 3 and have exactly 7 vertices. Next, we provide a construction showing that the star number of caterpillars is one. Moreover, we show that the star number of cycles and two-dimensional grid graphs is 2 and that the star number of 4-dimensional grids is at least 3. Finally, we conclude with numerous open problems.</p>

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

On star-k-PCGs: exploring class boundaries for small k values

  • Angelo Monti,
  • Blerina Sinaimeri

摘要

A graph \(G=(V,E)\) G = ( V , E ) is a star-k-pairwise compatibility graph (star-k-PCG) if there exists a weight function \(w: V \rightarrow \mathbb {R}^+\) w : V R + and k mutually exclusive intervals \(I_1, I_2, \ldots I_k\) I 1 , I 2 , I k , such that there is an edge \(uv \in E\) u v E if and only if \(w(u)+w(v) \in \bigcup _i I_i\) w ( u ) + w ( v ) i I i . These graphs are related to two important classes of graphs: pairwise compatibility graphs (PCGs) and multithreshold graphs. It is known that for any graph G there exists a k such that G is a star-k-PCG. Thus, for a given graph G it is interesting to know which is the minimum k such that G is a star-k-PCG. We define this minimum k as the star number of the graph, denoted by \(\gamma (G)\) γ ( G ) . Here we investigate the star number of simple graph classes, such as graphs of small size, caterpillars, cycles and grids. Specifically, we determine the exact value of \(\gamma (G)\) γ ( G ) for all the graphs with at most 7 vertices. By doing so we show that the smallest graphs with star number 2 are only 4 and have exactly 5 vertices; the smallest graphs with star number 3 are only 3 and have exactly 7 vertices. Next, we provide a construction showing that the star number of caterpillars is one. Moreover, we show that the star number of cycles and two-dimensional grid graphs is 2 and that the star number of 4-dimensional grids is at least 3. Finally, we conclude with numerous open problems.