写了一个特别麻烦的做法

首先一共有三种情况：1.删掉一个叶子，2.删掉根的一个儿子，3.其他的节点

第一种情况会有两个度数为2的节点，第二种情况没有度数为2的节点，第三种情况会有一个度数为4的节点

然后从现在开始降智..

首先求一下每个点的size，从被删除的点开始一直到根的size都会比正常情况少1，如果遇见既不是正常大小也不是正常大小-1的点直接输出0

如果大小不对的点个数不对输出0

这样就可以处理1和3.单独特判掉2就行

官方题解只要找一下直径就能盘段是不是0

有道理。。

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#include<queue>

using namespace std;

const int M = 1000001;
int n,m,k,a[M],s[M],N,ver[M],nex[M],head[M],cnt,dp[M],vis[M],S2,S4,x,y,d[M];
queue<int>q,rs;
void add(int x,int y)
{
    ver[++cnt]=y, nex[cnt]=head[x], head[x]=cnt;
    ver[++cnt]=x, nex[cnt]=head[y], head[y]=cnt;
}


int main()
{
    scanf("%d",&N); n=(1<<N)-1;
    if(N==2)
    {
        printf("2\n1 2");
        return 0;
    }
    for(int i=1;i<=n-2;i++)
    {
        scanf("%d%d",&x,&y);
        d[x]++, d[y]++;
        add(x,y);
    }
    for(int i=1;i<n;i++)
    {
        s[i]=1;
        if(d[i]==2) S2++;
        if(d[i]==4 && S4) { printf("0"); return 0; }
        if(d[i]==4) S4=i;
        if(d[i]>4) { printf("0"); return 0; }
    }
    if(S2==2 && S4) { printf("0"); return 0; }
    for(int i=1;i<=n-1;i++) if(d[i]==1) s[i]=1,q.push(i);
    while(q.size())
    {
        int x=q.front(); q.pop();
         vis[x]=1;
        for(int i=head[x];i;i=nex[i])
        {
            if(vis[ver[i]]) continue;
            s[ver[i]]+=s[x]; d[ver[i]]--;
            if(d[ver[i]]==1)q.push(ver[i]);
        }
    }
    int x=0,S=0;
    for(int i=1;i<n;i++)
    {
        int k=s[i]+2,g=s[i]+1;
        if((g & -g) == g)  continue;
        if((k & -k) !=k) { printf("0"); return 0; }
        if(!x || s[i]<s[x]) x=i; 
        S++;
    }
    if(!S2)
    {
        int B=0;
        for(int i=1;i<n;i++) if(s[i]==(n-1)/2) B=i;
        if(B)
        {
            printf("2\n");
            printf("%d %d",min(x,B),max(x,B));
            return 0;
        }
    }
    int k=s[x]+2,t=-1;
    while(k) k>>=1, t++;
    if(S!=N-t+1) { printf("0"); return 0; } 
    if(x) {printf("1\n%d",x); return 0;}
    printf("2\n");
    for(int i=1;i<n;i++)
    {
        if(s[i]==(n-1)/2) printf("%d ",i);
    }
}