Indexed metadata

Isolation of Regular Graphs and k-Chromatic Graphs

Peter Borg

Source record

Source: Crossref

Published: Jun 27, 2024

DOI: 10.1007/s00009-024-02680-7

Open original source ↗

Source abstract

Abstract Given a set F{\mathcal {F}} F of graphs, we call a copy of a graph in F{\mathcal {F}} F an F{\mathcal {F}} F -graph. The F{\mathcal {F}} F -isolation number of a graph G , denoted by ι(G,F)\iota (G,{\mathcal {F}}) ι ( G , F ) , is the size of a smallest set D of vertices of G such that the closed neighborhood of D intersects the vertex sets of the F{\mathcal {F}} F -graphs contained by G (equivalently, GN[D]G - N[D] G - N [ D ] contains no F{\mathcal {F}} F -graph). Thus, ι(G,{K1})\iota (G,\{K_1\}) ι ( G , { K 1 } ) is the domination number of G . For any integer k1k \ge 1 k ≥ 1 , let F1,k{\mathcal {F}}_{1,k} F 1 , k be the set of regular graphs of degree at least k1k-1 k - 1 , let F2,k{\mathcal {F}}_{2,k} F 2 , k be the set of graphs whose chromatic number is at least k , and let F3,k{\mathcal {F}}_{3,k} F 3 , k be the union of F1,k{\mathcal {F}}_{1,k} F 1 , k and F2,k{\mathcal {F}}_{2,k} F 2 , k . Thus, k -cliques are members of both F1,k{\mathcal {F}}_{1,k} F 1 , k and F2,k{\mathcal {F}}_{2,k} F 2 , k . We prove that for each i{1,2,3}i \in \{1, 2, 3\} i ∈ { 1 , 2 , 3 } , $$\frac{m+1}{{k \atopwithdelims ()2} + 2}$$ m + 1 k 2 + 2 is a best possible upper bound on ι(G,Fi,k)\iota (G, {\mathcal {F}}_{i,k}) ι ( G , F i , k ) for connected m -edge graphs G that are not k -cliques. The bound is attained by infinitely many (non-isomorphic) graphs. The proof of the bound depends on determining the graphs attaining the bound. This appears to be a new feature in the literature on isolation. Among the result’s consequences are a sharp bound of Fenech, Kaemawichanurat, and the present author on the k -clique isolation number and a sharp bound on the cycle isolation number.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.