Grafo bipartito

Questa voce o sezione sull'argomento teoria dei grafi non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti.

Nella teoria dei grafi, un grafo bipartito è un grafo tale che l'insieme dei suoi vertici si può partizionare in due sottoinsiemi tali che ogni vertice di una di queste due parti è collegato solo a vertici dell'altra.

Più formalmente, consideriamo un grafo non orientato ${\displaystyle \,G=\langle V,E\rangle }$; esso si dice grafo bipartito se il suo insieme dei vertici ${\displaystyle \,V}$ può essere bipartito in due sottoinsiemi disgiunti ${\displaystyle \,V=V_{1}{\dot {\cup }}V_{2}}$ tali che ogni arco in ${\displaystyle \,E}$ ha la forma ${\displaystyle \,\{v_{1},v_{2}\}}$ con ${\displaystyle \,v_{1}\in V_{1}}$ e ${\displaystyle \,v_{2}\in V_{2}}$.

Un grafo bipartito può essere efficacemente presentato con una notazione della forma ${\displaystyle \langle V_{1}{\dot {\cup }}V_{2},E\rangle }$.

Gli alberi sono particolari grafi bipartiti; più in generale, tutti i grafi non orientati aciclici sono bipartiti.

I grafi ciclo con un numero pari di vertici sono grafi bipartiti.

Esempio di grafo bipartito ${\displaystyle \langle V_{1}{\dot {\cup }}V_{2},E\rangle }$ Nel quale ${\displaystyle V_{1}=\{v1,v2,v3,v4,v5\}}$ e ${\displaystyle V_{2}=\{u1,u2,u3,u4\}}$, in cui le due partizioni sono visivamente separate (ciascun vertice a sinistra collegato solo a vertici a destra).

• I grafi bipartiti sono i grafi con numero cromatico dei vertici uguale a 2.
• I grafi bipartiti sono i grafi privi di cicli dispari.

• La cardinalità della copertura dei vertici minima coincide con la cardinalità dell'accoppiamento massimo.
• La somma della cardinalità dell'insieme indipendente massimo e di quella dell'accoppiamento massimo è uguale al numero dei vertici.
• L'unione di grafi bipartiti è un grafo bipartito. Per una classificazione dei grafi bipartiti quindi hanno interesse primario i grafi bipartiti connessi.
• Per un grafo bipartito connesso la cardinalità della copertura minima degli spigoli è uguale a quella dell'insieme indipendente massimo.
• Per un grafo bipartito connesso la somma della cardinalità della copertura minima degli spigoli e di quella della copertura minima dei vertici è uguale al numero dei vertici.

I grafi bipartiti costituiscono buoni modelli per i problemi di accoppiamento. Un esempio è fornito dai problemi di assegnazione di mansioni, problemi formulati in termini come i seguenti.
Supponiamo di avere un insieme di persone P e un insieme di mansioni M che richiedono competenze specifiche in modo che non tutte le persone sono in grado di svolgere tutte le mansioni. Una particolare situazione si può modellare con un grafo bipartito della forma ${\displaystyle \,\langle P{\dot {\cup }}M,E\rangle }$ con l'insieme degli spigoli ottenuto inserendo per ciascuna persona p gli spigoli ${\displaystyle \,\{p,m\}}$ relativi a tutte le mansioni m che p è in grado svolgere.

Il teorema dei matrimoni fornisce una caratterizzazione dei grafi bipartiti che ammettono accoppiamenti perfetti.

• Grafo bipartito completo

• Wikimedia Commons contiene immagini o altri file sul grafo bipartito

• (EN) Eric W. Weisstein, Grafo bipartito, su MathWorld, Wolfram Research.

Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica