Kefa decided to celebrate his first big salary by going to the restaurant.

He lives by an unusual park. The park is a rooted tree consisting of n vertices with the root at vertex 1. Vertex 1 also contains Kefa‘s house. Unfortunaely for our hero, the park also contains cats. Kefa has already found out what are the vertices with cats in them.

The leaf vertices of the park contain restaurants. Kefa wants to choose a restaurant where he will go, but unfortunately he is very afraid of cats, so there is no way he will go to the restaurant if the path from the restaurant to his house contains more than m consecutive vertices with cats.

Your task is to help Kefa count the number of restaurants where he can go.

The first line contains two integers, n and m (2?≤?n?≤?10⁵, 1?≤?m?≤?n) — the number of vertices of the tree and the maximum number of consecutive vertices with cats that is still ok for Kefa.

The second line contains n integers a₁,?a₂,?...,?a_n, where each a_i either equals to 0 (then vertex i has no cat), or equals to 1 (then vertex i

Next n?-?1 lines contains the edges of the tree in the format "x_i y_i" (without the quotes) (1?≤?x_i,?y_i?≤?n, x_i?≠?y_i), where x_i and y_i are the vertices of the tree, connected by an edge.

It is guaranteed that the given set of edges specifies a tree.

A single integer — the number of distinct leaves of a tree the path to which from Kefa‘s home contains at most m consecutive vertices with cats.

4 1
1 1 0 0
1 2
1 3
1 4

2

7 1
1 0 1 1 0 0 0
1 2
1 3
2 4
2 5
3 6
3 7

2

Let us remind you that a tree is a connected graph on n vertices and n?-?1 edge. A rooted tree is a tree with a special vertex called root. In a rooted tree among any two vertices connected by an edge, one vertex is a parent (the one closer to the root), and the other one is a child. A vertex is called a leaf, if it has no children.

Note to the first sample test: The vertices containing cats are marked red. The restaurants are at vertices 2, 3, 4. Kefa can‘t go only to the restaurant located at vertex 2.

Note to the second sample test: The restaurants are located at vertices 4, 5, 6, 7. Kefa can‘t go to restaurants 6, 7.

dfs的過程中記錄是否連續以及滿足條件；

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstdlib>
#include<cstring>
#include<string>
#include<cmath>
#include<map>
#include<set>
#include<vector>
#include<queue>
#include<bitset>
#include<ctime>
#include<deque>
#include<stack>
#include<functional>
#include<sstream>
//#include<cctype>
//#pragma GCC optimize("O3")
using namespace std;
#define maxn 300005
#define inf 0x3f3f3f3f
#define INF 9999999999
#define rdint(x) scanf("%d",&x)
#define rdllt(x) scanf("%lld",&x)
#define rdult(x) scanf("%lu",&x)
#define rdlf(x) scanf("%lf",&x)
#define rdstr(x) scanf("%s",x)
typedef long long  ll;
typedef unsigned long long ull;
typedef unsigned int U;
#define ms(x) memset((x),0,sizeof(x))
const long long int mod = 1e9 + 7;
#define Mod 1000000000
#define sq(x) (x)*(x)
#define eps 1e-3
typedef pair<int, int> pii;
#define pi acos(-1.0)
//const int N = 1005;
#define REP(i,n) for(int i=0;i<(n);i++)
typedef pair<int, int> pii;
inline ll rd() {
	ll x = 0;
	char c = getchar();
	bool f = false;
	while (!isdigit(c)) {
		if (c == ‘-‘) f = true;
		c = getchar();
	}
	while (isdigit(c)) {
		x = (x << 1) + (x << 3) + (c ^ 48);
		c = getchar();
	}
	return f ? -x : x;
}

ll gcd(ll a, ll b) {
	return b == 0 ? a : gcd(b, a%b);
}
ll sqr(ll x) { return x * x; }

/*ll ans;
ll exgcd(ll a, ll b, ll &x, ll &y) {
	if (!b) {
		x = 1; y = 0; return a;
	}
	ans = exgcd(b, a%b, x, y);
	ll t = x; x = y; y = t - a / b * y;
	return ans;
}
*/



ll qpow(ll a, ll b, ll c) {
	ll ans = 1;
	a = a % c;
	while (b) {
		if (b % 2)ans = ans * a%c;
		b /= 2; a = a * a%c;
	}
	return ans;
}

int n, m;
int fg[maxn];
int head[maxn], tot;
vector<int>vc[maxn];
struct node {
	int v, nxt;
}edge[maxn];
int cnt;
int sum;
void addedge(int u, int v) {
	vc[u].push_back(v); vc[v].push_back(u);
}
queue <pii>q;
int vis[maxn];

void dfs(int rt,int cursum) {
	int Siz = vc[rt].size(); int num = 0;
	for (int i = 0; i < Siz; i++) {
		int v = vc[rt][i];
		if (vis[v])continue;
		else num = 1;
	}// 判斷葉子節點
	if (num == 0) {
		if (cursum <= m) {
			sum++; return;
		}
	}
	for (int i = 0; i < Siz; i++) {
		int v = vc[rt][i];
		if (vis[v])continue;
		vis[v] = 1;
		if (fg[v]) {
			if (cursum + 1 > m) {
				continue;
			}
			dfs(v, cursum + 1);
		}
		else {
			dfs(v, 0);
		}
	}
}

int main()
{
	//ios::sync_with_stdio(0);
	rdint(n); rdint(m);
	for (int i = 1; i <= n; i++)rdint(fg[i]);
	for (int i = 1; i < n; i++) {
		int u, v; rdint(u); rdint(v);
		addedge(u, v);// addedge(v, u);
	}
	
	if (fg[1])cnt = 1;
	vis[1] = 1;
	dfs(1, cnt);
	cout << sum << endl;
    return 0;
}

CF580C Kefa and Park dfs