Grafico bipartito quantità minima di vertici richiesti

Question

Ho un grafico bipartito realizzato con due set (SET 1 e SET 2) e voglio determinare quanti vertici dal SET 1 Posso rimuovere pur avendo ancora ogni vertice del SET 2 collegato ad almeno un vertice del SET 1. In questo esempio, E e F può ovviamente essere rimosso come D e C sono collegati 5 e 6.
Ma potremmo anche rimuovere B come A e C insieme coprono più punti. Ma finora ho solo un'implementazione molto lenta di questo che è confrontare ogni vertice di SET 1 a ogni combinazione di vertici di SET1.
Esiste un modo intelligente per farlo? Ho pensato Il teorema di Kőnig Ma non ho trovato un modo per usarlo in questo contesto in quanto sembra essere realizzato per grafici bipartiti non diretti.

Inoltre, ci sono alcuni vincoli che segue l'input:
-Incell Elemento di SET 2 è collegato a SET 1
-E tutto nodo di SET 2 è collegato esattamente a due vertici di SET 1