Проблема: http://www.spoj.com/problems/DIVREL
В вопросе нам просто нужно найти максимальное количество элементов, которые не являются кратными (форма a делится на b) из заданного набора элементов. Если мы просто сделаем ребро от элемента к его кратному и построим граф, это будет DAG.
Теперь вопрос просто меняется на поиск минимального количества цепей, содержащих все вершины, равные мощности антицепи, используя Теорема Дилворта, так как это частично упорядоченное множество.
Минимальные цепочки можно найти с помощью двудольного сопоставления (как: это минимальное покрытие пути), но теперь я не могу найти сами элементы антицепи?