Английская Википедия:Frankl–Rödl graph

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Файл:Compound of two tetrahedra.png

The Frankl–Rödl graph <math>\operatorname{FR}_{1/3}^{3}</math>, formed by connecting vertices at distance two from each other in a three-dimensional cube

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

Шаблон:Multiple image Let Шаблон:Mvar be a positive integer, and let Шаблон:Mvar be a real number in the unit interval Шаблон:Math. Suppose additionally that Шаблон:Math is an even number. Then the Frankl–Rödl graph <math>\operatorname{FR}_{\gamma}^{n}</math> is the graph on the Шаблон:Math vertices of an Шаблон:Mvar-dimensional unit hypercube Шаблон:Math in which two vertices are adjacent when their Hamming distance (the number of coordinates in which the two differ) is exactly Шаблон:Math. Here, the requirement that Шаблон:Math 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 <math>\operatorname{FR}_{1/3}^{3}</math> 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 <math>\operatorname{FR}_{1/2}^{4}</math> connects vertices two steps apart in a four-dimensional hypercube, and results in a graph consisting of two copies of the cocktail party graph Шаблон:Math. The two Frankl–Rödl graphs of dimension five, <math>\operatorname{FR}_{1/5}^{5}</math> and <math>\operatorname{FR}_{3/5}^{5}</math>, are each formed from two copies of the two complementary Clebsch graphs of degree five and ten respectively.

Properties

The Frankl–Rödl graph <math>\operatorname{FR}_{\gamma}^{n}</math> is a regular graph, of degree

<math>\binom{n}{(1-\gamma)n}.</math>

It inherits the symmetries of its underlying hypercube, making it a symmetric graph.

As Шаблон:Harvtxt showed, when Шаблон:Math, the size of a maximum independent set in a Frankl–Rödl graph <math>\operatorname{FR}_{\gamma}^{n}</math> is

<math>n(2-\Omega(\gamma)^2)^n.</math>

The Шаблон:Math in this formula is an instance of big Ω notation. For constant values of Шаблон:Mvar and variable Шаблон:Mvar, this independent set size is a small fraction of the Шаблон:Math vertices of the graph. More precisely, this fraction is inversely proportional to an exponential function of Шаблон:Mvar 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 Шаблон:Math. 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.