Hardprob/Minimum Upgrading Spanning Tree

Граф , три функции весов на ребрах (для всех ), где означает вес ребра e, если i его концов «обновлены», причем известна стоимость обновления c(v) для каждой вершины , и некое ограничивающее значение D для веса минимального остовного дерева.
Найти набор обновляемых вершин , так чтобы вес минимального остовного дерева с весами , была ограничена D.
- означает вес ребра в результате обновления вершин в W, т.е. , где .
Минимизировать стоимость обновления вершин, т.е. .