1 Introduction

By a word graph we mean a simple graph in which multiple edges (but not loops) are allowed. Given a graph \(G, V(G)\) denotes the vertex set of \(G\) and \(E(G)\) denotes the edge set of \(G\). Furthermore, \(|G|:=|V(G)|\) is the order of \(G\) and \(||G||:=|E(G)|\) is the size of \(G\). By \(N_G(x)\) we denote the set of vertices adjacent with \(x\) in \(G\). For a vertex set \(X\), the set \(N_G(X)\) denotes the external neighbourhood of \(X\) in \(G\), i.e.

$$\begin{aligned} N_G(X)=\{y\in V(G)\setminus X: y \text{ is} \text{ adjacent} \text{ with} \text{ some} x\in X\}. \end{aligned}$$

Consider the following problem. Suppose that we want to build a construction having certain properties using elements from sets \(S_1,...,S_t\). Each element from a set \(S_i\) has a given cost \(c_i\). Thus, the total cost (depending only on the numbers and costs of used elements) of every construction can be computed.

We will consider this kind of problem in case where the feasible constructions are graphs with certain properties and accesible elements are vertices and edges. We require that a feasible (from our point of view) graph \(G\) (feasible construction) contains a given subgraph \(H\). In fact, we require more. Some sensors may get damaged, hence, we want that even if some of them are spoiled, the special configuration of sensors and connections is still assured in the net. Clearly, we want to assure this configuration with minimal cost. The following problem has attracted some attention recently. Let \(H\) be any graph and \(k\) a non-negative integer. A graph \(G\) is called \((H;k)-vertex stable\) (in short \((H;k)-stable\)) if \(G\) contains a subgraph isomorphic to \(H\) ever after removing any \(k\) of its vertices. Then stab\((H;k)\) denotes minimum size among the sizes of all \((H;k)\)-vertex stable graphs. Note that if \(H\) does not have isolated vertices then after adding to or removing from a \((H;k)\)-vertex stable graph any number of isolated vertices we still have a \((H;k)\)-vertex stable graph with the same size. Therefore, in the sequel we assume that no graph in question has isolated vertices.

The notion of \((H;k)\)-vertex stable graphs was introduced in Dudek et al. (2008) (an edge version of this notion was also considered, see Frankl and Katona 2008; Horváth and Katona 2011). So far the exact value of stab\((H;k)\) for any \(k\) is known in the case when \(H=C_3, C_4, K_4, K_{1,m}\) (Dudek et al. 2008), \(H=K_5\) (Fouquet et al. 2012a), and \(H=K_q\) with \(k\) sufficiently large (Żak 2011). On the other hand, for small \(k\) the value stab\((H;k)\) is known when \(H=K_{m,n}\) and \(k=1\), see Dudek and Zwonek (2009) and Dudek and Żak (2010), and when \(H=K_n\) and \(k\le n/2+1\), see Fouquet et al. (2012b). In all the above cases minimum vertex stable graphs are characterized. Furthermore, stab \((C_n;1)\) is known for infinitely many \(n\)’s and for remaining \(n\)’s it has one of only two possible values, see Cichacz et al. (2011). An upper and a lower bound on stab \((C_n;k)\) for sufficiently large \(n\) is also presented therein.

Our aim in this paper is to prove a more general result. Namely, we give a lower bound for the size of a \((H;k)\) stable graph, where \(H\) is an arbitrary graph. The bound depends on the order, connectivity and minimum degree of \(H\). This generalizes a similar lower bound obtained for \(k=1\) only in Cichacz et al. (2012).

Theorem 1

Let \(H\) be a graph of order \(n\), minimal degree \(\delta \ge 1\) and connectivity \(\kappa \ge 1\). If \(\frac{\delta }{2}(n+1-\kappa )\ge \sqrt{k\delta \kappa n}+\frac{k(1+\delta -\delta \kappa )}{2}\) then

$$\begin{aligned} \mathrm{stab}(H;k) \ge \frac{\delta }{2}n+\sqrt{k\delta \kappa n}-\frac{k(\delta \kappa -\delta -1)}{2} \end{aligned}$$
(1)

In particular, Theorem 1 leads to a new lower bound for stab \((C_n;k)\) which, for \(k\ge 2\), is signifficantly better than the one obtained in Cichacz et al. (2011). Namely,

Corollary 2

If \(n\ge 3k+\sqrt{k^2+k}+1\) then

$$\begin{aligned} \mathrm{stab}(C_n;k)\ge n +2\sqrt{kn}-\frac{k}{2}. \end{aligned}$$

In Sect. 3 we present a family of graphs for which our new lower bound gives reasonable estimates.

On the other hand, for regular graphs our bound gives

$$\begin{aligned} \mathrm{stab}(H;k) \ge ||H||+\sqrt{k\delta \kappa |H|}-\frac{k(\delta \kappa +\delta +1)}{2}, \end{aligned}$$

which in many cases is signifficantly better than the trivial bound

$$\begin{aligned} \mathrm{stab}(H;k) \ge ||H||+k\Delta (H). \end{aligned}$$

2 Proof of Theorem 1

We start with the following inequality which will be used later

Proposition 3

If \(k,l,m\) are positive integers with \(m\ge k+l\), then

$$\begin{aligned} \frac{m(m-1)...(m-k+1)}{(m-l)(m-l-1)...(m-l-k+1)}\ge \frac{m+k(l-1)}{m-k}. \end{aligned}$$
(2)

Proof

The proof is by induction on \(k\). For \(k=1\) the assertion is easy to check. Assume that \(k>1\) and the inequality is true for \(k-1\). Then

$$\begin{aligned}&\frac{m(m-1)...(m-k+2)(m-k+1)}{(m-l)(m-l-1)...(m-l-k+2)(m-l-k+1)} \\&\ge \frac{m+(k-1)(l-1)}{m-k+1}\frac{m-k+1}{m-l-k+1}\;\;\; \text{ by} \text{ the} \text{ induction} \text{ hypothesis}\\&=\frac{m+(k-1)(l-1)}{m-l-k+1}=1+\frac{kl}{m-k-l+1}\ge 1+\frac{kl}{m-k}= \frac{m+k(l-1)}{m-k}. \end{aligned}$$

\(\square \)

Recall the following observation.

Proposition 4

(Dudek et al. (2008)) Let \(\delta _H\) be a minimal degree of a graph \(H\). Then in any \((H;k)\)-vertex stable graph \(G\) with minimum size, \(\deg _G v \ge \delta _H\) for each vertex \(v\in G\).

Proof of Theorem 1

Let \(G\) be a \((H;k)\) stable graph with minimum size and let \(|G|\!=\!v\). Let \(S=\{x_1,...,x_m\} \subset V(G)\) be a set of vertices of degree greater than or equal to \(\delta +1\) in \(G\). By Proposition 4 all other vertices of \(G\) have degree \(\delta \). Let \(C_1,...,C_q\) be components of \(G-S\). Let \(\tilde{G}\) be a graph that arises from \(G\) by contracting every edge of each \(C_i, i=1,...,q\).

Suppose first that \(\tilde{G}\) contains a vertex \(u\not \in S\) with at most \(\kappa -1\) neighbors in \(\tilde{G}\). Consider a component \(C\) in \(G\) that corresponds to \(u\). Since \(G\) is minimal \((H;k)\)-stable, every vertex of \(C\) is contained in some copy of \(H\). So, consider a copy of \(H\) that contains at least one vertex of \(C\). Note, that this copy of \(H\) may contain only vertices from \(C\) and the vertices which are neighbors of \(u\) in \(\tilde{G}\), because, otherwise \(H\) contains a cutting set of cardinality less than \(\kappa \). Thus, \(C\) contains at least \(n+1-\kappa \) vertices,

$$\begin{aligned} |C|\ge n+1-\kappa . \end{aligned}$$
(3)

Note that after removing from \(G\) any vertex \(x_i\in N_G(C)\) each vertex of \(C\) is not any longer a vertex of \(H\). Indeed, after removing \(x_i\), its neighbors in \(C\cap G\) have degree less than \(\delta \). Thus, they cannot be in \(H\). Hence, their neighbors in \(C\cap G\) would have degrees less than \(\delta \) in \(H\). Thus, the latter vertices connot be in \(H\) neither, and so on. Therefore, since \(G\) is \((H;k)\) stable, \(G-C\) contains a copy of \(H\). Thus, \(||G-C|| \ge ||H||\ge \frac{n\delta }{2}\). Hence, by (3) and by the assumption on \(n\),

$$\begin{aligned} ||G||\ge \frac{n\delta }{2}+\frac{|C|\delta }{2}\ge \frac{n\delta }{2}+\frac{\delta }{2}(n+1-\kappa ) \ge \frac{\delta }{2}n+\sqrt{k\delta \kappa n}-\frac{k(\delta \kappa -\delta -1)}{2}. \end{aligned}$$
(4)

Therefore, assume that every vertex \(u\in V(\tilde{G})\setminus S\) has at least \(\kappa \) neighbors in \(\tilde{G}\). We may assume that \(m\ge k+\kappa \). Indeed, otherwise by removing \(k\) vertices from \(S\), we remove at least one vertex \(x\in N_G(C)\) for each component \(C\in \{C_1,...,C_q\}\). Hence, all remaining vertices (possibly except \(\kappa -1<n\) vertices from \(S\)) become useless for \(H\).

We will randomly delete exactly \(k\) vertices from \(S\). Hence, each \(k\)-tuple is removed with probability \({m \atopwithdelims ()k}^{-1}\). In the resulting graph some vertices may have degree less than \(\delta \) and so do not belong to any copy of \(H\). For \(u\in V(G) \setminus S\) let \(X_u\) denote the indicator random variable with value 1 if \(u\) belongs to some copy of \(H\). Since \(w\in V(\tilde{G})\setminus S\) has at least \(\kappa \) neighbors in \(\tilde{G}\), the probability that \(u\in V(G)\setminus S\) can be used in some copy of \(H\) is less than or equal to \(\frac{{m-\kappa \atopwithdelims ()k}}{{m \atopwithdelims ()k}}\). Hence,

$$\begin{aligned} E(X_u)\le \frac{{m-\kappa \atopwithdelims ()k}}{{m \atopwithdelims ()k}}. \end{aligned}$$

Thus, the expected value of vertices from \( V(G) \setminus S\) that can be used in a copy of \(H\) is

$$\begin{aligned} E\left(\sum _{u\in V(G) \setminus S }X_u\right)=\sum _{u\in V(G) \setminus S}E(X_u) \le \frac{(v-m){m-\kappa \atopwithdelims ()k}}{{m\atopwithdelims ()k}}. \end{aligned}$$

Hence,

$$\begin{aligned}&E\left(\sum _{u\in V(G) \setminus S}X_u\right) \le (v-m)\frac{(m-\kappa )...(m-\kappa -k+1)}{m...(m-k+1)}\nonumber \\&\quad \le (v-m)\frac{m-k}{m+k(\kappa -1)}, \end{aligned}$$
(5)

by inequality (2). Thus, there are \(k\) vertices in \(S\) such that after deleting them we can use in \(H\) at most \(m-k+ (v-m)\frac{m-k}{m+k(\kappa -1)}\) vertices of \(G\). Therefore,

$$\begin{aligned} m-k+ (v-m)\frac{m-k}{m+k(\kappa -1)}\ge n, \text{ and} \text{ so}\\ v-m\ge (n-m+k)\frac{m+k(\kappa -1)}{m-k} \end{aligned}$$

Hence,

$$\begin{aligned} ||G||&\ge \frac{\delta (v-m)+(\delta +1)m}{2}\ge \frac{\delta }{2}(n-m+k)\frac{m+(\kappa -1)k}{m-k} +\frac{\delta +1}{2}m=:f(m) \end{aligned}$$

It is not difficult to check (by examining the derivative) that the function \(f(x)=\frac{\delta }{2}(n-x+k)\frac{x+(\kappa -1)k}{x-k} +\frac{\delta +1}{2}x, x \ge k+l\), has minimum in \(x_0=\sqrt{k\kappa \delta n}+k\). Hence, \(||G|| \ge f(x_0)=\frac{\delta }{2}n+\sqrt{k\delta \kappa n}-\frac{k(\delta \kappa -\delta -1)}{2}\) \(\square \)

3 Question of tightness

For \(\kappa ,\delta ,n,k \in \mathbb N \) with \(\kappa \le \delta \le n+1\) let

$$\begin{aligned} \mathrm{stab}(n,\kappa ,\delta ;k)&:= \min \{ \mathrm{stab}(H;k): H \text{ has} \text{ order}\; n,\\&\qquad \quad \mathrm{connectivity\; } \kappa \text{ and} \text{ minimum} \text{ degree} \delta \}. \end{aligned}$$

Theorem 5

Let \(\kappa ,\delta ,k \in \mathbb N \) where \(\kappa \) is even, \(\kappa \le \delta \). Then for each \(n=p^2\delta \kappa \), where \(p\ge 2\) is an arbitrary integer,

$$\begin{aligned} \mathrm{stab}(n,\kappa ,\delta ;k)\le \frac{\delta }{2}n+k\sqrt{\delta \kappa n}+k^2\frac{\kappa }{2}. \end{aligned}$$
(6)

Proof

Let \(\kappa ,\delta \) be fixed and \(t=p^2\delta \) for some integer \(p\ge 2\). In order to show the upper bound, we construct the following multigraph \(H(t)\). Let \(V_i=\{v_{i,1},...,v_{i,\kappa /2}\}\) and \(V^{\prime }_i=\{v^{\prime }_{i,1},...,v^{\prime }_{i,\kappa /2}\}\) for \(i=0,...,t-1\). Then

$$\begin{aligned} V(H(t)):=V_0\cup V_0^{\prime }\cup V_1\cup V_1^{\prime }\cup \ldots \cup V_{t-1}\cup V_{t-1}^{\prime } \end{aligned}$$

and

$$\begin{aligned} E(H(t))={V_i\cup V^{\prime }_i \atopwithdelims ()2}\cup \{v^{\prime }_{i,j}v_{i+1,j}: j=1,...,\kappa /2\},\;\;i=0,...,t-1, \end{aligned}$$

where edges \(v_{i,j}v^{\prime }_{i,j}, j=1,...,\kappa /2\), have multiplicity \(\delta - \kappa +1\). Therefore, there is a clique built on \(V_i\cup V_i^{\prime }\), where some edges are multiple (such that \(G[V_i\cup V_i^{\prime }]\) is \(\delta -1\) regular), and there is a perfect matching between \(V^{\prime }_i\) and \(V_{i+1}\) (\(i+1\) taken modulo \(t\)). It is easy to see that \(H(t)\) is \(\delta \)-regular and has connectivity \(\kappa \). Furthermore, \(|H(t)|=t\kappa \) and \(||H(t)||=\frac{t\kappa \delta }{2}\).

We will construct a \((H(t);k)\) stable graph with as few as possible number of edges. Let \(G_k(t), 0\le k\le t/p\), be a graph which arises from \(H(t)\) by adding edges \(\{v^{\prime }_{ip,j}v_{ip+p+1,j},...,v^{\prime }_{ip,j}v_{ip+kp+1,j}:j=1,...,\kappa /2\}\) for all \(i=0,\ldots ,\frac{t}{p}\) (with indices taken modulo \(t\)).

We will show, by induction on \(k\), that \(G_k(t+pk)\) is \((H(t);k)\)-stable. This is obvious for \(k=0\). Assume that \(k\ge 1\) and the statement is true for \(G_{k-1}(t+p(k-1))\). It is suficient to prove that for each \(x\in V(G_k(t+pk)), G_k(t+pk)-x\) is \((H(t);k-1)\)-stable. Without loss of generality we may assume that \(x \in V_i \cup V^{\prime }_i , i \in \{1,\ldots ,p\}\). It can be seen that

$$\begin{aligned}&G_k(t+pk)\left[{V_0\cup V_0^{\prime }\cup V_{p+1}\cup V_{p+1}^{\prime }\cup \ldots \cup V_{t+pk-1}\cup V_{t+pk-1}^{\prime }}\right] \\&\quad \supset G_{k-1}(t+p(k-1)). \end{aligned}$$

Hence, \(G_{k-1}(t+p(k-1))\) is a subgraph of \(G_k(t+pk)-x\). Thus, by the induction hypothesis, \(G_k(t+pk)-x\) is \((H(t);k-1)\)-stable. Therefore, \(G_k(t+pk)\) is \((H(t);k)\)-stable.

Finally,

$$\begin{aligned} ||G_k(t+pk)||&=||H(t+pk)||+\frac{t+pk}{p}\frac{\kappa }{2}k=\frac{(t+pk)\kappa \delta }{2} +\frac{t+pk}{p}\frac{\kappa }{2}k \end{aligned}$$

Since \(p=\sqrt{\frac{t}{\delta }}\) and \(n=t\kappa \), we obtain

$$\begin{aligned} ||G_k(t+pk)|| = \frac{n\delta }{2}+k\sqrt{n\delta \kappa }+k^2\frac{\kappa }{2}. \end{aligned}$$

\(\square \)

Note that Theorem 5 implies that for \(k=1\) the bound (1) is nearly best possible. Namely, the gap between (1) and (6) depends only on \(\delta ,\kappa \) and does not depend on \(n\).