Доброго времени суток! Есть такая задача. Покрыть граф (обыкновенный) k рёберно-непересекающимися деревьями (минимальным количеством деревьев). Она вроде как NP-полна, т.к. свёл к ней рёберную k-раскраску. Сейчас нужно написать по этой задаче какой-нибудь хороший перебор, чтобы было в дальнейшем с чем сверять результаты приближенных методов. В этом-то, собственно, на данный момент и заключается проблема. Думал свести эту задачу к чему-нибудь более известному NP-полному, пока ничего не вышло.

Кроме того, хорошо было бы найти какую-нибудь функцию оценки решения (для использования в методах дискретной оптимизации в дальнейшем), лучшую, чем просто "количество деревьев".

Буду очень благодарен за помощь.