codeforces#P375E. Red and Black Tree
Red and Black Tree
Description
You have a weighted tree, consisting of n vertices. Each vertex is either painted black or is painted red. A red and black tree is called beautiful, if for any its vertex we can find a black vertex at distance at most x.
The distance between two nodes is the shortest path between them.
You have a red and black tree. Your task is to make it beautiful in the minimum number of color swap operations. In one color swap operation, you can choose two vertices of different colors and paint each of them the other color. In other words, if you choose a red vertex p and a black vertex q, then in one operation you are allowed to paint p black and paint q red.
Print the minimum number of required actions.
The first line contains two integers n and x (2 ≤ n ≤ 500; 1 ≤ x ≤ 109). The next line contains n integers, each of them is either a zero or one. If the i-th number equals 1, then vertex i of the tree is black, otherwise vertex i is red. Next n - 1 lines contain the tree edges. The j-th line contains integers uj vj wj (1 ≤ uj, vj ≤ n; uj ≠ vj; 1 ≤ wj ≤ 109) which means that the tree has an edge of weight wj between vertices vj and uj.
Assume that the tree vertices are numbered from 1 to n.
Print a single integer — the minimum number of required swap operations.
If it is impossible to get a beautiful tree at any number of operations, print -1.
Input
The first line contains two integers n and x (2 ≤ n ≤ 500; 1 ≤ x ≤ 109). The next line contains n integers, each of them is either a zero or one. If the i-th number equals 1, then vertex i of the tree is black, otherwise vertex i is red. Next n - 1 lines contain the tree edges. The j-th line contains integers uj vj wj (1 ≤ uj, vj ≤ n; uj ≠ vj; 1 ≤ wj ≤ 109) which means that the tree has an edge of weight wj between vertices vj and uj.
Assume that the tree vertices are numbered from 1 to n.
Output
Print a single integer — the minimum number of required swap operations.
If it is impossible to get a beautiful tree at any number of operations, print -1.
Samples
3 2
1 0 0
1 2 2
2 3 2
1
4 2
0 1 0 0
1 2 2
2 3 2
3 4 2
-1