Frankl–Rödl graph
In graph theory and computational complexity theory, a Frankl–Rödl graph is a graph defined by connecting pairs of vertices of a hypercube that are at a specified even distance from each other. The graphs of this type are parameterized by the dimension of the hypercube and by the distance between adjacent vertices. Frankl–Rödl graphs are named after Péter Frankl and Vojtěch Rödl, who proved in 1987 that (for certain ranges of the graph parameters) they have small independence number and high chromatic number. They have since become of interest to computational complexity theorists, as difficult  examples for semidefinite programming based approximation algorithms for the vertex cover and graph coloring problems. Their properties with respect to these algorithms have been used to call into question the unique games conjecture. Definition and examples. Let be a positive integer, and let be a real number in the unit interval . Suppose additionally that is an even number. Then the Frankl–Rödl graph formula_1 is the graph on the vertices of an -dimensional unit hypercube in which two vertices are adjacent when their Hamming distance (the number of coordinates in which the two differ) is exactly . Here, the requirement that  be even is necessary in order to prevent the result from being a bipartite graph. The Frankl–Rödl graph will necessarily be disconnected (with at least one connected component for each of the two sides of the bipartition of the corresponding hypercube graph) but this is non-problematic for its applications. As an example, the Frankl–Rödl graph formula_2 connects vertices two steps apart in an ordinary three-dimensional cube, as shown in the illustration. Geometrically, this connection pattern forms a shape known as the stella octangula; graph-theoretically, it forms two connected components, each of which is a four -vertex complete graph. Similarly, the Frankl–Rödl graph formula_3 connects vertices two steps apart in a four-dimensional hypercube, and results in a graph consisting of two copies of the cocktail party graph . The two Frankl–Rödl graphs of dimension five, formula_4 and formula_5, are each formed from two copies of the two complementary Clebsch graphs of degree five and ten respectively. Properties. The Frankl–Rödl graph formula_1 is a regular graph, of degree It inherits the symmetries of its underlying hypercube, making it a symmetric graph. As showed, when , the size of a maximum independent set in a Frankl –Rödl graph formula_1 is The in this formula is an instance of big Ω notation. For constant values of and variable , this independent set size is a small fraction of the vertices of the graph. More precisely, this fraction is inversely proportional to an exponential function of and a polynomial function of the graph size. Because each color in proper coloring of the Frankl–Rödl graph forms an independent set with few vertices, the number of colors must be large (again, a polynomial function of the graph size). In computational complexity. The vertex cover problem involves finding a set of  vertices that touches every edge of the graph. It is NP-hard but can be approximated to within an approximation ratio of two, for instance by taking the endpoints of the matched edges in any maximal matching. Evidence that this is the best possible approximation ratio of a polynomial-time approximation algorithm is provided by the fact that, when represented as a semidefinite program, the problem has an integrality gap of two; this gap is the ratio between the solution value of the integer solution (a valid vertex cover) and of its semidefinite relaxation. According to the unique games conjecture , for many problems such as this the optimal approximation ratio is provided by the integrality gap of their semidefinite relaxation. However, the Frankl–Rödl graphs provide the only known instances of vertex cover for which the integrality gap can be as bad as two. Frankl–Rödl graphs have also been used to study semidefinite approximations for graph coloring. In this application, in particular, researchers have studied graph 3-colorability in connection with the Frankl–Rödl graphs with parameter . Even though the Frankl–Rödl graphs with this parameter value have high chromatic number, semidefinite programming is unable to distinguish them from  3-colorable graphs. However, for these graphs, algebraic methods based on polynomial sums of squares can provide stronger bounds that certify their need for many colors. This result challenges the optimality of semidefinite programming and the correctness of the unique games conjecture.