# Problema del subgrafo prohibido

En teoría de grafos extremales, el problema del subgrafo prohibido se enuncia de la manera siguiente: dado un grafo $G$, encontrar el número máximo de aristas $\operatorname {ex} (n,G)$ en un grafo de $n$ vértices que no tiene un subgrafo isomorfo a $G$. En este contexto, $G$ se denomina subgrafo prohibido.
Un problema equivalente es: ¿Cuántas aristas en un grafo de $n$ vértices garantizan que tiene un subgrafo isomorfo a $G$?

## Definiciones

El número extremo $\operatorname {ex} (n,G)$ es el número máximo de aristas en un grafo de $n$ vértices que no contiene ningún subgrafo isomorfo a $G$. $K_{r}$ es el grafo completo en los $r$ vértices. $T(n,r)$ es el grafo de Turán: un grafo $r$-partite completo en $n$ vértices, con vértices distribuidos entre las partes de la manera más equitativa posible. La coloración de $\chi (G)$ de $G$ es el número mínimo de colores necesarios para colorear los vértices de $G$ de modo que no haya dos vértices adyacentes del mismo color.

## Límites superiores
### Teorema de Turán

El teorema de Turán establece que para los enteros positivos $n,r$ que satisfacen que $n\geq r\geq 3$, entonces ex⁡(n, K$_r$)=(1−1/r−1 ) n$^2$/2.{\textstyle \operatorname {ex} (n, K_{r})=\left(1-{\frac {1}{r-1}}\right){\frac {n^{2}}{2}}.}
Esto resuelve el problema del subgrafo prohibido para $G=K_{r}$. Los casos de igualdad para el teorema de Turán provienen del grafo de Turán $T(n,r-1)$.
Este resultado se puede generalizar a grafos $G$ arbitrarios considerando la coloración $\chi (G)$ de $G$. Téngase en cuenta que $T(n,r)$ se puede colorear con $r$ colores y, por lo tanto, no tiene subgrafos con un número cromático mayor que $r$. En particular, $T(n,\chi (G)-1)$ no tiene subgrafos isomorfos a $G$. Esto sugiere que los casos de igualdad generales para el problema del subgrafo prohibido pueden estar relacionados con los casos de igualdad para $G=K_{r}$. Esta intuición resulta ser correcta con un margen de error vinculado a $o(n^{2})$.

### Teorema de Erdős-Stone

El teorema de Erdős-Stone establece que para todos los números enteros positivos $n$ y todos los grafos $G$, ex⁡(n, G)=(1−1/χ(G)−1+o(1)) n$^2$/2.{\textstyle \operatorname {ex} (n, G)=\left(1-{\frac {1}{\chi (G)-1}}+o(1)\right){\frac {n^{2}}{2}}.}
Cuando $G$ no es bipartito, esto proporciona una aproximación de primer orden de $\operatorname {ex} (n,G)$.

### Grafos bipartitos

Para grafos bipartitos $G$, el teorema de Erdős-Stone solo implica que $\operatorname {ex} (n,G)=o(n^{2})$. El problema del subgrafo prohibido para grafos bipartitos se conoce como problema de Zarankiewicz y, en general, no está resuelto.
El progreso en el problema de Zarankiewicz incluye el siguiente teorema:
    Teorema de Kővári–Sós–Turán: Para todo par de enteros positivos $s,t$ con $t\geq s\geq 1$, existe una constante $C$ (independiente de $n$) tal que ex⁡(n, K$_{s, t}$)≤Cn$^{2−1/s}${\textstyle \operatorname {ex} (n, K_{s, t})\leq Cn^{2-{\frac {1}{s}}}} para todo entero positivo $n$.
Otro resultado para grafos bipartitos es el caso de ciclos pares, $G=C_{2k},k\geq 2$. Incluso los ciclos se manejan considerando un vértice raíz y caminos que se ramifican desde este vértice. Si dos caminos de la misma longitud $k$ tienen el mismo punto final y no se superponen, entonces crean un ciclo de longitud $2k$. Esto da el siguiente teorema:
    Teorema (Bondy y Simonovits, 1974): Existe una constante $C$ tal que ex⁡(n, C$_{2k}$)≤Cn$^{1+1/k}${\textstyle \operatorname {ex} (n, C_{2k})\leq Cn^{1+{\frac {1}{k}}}} para todo entero positivo $n$ y todo entero positivo $k\geq 2$.
Un lema poderoso en teoría de grafos extremales es de elección aleatoria dependiente. Este lema permite manejar grafos bipartitos con grado acotado en una parte:
    Teorema (Alon, Krivelevich y Sudakov, 2003): Sea $G$ un grafo bipartito con partes de vértice $A$ y $B$ tal que cada vértice en $A$ tiene grado como máximo $r$. Entonces existe una constante $C$ (que depende solo de $G$) tal que ex⁡(n, G)≤Cn$^{2−1/r}${\textstyle \operatorname {ex} (n, G)\leq Cn^{2-{\frac {1}{r}}}} para cada entero positivo $n$.
En general, se tiene la siguiente conjetura:
    Conjetura de los Exponentes Racionales (Erdős y Simonovits): Para cualquier familia finita ${\mathcal {L}}$ de grafos, si hay un $L\in {\mathcal {L}}$ bipartito, entonces existe un $\alpha \in [0,1)$ racional tal que $\operatorname {ex} (n,{\mathcal {L}})=\Theta (n^{1+\alpha })$.
Una recopilación realizada por Füredi y Simonovits describió el progreso en el problema del subgrafo prohibido con más detalle.

## Límites inferiores

Hay varias técnicas utilizadas para obtener los límites inferiores.

### Método probabilístico

Si bien este método en su mayoría proporciona límites débiles, la teoría de grafos aleatorios es un tema en rápido desarrollo. Se basa en la idea de que si se toma un grafo al azar con una densidad suficientemente pequeña, el grafo contendría solo una pequeña cantidad de subgrafos de $G$ en su interior. Estas copias se pueden suprimir eliminando una arista de cada copia de $G$ en el grafo, lo que genera un grafo libre de $G$.
El método probabilístico se puede usar para probar $\operatorname {ex} (n,G)\geq cn^{2-{\frac {v(G)-2}{e(G)-1}}}$ donde $c$ es una constante solo dependiendo del grafo $G$. Para la construcción se puede tomar el grafo aleatorio $G(n,p)$ de Erdős-Rényi, que es el grafo con $n$ vértices y la arista con dos vértices dibujados con probabilidad $p$, independientemente. Después de calcular el número esperado de copias de $G$ en $G(n,p)$ por expectativa lineal, se elimina una arista de cada copia de $G$ y al final nos queda un grafo libre de $G$. Se puede encontrar que el número esperado de aristas restantes es $\operatorname {ex} (n,G)\geq cn^{2-{\frac {v(G)-2}{e(G)-1}}}$ para un $c$ constante que depende de $G$. Por lo tanto, existe al menos un grafo de $n$ vértices con al menos tantas aristas como el número esperado.
Este método también se puede usar para encontrar las construcciones de un grafo para los límites en la circunferencia del grafo. La circunferencia, denotada por $g(G)$, es la longitud del ciclo más corto del grafo. Téngase en cuenta que para $g(G)>2k$, el grafo debe prohibir todos los ciclos con longitud menor que igual a $2k$. Por la linealidad de la expectativa, el número esperado de tales ciclos prohibidos es igual a la suma del número esperado de ciclos $C_{i}$ (para $i=3,...,n-1,n$). Nuevamente se eliminan las aristas de cada copia de un grafo prohibido y se termina con un grafo libre de ciclos más pequeños y $g(G)>2k$, resultando $c_{0}n^{1+{\frac {1}{2k-1}}}$ aristas en el grafo de la izquierda.

### Construcciones algebraicas

Para casos específicos, se han realizado mejoras encontrando construcciones algebraicas. Una característica común de tales construcciones es que implican el uso de la geometría para construir un grafo, con vértices que representan objetos geométricos y bordes de acuerdo con las relaciones algebraicas entre los vértices. Se termina sin subgrafos determinados de $G$, simplemente por razones puramente geométricas, mientras que el grafo tiene una gran cantidad de aristas para ser un límite fuerte debido a la forma en que se definieron las incidencias. La siguiente prueba de Erdős, Rényi y Sős que establece el límite inferior de $\operatorname {ex} (n,K_{2,2})$ como $\left({\frac {1}{2}}-o(1)\right)n^{3/2}.$ demuestra el poder de este método.
Primero, supóngase que $n=p^{2}-1$ para algún primo $p$. Considérese el grafo de polaridad $G$ cuyos vértices son elementos de $\mathbb {F} _{p}^{2}-\{0,0\}$ y aristas entre los vértices $(x,y)$ y $(a,b)$ si y solo si $ax+by=1$ en $\mathbb {F} _{p}$. Este grafo no contiene a $K_{2,2}$ porque un sistema de dos ecuaciones lineales en $\mathbb {F} _{p}$ no puede tener más de una solución. Un vértice $(a,b)$ (supóngase que $b\neq 0$) está conectado a $\left(x,{\frac {1-ax}{b}}\right)$ para cualquier $x\in \mathbb {F} _{p}$, para un total de al menos $p-1$ aristas (restando 1 en el caso de $(a,b)=\left(x,{\frac {1-ax}{b}}\right)$). Entonces, también hay al menos ${\frac {1}{2}}(p^{2}-1)(p-1)=\left({\frac {1}{2}}-o(1)\right)p^{3}=\left({\frac {1}{2}}-o(1)\right)n^{3/2}$ aristas, tal como se desee. Para un $n$ general, se puede tomar $p=(1-o(1)){\sqrt {n}}$ con $p\leq {\sqrt {n+1}}$ (lo cual es posible porque existe un $p$ primo en el intervalo $[k-k^{0.525},k]$ para $k$ suficientemente grande) y construir un grafo de polaridad usando tal $p$, agregando luego los vértices aislados de $n-p^{2}+1$, que no afectan al valor asintótico.
El siguiente teorema es un resultado similar para $K_{3,3}$.
Teorema (Brown, 1966):
* $\operatorname {ex} (n,K_{3,3})\geq \left({\frac {1}{2}}-o(1)\right)n^{5/3}.$
    Esquema de la demostración:
* Como en el teorema anterior, se puede tomar $n=p^{3}$ como primo $p$ y dejar que los vértices del grafo sean elementos de $\mathbb {F} _{p}^{3}$. Esta vez, los vértices $(a,b,c)$ y $(x,y,z)$ están conectados si y solo si $(x-a)^{2}+(y-b)^{2}+(z-c)^{2}=u$ en $\mathbb {F} _{p}$, para algunos $u$ elegidos específicamente. Entonces, estará libre de $K_{3,3}$, ya que como máximo dos puntos se encuentran en la intersección de tres esferas. Luego, dado que el valor de $(x-a)^{2}+(y-b)^{2}+(z-c)^{2}$ es casi uniforme en $\mathbb {F} _{p}$, cada punto debe tener alrededor de $p^{2}$ aristas, por lo que el número total de aristas es $\left({\frac {1}{2}}-o(1)\right)p^{2}\cdot p^{3}=\left({\frac {1}{2}}-o(1)\right)n^{5/3}$.
Sin embargo, sigue siendo una cuestión abierta ajustar el límite inferior de $\operatorname {ex} (n,K_{t,t})$ para $t\geq 4$.
Teorema (Alon et al., 1999):
* Para $t\geq (s-1)!+1$, $\operatorname {ex} (n,K_{s,t})=\Theta (n^{2-{\frac {1}{s}}}).$

### Construcciones algebraicas aleatorias

Esta técnica combina las dos ideas anteriores. Utiliza relaciones de tipo polinómico aleatorio a la hora de definir las incidencias entre vértices, que se encuentran en algún conjunto algebraico. Se usa esta técnica para probar el teorema siguiente.
Teorema:
* Por cada $s\geq 2$, existe algún $t$ tal que $\operatorname {ex} (n,K_{s,t})\geq \left({\frac {1}{2}}-o(1)\right)n^{1-{\frac {1}{s}}}$.
    Esquema de la demostración:
* Se toma la mayor potencia prima $q$ con $q^{s}\leq n$. Debido a las brechas principales, se tiene que $q=(1-o(1))n^{\frac {1}{s}}$. Sea $f\in \mathbb {F} _{q}[x_{1},x_{2},\cdots ,x_{s},y_{1},y_{2},\cdots ,y_{s}]_{\leq d}$ un polinomio aleatorio en $\mathbb {F} _{q}$ con grado como máximo $d=s^{2}$ en $X=(X_{1},X_{2},...,X_{s})$ y $Y=(Y_{1},Y_{2},...,Y_{s})$ y que satisface $f(X,Y)=f(Y,X)$. Sea el grafo $G$ el conjunto de vértices $\mathbb {F} _{q}^{s}$ tal que dos vértices $x,y$ son adyacentes si $f(x,y)=0$.
    Se define un conjunto $U\subset \mathbb {F} _{q}^{s}$ y un conjunto $Z_{U}$ como los elementos de $\mathbb {F} _{q}^{s}$ que no están en $U$ y satisfacen $f(x,u)=0$ para todos los elementos $u\in U$. Por el límite de Lang-Weil, se obtiene que para $q$ suficientemente grande, entonces $|Z_{U}|\leq C$ o $|Z_{U}|>{\frac {q}{2}}$ para algún $C$ constante. Ahora, calculamos el número esperado de $U$ tal que $Z_{U}$ tiene un tamaño mayor que $C$, y se elimina un vértice de cada $U$. El grafo resultante resulta ser libre de $K_{s,C+1}$ y existe al menos un grafo con la expectativa del número de aristas de este grafo resultante.

## Sobresaturación

La sobresaturación se refiere a una variante del problema del subgrafo prohibido, donde se considera que algún grafo uniforme $h$ $G$ contiene muchas copias de algún subgrafo prohibido $H$. Intuitivamente, se podría esperar que esto ocurra una vez que $G$ contenga significativamente más aristas que $\operatorname {ex} (n,H)$. Se introduce la densidad de Turán para formalizar esta noción.

### Densidad de Turán

La densidad de Turán de un grafo uniforme $h$ $G$ se define como:
    $\pi (G)=\lim _{n\to \infty }{\frac {\operatorname {ex} (n,G)}{\binom {n}{h}}}.$
Es cierto que ${\frac {\operatorname {ex} (n,G)}{\binom {n}{h}}}$ es de hecho positivo y monótono decreciente, por lo que el límite debe existir.
Como ejemplo, el teorema de Turán da $\pi (K_{r+1})=1-{\frac {1}{r}}$ y el teorema de Erdős-Stone da $\pi (G)=1-{\frac {1}{\chi (H)-1}}$. En particular, para $G$ bipartito, $\pi (G)=0$. Determinar la densidad de Turán $\pi (H)$ es equivalente a determinar $\operatorname {ex} (n,G)$ hasta un error vinculado a $o(n^{2})$.

### Teorema de sobresaturación

Considérese un hipergrafo uniforme $h$ $H$ con $v$ vértices. El teorema de sobresaturación establece que para cada $\epsilon >0$, existe un $\delta >0$ tal que si $G$ es un grafo con $n$ vértices y al menos $(\pi (H)+\epsilon ){\binom {n}{2}}$ aristas para $n$ suficientemente grandes, entonces hay al menos $\delta n^{v(H)}$ copias de $H$.
De manera equivalente, se puede reformular este teorema como sigue: si un grafo $G$ con $n$ vértices tiene $o(n^{v(H)})$ copias de $H$, entonces hay como máximo $\pi (H){\binom {n}{2}}+o(n^{2})$ aristas en $G$.

### Aplicaciones

Se pueden resolver varios problemas de subgrafos prohibidos considerando problemas del tipo de sobresaturación. A continuación se incluye un bosquejo de la demostración del teorema de Kővári-Sós-Turán:
Teorema de Kővári-Sós-Turán:
* Para todo par de enteros positivos $s,t$ con $t\geq s\geq 1$, existe una constante $C$ (independiente de $n$) tal que ex⁡(n, K$_{s, t}$)≤Cn$^{2−1/s}${\textstyle \operatorname {ex} (n, K_{s, t})\leq Cn^{2-{\frac {1}{s}}}} para todo entero positivo $n$.
    Esquema de la demostración:
* Sea $G$ un $2$-grafo con $n$ vértices, y considérese el número de copias de $K_{1,s}$ en $G$. Dado un vértice de grado $d$, se obtienen exactamente ${\binom {d}{s}}$ copias de $K_{1,s}$ enraizadas en este vértice, para un total de $\sum _{v\in V(G)}{\binom {\operatorname {deg} (v)}{s}}$ copias. Aquí, ${\binom {k}{s}}=0$ cuando $0\leq k<s$. Por una condición de convexidad, hay un total de al menos $n{\binom {2e(G)/n}{s}}$ copias de $K_{1,s}$. Además, claramente hay ${\binom {n}{s}}$ subconjuntos de $s$ vértices, por lo que si hay más de $(t-1){\binom {n}{s}}$ copias de $K_{1,s}$, entonces por el principio del palomar debe existir un subconjunto de $s$ vértices que forman el conjunto de hojas de al menos $t$ de estas copias, formando un $K_{s,t}$. Por lo tanto, existe una ocurrencia de $K_{s,t}$ mientras se tengan $n{\binom {2e(G)/n}{s}}>(t-1){\binom {n}{s}}$ elementos. En otras palabras, se tiene una ocurrencia si ${\frac {e(G)^{s}}{n^{s-1}}}\geq O(n^{s})$, lo que se simplifica a $e(G)\geq O(n^{2-{\frac {1}{s}}})$, que es el enunciado del teorema.
    En esta demostración se está usando el método de sobresaturación al considerar el número de ocurrencias de un subgrafo más pequeño. Por lo general, las aplicaciones del método de sobresaturación no utilizan el teorema de sobresaturación. En cambio, la estructura a menudo implica encontrar un subgrafo $H'$ de algún subgrafo prohibido $H$ y mostrar que si aparece demasiadas veces en $G$, $H$ también debe aparecer en $G$.
Otros teoremas relacionados con el problema del subgrafo prohibido que se pueden resolver con sobresaturación incluyen:
* $\operatorname {ex} (n,C_{2t})\leq O(n^{1+1/t})$.
* Para cualquier $t$ y $k\geq 2$, $\operatorname {ex} (n,C_{2k},C_{2k-1})\leq O\left(\left({\frac {n}{2}}\right)^{1+1/t}\right)$.
* Si $Q$ denota el grafo determinado por los vértices y aristas de un cubo, y $Q^{*}$ denota el grafo obtenido al unir dos vértices opuestos del cubo, entonces $\operatorname {ex} (n,Q)\leq \operatorname {ex} (n,Q^{*})=O(n^{8/5})$.

## Generalizaciones

El problema puede generalizarse para un conjunto de subgrafos prohibidos $S$: encontrar el número máximo de aristas en un grafo de $n$ vértices que no tiene un subgrafo isomorfo a ningún grafo de $S$.
También hay versiones para hipergrafos de problemas de subgrafos prohibidos que son mucho más difíciles. Por ejemplo, el problema de Turán puede generalizarse para hallar el mayor número de aristas en un hipergrafo 3-uniforme de $n$ vértices que no contiene tetraedros. El análogo de la construcción de Turán sería dividir los vértices en subconjuntos $V_{1},V_{2},V_{3}$ casi iguales, y conectar los vértices $x,y,z$ mediante una construcción de 3-aristas si están todos en $V_{i}$ diferentes, o si dos de ellos están en $V_{i}$ y el tercero está en $V_{i+1}$ (donde $V_{4}=V_{1}$). Esta disposición no contiene tetraedros y la densidad de aristas es $5/9$. Sin embargo, el límite superior más conocido es 0,562, utilizando la técnica de álgebra de banderas.