{"title":"On star-k-PCGs: exploring class boundaries for small k values","authors":"Angelo Monti, Blerina Sinaimeri","doi":"10.1007/s00236-025-00485-z","DOIUrl":null,"url":null,"abstract":"<div><p>A graph <span>\\(G=(V,E)\\)</span> is a star-<i>k</i>-pairwise compatibility graph (star-<i>k</i>-PCG) if there exists a weight function <span>\\(w: V \\rightarrow \\mathbb {R}^+\\)</span> and <i>k</i> mutually exclusive intervals <span>\\(I_1, I_2, \\ldots I_k\\)</span>, such that there is an edge <span>\\(uv \\in E\\)</span> if and only if <span>\\(w(u)+w(v) \\in \\bigcup _i I_i\\)</span>. 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 <span>\\(\\gamma (G)\\)</span>. 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 <span>\\(\\gamma (G)\\)</span> 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></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 2","pages":""},"PeriodicalIF":0.4000,"publicationDate":"2025-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00236-025-00485-z.pdf","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Informatica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00236-025-00485-z","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0
摘要
如果存在一个权重函数(w:和 k 个互斥区间(I_1, I_2, \ldots I_k\ ),这样,当且仅当(w(u)+w(v)在 \bigcup _i I_i\)时,存在一条边(uv 在 E\ 中)。这些图与两类重要的图有关:成对相容图(PCG)和多阈值图。众所周知,对于任何图 G,都存在一个 k,使得 G 是星-k-PCG。因此,对于给定的图 G,我们有兴趣知道哪一个 k 是最小的,使得 G 是星形-k-PCG。我们把这个最小 k 定义为图的星形数,用 \(\gamma (G)\) 表示。在此,我们将研究简单图类的星形数,如小尺寸图、毛毛虫图、循环图和网格图。具体来说,我们确定了所有顶点最多为 7 个的图的\(\gamma (G)\) 的精确值。通过这样做,我们证明了星号为 2 的最小图形只有 4 个,并且正好有 5 个顶点;星号为 3 的最小图形只有 3 个,并且正好有 7 个顶点。接下来,我们提供了一种构造,表明毛毛虫的星号是 1。此外,我们还证明了循环图和二维网格图的星号是 2,而四维网格图的星号至少是 3。最后,我们提出了许多有待解决的问题。
On star-k-PCGs: exploring class boundaries for small k values
A graph \(G=(V,E)\) is a star-k-pairwise compatibility graph (star-k-PCG) if there exists a weight function \(w: V \rightarrow \mathbb {R}^+\) and k mutually exclusive intervals \(I_1, I_2, \ldots I_k\), such that there is an edge \(uv \in E\) if and only if \(w(u)+w(v) \in \bigcup _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)\). 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)\) 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.
期刊介绍:
Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.
Topics of interest include:
• semantics of programming languages
• models and modeling languages for concurrent, distributed, reactive and mobile systems
• models and modeling languages for timed, hybrid and probabilistic systems
• specification, program analysis and verification
• model checking and theorem proving
• modal, temporal, first- and higher-order logics, and their variants
• constraint logic, SAT/SMT-solving techniques
• theoretical aspects of databases, semi-structured data and finite model theory
• theoretical aspects of artificial intelligence, knowledge representation, description logic
• automata theory, formal languages, term and graph rewriting
• game-based models, synthesis
• type theory, typed calculi
• algebraic, coalgebraic and categorical methods
• formal aspects of performance, dependability and reliability analysis
• foundations of information and network security
• parallel, distributed and randomized algorithms
• design and analysis of algorithms
• foundations of network and communication protocols.