Есть табличка 10*10. Заполняется случайным образом. Три состояния: 0, 1, и галочка

. Требуется отобрать строчки таким образом, чтобы в каждом столбце была бы по крайней мере одна галочка, а число строк было минимальным.
Предположительно "6-ой пункт метода Квайна-Мак Класски"