CF1325F Ehab's Last Theorem（dfs树找环与独立集）

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=5e5+10;
int h[N],ne[N],e[N],idx;
void add(int a,int b){
    e[idx]=b,ne[idx]=h[a],h[a]=idx++;
}
int n,m,lim;
stack<int> q;
int depth[N];
int tag[N];
void dfs(int u,int now,int fa){
    depth[u]=now;
    q.push(u);
    int i;
    for(i=h[u];i!=-1;i=ne[i]){
        int j=e[i];
        if(j==fa)
            continue;
        if(!depth[j]){
            dfs(j,now+1,u);
        }
        else{
            if(depth[u]-depth[j]+1>=lim){
                cout<<2<<endl;
                cout<<depth[u]-depth[j]+1<<endl;
                for(i=depth[u]-depth[j]+1;i>=1;i--){
                    int t=q.top();
                    q.pop();
                    cout<<t<<" ";
                }
                cout<<endl;
                exit(0);
            }
        }
    }
    if(!tag[u]){
        for(i=h[u];i!=-1;i=ne[i]){
            int j=e[i];
            tag[j]=1;
        }
    }
    q.pop();
}
int main(){
    int k;
    ios::sync_with_stdio(false);
    cin>>n>>m;
    memset(h,-1,sizeof h);
    lim=sqrt(n);
    if(lim*lim<n)
        lim++;
    while(m--){
        int a,b;
        cin>>a>>b;
        add(a,b);
        add(b,a);
    }
    depth[1]=1;
    dfs(1,1,-1);
    cout<<1<<endl;
    int cnt=1;
    while(lim){
        while(tag[cnt])
            cnt++;
        cout<<cnt<<" ";
        cnt++;
        lim--;
    }
    return 0;
}