UNIVERSALITY AND TOLERANCE (Extended Abstract)

For any positive integersr and n, let H(r, n) denote the family of graphs onn vertices with maximum degree r, and letH(r, n, n) denote the family of bipartite graphs H on 2n vertices withn vertices in each vertex class, and with maximum degreer. On one hand, we note that any H(r, n)-universal graph must have Ω(n2−2/r) edges. On the other hand, for anyn ≥ n0(r), we explicitly construct H(r, n)-universal graphsG and Λ on n and 2n vertices, and withO(n2−Ω( 1 r log r ) andO(n2− 1 r log n) edges, respectively, such that we can efficiently find a copy of any H ∈ H(r, n) inG deterministically. We also achieve sparse universal graphs using random constructions. Finally, we show that the bipartite random graph G = G(n, n, p), with p = cn− 1 2r log n is fault-tolerant; for a large enough constantc, even after deleting any α-fraction of the edges of G, the resulting graph is still H(r, a(α)n, a(α)n)-universal for somea : [0, 1)→ (0, 1]. ∗Department of Mathematics, Raymond and Beverly Sackler Faculty of Exact Sciences, Tel Aviv University, Tel Aviv, Israel. Research supported in part by a USA-Israeli BSF grant, by the Israel Science Foundation and by the Hermann Minkowski Minerva Center for Geometry at Tel Aviv University. Email: noga@math.tau.ac.il. †Department of Mathematical Sciences, The Johns Hopkins University, 3400 N. Charles Street, Baltimore, MD. Supported by NSF grant CCR98210-58 and ARO grant DAAH04-96-1-0013. Email: capalbo@mts.jhu.edu. ‡Instituto de Mateḿatica e Estat ı́stica, Universidade de S ão Paulo, Brazil. Research partially supported by FAPESP (Proc. 96/04505–2), by CNPq (Proc. 300334/93–1), and by MCT/FINEP under PRONEX project 107/97. Email: yoshi@ime.usp.br §Department of Mathematics and Computer Science, Emory University, Atlanta. Research supported by NSF grant DMS 9704114. Email: rodl@mathcs.emory.edu ¶Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Pozná n, Poland. Research supported by KBN grant 2 P03A 032 16. Part of this research was done during the author’s visit to Emory University. Email: rucinski@amu.edu.pl ‖Department of Computer Science, Rutgers University. Email: szemered@cs.rutgers.edu

[1]  Andrzej Rucinski,et al.  Matching and covering the vertices of a random graph by copies of a given graph , 1992, Discret. Math..

[2]  Michael R. Capalbo,et al.  Small universal graphs , 1999, STOC '99.

[3]  Vojtech Rödl,et al.  Hypergraph Packing and Graph Embedding , 1999, Combinatorics, Probability and Computing.

[4]  Arnold L. Rosenberg,et al.  Universal Graphs for Bounded-Degree Trees and Planar Graphs , 1989, SIAM J. Discret. Math..

[5]  Vojtech Rödl,et al.  Perfect Matchings in ε-Regular Graphs and the Blow-Up Lemma , 1999, Comb..

[6]  József Beck,et al.  An Algorithmic Approach to the Lovász Local Lemma. I , 1991, Random Struct. Algorithms.

[7]  J. Komlos The Blow-up Lemma , 1999, Combinatorics, Probability and Computing.

[8]  Joel H. Spencer,et al.  Edge disjoint placement of graphs , 1978, J. Comb. Theory B.

[9]  Noga Alon The String Chromatic Number of a Graph , 1992, Random Struct. Algorithms.

[10]  Noga Alon,et al.  A Parallel Algorithmic Version of the Local Lemma , 1991, Random Struct. Algorithms.

[11]  Noga Alon,et al.  Threshold Functions for H-factors , 1993, Comb. Probab. Comput..

[12]  Noga Alon,et al.  Spanning subgraphs of random graphs , 1992, Graphs Comb..

[13]  G. V. Balakin On Random Matrices , 1967 .

[14]  Michael R. Capalbo Small Universal Graphs for Bounded-Degree Planar Graphs , 1999, SODA '99.

[15]  Svante Janson,et al.  Random graphs , 2000, ZOR Methods Model. Oper. Res..

[16]  M. Stephanov,et al.  Random Matrices , 2005, hep-ph/0509286.