Submission #223901

# Submission time Handle Problem Language Result Execution time Memory
223901 2020-04-16T20:24:28 Z medk Capital City (JOI20_capital_city) C++14
11 / 100
3000 ms 43432 KB
#include <bits/stdc++.h>

#define ll long long
#define pb push_back
#define x first
#define y second
#define all(u) u.begin(),u.end()
#define sz(u) (int)(u.size())
#define INF (int)(1e9)

using namespace std;

const int MAXN=2e5+5;

int n,k,ans=INF;
vector<vector<int>> tr(MAXN),grp(MAXN),cd(MAXN);
int col[MAXN],subsz[MAXN],parcd[MAXN],par[MAXN],dpth[MAXN],in[MAXN],dpthcd[MAXN];
bool blocked[MAXN];
int lca[MAXN][20];
int root=-1;
vector<int> eul;

void calc_sz(int u, int pr)
{
    subsz[u]=1;
    for(int v:tr[u])
    {
        if(v==pr || blocked[v]) continue;
        calc_sz(v,u);
        subsz[u]+=subsz[v];
    }
}

int find_centroid(int u, int pr, int tar)
{
    for(int v:tr[u])
    {
        if(v==pr || blocked[v]) continue;
        if(subsz[v]>tar) return find_centroid(v,u,tar);
    }
    return u;
}

void decomp(int u, int pr, int d=0)
{
    memset(subsz,0,sizeof(subsz));
    calc_sz(u,pr);
    int centroid=find_centroid(u,pr,subsz[u]/2);
    blocked[centroid]=1;
    parcd[centroid]=pr;
    dpthcd[centroid]=d;
    if(pr==-1) root=centroid;
    else
    {
        cd[centroid].pb(pr);
        cd[pr].pb(centroid);
    }
    for(int v:tr[centroid])
    {
        if(blocked[v]) continue;
        decomp(v,centroid,d+1);
    }
}

void makeul(int u, int pr, int d)
{
    in[u]=sz(eul);
    eul.pb(u);
    dpth[u]=d;
    par[u]=pr;
    d++;
    for(int v:tr[u])
    {
        if(pr==v) continue;
        makeul(v,u,d);
        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);
    if(dpth[lca[l][lg]]<=dpth[lca[r-(1<<lg)+1][lg]]) return lca[l][lg];
    return lca[r-(1<<lg)+1][lg];
}

int lcacd(int u, int v)
{
    if(dpthcd[u]==dpthcd[v])
    {
        if(u==v) return u;
        else return lcacd(parcd[u],parcd[v]);
    }
    if(dpthcd[v]<dpthcd[u]) swap(u,v);
    return lcacd(u,parcd[v]);
}

void solve(int rt, int pr)
{
    map<int,int> visver;
    map<int,int> rep;
    int lc=rt, used=0;
    queue<int> q;
    q.push(rt);
    visver[rt]=1;
    rep[col[rt]]=rt;
    bool bug=0;
    while(!q.empty())
    {
        int u=q.front(); q.pop();
        visver[u]=2;
        if(u!=lc)
        {
            int mypar=par[u];
            if(visver[mypar]==0 && col[mypar]!=col[u] && !rep.count(col[mypar]))
            {
                if(lcacd(mypar,rt)!=rt)
                {
                    bug=1;
                    break;
                }
                q.push(mypar);
                visver[mypar]=1;
                rep[col[mypar]]=mypar;
            }
        }
        if(rep[col[u]]!=u) continue;
        used++;
        for(int v:grp[col[u]])
        {
            if(v==u) continue;
            int newlc=getlca(lc,v);
            if(newlc!=lc)
            {
                if(visver[lc]==2)
                {
                    if(lcacd(par[lc],rt)!=rt)
                    {
                        bug=1;
                        break;
                    }
                    if(!rep.count(col[par[lc]]))
                    {
                        q.push(par[lc]);
                        visver[par[lc]]=1;
                        rep[col[par[lc]]]=par[lc];
                    }
                }
                lc=newlc;
            }
            if(lcacd(v,rt)!=rt)
            {
                bug=1;
                break;
            }
            visver[v]=1;
            q.push(v);
        }
        if(bug) break;
    }
    if(!bug) ans=min(ans,used);
    for(int v:cd[rt])
    {
        if(v==pr) continue;
        solve(v,rt);
    }
}

int main()
{
    //freopen("test.in","r",stdin);
    ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);
    cin>>n>>k;
    for(int i=0;i<n-1;i++)
    {
        int u,v; cin>>u>>v;
        u--,v--;
        tr[u].pb(v);
        tr[v].pb(u);
    }
    for(int i=0;i<n;i++)
    {
        cin>>col[i];
        col[i]--;
        grp[col[i]].pb(i);
    }
    decomp(0,-1);
    makeul(0,-1,0);
    for(int i=0;i<sz(eul);i++) lca[i][0]=eul[i];
    for(int j=1;j<20;j++)
        for(int i=0;i+(1<<j)<=sz(eul);i++)
            lca[i][j]=(dpth[lca[i][j-1]]<=dpth[lca[i+(1<<(j-1))][j-1]]?lca[i][j-1]:lca[i+(1<<(j-1))][j-1]);
    solve(root,-1);
    cout<<ans-1<<'\n';
}
# Verdict Execution time Memory Grader output
1 Correct 13 ms 15104 KB Output is correct
2 Correct 14 ms 15232 KB Output is correct
3 Correct 14 ms 15232 KB Output is correct
4 Correct 14 ms 15360 KB Output is correct
5 Correct 14 ms 15232 KB Output is correct
6 Correct 13 ms 15232 KB Output is correct
7 Correct 13 ms 15232 KB Output is correct
8 Correct 13 ms 15360 KB Output is correct
9 Correct 14 ms 15232 KB Output is correct
10 Correct 13 ms 15232 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 13 ms 15104 KB Output is correct
2 Correct 14 ms 15232 KB Output is correct
3 Correct 14 ms 15232 KB Output is correct
4 Correct 14 ms 15360 KB Output is correct
5 Correct 14 ms 15232 KB Output is correct
6 Correct 13 ms 15232 KB Output is correct
7 Correct 13 ms 15232 KB Output is correct
8 Correct 13 ms 15360 KB Output is correct
9 Correct 14 ms 15232 KB Output is correct
10 Correct 13 ms 15232 KB Output is correct
11 Correct 62 ms 15992 KB Output is correct
12 Correct 63 ms 15968 KB Output is correct
13 Correct 61 ms 15992 KB Output is correct
14 Correct 63 ms 15864 KB Output is correct
15 Correct 63 ms 15864 KB Output is correct
16 Correct 61 ms 15864 KB Output is correct
17 Correct 60 ms 15992 KB Output is correct
18 Correct 61 ms 15864 KB Output is correct
19 Correct 62 ms 15864 KB Output is correct
20 Correct 60 ms 15864 KB Output is correct
21 Correct 60 ms 15992 KB Output is correct
22 Correct 61 ms 15992 KB Output is correct
23 Correct 60 ms 15864 KB Output is correct
24 Correct 63 ms 15992 KB Output is correct
25 Correct 68 ms 16120 KB Output is correct
26 Correct 61 ms 15992 KB Output is correct
27 Correct 90 ms 15992 KB Output is correct
28 Correct 65 ms 15992 KB Output is correct
29 Correct 62 ms 15992 KB Output is correct
30 Correct 61 ms 15992 KB Output is correct
# Verdict Execution time Memory Grader output
1 Execution timed out 3081 ms 43432 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 13 ms 15104 KB Output is correct
2 Correct 14 ms 15232 KB Output is correct
3 Correct 14 ms 15232 KB Output is correct
4 Correct 14 ms 15360 KB Output is correct
5 Correct 14 ms 15232 KB Output is correct
6 Correct 13 ms 15232 KB Output is correct
7 Correct 13 ms 15232 KB Output is correct
8 Correct 13 ms 15360 KB Output is correct
9 Correct 14 ms 15232 KB Output is correct
10 Correct 13 ms 15232 KB Output is correct
11 Correct 62 ms 15992 KB Output is correct
12 Correct 63 ms 15968 KB Output is correct
13 Correct 61 ms 15992 KB Output is correct
14 Correct 63 ms 15864 KB Output is correct
15 Correct 63 ms 15864 KB Output is correct
16 Correct 61 ms 15864 KB Output is correct
17 Correct 60 ms 15992 KB Output is correct
18 Correct 61 ms 15864 KB Output is correct
19 Correct 62 ms 15864 KB Output is correct
20 Correct 60 ms 15864 KB Output is correct
21 Correct 60 ms 15992 KB Output is correct
22 Correct 61 ms 15992 KB Output is correct
23 Correct 60 ms 15864 KB Output is correct
24 Correct 63 ms 15992 KB Output is correct
25 Correct 68 ms 16120 KB Output is correct
26 Correct 61 ms 15992 KB Output is correct
27 Correct 90 ms 15992 KB Output is correct
28 Correct 65 ms 15992 KB Output is correct
29 Correct 62 ms 15992 KB Output is correct
30 Correct 61 ms 15992 KB Output is correct
31 Execution timed out 3081 ms 43432 KB Time limit exceeded
32 Halted 0 ms 0 KB -