Grafo biconvesso

Il grafo biconvesso è definito come segue. Tenendo presente la definizione di grafo bipartito:

Sia ${\displaystyle \,G=\langle X,Y,E\rangle }$ un grafo bipartito. Un ordinamento di X ha la “proprietà di adiacenza”, se per ogni ${\displaystyle \,y\in Y}$, i vicini di y in X sono consecutivi nell'ordinamento di X.

Un grafo bipartito ${\displaystyle \,G=\langle X,Y,E\rangle }$ è “biconvesso ”, se c'è un ordinamento di X e di Y che rispetta la proprietà di adiacenza.