En el campo matemático de la teoría de grafos , el grafo de la amistad (o grafo de molino de viento holandés o n -fan ) F n es un grafo plano , no dirigido, con 2 n + 1 vértices y 3 n aristas. [1]
El gráfico de amistad F n se puede construir uniendo n copias del gráfico de ciclo C 3 con un vértice común, que se convierte en un vértice universal para el gráfico. [2]
Por construcción, el grafo de amistad F n es isomorfo al grafo de molino de viento Wd(3, n ) . Es una distancia unitaria con circunferencia 3, diámetro 2 y radio 1. El grafo F 2 es isomorfo al grafo de mariposa . Los grafos de amistad se generalizan mediante los grafos de cactus triangulares .
El teorema de la amistad de Paul Erdős , Alfréd Rényi y Vera T. Sós (1966) [3] establece que los grafos finitos con la propiedad de que cada dos vértices tienen exactamente un vecino en común son exactamente los grafos de amistad. De manera informal, si un grupo de personas tiene la propiedad de que cada par de personas tiene exactamente un amigo en común, entonces debe haber una persona que sea amiga de todas las demás. Sin embargo, para grafos infinitos, puede haber muchos grafos diferentes con la misma cardinalidad que tengan esta propiedad. [4]
Mertzios y Unger dieron una prueba combinatoria del teorema de la amistad. [5] Otra prueba fue dada por Craig Huneke. [6] Alexander van der Vekens informó sobre una prueba formalizada en Metamath en octubre de 2018 en la lista de correo de Metamath. [7]
El grafo de la amistad tiene número cromático 3 e índice cromático 2 n . Su polinomio cromático se puede deducir del polinomio cromático del grafo del ciclo C 3 y es igual a
El grafo de amistad F n es elegante si y solo si n es impar. Es elegante si y solo si n ≡ 0 (mod 4) o n ≡ 1 (mod 4) . [8] [9]
Cada gráfico de amistad es un factor crítico .
Según la teoría de grafos extremales , todo grafo con suficientes aristas (en relación con su número de vértices) debe contener un abanico como subgrafo. Más específicamente, esto es cierto para un grafo de vértices si el número de aristas es
donde es si es impar, y es si es par. Estos límites generalizan el teorema de Turán sobre el número de aristas en un grafo sin triángulos , y son los mejores límites posibles para este problema, ya que para cualquier número menor de aristas existen grafos que no contienen un abanico. [10]
Dos vértices cualesquiera que tengan exactamente un vecino en común es equivalente a que dos vértices cualesquiera estén conectados por exactamente un camino de longitud dos. Esto se ha generalizado a los -grafos, en los que dos vértices cualesquiera están conectados por un único camino de longitud . Porque no se conocen tales grafos, y la afirmación de su no existencia es la conjetura de Kotzig .