Gegeben: G = (V,E) ungerichtet. Die Kanten symbolisieren hier mögliche Zuordnungen.
Gesucht: eine Zuordnung M , d.h. eine unabhängige Kantenmenge M . Unabhängig bedeutet, daß gilt: (i,j),(i',j') M i i',j j',i j',j i'