SATURATION SPECTRUM OF PATHS AND STARS

Similar documents
Discrete Mathematics. The edge spectrum of the saturation number for small paths

On the Turán number of forests

THE STRUCTURE AND EXISTENCE OF 2-FACTORS IN ITERATED LINE GRAPHS

Induced Saturation of Graphs

Disjoint Hamiltonian Cycles in Bipartite Graphs

Decomposing oriented graphs into transitive tournaments

CYCLE STRUCTURES IN GRAPHS. Angela K. Harris. A thesis submitted to the. University of Colorado Denver. in partial fulfillment

HAMILTONIAN CYCLES AVOIDING SETS OF EDGES IN A GRAPH

Turán s problem and Ramsey numbers for trees. Zhi-Hong Sun 1, Lin-Lin Wang 2 and Yi-Li Wu 3

Decompositions of graphs into cycles with chords

Antoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS

DECOMPOSITIONS OF MULTIGRAPHS INTO PARTS WITH THE SAME SIZE

A Survey of Minimum Saturated Graphs

All Ramsey numbers for brooms in graphs

Closing the gap on path-kipas Ramsey numbers

CO PRIME PATH DECOMPOSITION NUMBER OF A GRAPH

Graphs with large maximum degree containing no odd cycles of a given length

Stability in the Erdős Gallai Theorems on cycles and paths

On Some Three-Color Ramsey Numbers for Paths

Extremal Graphs Having No Stable Cutsets

A dual to the Turán problem

Discrete Mathematics

Cographs; chordal graphs and tree decompositions

HAMILTONICITY AND FORBIDDEN SUBGRAPHS IN 4-CONNECTED GRAPHS

Saturation numbers for Ramsey-minimal graphs

Improved degree conditions for 2-factors with k cycles in hamiltonian graphs

SEMI-STRONG SPLIT DOMINATION IN GRAPHS. Communicated by Mehdi Alaeiyan. 1. Introduction

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,

Planar Ramsey Numbers for Small Graphs

Induced Cycles of Fixed Length

Computing Sharp 2-factors in Claw-free Graphs

Distance between two k-sets and Path-Systems Extendibility

Observation 4.1 G has a proper separation of order 0 if and only if G is disconnected.

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

Perfect divisibility and 2-divisibility

Observation 4.1 G has a proper separation of order 0 if and only if G is disconnected.

Ring Sums, Bridges and Fundamental Sets

Extensions of a theorem of Erdős on nonhamiltonian graphs

On tight cycles in hypergraphs

Induced subgraphs of graphs with large chromatic number. I. Odd holes

Packing and decomposition of graphs with trees

THE (2k 1)-CONNECTED MULTIGRAPHS WITH AT MOST k 1 DISJOINT CYCLES

Even Cycles in Hypergraphs.

Maximal Independent Sets In Graphs With At Most r Cycles

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

A NOTE ON THE TURÁN FUNCTION OF EVEN CYCLES

The structure of bull-free graphs II elementary trigraphs

Counting independent sets of a fixed size in graphs with a given minimum degree

Minimal Paths and Cycles in Set Systems

MINIMALLY NON-PFAFFIAN GRAPHS

Hamilton cycles and closed trails in iterated line graphs

Path decompositions and Gallai s conjecture

Minimum Size of Bipartite-Saturated Graphs

arxiv: v1 [cs.ds] 2 Oct 2018

Czechoslovak Mathematical Journal

On the number of cycles in a graph with restricted cycle lengths

Triangle-free graphs with no six-vertex induced path

THE NUMBER OF INDEPENDENT DOMINATING SETS OF LABELED TREES. Changwoo Lee. 1. Introduction

Monochromatic and Rainbow Colorings

Spanning Paths in Infinite Planar Graphs

Parity Versions of 2-Connectedness

arxiv: v1 [math.co] 13 May 2016

k-degenerate Graphs Allan Bickle Date Western Michigan University

Induced Saturation Number

Nowhere-zero 3-flows in triangularly connected graphs

{2, 2}-Extendability of Planar Graphs

Solution to a problem on hamiltonicity of graphs under Oreand Fan-type heavy subgraph conditions

The Turán number of sparse spanning graphs

Ramsey Unsaturated and Saturated Graphs

Gallai-Ramsey numbers for a class of graphs with five vertices arxiv: v1 [math.co] 15 Nov 2018

Proper connection number and 2-proper connection number of a graph

d 2 -coloring of a Graph

Some Results on Paths and Cycles in Claw-Free Graphs

Strong Turán stability

arxiv: v2 [math.co] 19 Aug 2015

On the number of edge-disjoint triangles in K 4 -free graphs

The Saturation Number of Induced Subposets of the Boolean Lattice

INDEPENDENT TRANSVERSAL DOMINATION IN GRAPHS

Arithmetic ODD Decomposition of Extented Lobster

Graph Theory. Thomas Bloom. February 6, 2015

Decompositions of Balanced Complete Bipartite Graphs into Suns and Stars

Induced Graph Ramsey Theory

Bulletin of the Iranian Mathematical Society

INDUCED CYCLES AND CHROMATIC NUMBER

Generalized Pigeonhole Properties of Graphs and Oriented Graphs

Advanced Topics in Discrete Math: Graph Theory Fall 2010

Line Graphs and Forbidden Induced Subgraphs

Turán numbers of vertex-disjoint cliques in r-partite graphs

ACO Comprehensive Exam October 14 and 15, 2013

R(p, k) = the near regular complete k-partite graph of order p. Let p = sk+r, where s and r are positive integers such that 0 r < k.

4 Packing T-joins and T-cuts

A note on Gallai-Ramsey number of even wheels

Nordhaus-Gaddum Theorems for k-decompositions

CYCLES OF GIVEN SIZE IN A DENSE GRAPH

Graph Classes and Ramsey Numbers

On Generalized Ramsey Numbers

Set-orderedness as a generalization of k-orderedness and cyclability

ON GLOBAL DOMINATING-χ-COLORING OF GRAPHS

Destroying non-complete regular components in graph partitions

AALBORG UNIVERSITY. Total domination in partitioned graphs. Allan Frendrup, Preben Dahl Vestergaard and Anders Yeo

Transcription:

1 Discussiones Mathematicae Graph Theory xx (xxxx 1 9 3 SATURATION SPECTRUM OF PATHS AND STARS 4 5 6 7 8 9 10 11 1 13 14 15 16 17 18 Jill Faudree Department of Mathematics and Statistics University of Alaska Fairbanks e-mail: jrfaudree@alaska.edu Ralph J. Faudree Department of Mathematical Sciences University of Memphis Ronald J. Gould Department of Mathematics and Computer Science Emory University e-mail: rg@mathcs.emory.edu Michael S. Jacobson Department of Mathematics and Statistical Sciences University of Colorado Denver e-mail: michael.jacobson@ucdenver.edu 19 0 1 3 and Brent J. Thomas Department of Mathematics and Statistical Sciences University of Colorado Denver e-mail: brent.thomas@ucdenver.edu 4 5 6 7 8 9 30 31 3 Abstract A graph G is H-saturated if H is not a subgraph of G but the addition of any edge from G to G results in a copy of H. The minimum size of an H-saturated graph on n vertices is denoted sat(n, H, while the maximum size is the well studied extremal numbers, ex(n, H. The saturation spectrum for a graph H is the set of sizes of H saturated graphs between sat(n, H and ex(n, H. In this paper we completely determine the saturation spectrum of stars and we show the saturation spectrum of paths is continuous from sat(n, P k to within a constant of ex(n, P k when n is sufficiently large. Keywords: Saturation Spectrum, Stars, Paths. 010 Mathematics Subject Classification: Primary: 05C35; Secondary: 05C05.

J. Faudree, R.J. Faudree, R.J. Gould, M.S. Jacobson and B.J. Thomas 33 34 35 36 37 38 39 40 41 4 43 44 45 46 47 48 1. Introduction Given a graph G let the vertex set and edge set of G be denoted by V (G and E(G respectively. Let G = V (G, e(g = E(G and G denote the complement of G. A graph G is called H-saturated if H is not a subgraph of G but for every e E(G, H is a subgraph of G + e. Let SAT(n, H denote the set of H-saturated graphs of order n. The saturation number of a graph H, denoted sat(n, H, is the minimum number of edges in an H-saturated graph on n vertices and SAT(n, H is the set of H-saturated graphs order n with size sat(n, H. The extremal number of a graph H, denoted ex(n, H (also called the Turán number is the maximum number of edges in an H-saturated graph on n vertices and SAT(n, H is the set of H-saturated graphs order n with size ex(n, H. The saturation spectrum of a graph H, denoted spec(n, H, is the set of sizes of H-saturated graphs of order n, spec(n, H = {e(g : G SAT(n, H}. In this paper we investigate the saturation spectrum for P k - and K 1,t -saturation, where P k is a path on k vertices. In particular, in Section 3 we show that the saturation spectrum of K 1,t contains all values from sat(n, K 1,t to ex(n, K 1,t for fixed n such that n t + 1. Finally, in Section 4 we show when n is sufficiently large, the saturation spectrum of P k contains all values from sat(n, P k to ex(n, P k c(k for some constant c(k. 49 50 51 5 53 54 55 56 57. Known Results The saturation spectrum of K 3 was studied in [3]. Later the saturation spectrum of K 4 was studied in [1]. Shortly after, the saturation spectrum for larger complete graphs was studied in []. In this section we will describe the known results relating to the saturation spectrum of stars and paths. Theorem 1 [7]. Saturation Numbers for Paths and Stars ( t ( + n t if t + 1 n t + t (a sat(n, K 1,t =, t 1 n t 8 if t + t n. (b For n 3, sat(n, P 3 = n. n n even, (c For n 4, sat(n, P 4 = n+3 n odd. (d For n 5, sat(n, P 5 = 5n 4 6. 58 In order to prove the main Theorems in sections 3 and 4 it is helpful to understand the structure 59 of graphs in SAT(n, K 1,t and SAT(n, P k. In 1986, Kászonyi and Tuza characterized the K 1,t -saturated 60 graphs of minimum size. The characterization depends on the order of the host graph and is not in general 61 unique. K t K n t if t + 1 n 3t Theorem [7]. SAT(n, K 1,t = 6 G K p if 3t n, where p = and G is a (t 1-regular graph on n p vertices. Note that the case when n 3t, there 64 is a single edge connecting G and K p if t 1 and n p are both odd. 65 66 Kászonyi and Tuza also described graphs in SAT(n, P k. In particular they give a tree that is a subgraph of all P k -saturated trees. We begin by describing this tree. A perfect 3-ary tree is a tree such

Saturation Spectrum of Paths and Stars 3 Figure 1. T 5 and T 6 67 68 69 70 71 7 73 74 75 76 77 78 79 80 81 that every vertex has degree 3 or degree 1 and all degree 1 vertices are the same distance from the center. We let T denote the perfect 3-ary tree with longest path on exactly k 1 vertices. (See Figure 1 Theorem 3 [7]. Let P k be a path on k 3 vertices and let T be the perfect 3-ary tree defined above. Further let { 3 m 1 if k = m a k = 4 m 1 if k = m + 1. Then, for n a k, SAT(n, P k consists of a forest with n/a k components. Furthermore, if T is a P k -saturated tree, then T T. It is also helpful to understand the structure of graphs in SAT(n, K 1,t and SAT(n, P k. It is well known that ex(n, K 1,t = n(t 1 and that SAT(n, K 1,t consists of (t 1-regular graphs unless n and t 1 are both odd, in which case there is a single vertex of degree t. The structure of graphs in SAT(n, P k was studied by Erdős and Gallai in 1959. Theorem 4 [5]. Let G be a graph of order n which contains no path with more than k 1 vertices. Then E(G (k n and equality holds if and only if each component of G is a complete graph of order k 1. In [6], the saturation spectrum of small paths was studied. In particular, spec(n, P 5 and spec(n, P 6 were determined. Theorem 5 [6]. Let n 5 and sat(n, P 5 m ex(n, P 5 be integers, m spec(n, P 5 if and only if n = 1, (mod 4, or { 3n 5 } if n 3 (mod 4 m / { 3n 3, 3n, 3n 1} if n 0 (mod 4. Theorem 6 [6]. Let n 10 and sat(n, P 6 m ex(n, P 6 be integers, m spec(n, P 6 if and only if (n, m / {(10, 10, (11, 11, (1, 1, (13, 13, (14, 14, (11, 14} and {n 4, n 3, n 1} if n 0 (mod 5 m / {n 4} if n (mod 5 {n 4} if n 4 (mod 5. 8 83 84 This is the starting point for this paper. Following the same lines of investigation we completely determine the edge spectrum for saturation of stars and we study the edge spectrum for saturation of long paths when n is sufficiently large. 85 86 87 3. Stars In this section we will show that the saturation spectrum of K 1,t contains all values from the saturation number to the extremal number. The following theorem is the main result of this section.

4 J. Faudree, R.J. Faudree, R.J. Gould, M.S. Jacobson and B.J. Thomas 88 89 90 91 9 93 94 95 96 97 98 99 100 101 10 103 104 105 106 107 108 109 110 111 11 113 114 115 116 117 118 119 10 11 1 13 Theorem 7. Let S = K 1,t for t 3. If n, then spec(n, S is continuous from sat(n, S to ex(n, S. Before proving Theorem 7 we give two lemmas that describe edge exchanges that can be used to transform a K 1,t -saturated graph G into a K 1,t -saturated graph with one more edge. We will refer to the exchange in Lemma 8 as a Type I exchange and the exchange in Lemma 9 as a Type II exchange. Lemma 8. In a K 1,t -saturated graph G, if there is vertex v of degree at most t 3 that is nonadjacent to u or w where uw E(G and d(u = d(w = t 1, then G = G uw + {vw, vu} is K 1,t -saturated with e(g = e(g + 1. Proof. First note that the degrees of d G (u = d G (u, d G (w = d G (w and d G (v + = d G (v. Since d G (v t 3, it is easy to see that no vertex of degree t is created and hence K 1,t is not a subgraph of G. Now consider e E(G. If e is incident to u or w then G +e contains K 1,t since u and w are both of degree t 1. If e is incident to v then G + e contains K 1,t otherwise G would not be K 1,t -saturated. Similarly, if e is is not incident to u, v or w then G + e contains K 1,t ; otherwise G would not be K 1,t -saturated. Lemma 9. In a K 1,t -saturated graph G, if there are vertices v 1 and v of degree at most t and an edge uw such that u and w are of degree t 1 where v 1 w, v u / E(G, then G = G uw + {v 1 w, v u} is K 1,t -saturated with e(g = e(g + 1. Proof. First note that the degrees of d G (u = d G (u, d G (w = d G (w, d G (v 1 + 1 = d G (v 1, and d G (v + 1 = d G (v. Since d G (v 1 t and d G (v t, no vertex of degree t is created centered at v 1, v, u or w. Hence K 1,t is not a subgraph of G. Now consider e E(G. If e is incident to u or w then G + e contains K 1,t since u and w are both of degree t 1. If e is incident to v 1 or v then G + e contains K 1,t otherwise G would not be K 1,t -saturated. Similarly, if e is is not incident to v 1, v, u or w then G + e contains K 1,t ; otherwise G would not be K 1,t -saturated. The proof for Theorem 7 is split into cases according to the number of vertices in the host graph G relative to t. To ease reading, cases are listed as Lemmas. Lemma 10. Let n = t + 1. For each t 3 and m such that sat(n, K 1,t m ex(n, K 1,t there exists a K 1,t -saturated graph G with e(g = m. Proof. We construct a sequence of K 1,t -saturated graphs, G 1,... G s where e(g i + 1 = e(g i+1, and this sequence contains a graph of each size from sat(n, K 1,t to ex(n, K 1,t. Let G 1 = K t {v}, by Theorem we see that G 1 SAT(n, K 1,t. In order to construct the sequence of graphs we will need a large matching from K t so that we may use type I exchanges. Let M be a maximum matching of K t ; clearly M contains t/ edges. Now to create G i+1 from G i we use an edge of M and v to perform a type I exchange. Lemma 8 implies that G i+1 is a K 1,t -saturated graph with e(g i+1 = e(g i + 1. We note that we can perform t/ type I exchanges when t is odd so that G s = G t/ is a (t 1-regular graph and when t is even we can perform t/ 1 type I exchanges so that d Gs (v = t and all other vertices in G s are degree t 1. Notice that in either case, G s is the extremal graph. Lemma 11. For each t 3, t + n 3t and m such that sat(n, K 1,t m ex(n, K 1,t there exists a K 1,t -saturated graph of size m. 14 Proof. To show this, we will construct a sequence of K 1,t -saturated graphs, G 1,... G s, that contains 15 a graph of each size from sat(n, K 1,t to ex(n, K 1,t. Let G 1 = K t K n t. By Theorem we see that 16 G 1 SAT(n, K 1,t. In order to construct the sequence of graphs we use large disjoint matchings from 17 K t so that we may use type I and type II exchanges. It is well known (cf. [4] that K t contains t 1 matchings, M 1,..., M t 1, each of size t 18. Since n 3t/ implies n t t/, each one of the the t 1 19 matchings can be associated with a vertex of K n t. For convenience, let V (K n t = {v 1,..., v n t } and 130 say that v i is associated with M i for 1 i n t.

Saturation Spectrum of Paths and Stars 5 131 Starting with G 1, iteratively change the degree of each vertex in K n t from n t 1 to t 1. In 13 order to do this each vertex in V (K n t needs t n more incident edges. Proceed based on the parity of 133 t n. If t n is odd, pair the vertices in K n t so that v i is paired with v i+1 for each odd i < n t. Note 134 that when n t is odd, v n t is unpaired. Associate each of the pairs with an edge from M n. Then, 135 iteratively use each pair and associated edge to preform a type II exchange to create G,..., G n t +1. Notice that in G n t +1 it is possible that v i is adjacent to some vertex in M i. Thus there are at least t/ 1 edges in M i that are not incident to v i. Create the remaining graphs in the sequence by preforming (t n 1/ type I exchanges with each v i and M i. In order to preform (t n 1/ type I exchanges, it must be verified that (t n 1/ t/ 1, otherwise M i has too few edges to preform the type I exchanges with v i. Since n t +, it follows that: n t + t 3 t n 1 t 1 1 t n 1 t 1 t n 1. 136 137 138 Lemma 8 and 9 imply that after completing the (t n 1/ type I exchanges and a type II with each v i we have d(v i = t 1 for 1 i n t 1. Further, if n t is odd then d(v n t = t and if n t is even then d(v n t = t 1. In either case, it follows that G s is the extremal graph. Now consider the case when t n is even. In this case, only type I exchanges will be used. Construct G,..., G s by preforming (t n/ type I exchanges using each v i and associated M i. It remains to verify that (t n/ t/ so that (t n/ type I exchanges can be completed. Again, since n t +, it follows that: n t + t t n t t n t t n. 139 140 141 14 143 144 145 146 147 148 149 150 151 15 153 154 Finally Lemma 8 implies that after completing the (t n 1/ type I exchanges to each v i that d(v i = t 1. So, it follows that G s is the extremal graph. Lemma 1. For each t 3, n > 3t and m such that sat(n, K 1,t m ex(n, K 1,t there exists a K 1,t -saturated graph of size m. Proof. Proceed in a fashion similar to the proof of Lemma 11. Construct a sequence of K 1,t -saturated graphs, G 1,... G s, that contains a graph of each size from sat(n, K 1,t to ex(n, K 1,t. Begin by constructing a (t 1-regular (or nearly regular depending on the parity of n and t graph, G, on r vertices where r = n such that G has a sufficient number of large matchings for the algorithm. A well known result (cf. [4] shows that a complete graph K r decomposes into r 1 matchings of size r/ when r is even or r 1 hamilton cycles when r is odd will be used. First suppose that r is even. To form G, begin with a matching decomposition of K r = M 1 M r 1. Let G = M 1 M t 1. Clearly G is (t 1-regular and contains t 1 disjoint matchings, M 1,..., M t 1, of size r/. When r is odd begin with a hamiltonian cycle decomposition of K r = C 1 C (r 1/. If t 1 is even then let G = C 1 C (t 1/. If t 1 is odd then let G = C 1 C (t / M where M is a maximum matching of C t/ ; in this case there is a single vertex of degree t all other vertices are of

6 J. Faudree, R.J. Faudree, R.J. Gould, M.S. Jacobson and B.J. Thomas 155 degree t 1. Further since each hamiltonian cycle of K r contains two disjoint matchings of size (r 1/, 156 G contains t 1 disjoint matchings, M 1,..., M t 1, of size at least (r 1/. 157 Let G 1 = G K and label the vertices in V (G = {u 1,..., u n } and V (K = 158 {v 1,... v }. If r and t 1 are both odd then a single edge from the vertex of degree t in G 159 is added to a vertex in K, without loss of generality let this edge be u 1v. Theorem implies 160 that G 1 is a minimally K 1,t-saturated graph. Associate each vertex v i with a matching M i in G. 161 Starting with G 1, iteratively change the degree of each vertex in K from 1 to t 1. Each vertex, v i, needs t more incident edges. Notice that when r and t 1 are both odd that only t 16 1 incident edges need to be added to v. Proceed based on the parity of t. If t 163 is odd, then pair the vertices in K so that v i is paired with v i+1 for each odd i < 164. Note that if is odd then v is unpaired. Associate each of the pairs with an edge from M +1. Then, iteratively use each 165 pair and associated edge to preform a type II exchange to create G,... G t 166 Notice that in G t +1 it is possible that v i is adjacent to some vertex in M i. Thus there are at least r/ 1 in M i that are not incident to v i. Create the remaining graphs in the sequence by preforming (1/( t/ 1 type I exchanges with each v i and M i. exchanges it must be verified that (1/( t/ 1 r/ 1. Since n > 3t t + 1 r = n + > 3t t + 1 t 1. +1. In order to preform (1/( t/ 1 type I, it follows that: 167 As r and t are both integers, it follows that r t and hence (1/( t/ 1 r/ 1. Lemma 8 168 and 9 imply that after completing the (1/( t/ 1 type I exchanges and a type II with each v i that d(v i = t 1 for 1 i 169 1. Further, if and t 1 are odd and r is even then d(v = t 170 otherwise d(v = t 1. In either case it follows that G s is the extremal graph. Now, consider the case when t 171 is even. In this case only type I exchanges will be used. Create 17 G,..., G s by preforming (1/( t/ type I exchanges using each v i and associated M i. Since r t, it 173 follows that (1/( t/ r/ so that (1/( t/ type I exchanges may be done with each vertex v i. 174 Finally, Lemma 8 implies that after completing the (1/( t/ type I exchanges to each v i that d(v i = t 1 for 1 i 175 1. If r and t 1 are odd then then d(v = t otherwise 176 d(v = t 1. Again, either case it follows that G s is the extremal graph. 177 Theorem 7 follows directly from Lemmas 10, 11 and 1. 178 179 180 181 18 183 4. Paths In this section we show that when n is sufficiently large, spec(n, P k contains all values from sat(n, P k to ex(n, P k c where c is a constant { that depends on k. The following is the main result of the section. 3 m 1 if k = m Recall from Theorem 3 that a k = 4 m 1 if k = m + 1. [ ( ] Theorem 13. Let P = P k. If n = r(k 1 + a k (k 1 + β, where 0 β < k 1, then spec(n, P is continuous from sat(n, P to ( [ ( ] r + ak (k 1 + β 1.

Saturation Spectrum of Paths and Stars 7 Figure. T 15 5 184 185 186 187 188 189 As in the previous section we provide two lemmas that transform a P k -saturated graph G into a P k - saturated graph with one more edge. Let a k = T. An immediate consequence of the proof of Theorem 3 in [7] is that there exists P k -saturated trees of every order p such that p a k. Let v be a vertex with pendant neighbors in T. The graph obtained by adding additional pendant vertices to v in T so that the order of the new graph is p will be denoted T p (See Figure. Clearly, T p SAT(n, P k. Let T denote a P k-saturated tree of arbitrary order. Lemma 14. Let G be a P k -saturated graph that contains two components T p 1 and T p 190. If H = G {T p 1, T p } then G = H T p 1+p 191 is a P k -saturated graph where e(g = e(g + 1. 19 Proof. Let p = p 1 + p. Since T p and G are P k-saturated it follows that G does not contain P k. Let 193 e E(G. In order to show that G + e contians P k we will consider several cases. First, if e E(T p, 194 then T p +e contains P k since T p is P k-saturated, hence G +e contains P k. Now since G is P k -saturated, 195 if e E(H then G + e contains P k. Now suppose that e has at least one endpoint in V (H and one in V (T p. Notice that H T p 1 196 is an induced subgraph of G. If G +e does not contain P k then by deleting pendant vertices not incident to e it can be seen that H T p 1 197 + e does not contain P k, since deleting 198 vertices can not create a copy of P k. This implies that G is not P k -saturated, a contradiction. Therefore 199 G is P k -saturated. Finally, note that e(g = e(h + (p 1 1 + (p 1 and e(g = e(h + (p 1 + p 1, 00 thus e(g = e(g + 1. 01 Lemma [ 15. Let k 5 and G be a P k -saturated graph. Let p be an integer such that p (k 1 + ( [ a k (k 1 ]. Let T p ( be a component of G and F = ] 0 (k 1 T such that F = p k + 1. If H = G T p 03 then G = H K F is a P k -saturated graph where e(g = e(g + 1. 04 05 Proof. Notice F is a forest of P k -saturated [ trees. By Theorem 3 each component of F must have order ( [ ( ] at least a k. Since p (k 1 + a k (k 1 ], it follows that F a k (k 1. Hence, 06 F is large enough for each component to be a P k -saturated tree. Note that e(g = e(h + p 1 and e(g = e(h + ( 07 [ + e(f. Since F is a forest on p k + 1 ( ] [ ( ] 08 vertices and (k 1 components it follows that e(f = p k + 1 (k 1. Thus 09 e(g = e(h + p = e(g + 1 10 It now remains to show that G is P k -saturated. Let e E(G. First suppose that e E(F, 11 it follows that G + e contains P k since F is P k -saturated by Theorem 3. Now suppose that has both 1 endpoints in V (H. Clearly since G is P k -saturated G + e contains a copy of P k such that V (P k V (H. 13 Thus G + e contains a copy of P k. Finally suppose that e has one endpoint in H and one in F. Assume 14 that G + e does not contain P k. Let T be the component of F incident to e. Let Ĝ = G [H T ]. Notice Ĝ + e does not contain P k. Further since G = H T p and Ĝ = H T differ only in the number of 16 pendants adjacent to the vertex of highest degree in T and T p, it is easy to see that G + e does not contain P k. Thus G is P k -saturated. 17

8 J. Faudree, R.J. Faudree, R.J. Gould, M.S. Jacobson and B.J. Thomas 18 19 The transformation in Lemma 14 will be referred to as a tree exchange and the transformation in Lemma 15 will be referred to a clique exchange. We are now ready to prove Theorem 13. 0 1 3 Proof. Beginning with a minimally P k -saturated graph, we will build a sequence of P k -saturated graphs, G 1,..., G f, of size sat(n, P to ( [ ( ] r + ak (k 1 + β 1 where e(g i+1 = e(g i + 1 for 1 i f 1. Let G 1 = qt k Tk where q = n a k 1. Theorem 3 implies that G 1 SAT(n, P k. Once G i is built use one of the following exchanges to build G i+1. 4 5 6 1. If G i contains two components T p 1 and T p, then use a tree exchange to create G i+1. [ ( ]. If G i contains exactly one tree component and the tree has at least a k (k 1 + (k 1 vertices, then use a clique exchange to obtain G i+1. 7 8 9 30 31 Lemmas 14 and 15 imply that when either a tree exchange or a clique exchange is used, G i+1 is a P k -saturated graph with e(g i+1 = e(g i + 1. As long as [ there are at least two tree components or there ( ] is a single tree component T in G i such that T a k (k 1 + (k 1, one of the exchanges can be used to build [ G i+1. So the final graph built by the algorithm will have one tree component of ( ] order less than a k (k 1 + (k 1. [ ( ] Since n = r(+a k (k 1 +β, it follows that upon constructing G i = (r 1K T [ ( that T = a ] k (k 1 +(+β. Thus another clique exchange can be used followed by tree [ exchanges to produce rk T q (. At this point it is easy to calculate q = a ] k (k 1 + β < [ ( ] a k (k 1 + (k 1. So the algorithm will terminate with G f = rk T q. Thus: e(g f = = ( k 1 r + [n r(k 1 1] ( [( ] k 1 k 1 r + a k (k 1 + β 1. 3 33 34 35 36 37 Note that the algorithm in Theorem 13 could be altered to include exchanges with P k -saturated graphs other than T p and K. However, the following theorem will show when n is large that the algorithm gives P k -saturated graphs to within a constant of the extremal number. Theorem 16. For n sufficiently large and k 5, spec(n, P k contains all values from sat(n, P k to ex(n, P k c where c = c(k. [ ( ] Proof. Let n be expressed as n = r(k 1 + a k (k 1 + β, where β is a constant such that 0 β < k 1. The algorithm in the proof of Theorem 13 gives a sequence of P k -saturated graphs that contains graphs of each size from sat(n, P k to ( [ ( ] r + ak (k 1 + β 1. Let G be a P k - saturated graph of size ( [ ( ] r + ak (k 1 + β 1. Theorem 4 implies that ex(n, P k (k n.

Saturation Spectrum of Paths and Stars 9 38 39 40 41 4 43 44 45 46 47 48 49 50 51 5 53 54 55 Now it is possible to estimate ex(n, P k e(g as follows: [( [( (k n k 1 k 1 ex(n, P k e(g r + a k [ ( ] (k (r(k 1 + a k (k 1 + β [( k 1 = [ [ ( ( ] ] k 1 (k a k (k 1 + β [( k 1 = r + = (k 4a ( k ak (k 1(k 4 + (k 4β + 1 (k 4 a ( k ak (k 1 + (k 1 + 1. ] ] (k 1 + β 1 r + a k [( k 1 r + a k [( k 1 ] ] (k 1 + β 1 ] ] (k 1 + β 1 Thus, for a fixed k the difference between ex(n, P k and e(g is a constant for all n sufficiently large. Acknowledgement: This project was started before Ralph Faudree s unfortunate passing, and the authors dedicate this work to his memory. References [1] Kinnari Amin, Jill Faudree, and Ronald Gould. The edge spectrum of K 4 -saturated graphs. J. Combin. Math. Combin. Comput., 81:33 4, 01. [] Kinnari Amin, Jill Faudree, Ronald J Gould, and Elżbieta Sidorowicz. On the non-(p 1-partite K p -free graphs. Discussiones Mathematicae Graph Theory, 33(1:9 3, 013. [3] Curtiss Barefoot, Karen Casey, David Fisher, Kathryn Fraughnaugh, and Frank Harary. Size in maximal triangle-free graphs and minimal graphs of diameter. Discrete Math., 138(1-3:93 99, 1995. 14th British Combinatorial Conference (Keele, 1993. [4] Gary Chartrand, Linda Lesniak, and Ping Zhang. Graphs & digraphs. CRC Press, 010. [5] P. Erdős and T. Gallai. On maximal paths and circuits of graphs. Acta Math. Acad. Sci. Hungar, 10:337 356 (unbound insert, 1959. [6] Ronald J. Gould, Wenliang Tang, Erling Wei, and Cun-Quan Zhang. The edge spectrum of the saturation number for small paths. Discrete Math., 31(17:68 689, 01. [7] L. Kászonyi and Zs. Tuza. Saturated graphs with minimal number of edges. J. Graph Theory, 10(:03 10, 1986.

56