A generalization of Turán's theorem to directed graphs (original) (raw)

Abstract

We consider An extremal problem for directed graphs which is closely related to Tutin's theorem giving the maximum number of edges in a gr;lph on n vertices which does not contain a complete subgraph on m vertices. For an ;ntc&r n 22, let T,, denote the transitive tournament with vertex set X,, = {1,2,3,. .. , n) and edge set {(i. j): 1 s i C j s n]. A subgraph H of T,, is said to be m-locally unipathic when the restriction of H to each m element subset of X,, consisting of m consecutive integers is unipathic. We show that the maximum number of edges in a m-locally unipathic subgraph of T,, is (;g)(m-l)'+q(m-1)r + Ur"] where n = q(m-1) + r and [$<m-I)] s rc' @rn-1)1. As is the case with T&n's theorem, the extremal graphs for our problem are complete multipartite graphs. Unlike T:r&n's theorem, the part sizes will not be uniform The proof of our principal theorem rests 011 a combiaatorial theory originally developed to inves:dgate the rank of partial'iy ordered sets. For integers, n, k with n se k a 2, let g(n, k) be the maximum number of edges in a graph G on n vertices which does not contain a complete subgraph on k vertices. Then let n = (k-1)q + r where 0 6 r C k-1 and consider the complete multipartite graph G(n, k) having k-1r parts of size q and r parts of size q f 1. Clearly, G(n, k) has n vertices but does not have a complete subgraph on k vertices. The following well known theorem of P'. Tur6n [9] tell us that the lower bound on g(n, k) provided by the graph G(n, k) is best possible. It also Sells us that G(n, k) is the unique extremal graph. Theorem 1 (Turhn). For integers m, k with n > k 2~ 2 the maximurn number g(n, k) of edges in a graph on n vertices which does not contain a complete subgraph on k

Loading...

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.

References (11)

  1. B. Dushnik and E. Miller, Partially ordered sets, Amer. J. Math. 63 (1941) 600-610.
  2. S. B. Maurer and I. Rabinovitch, Large minimal realizers of a partial order. Proc. AMS 66 (107X) 21 I-216.
  3. S.R. Maurer.
  4. Raoinovitch, and W.T. Trotter, Jr., Large minimal realizers of a partial order Il. Discrete Math, to appear.
  5. S.B. Maurer.
  6. Rabinovitch. and W. T. Trotter, Jr.. Partially ordered sets with equal rank and dimension, Proceedings of the Tenth Southeastern Conference on Combinatorics, Graph Theory and Computing, Boca Raton, Florida, 1979, to appear.
  7. S.B. Maurer, I. Rabinovitch, and W.T. Trotter, Jr.. Rank degenerate partially ordered sets. Proceedings of the Tenth Southeastern Conference on Combinatorics. Graph Theory and Com- puting, Boca Raton, Florida. 1979, to appear.
  8. I. Rabinovitch and 1. Rival, The rank of distributive lattice, Discrete Math. 25 (1070) 275-270.
  9. E. Szpilrajn. Sur I'extension de I'ordre partiel, Fund. Math, l/1 (1930) 386-380.
  10. 'W.T. Trotter, .llr. and J.I. Moore. Characterization problems for graphs. partially ordered sets, lattices. and families of sets, Discrete Math. 16 (1076) 36 1-38 I.
  11. P. T&m, An extremal problem in graph theory, Math. Fiz. Lapok. 48 (1941) S36-552.