[Julio_fmat]

Demuestre que \( X \) es un clique en un grafo \( G \) si y solo si \( X \) es un conjunto independiente en \( \overline{G} \). Demuestre entonces que \( \omega(G)=\alpha(\overline{G}). \)

Hola, sabemos que \( X \) es un clique si \( \forall u,v\in X, \{u,v\}\in E \).

[Luis Fuentes]

Hola

Demuestre que \( X \) es un clique en un grafo \( G \) si y solo si \( X \) es un conjunto independiente en \( \overline{G} \). Demuestre entonces que \( \omega(G)=\alpha(\overline{G}). \)

Hola, sabemos que \( X \) es un clique si \( \forall u,v\in X, \{u,v\}\in E \).

Simplemente, si  \( \{u,v\}\in E(G) \) entonces \( \{u,v\}\not\in E(\overline{G}) \) y por tanto que todo par de vértices de \( X \) este unido por una arista en \( G \) equivale a que todo par de vértices en \( X \) no está unido por ninguna arista en \( \bar G \), es decir, equivale a que \( X \) es un conjunto independiente en \( \bar G \).

Saludos.