【题解】atcoder2336 Flags

题目链接

题意：给定n个数对(xi,yi)，从每个数对中选出一个数，使得得到的n个数之间的最小距离最大。求最大的最小距离。

分析：二分最大的最小距离mid。当选出某个数x后，对于数对(xi,yi)，若|x-xi|<mid，则不能选xi，从而必须选yi。因此可以把问题转化为2-sat问题。如果暴力加边，那么最坏情况下会有O(n^2)条边，因此要对加边进行优化。注意到对每个数x，所加的边在某种意义是连续的（将2*n个数按其值从小到大排序之后），因此增加O(n)个虚拟顶点，用线段树维护加边，从而总边数变为O(nlgn)级别的。

代码

#include<bits/stdc++.h>
using namespace std;
const int maxn=4e5;
struct node
{
	int x,i;
	bool operator < (const node &o) const
	{
		return x<o.x;
	}
}nd[maxn];
int n,mp[maxn];
int sz,lc[maxn],rc[maxn];
vector<int> G[maxn];
void init()
{
	for (int i=0;i<maxn;i++) G[i].clear();
	sz=2*n;
}
void add(int u,int v)
{
	G[u].push_back(v);
}
void build(int l,int r)
{
	int o=sz+