Grafo bipartito completo

En teoría de grafos, un grafo bipartito completo es un grafo bipartito en el que todos los vértices de uno de los subconjuntos de la partición están conectados a todos los vértices del segundo subconjunto, y viceversa.

Este concepto se puede generalizar al de grafo s-bipartito completo, como un grafo cuyo conjunto de vértices se puede particionar en s subconjuntos, de modo que todos los pares de vértices pertenecientes a subconjuntos diferentes son adyacentes.

Definición

Un grafo bipartito completo $G:=(V_1\cup V_2,E)$ es un grafo bipartito tal que $\mathrm{\forall }{v}_1\in V_1,\mathrm{\forall }{v}_2\in V_2\Rightarrow e(v_1,v_2)\in E.$ Es decir, un grafo bipartito completo está formado por dos conjuntos disjuntos de vértices y todas las posibles aristas que unen esos vértices.

El grafo completo bipartito con particiones de tamaño $\left|V_1\right|=m$ y $\left|V_2\right|=n,$ es denotado como $K_{m,n}$.

Ejemplos

• 
  K_3,1 (grafo estrella S₃)
• 
  K_3,2
• 
  K_3,3

Propiedades

Sea $K_{m,n}$ un grafo bipartito con $\left|V_1\right|=m$ y $\left|V_2\right|=n$, se verifica:Plantilla:Cita requerida

• $\left|E\right|=\left|V_1\right|\cdot \left|V_2\right|=m\cdot n$
• $K_{m,n}$ posee $m^{n-1}\cdot n^{m-1}$ árboles de expansión.

Véase también

• Grafo bipartito
• Grafo completo

Bibliografía

• Plantilla:Cita libro

Plantilla:Control de autoridades