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 ld long double
#define ll long long
#define pb push_back
#define x first
#define y second
#define all(x) x.begin(),x.end()
#define sz(x) (int)(x.size())
using namespace std;
const int MAXN=200000;
int n,k;
int lca[20][500000];
vector<vector<int>> g(MAXN);
vector<set<int>> unvis(MAXN);
vector<int> eul,lvl(MAXN),in(MAXN),par(MAXN),color,colorLCA,dsu,dsu2,sz,highestV,doneColors(MAXN);
vector<int> vis(MAXN);
int getp(int x)
{
if(x==dsu[x]) return x;
return dsu[x]=getp(dsu[x]);
}
void connect(int u, int v)
{
u=getp(u), v=getp(v);
if(u==v) return;
if(sz[v]>sz[u]) swap(u,v);
dsu[v]=u;
sz[u]+=sz[v];
doneColors[u]+=doneColors[v];
}
int getp2(int x)
{
if(x==dsu2[x]) return x;
return dsu2[x]=getp2(dsu2[x]);
}
void connect2(int u, int v)
{
u=getp2(u), v=getp2(v);
if(u==v) return;
if(rand()&1) swap(u,v);
dsu2[v]=u;
if(lvl[highestV[u]]>lvl[highestV[v]]) highestV[u]=highestV[v];
}
void makeeuler(int u, int pr, int d)
{
par[u]=pr;
in[u]=sz(eul);
lvl[u]=d;
eul.pb(u);
for(int v:g[u])
{
if(v==pr) continue;
makeeuler(v,u,d+1);
eul.pb(u);
}
}
int getlca(int u, int v)
{
int l=in[u], r=in[v];
if(l>r) swap(l,r);
int lg=log2(r-l+1);
return (lvl[lca[lg][l]]<=lvl[lca[lg][r-(1<<lg)+1]]?lca[lg][l]:lca[lg][r-(1<<lg)+1]);
}
int main()
{
//freopen("test.in","r",stdin);
ios::sync_with_stdio(0); cin.tie(0);
cin>>n>>k;
for(int i=0;i<k;i++) dsu.pb(i), sz.pb(1);
for(int i=0;i<n-1;i++)
{
int u,v; cin>>u>>v;
u--;v--;
g[u].pb(v);
g[v].pb(u);
}
makeeuler(0,-1,0);
for(int i=0;i<sz(eul);i++) lca[0][i]=eul[i];
for(int i=1;i<20;i++)
for(int j=0;j+(1<<i)<=sz(eul);j++)
lca[i][j] = (lvl[lca[i-1][j]]<=lvl[lca[i-1][j+(1<<(i-1))]]?lca[i-1][j]:lca[i-1][j+(1<<(i-1))]);
for(int i=0;i<n;i++)
{
dsu2.pb(i), highestV.pb(i);
int c; cin>>c; c--;
color.pb(c);
unvis[c].insert(i);
}
int ans=1e9;
set<pair<int,int>> q;
for(int i=0;i<k;i++)
{
int lc=*unvis[i].begin();
for(int v:unvis[i])
lc=getlca(lc,v);
colorLCA.pb(lc);
q.insert({-lvl[lc],lc});
}
for(auto p:q)
{
int candidLCA=p.y;
if(candidLCA!=colorLCA[color[candidLCA]]) continue;
queue<int> qu;
for(int v:unvis[color[candidLCA]])
{
qu.push(v);
if(v!=candidLCA) vis[v]=1;
}
unvis[color[candidLCA]].clear();
doneColors[getp(color[candidLCA])]++;
while(!qu.empty())
{
int v=qu.front(); qu.pop();
while(v!=candidLCA)
{
if(vis[v]==2) break;
connect(color[candidLCA],color[v]);
if(lvl[colorLCA[color[v]]]>=lvl[candidLCA])
{
int bef=sz(unvis[color[v]]);
unvis[color[v]].erase(v);
if(sz(unvis[color[v]])==0 && bef==1) doneColors[getp(color[v])]++;
vis[v]=2;
for(int t:unvis[color[v]])
{
if(vis[t]) continue;
vis[t]=1;
qu.push(t);
unvis[color[t]].erase(t);
if(sz(unvis[color[t]])==0) doneColors[getp(color[t])]++;
}
}
else break;
connect2(v,par[v]);
v=highestV[getp2(par[v])];
if(vis[v]==1) break;
}
}
int rep=getp(color[candidLCA]);
if(doneColors[rep]==sz[rep]) ans=min(ans,sz[rep]-1);
}
cout<<ans<<'\n';
return 0;
}
# | 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... |