Ungerichteter Graph/Bipartit/Vollständig/Definition

Vollständiger bipartiter Graph

Der vollständige bipartite Graph $K_{m,n}$ ist derjenige Graph, dessen Knotenmenge aus der disjunkten Vereinigung einer $m$-elementigen Menge $A$ und einer $n$-elementigen Menge $B$ besteht und dessen Kantenmenge durch

$E=\{\{a,b\}\mid a\in A,b\in B\}$

gegeben ist.