La teoría de grafos extremos es una rama de la combinatoria , en sí misma un área de las matemáticas , que se encuentra en la intersección de la combinatoria extrema y la teoría de grafos . En esencia, la teoría de grafos extremos estudia cómo las propiedades globales de un grafo influyen en la subestructura local. [1] Los resultados de la teoría de grafos extremos tratan de conexiones cuantitativas entre varias propiedades de grafos , tanto globales (como el número de vértices y aristas) como locales (como la existencia de subgrafos específicos), y los problemas de la teoría de grafos extremos a menudo se pueden formular como problemas de optimización: ¿qué tan grande o pequeño puede ser un parámetro de un grafo, dadas algunas restricciones que el grafo tiene que satisfacer? [2] Un grafo que es una solución óptima a tal problema de optimización se llama grafo extremal , y los grafos extremales son objetos de estudio importantes en la teoría de grafos extremales.
La teoría de grafos extremos está estrechamente relacionada con campos como la teoría de Ramsey , la teoría de grafos espectrales , la teoría de la complejidad computacional y la combinatoria aditiva , y con frecuencia emplea el método probabilístico .
La teoría de grafos extremos, en su sentido más estricto, es una rama de la teoría de grafos desarrollada y amada por los húngaros.
Bollobás (2004) [3]
El teorema de Mantel (1907) y el teorema de Turán (1941) fueron algunos de los primeros hitos en el estudio de la teoría de grafos extremales. [4] En particular, el teorema de Turán se convertiría más tarde en una motivación para el hallazgo de resultados como el teorema de Erdős-Stone (1946). [1] Este resultado es sorprendente porque conecta el número cromático con el número máximo de aristas en un grafo libre. Una prueba alternativa de Erdős-Stone se dio en 1975, y utilizó el lema de regularidad de Szemerédi , una técnica esencial en la resolución de problemas de teoría de grafos extremales. [4]
Una coloración (de vértices) adecuada de un grafo es una coloración de los vértices de tal manera que no haya dos vértices adyacentes que tengan el mismo color. El número mínimo de colores necesarios para colorear correctamente se denomina número cromático de , denotado como . Determinar el número cromático de grafos específicos es una cuestión fundamental en la teoría de grafos extremales, porque muchos problemas en el área y áreas relacionadas se pueden formular en términos de coloración de grafos. [2]
Dos límites inferiores simples para el número cromático de un grafo están dados por el número de camarilla —todos los vértices de una camarilla deben tener colores distintos— y por , donde es el número de independencia, porque el conjunto de vértices con un color dado debe formar un conjunto independiente .
Una coloración voraz da como resultado el límite superior , donde es el grado máximo de . Cuando no es un ciclo impar ni una camarilla, el teorema de Brooks establece que el límite superior se puede reducir a . Cuando es un grafo plano , el teorema de los cuatro colores establece que tiene un número cromático de cuatro como máximo.
En general, se sabe que determinar si un gráfico dado tiene una coloración con un número prescrito de colores es NP-difícil .
Además de la coloración de vértices, también se estudian otros tipos de coloración, como la coloración de aristas . El índice cromático de un grafo es el número mínimo de colores en una coloración adecuada de las aristas de un grafo, y el teorema de Vizing establece que el índice cromático de un grafo es o .
El problema del subgrafo prohibido es uno de los problemas centrales de la teoría de grafos extremos. Dado un grafo , el problema del subgrafo prohibido pide el número máximo de aristas en un grafo de -vértice que no contenga un subgrafo isomorfo a .
Cuando es un grafo completo, el teorema de Turán proporciona un valor exacto para y caracteriza a todos los grafos que alcanzan este máximo; dichos grafos se conocen como grafos de Turán . Para grafos no bipartitos , el teorema de Erdős-Stone proporciona un valor asintótico de en términos del número cromático de . El problema de determinar las asintóticas de cuando es un grafo bipartito está abierto; cuando es un grafo bipartito completo, esto se conoce como el problema de Zarankiewicz .
La densidad de homomorfismo de un grafo en un grafo describe la probabilidad de que un mapa elegido al azar del conjunto de vértices de al conjunto de vértices de sea también un homomorfismo de grafo . Está estrechamente relacionada con la densidad de subgrafos , que describe la frecuencia con la que un grafo se encuentra como subgrafo de .
El problema del subgrafo prohibido puede reformularse como la maximización de la densidad de aristas de un grafo con -densidad cero, y esto naturalmente conduce a la generalización en forma de desigualdades de homomorfismo de grafos , que son desigualdades relacionadas para varios grafos . Al extender la densidad de homomorfismo a los grafones , que son objetos que surgen como un límite de grafos densos , la densidad de homomorfismo de grafos puede escribirse en forma de integrales, y desigualdades como la desigualdad de Cauchy-Schwarz y la desigualdad de Hölder pueden usarse para derivar desigualdades de homomorfismo.
Un importante problema abierto relacionado con las densidades de homomorfismo es la conjetura de Sidorenko , que establece un límite inferior estricto para la densidad de homomorfismo de un gráfico bipartito en un gráfico en términos de la densidad de aristas de .
El lema de regularidad de Szemerédi establece que todos los grafos son "regulares" en el siguiente sentido: el conjunto de vértices de cualquier grafo dado se puede dividir en un número acotado de partes de modo que el grafo bipartito entre la mayoría de los pares de partes se comporte como grafos bipartitos aleatorios . [2] Esta partición proporciona una aproximación estructural al grafo original, que revela información sobre las propiedades del grafo original.
El lema de regularidad es un resultado central en la teoría de grafos extremales, y también tiene numerosas aplicaciones en los campos adyacentes de la combinatoria aditiva y la teoría de la complejidad computacional . Además de la regularidad (de Szemerédi), también se han estudiado nociones estrechamente relacionadas con la regularidad de grafos, como la regularidad fuerte y la regularidad débil de Frieze-Kannan, así como extensiones de la regularidad a los hipergrafos .
Las aplicaciones de la regularidad de grafos a menudo utilizan formas de lemas de conteo y lemas de eliminación. En las formas más simples, el lema de conteo de grafos utiliza la regularidad entre pares de partes en una partición regular para aproximar el número de subgrafos, y el lema de eliminación de grafos establece que, dado un grafo con pocas copias de un subgrafo dado, podemos eliminar una pequeña cantidad de aristas para eliminar todas las copias del subgrafo.
Campos relacionados
Técnicas y métodos
Teoremas y conjeturas (además de los mencionados anteriormente)
