Aquí hay una prueba alternativa, corrígeme si me equivoco.
primero
- $\alpha(G):=$ tamaño del conjunto máximo independiente.
- $\tau(G):=$ tamaño de la cobertura mínima de vértices.
- $v(G):=$ número de vértices en G.
lo demostramos:
- $\tau(G) + \alpha(G) = v(G) $
con muestra que sí, si empiezas con una cubierta de vértices mínima y tomas todos los vértices que no toma, te quedarás con un conjunto máximo independiente, y viceversa.
es decir, el tamaño de la cobertura máxima de vértices es $v(G)-\alpha(G)$ y viceversa.
prueba $\alpha(G)\geq v(G)-\tau(G)$ :
Supongamos que $S$ es una cubierta de vértices máxima en G. entonces mira $S':=V(G)-S$ primero demostramos $S'$ es un conjunto independiente.
Supongamos que $S'$ no es un conjunto independiente, es decir, existe $u,v\in S'$ , de manera que $uv\in E(G)$ con implica que $u,v\notin S$ , entonces $S$ no cubre el borde $uv$ contradicción.
De ahí que haya concluido que $\alpha(G)\geq v(G)-\tau(G)$ .
prueba : $\tau(G)\leq v(G)-\alpha(G)$ :
Del mismo modo, supongamos ahora $S$ es un conjunto máximo independiente, entonces demostramos que $S':=V(G)-S$ es una cubierta de vértices.
Supongamos por contradicción que no es así. entonces se sostiene que existe $uv\in E(G)$ tal que $u\notin S'$ y $v\notin S'$ por lo que de nuevo concluimos que ambos deben estar en $S$ , entonces observamos que $S$ no es un conjunto independiente.
entonces observamos que: $\tau(G)\leq v(G)-\alpha(G)$ .
movemos el alfa y el tau, y obtenemos que $\alpha(G)\leq v(G)-\tau(G)$ , y de la observación anterior obtuvimos que $\alpha(G)\geq v(G)-\tau(G)$ .
por lo tanto, debe sostener que: $\tau(G) + \alpha(G) = v(G) $
ahora si asumes que hay una cubierta de vértices con menos vértices, entonces la ecuación simplemente no se sostiene.