Soit un graphe biparti , et une fonction . Une couverture est un sous-ensemble tel que , ou . Le problème se posant est le suivant : trouver une couverture telle que soit minimal.