CodeForces-1364D Ehab's last Corollary （dfs树）

传送门：CodeForces-1364D

思路分析

dfs树有一个性质：每条非树边都连向子树中的某一个点
那么，这条非树边与中间的链就形成了一个环，可以用一个环存当前链
对于独立集，按深度大到小选就能选到最多的了

AC代码

#include <bits/stdc++.h>
#define fi first
#define se second
#define ll long long
#define pb push_back
#define mp make_pair
#define fun function
#define sz(x) (x).size()
#define lowbit(x) (x)&(-x)
#define all(x) (x).begin(),(x).end()
#define mem(a,b) memset(a,b,sizeof(a))

namespace FastIO {
#define BUF_SIZE 100000
#define OUT_SIZE 100000
    bool IOerror=0;
    inline char nc() {
        static char buf[BUF_SIZE],*p1=buf+BUF_SIZE,*pend=buf+BUF_SIZE;
        if(p1==pend) {
            p1=buf;
            pend=buf+fread(buf,1,BUF_SIZE,stdin);
            if(pend==p1) {
                IOerror=1;
                return -1;
            }
        }
        return *p1++;
    }
    inline bool blank(char ch) {
        return ch==' '||ch=='\n'||ch=='\r'||ch=='\t';
    }
    template<class T> inline bool read(T &x) {
        bool sign=0;
        char ch=nc();
        x=0;
        for(; blank(ch); ch=nc());
        if(IOerror)return false;
        if(ch=='-')sign=1,ch=nc();
        for(; ch>='0'&&ch<='9'; ch=nc())x=x*10+ch-'0';
        if(sign)x=-x;
        return true;
    }
    template<class T,class... U>bool read(T& h,U&... t) {
        return read(h)&&read(t...);
    }
#undef OUT_SIZE
#undef BUF_SIZE
};
using namespace std;
using namespace FastIO;

mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());

const int INF = 0x3f3f3f3f;
const int N = 1e5+10;

int n,m,k; 
vector<int>e[N],ans;
int dep[N],vis[N];

void dfs(int u,int fa){
    ans.pb(u);
    dep[u]=sz(ans);
    for(auto v:e[u]){
        if(!dep[v]) dfs(v,u);
        else if(dep[u]-dep[v]+1<=k && dep[u]-dep[v]+1>=3){
            cout<<2<<endl;
            cout<<dep[u]-dep[v]+1<<endl;
            for(int i=dep[v]-1;i<dep[u];i++) cout<<ans[i]<<" ";
            exit(0);
        }
    }
    if(!vis[u]){
        for(auto v:e[u]) vis[v]=1;
    }
    ans.pop_back();
}

int main() {

#ifdef xiaofan
    freopen("1.in","r",stdin);
    freopen("1.out","w",stdout);
#endif

    read(n,m,k);
    while(m--){
        int u,v;
        read(u,v);
        e[u].pb(v);
        e[v].pb(u);
    }
    dfs(1,1);
    cout<<1<<endl;
    k=(k+1)/2;
    for(int i=1;i<=n && k;i++){
        if(!vis[i]){
            cout<<i<<" ";
            k--;
        }
    }




    return 0;
}