ABC-Find 4-cycle(鸽巢定理)

F

题意：
就是给你n+k个点和m条边，每条边的两个点一个点<=n,一个点>n，没有重边。现在问你是否有大小为4的环，如果有输出任意一个，如果没有输出-1。n<=3e5,k<=3000。

思考：
首先边的两个点肯定是两个点集里面的，画一下图发现，对于一个点集中的两个点。如果他们包含的点有>=2个相同的，那么就可以输出这四个点。发现k很小，所以kk的复杂度枚举哪两个点，到这里就卡住了，怎么找他俩共有的点？这里是无法快速完成的。如果枚举n这个点集，更不行。
其实，对于左边的点，他包含右边的一些点。如果对这些点都枚举两次，看看任意两个点是否在别的i点中也包含这不就可以了？但是一想，每个点3000个点，复杂度nk*k，这肯定不行。但是仔细思考一下，不会枚举那么多次，比如第一个点包含k/2个点，第二个点包含不同的k/2个点，第三个点如果包含的点>=3那么肯定有两个也被别人包含了，这里就是鸽巢定理。
所以就是一些感觉复杂度做不了的题目，可以去试试，因为没有别的什么算法的时候一般就是暴力，这个暴力看起来像暴力实际上，如果加上一些细节操作或者什么的时候往往不会跑那么多次。

代码：

#include<bits/stdc++.h>
#define fi first
#define se second
#define pb push_back
#define db double
#define int long long
#define PII pair<int,int >
#define mem(a,b) memset(a,b,sizeof(a))
#define IOS std::ios::sync_with_stdio(false),cin.tie(0),cout.tie(0);
		
using namespace std;
const int mod = 1e9+7,inf = 1e18;
const int N = 4e5+10,M = 3010;

int T,n,m,k;
int va[M][M]; //如果用map<PII,int> mp来标记，会超时

set<int> s[N];

signed main()
{
	IOS;
	cin>>n>>k>>m;
	while(m--)
	{
		int a,b;
		cin>>a>>b;
		s[a].insert(b-n);
	}
	for(int i=1;i<=n;i++)
	{
		for(auto t1:s[i])
		{
			for(auto t2:s[i])
			{
				if(t1==t2) continue;
				int a = t1,b = t2;
				if(!va[a][b]) va[a][b] = i;
				else
				{
					cout<<a+n<<" "<<b+n<<" "<<va[a][b]<<" "<<i;
					return 0;
				}
			}
		}
	}
	cout<<-1;
	return 0;
}

总结：
多多尝试，多多思考。