arXiv++ Combinatorics

The graph isolation problem was introduced by Caro and Hansberg in 2015. It is a vast generalization of the classical graph domination problem and its study is expanding rapidly. In this paper, we address a number of questions that arise naturally. Let $F$ be a graph. We show that the $F$-isolating set problem is NP-complete if $F$ is connected. We investigate how the $F$-isolation number $ι(G,F)$ of a graph $G$ is affected by the minimum degree $d$ of $G$, establishing a bounded range, in terms of $d$ and the orders of $F$ and $G$, for the largest possible value of $ι(G,F)$ with $d$ sufficiently large. We also investigate how close $ι(G,tF)$ is to $ι(G,F)$, using domination and, in suitable cases, the Erdos-Posa property.

This paper introduces the notion of $(ι,q)$-critical graphs. The isolation number of a graph $G$, denoted by $ι(G)$ and also known as the vertex-edge domination number, is the minimum number of vertices in a set $D$ such that the subgraph induced by the vertices not in the closed neighbourhood of $D$ has no edges. A graph $G$ is $(ι,q)$-critical, $q \ge 1$, if the subdivision of any $q$ edges in $G$ gives a graph with isolation number greater than $ι(G)$ and there exists a set of $q-1$ edges such that subdividing them gives a graph with isolation number equal to $ι(G)$. We prove that for each integer $q \ge 1$ there exists a $(ι,q)$-critical graph, while for a given graph $G$, the admissible values of $q$ satisfy $1 \le q \le |E(G)| - 1$. In addition, we provide a general characterisation of $(ι,1)$-critical graphs as well as a constructive characterisation of $(ι,1)$-critical trees.

A copy of a hypergraph $F$ is called an $F$-copy. Let $K_k^r$ denote the complete $r$-uniform hypergraph whose vertex set is $[k] = \{1, \dots, k\}$ (that is, the edges of $K_k^r$ are the $r$-element subsets of $[k]$). Given an $r$-uniform $n$-vertex hypergraph $H$, the $K_k^r$-isolation number of $H$, denoted by $ι(H, K_k^r)$, is the size of a smallest subset $D$ of the vertex set of $H$ such that the closed neighbourhood $N[D]$ of $D$ intersects the vertex sets of the $K_k^r$-copies contained by $H$ (equivalently, $H-N[D]$ contains no $K_k^r$-copy). In this note, we show that if $2 \leq r \leq k$ and $H$ is connected, then $ι(H, K_k^r) \leq \frac{n}{k+1}$ unless $H$ is a $K_k^r$-copy or $k = r = 2$ and $H$ is a $5$-cycle. This solves a recent problem of Li, Zhang and Ye. The result for $r = 2$ (that is, $H$ is a graph) was proved by Fenech, Kaemawichanurat and the author, and is used to prove the result for any $r$. The extremal structures for $r = 2$ were determined by various authors. We use this to determine the extremal structures for any $r$.

Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G, \mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G-N[D]$ contains no $\mathcal{F}$-graph). Let $\mathcal{C}$ be the set of cycles, and let $\mathcal{C}'$ be the set of non-triangle cycles (that is, cycles of length at least $4$). Let $G$ be a connected graph having exactly $n$ vertices and $m$ edges. The first author proved that $ι(G,\mathcal{C}) \leq n/4$ if $G$ is not a triangle. Bartolo and the authors proved that $ι(G,\{C_4\}) \leq n/5$ if $G$ is not a copy of one of nine graphs. Various authors proved that $ι(G,\mathcal{C}) \leq (m+1)/5$ if $G$ is not a triangle. We prove that $ι(G,\mathcal{C}') \leq (m+1)/6$ if $G$ is not a $4$-cycle. Zhang and Wu established this for the case where $G$ is triangle-free. Our result yields the inequality $ι(G,\{C_4\}) \leq (m+1)/6$ of Wei, Zhang and Zhao. These bounds are attained by infinitely many (non-isomorphic) graphs. The proof of our inequality hinges on also determining the graphs attaining the bound.

The $3$-path isolation number of a connected $n$-vertex graph $G$, denoted by $ι(G,P_3)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ in $G$ intersects each $3$-vertex path of $G$, meaning that no two edges of $G-N[D]$ intersect. Zhang and Wu proved that $ι(G,P_3) \leq 2n/7$ unless $G$ is a $3$-path or a $3$-cycle or a $6$-cycle. The bound is attained by infinitely many graphs having induced $6$-cycles. Huang, Zhang and Jin proved that if $G$ has no $6$-cycles, or $G$ has no induced $5$-cycles and no induced $6$-cycles, then $ι(G, P_3) \leq n/4$ unless $G$ is a $3$-path or a $3$-cycle or a $7$-cycle or an $11$-cycle. They asked if the bound still holds asymptotically for connected graphs having no induced $6$-cycles. More precisely, taking $f(n)$ to be the maximum value of $ι(G,P_3)$ over all connected $n$-vertex graphs $G$ having no induced $6$-cycles, their question is whether $\limsup_{n \to\infty}\frac{f(n)}{n} = \frac{1}{4}$. We verify this by proving that $f(n) = \left \lfloor (n+1)/4 \right \rfloor$. The proof hinges on further proving that if $G$ is such a graph and $ι(G, P_3) = (n+1)/4$, then $ι(G-v, P_3) < ι(G, P_3)$ for each vertex $v$ of $G$. This new idea promises to be of further use. We also prove that if the maximum degree of such a graph $G$ is at least $5$, then $ι(G,P_3) \leq n/4$.

A copy of a graph $F$ is called an $F$-copy. For any graph $G$, the $F$-isolation number of $G$, denoted by $ι(G,F)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ in $G$ intersects the vertex sets of the $F$-copies contained by $G$ (equivalently, $G-N[D]$ contains no $F$-copy). Thus, $ι(G,K_1)$ is the domination number $γ(G)$ of $G$, and $ι(G,K_2)$ is the vertex-edge domination number of $G$. Settling a conjecture of Zhang and Wu, the first author proved that if $F$ is a $k$-edge graph, $γ(F) = 1$ (that is, $F$ has a vertex that is adjacent to all the other vertices of $F$), and $G$ is a connected $m$-edge graph, then $ι(G,F) \leq \frac{m+1}{k+2} $ unless $G$ is an $F$-copy or $F$ is a $3$-path and $G$ is a $6$-cycle. We prove another conjecture of Zhang and Wu by determining the graphs that attain the bound.

The $3$-path isolation number of a connected $n$-vertex graph $G$, denoted by $ι(G,P_3)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ in $G$ intersects each $3$-vertex path of $G$, meaning that no two edges of $G-N[D]$ intersect. If $G$ is not a $3$-path or a $3$-cycle or a $6$-cycle, then $ι(G,P_3) \leq 2n/7$. This was proved by Zhang and Wu, and independently by Borg in a slightly extended form. The bound is attained by infinitely many graphs having induced $6$-cycles. Huang, Zhang and Jin showed that if $G$ has no $6$-cycles, or $G$ has no induced $5$-cycles and no induced $6$-cycles, then $ι(G,P_3) \leq n/4$ unless $G$ is a $3$-path or a $3$-cycle or a $7$-cycle or an $11$-cycle. They asked if the bound still holds asymptotically for connected graphs having no induced $6$-cycles. Thus, the problem essentially is whether induced $6$-cycles solely account for the difference between the two bounds. In this paper, we solve this problem for subcubic graphs, which need to be treated differently from other graphs. We show that if $G$ is subcubic and has no induced $6$-cycles, then $ι(G,P_3) \leq n/4$ unless $G$ is a copy of one of $12$ particular graphs whose orders are $3$, $7$, $11$ and $15$. The bound is sharp.

The isolation number of a graph $G$ (also called the vertex-edge domination number of $G$), denoted by $ι(G)$, is the size of a smallest subset $D$ of the vertex set $V(G)$ of $G$ such that $G-N[D]$ (the graph obtained by deleting the closed neighbourhood $N[D]$ of $D$ from $G$) has no edges. For $k \geq 1$, the $k$-isolation number of $G$ is the size of a smallest subset $D$ of $V(G)$ such that the maximum degree of $G-N[D]$ is at most $k-1$. Thus, $ι_1(G) = ι(G)$. Let $n$ and $\ell$ be the number of vertices and the number of leaves of $G$, respectively. We show that if $n \geq 3$ and $G$ is connected, then $ι_k(G) \leq \frac{n - \ell}{2}$. We also show that if $G$ is a tree $T$, then $ι(T) \leq \frac{n + \ell}{4}$ and $ι_k(T) \leq \frac{n + \ell}{2k+1}$ for $k \geq 2$. These bounds together improve the inequality $ι_k(T) \leq \frac{n}{k+2}$ of Caro and Hansberg except that their inequality is better if $k \geq 2$ and $\frac{k-1}{k+2}n < \ell < \frac{k}{k+2}n$. Each of the new bounds is attainable if it is an integer. For each of them, we characterize all the graphs that attain it.

A copy of a graph $F$ is called an $F$-copy. For any graph $G$, the $F$-isolation number of $G$, denoted by $ι(G,F)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ in $G$ intersects the vertex sets of the $F$-copies contained by $G$ (equivalently, $G-N[D]$ contains no $F$-copy). Thus, $ι(G,K_1)$ is the domination number $γ(G)$ of $G$, and $ι(G,K_2)$ is the vertex-edge domination number of $G$. We prove that if $F$ is a $k$-edge graph, $γ(F) = 1$ (that is, $F$ has a vertex that is adjacent to all the other vertices of $F$), and $G$ is a connected $m$-edge graph, then $ι(G,F) \leq \big\lfloor \frac{m+1}{k+2} \big\rfloor$ unless $G$ is an $F$-copy or $F$ is a $3$-path and $G$ is a $6$-cycle. This was recently posed as a conjecture by Zhang and Wu, who settled the extreme case where $F$ is a star. The result for the other extreme case where $F$ is a clique had been obtained by Fenech, Kaemawichanurat and the present author. The bound is attainable for any $m \geq 0$ unless $1 \leq m = k \leq 2$. New ideas, including deletion methods and divisibility considerations, are introduced in the proof of the conjecture.

Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G,\mathcal{F})$, is the size of a smallest subset $D$ of the vertex set $V(G)$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G - N[D]$ contains no $\mathcal{F}$-graph). Thus, $ι(G,\{K_1\})$ is the domination number of $G$. The second author showed that if $\mathcal{F}$ is the set of cycles and $G$ is a connected $n$-vertex graph that is not a triangle, then $ι(G,\mathcal{F}) \leq \left \lfloor \frac{n}{4} \right \rfloor$. This bound is attainable for every $n$ and solved a problem of Caro and Hansberg. A question that arises immediately is how much smaller an upper bound can be if $\mathcal{F} = \{C_k\}$ for some $k \geq 3$, where $C_k$ is a cycle of length $k$. The problem is to determine the smallest real number $c_k$ (if it exists) such that for some finite set $\mathcal{E}_k$ of graphs, $ι(G, \{C_k\}) \leq c_k |V(G)|$ for every connected graph $G$ that is not an $\mathcal{E}_k$-graph. The above-mentioned result yields $c_3 = \frac{1}{4}$ and $\mathcal{E}_3 = \{C_3\}$. The second author also showed that if $k \geq 5$ and $c_k$ exists, then $c_k \geq \frac{2}{2k + 1}$. We prove that $c_4 = \frac{1}{5}$ and determine $\mathcal{E}_4$, which consists of three $4$-vertex graphs and six $9$-vertex graphs. The $9$-vertex graphs in $\mathcal{E}_4$ were fully determined by means of a computer program. A method that has the potential of yielding similar results is introduced.

Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G,\mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G - N[D]$ contains no $\mathcal{F}$-graph). Thus, $ι(G,\{K_1\})$ is the domination number of $G$. For any integer $k \geq 1$, let $\mathcal{F}_{1,k}$ be the set of regular graphs of degree at least $k-1$, let $\mathcal{F}_{2,k}$ be the set of graphs whose chromatic number is at least $k$, and let $\mathcal{F}_{3,k}$ be the union of $\mathcal{F}_{1,k}$ and $\mathcal{F}_{2,k}$. Thus, $k$-cliques are members of both $\mathcal{F}_{1,k}$ and $\mathcal{F}_{2,k}$. We prove that for each $i \in \{1, 2, 3\}$, $\frac{m+1}{{k \choose 2} + 2}$ is a best possible upper bound on $ι(G, \mathcal{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.

Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G,\mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G - N[D]$ contains no $\mathcal{F}$-graph). Thus, $ι(G,\{K_1\})$ is the domination number of $G$. Clearly, $ι(G, \mathcal{F}) \leq ι(G, \mathcal{F} \cup \mathcal{H})$. For any integer $k \geq 1$, let $\mathcal{F}_{0,k}$ be the set consisting of the $k$-star $K_{1,k}$, let $\mathcal{F}_{1,k}$ be the set of regular graphs whose degree is at least $k-1$, let $\mathcal{F}_{2,k}$ be the set of graphs whose chromatic number is at least $k$, and let $\mathcal{F}_{3,k}$ be the union $\mathcal{F}_{0,k} \cup \mathcal{F}_{1,k} \cup \mathcal{F}_{2,k}$. We prove that if $G$ is a connected $n$-vertex graph, then $ι(G, \mathcal{F}_{3,k}) \leq \frac{n}{k+1}$ unless $G$ is a $k$-clique or $k = 2$ and $G$ is a $5$-cycle. This generalizes a classical bound of Ore on the domination number, a bound of Caro and Hansberg and of Żyliński on the vertex-edge domination number, a bound of Fenech, Kaemawichanurat and the author on the $k$-clique isolation number, a bound of the author on the cycle isolation number, and a bound of Caro and Hansberg on the $\mathcal{F}_{0,k}$-isolation number. The proof features a new strategy. For $i = 1, 2, 3$, the bound $\frac{n}{k+1}$ on $ι(G, \mathcal{F}_{i,k})$ is attainable if $k+1$ divides $n$. Our second main result is that the bound $\frac{n}{k+1}$ on $ι(G, \mathcal{F}_{0,k})$ is attainable if and only if $n$ is $0$ or $k+1$ or $2(k+1)$. We pose some problems and conjectures, and establish additional intriguing phenomena concerning $k$-star isolation and $k$-cycle isolation.

A subset $I$ of the vertex set $V(G)$ of a graph $G$ is called a $k$-clique independent set of $G$ if no $k$ vertices in $I$ form a $k$-clique of $G$. An independent set is a $2$-clique independent set. Let $π_k(G)$ denote the number of $k$-cliques of $G$. For a function $w: V(G) \rightarrow \{0, 1, 2, \dots\}$, let $G(w)$ be the graph obtained from $G$ by replacing each vertex $v$ by a $w(v)$-clique $K^v$ and making each vertex of $K^u$ adjacent to each vertex of $K^v$ for each edge $\{u,v\}$ of $G$. For an integer $m \geq 1$, consider any $w$ with $\sum_{v \in V(G)} w(v) = m$. For $U \subseteq V(G)$, we say that $w$ is uniform on $U$ if $w(v) = 0$ for each $v \in V(G) \setminus U$ and, for each $u \in U$, $w(u) = \left\lfloor m/|U| \right\rfloor$ or $w(u) = \left\lceil m/|U| \right\rceil$. Katona asked if $π_k(G(w))$ is smallest when $w$ is uniform on a largest $k$-clique independent set of $G$. He placed particular emphasis on the Sperner graph $B_n$, given by $V(B_n) = \{X \colon X \subseteq \{1, \dots, n\}\}$ and $E(B_n) = \{\{X,Y\} \colon X \subsetneq Y \in V(B_n)\}$. He provided an affirmative answer for $k = 2$ (and any $G$). We determine graphs for which the answer is negative for every $k \geq 3$. These include $B_n$ for $n \geq 2$. Generalizing Sperner's Theorem and a recent result of Qian, Engel and Xu, we show that $π_k(B_n(w))$ is smallest when $w$ is uniform on a largest independent set of $B_n$. We also show that the same holds for complete multipartite graphs and chordal graphs. We show that this is not true of every graph, using a deep result of Bohman on triangle-free graphs.

For a connected $n$-vertex graph $G$ and a set $\mathcal{F}$ of graphs, let $ι(G,\mathcal{F})$ denote the size of a smallest set $D$ of vertices of $G$ such that the graph obtained from $G$ by deleting the closed neighbourhood of $D$ contains no graph in $\mathcal{F}$. Let $\mathcal{E}_k$ denote the set of connected graphs that have at least $k$ edges. By a result of Caro and Hansberg, $ι(G,\mathcal{E}_1) \leq n/3$ if $n \neq 2$ and $G$ is not a $5$-cycle. The author recently showed that if $G$ is not a triangle and $\mathcal{C}$ is the set of cycles, then $ι(G,\mathcal{C}) \leq n/4$. We improve this result by showing that $ι(G,\mathcal{E}_3) \leq n/4$ if $G$ is neither a triangle nor a $7$-cycle. Let $r$ be the number of vertices of $G$ that have only one neighbour. We determine a set $\mathcal{S}$ of six graphs such that $ι(G,\mathcal{E}_2) \leq (4n - r)/14$ if $G$ is not a copy of a member of $\mathcal{S}$. The bounds are sharp.

A set of sets is called a family. Two families $\mathcal{A}$ and $\mathcal{B}$ of sets are said to be cross-intersecting if each member of $\mathcal{A}$ intersects each member of $\mathcal{B}$. For any two integers $n$ and $k$ with $1 \leq k \leq n$, let ${[n] \choose \leq k}$ denote the family of subsets of $[n] = \{1, \dots, n\}$ that have at most $k$ elements. We show that if $\mathcal{A}$ is a non-empty subfamily of ${[n] \choose \leq r}$, $\mathcal{B}$ is a non-empty subfamily of ${[n] \choose \leq s}$, $r \leq s$, and $\mathcal{A}$ and $\mathcal{B}$ are cross-intersecting, then \[|\mathcal{A}| + |\mathcal{B}| \leq 1 + \sum_{i=1}^s \left({n \choose i} - {n-r \choose i} \right),\] and equality holds if $\mathcal{A} = \{[r]\}$ and $\mathcal{B}$ is the family of sets in ${[n] \choose \leq s}$ that intersect $[r]$.

A subset $A$ of $[n] = \{1, \dots, n\}$ is $k$-separated if, when the elements of $[n]$ are considered on a circle, between any two elements of $A$ there are at least $k$ elements of $[n]$ that are not in $A$. A family $\mathcal{A}$ of sets is intersecting if every two sets in $\mathcal{A}$ intersect. We give a short and simple proof of a remarkable result of Talbot (2003), stating that if $n \geq (k + 1)r$ and $\mathcal{A}$ is an intersecting family of $k$-separated $r$-element subsets of $[n]$, then $|\mathcal{A}| \leq \binom{n - kr - 1}{r - 1}$. This bound is best possible.

Let $λ(G)$ be the smallest number of vertices that can be removed from a non-empty graph $G$ so that the resulting graph has a smaller maximum degree. Let $λ_{\rm e}(G)$ be the smallest number of edges that can be removed from $G$ for the same purpose. Let $k$ be the maximum degree of $G$, let $t$ be the number of vertices of degree $k$, let $M(G)$ be the set of vertices of degree $k$, let $n$ be the number of vertices in the closed neighbourhood of $M(G)$, and let $m$ be the number of edges incident to vertices in $M(G)$. Fenech and the author showed that $λ(G) \leq \frac{n+(k-1)t}{2k}$, and they essentially showed that $λ(G) \leq n \left ( 1- \frac{k}{k+1} { \Big( \frac{n}{(k+1)t} \Big) }^{1/k} \right )$. They also showed that $λ_{\rm e}(G) \leq \frac{m + (k-1)t}{2k-1}$ and $λ_{\rm e} (G) \leq m \left ( 1- \frac{k-1}{k} { \Big( \frac{m}{kt} \Big) }^{1/(k-1)} \right )$. These bounds are attained if $k \geq 2$ and $G$ is the union of $t$ pairwise vertex-disjoint $(k+1)$-vertex stars. For each of $λ(G)$ and $λ_{\rm e}(G)$, the two bounds on the parameter are compared for the purpose of determining, for each bound, the cases in which the bound is better than the other. This work is also motivated by the likelihood that similar pairs of bounds will be discovered for other graph parameters and the same analysis can be applied.

Several domination results have been obtained for maximal outerplanar graphs (mops). The classical domination problem is to minimize the size of a set $S$ of vertices of an $n$-vertex graph $G$ such that $G - N[S]$, the graph obtained by deleting the closed neighborhood of $S$, contains no vertices. In the proof of the Art Gallery Theorem, Chvátal showed that the minimum size, called the domination number of $G$ and denoted by $γ(G)$, is at most $n/3$ if $G$ is a mop. Here we consider a modification by allowing $G - N[S]$ to have a maximum degree of at most $k$. Let $ι_k(G)$ denote the size of a smallest set $S$ for which this is achieved. If $n \le 2k+3$, then trivially $ι_k(G) \leq 1$. Let $G$ be a mop on $n \ge \max\{5,2k+3\}$ vertices, $n_2$ of which are of degree $2$. Upper bounds on $ι_k(G)$ have been obtained for $k = 0$ and $k = 1$, namely $ι_{0}(G) \le \min\{\frac{n}{4},\frac{n+n_2}{5},\frac{n-n_2}{3}\}$ and $ι_1(G) \le \min\{\frac{n}{5},\frac{n+n_2}{6},\frac{n-n_2}{3}\}$. We prove that $ι_{k}(G) \le \min\{\frac{n}{k+4},\frac{n+n_2}{k+5},\frac{n-n_2}{k+2}\}$ for any $k \ge 0$. For the original setting of the Art Gallery Theorem, the argument presented yields that if an art gallery has exactly $n$ corners and at least one of every $k + 2$ consecutive corners must be visible to at least one guard, then the number of guards needed is at most $n/(k+4)$. We also prove that $γ(G) \le \frac{n - n_2}{2}$ unless $n = 2n_2$, $n_2$ is odd, and $γ(G) = \frac{n - n_2 + 1}{2}$. Together with the inequality $γ(G) \le \frac{n+n_2}{4}$, obtained by Campos and Wakabayashi and independently by Tokunaga, this improves Chvátal's bound. The bounds are sharp.

A family $\mathcal{A}$ of sets is said to be intersecting if every two sets in $\mathcal{A}$ intersect. An intersecting family is said to be \emph{trivial} it its sets have a common element. A graph $G$ is said to be $r$-EKR if at least one of the largest intersecting families of independent $r$-element sets of $G$ is trivial. Let $α(G)$ and $ω(G)$ denote the independence number and the clique number of $G$, respectively. Hilton and Spencer recently showed that if $G$ is the vertex-disjoint union of a cycle ${_*C}$ raised to the power $k^*$ and $s$ cycles ${_1C}, \dots, {_sC}$ raised to the powers $k_1, \dots, k_s$, respectively, $1 \leq r \leq α(G)$, and $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq 2k^* + 1,$$ then $G$ is $r$-EKR. They had shown that the same holds if ${_*C}$ is replaced by a path and the condition on the clique numbers is relaxed to $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq k^* + 1.$$ We use the classical Shadow Intersection Theorem of Katona to obtain a short proof of each result for the case where the inequality for the minimum clique number is strict.

Several domination results have been obtained for maximal outerplanar graphs (mops). The classical domination problem is to minimize the size of a set $S$ of vertices of an $n$-vertex graph $G$ such that $G - N[S]$, the graph obtained by deleting the closed neighborhood of $S$, is null. A classical result of Chvátal is that the minimum size is at most $n/3$ if $G$ is a mop. Here we consider a modification by allowing $G - N[S]$ to have isolated vertices and isolated edges only. Let $ι_1(G)$ denote the size of a smallest set $S$ for which this is achieved. We show that if $G$ is a mop on $n \geq 5$ vertices, then $ι_{1}(G) \leq n/5$. We also show that if $n_2$ is the number of vertices of degree $2$, then $ι_{1}(G) \leq \frac{n+n_2}{6}$ if $n_2 \leq \frac{n}{3}$, and $ι_1(G) \leq \frac{n-n_2}{3}$ otherwise. We show that these bounds are best possible.