Single Round Match 464 Round 1 - Division I, Level Two ColorfulDecoration

二分+2SAT

明显的2SAT问题，二分一个答案，2SAT建图，判断有没有矛盾就可以了。最后输出的是边长，我还以为是面积。。。

#include <bits/stdc++.h>
using namespace std;
#define maxn 109
int n;
vector<int>G[maxn];
int dfn[maxn],low[maxn],stk[maxn],in[maxn],bcnt,id[maxn],top,dfs_time;
bool dis(long long S,long long x1,long long y1,long long x2,long long y2)
{
	S*=S;
	return S>(x1-x2)*(x1-x2)&&S>(y1-y2)*(y1-y2);
}
void tarjan(int u)
{
	dfn[u]=low[u]=++dfs_time;
	stk[++top]=u;
	in[u]=1;
	for(int i=0;i<(int)G[u].size();i++)
	{
		int v=G[u][i];
		if(!dfn[v])
		{
			tarjan(v);
			low[u]=min(low[v],low[u]);
		}
		else if(in[v])
		{
			low[u]=min(low[u],dfn[v]);
		}
	}
	if(low[u]==dfn[u])
	{
		bcnt++;
		int x;
		do
		{
			x=stk[top--];
			id[x]=bcnt;
			in[x]=0;
		}while(x!=u);
	}
}
class ColorfulDecoration
{
public:int getMaximum(vector <int> xa, vector <int> ya, vector <int> xb, vector <int> yb)
	{
		long long L=0,R=1e9;
		n=xa.size();
		while(L<R)
		{
			long long M=(L+R+1)>>1;
			for(int i=0;i<2*n;i++)
				G[i].clear();
			for(int i=0;i<n;i++)
			{
				for(int j=0;j<n;j++)
				{
					if(i==j)
						continue;
					if(dis(M,xa[i],ya[i],xa[j],ya[j]))
						G[i].push_back(j+n);
					if(dis(M,xa[i],ya[i],xb[j],yb[j]))
						G[i].push_back(j);
					if(dis(M,xb[i],yb[i],xa[j],ya[j]))
						G[i+n].push_back(j+n);
					if(dis(M,xb[i],yb[i],xb[j],yb[j]))
						G[i+n].push_back(j);
				}
			}
			memset(dfn,0,sizeof(dfn));dfs_time=0;
			for(int i=0;i<2*n;i++)
			{	
				if(!dfn[i])
				tarjan(i);
			}
			bool ok=1;
			for(int i=0;i<n;i++)
			{
				if(id[i]==id[i+n])
				{
					ok=0;
					break;
				}
			}
			if(ok)
				L=M;
			else
				R=M-1;
		}
		return L;
	}
};