This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include<bits/stdc++.h>
#define ff first
#define ss second
#define all(x) x.begin(), x.end()
using namespace std;
using ll = long long;
using pii = pair<int,int>;
using pll = pair<ll,ll>;
template<typename T>
using matrix = vector<vector<T>>;
const int MOD = 1e9+7;
const int INF = 1e9;
int main(){
cin.tie(0)->sync_with_stdio(0);
int n, k;
cin >> n >> k;
if(n > 10000)
return 0;
k--;
matrix<int> g(n+1);
for(int i = 1; i < n; i++){
int a, b;
cin >> a >> b;
g[a].push_back(b);
g[b].push_back(a);
}
vector<ll> power(n+1);
power[0] = 1;
for(int i = 1; i <= n; i++)
power[i] = power[i-1]*2%MOD;
vector<int> d(n+1), d2(n+1);
auto getd =[&](int id, int last, vector<int>& D, auto dfs) -> void {
for(int i : g[id]){
if(i != last){
D[i] = D[id]+1;
dfs(i,id,D,dfs);
}
}
};
getd(1,0,d,getd);
int ponta = 1;
for(int i = 2; i <= n; i++){
ponta = min(ponta,i,[&](int a, int b){
return d[a] > d[b];
});
}
getd(ponta,0,d2,getd);
ponta = 1;
for(int i = 2; i <= n; i++){
ponta = min(ponta,i,[&](int a, int b){
return d2[a] > d2[b];
});
}
fill(all(d),0);
getd(ponta,0,d,getd);
vector<int> dead(n+1);
vector<int> deg(n+1);
vector<int> st;
for(int i = 1; i <= n; i++){
deg[i] = g[i].size();
if(deg[i] == 1)
st.push_back(i);
}
while(!st.empty()){
int cur = st.back();
st.pop_back();
if(d[cur] >= k || d2[cur] >= k)
continue;
dead[cur] = 1;
for(int i : g[cur]){
deg[i]--;
if(deg[i] == 1)
st.push_back(i);
}
}
ll resp = power[accumulate(all(dead),0)];
if(accumulate(all(dead),0) == n){
cout << "YES\n";
cout << resp << '\n';
return 0;
}
matrix<int> g2(n+1);
for(int i = 1; i <= n; i++){
if(dead[i])
continue;
for(int j : g[i]){
if(!dead[j])
g2[i].push_back(j);
}
}
g.swap(g2);
k++;
vector<int> starts;
vector<int> startid(n+1,-1);
for(int i = 0; i < k; i++){
starts.push_back(ponta);
sort(all(g[ponta]), [&](int a, int b){
return d2[a] > d2[b];
});
startid[ponta] = i;
ponta = g[ponta].back(); // menor distancia pra outra ponta
}
vector<int> marc(n+1);
auto dfs =[&](int id, int last, int depth, auto dfs) -> void {
marc[id] = depth%k == 0;
for(int i : g[id])
if(i != last)
dfs(i,id,depth+1,dfs);
};
auto check =[&](int id, int last, int depth, int choosen, auto dfs) -> bool {
choosen+=marc[id];
if(depth == k-1){
return choosen == 1;
}
bool ret = 1;
for(int i : g[id]){
if(i!=last)
ret&=dfs(i,id,depth+1,choosen,dfs);
}
return ret;
};
int ct = 0;
for(int start : starts){
fill(all(marc),0);
dfs(start,-1,0,dfs);
bool ok = 1;
for(int i = 1; i <= n; i++){
ok&=check(i,-1,0,0,check);
}
// cerr << "->" << start << ' ' << ct << '\n';
ct+=ok;
}
if(ct){
cout << "YES\n";
} else cout << "NO\n";
cout << resp*ct%MOD << '\n';
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |