Hardprob/Minimum Upgrading Spanning Tree

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