codeforces1325F Ehabs Last Theorem

https://codeforces.com/problemset/problem/1325/F

做了上一題感覺自己已經領悟了dfs樹的性質了，然後這題又搞了一年。。。越寫越錯，還是看了題解

最後還是有dfs樹的性質我不知道，題解裏給了篇博客https://codeforces.com/blog/entry/68138，得好好學學。。。

設ceil(sqrt(n))=len，

就是說，如果有點的度都大於等於len，那麼一定會有長度爲len的環

如果找不到環，那麼對於dfs樹中的每一個點，向上的邊數都<len-1，因爲有len-1條向上的邊，又沒有重邊的自環，肯定就有長度爲len的環。

那麼我們按dfs的順序從下到上，每次把這個點向上連到的祖先節點都給標記了，最多隻能標記len-2個，如果一個點沒有被標記過，就入答案集合，由於len-2<=floor(sqrt(n)),所以一定至少找到len個。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;

const int maxl=2e5+10;

int n,m,ans,cas,k,tot,cnt,len;
int a[maxl],du[maxl];
int low[maxl],dep[maxl],fa[maxl],dis[maxl];
vector<int> e[maxl];
bool vis[maxl],in[maxl];
vector<int> b[maxl];

inline void dfs(int u)
{
	vis[u]=true;b[u].push_back(u);
	for(int v:e[u])
	{
		if(vis[v]) continue;
		fa[v]=u;dep[v]=dep[u]+1;
		dfs(v);
	}
}

inline void prework()
{
	scanf("%d%d",&n,&m);
	int u,v;
	len=sqrt(n);
	if(len*len<n)
		len++;
	for(int i=1;i<=m;i++)
	{
		scanf("%d%d",&u,&v);
		e[u].push_back(v);du[u]++;
		e[v].push_back(u);du[v]++;
	}
	dfs(1);
} 

inline void dfs2(int u)
{
	vis[u]=true;
	for(int v:e[u])
	{
		if(vis[v]) continue;
		dfs2(v);
	}
	if(!in[u] && tot<len)
	{
		a[++tot]=u;
		for(int v:e[u])
			in[v]=true;
	}
}

inline void mainwork()
{
	dep[0]=maxl;
	for(int i=1;i<=n;i++)
	{
		low[i]=i;
		for(int v:e[i])
		if(dep[v]<dep[low[i]])
			low[i]=v;
		if(dep[i]-dep[low[i]]+1>=len)
		{
			ans=2;
			int u=i;
			while(u!=low[i])
			{
				a[++tot]=u;
				u=fa[u];
			}
			a[++tot]=low[i];
			return;
		}
	}
	memset(vis,false,sizeof(vis[0])*(n+1));
	dfs2(1);ans=1;
}

inline void print()
{
	assert(ans!=0);
	if(ans==1)
	{
		puts("1");
		for(int i=1;i<=len;i++)
			printf("%d%c",a[i],(i==len)?'\n':' ');
	}
	else
	{
		puts("2");
		printf("%d\n",tot);
		for(int i=1;i<=tot;i++)
			printf("%d%c",a[i],(i==tot)?'\n':' ');		
	}
}

int main()
{
	int t=1;
	//scanf("%d",&t);
	for(cas=1;cas<=t;cas++)
	{
		prework();
		mainwork();
		print();
	}
	return 0;
}