关于曼哈顿距离下的最小生成树

这些天一直在集训，考了十几次……

zzy出了一道曼哈顿距离下的最小生成树，考场上我没做出来……

嗯……这种题目的问题在于，你没办法把每两个点都建一条边……

但是因为是曼哈顿距离，所以有一些特殊性质

容易证明，将某个点为原点建立笛卡尔坐标系，将坐标系分为每45°角为一块的八个区域

那么这个点向每个区域只会朝其中的某个点连边……

为什么说容易证明，因为我不会证……网上MS有这种证明的说……

贴一下zzy的题解：

所以我们只要求一个点在其45°角的区域内离他最近的点就行了，而这可以用线段树或树状数组解决

我们以y轴正半轴往右偏45°角的区域为例：

点j在点i的这个区域要满足的条件是：

yj-xj>yi-xi

且xj>xi

那么我们将点以x为第一关键字，y为第二关键字，排序后倒序插入线段树

线段树的线段这一维是离散后的y-x，值是y+x

我们要求的是大于yi-xi的最小的y+x，而xj>xi这个条件已经由插入顺序满足了

这样我们成功的解决了这个区域的点

而其他区域的点我们可以通过坐标变换转移到这个区域

由于对称性，我们注意到其实只要求x轴或y轴正半轴所在的四个区域就行了

那么这个问题就这样解决了

不过，我没有找到地方提交这个题目……只是AC了zzy的题

代码在此：题目是求最小生成树上第k大边，使用了树状数组

//Lib
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<ctime>

#include<iostream>
#include<algorithm>
#include<vector>
#include<string>
#include<queue>
#include<stack>
#include<set>
#include<map>
using namespace std;
//Macro
#define	rep(i,a,b)	for(int i=a,tt=b;i<=tt;++i)
#define	drep(i,a,b)	for(int i=a,tt=b;i>=tt;--i)
#define	erep(i,e,x)	for(int i=x;i;i=e[i].next)
#define	irep(i,x)	for(typeof(x.begin()) i=x.begin();i!=x.end();i++)
#define	read()	(strtol(ipos,&ipos,10))
#define	sqr(x)	((x)*(x))
#define	pb	push_back
#define	PS	system("pause");
typedef	long long	ll;
typedef	pair<int,int>	pii;
const int oo=~0U>>1;
const double inf=1e100;
const double eps=1e-6;
string name="BRS", in=".in", out=".out";
//Var
int n,K,cnt,tot,ans;
int lisan[100008],l[100008];
int limit=1000000008;
struct P
{
	int x,y,idx;	
	bool operator <(const P &o)const{return x<o.x||x==o.x&&y<o.y;}
}d[100008];
struct BIT
{
	static const int limit=100000;
	int s[100008],p[100008];
	void set(){rep(i,1,limit)s[i]=oo;}
	inline int lowbit(int x){return x&-x;}
	void insert(int x,int v,int pos)
	{
		for(int i=x;i>0;i-=lowbit(i))
			if(s[i]>v)s[i]=v,p[i]=pos;
	}
	int query(int x)
	{
		int ret=oo,pos=n+1;
		for(int i=x;i<=n;i+=lowbit(i))
			if(s[i]<ret)ret=s[i],pos=p[i];
		return pos;
	}
}Q;
struct E
{
	int a,b,c;
	bool operator <(const E &o)const{return c<o.c;}
}e[1000000];
struct UNION
{
	int f[100008];
	static const int limit=100000;
	void set(){rep(i,1,n)f[i]=i;}
	int find(int x){return x==f[x]?f[x]:f[x]=find(f[x]);}
	void Union(int x,int y){f[x]=y;}
}U;
void Init()
{
	scanf("%d%d",&n,&K);
	rep(i,1,n)
		scanf("%d%d",&d[i].x,&d[i].y);	
}
void Discrate()
{
	rep(i,1,n)l[i]=d[i].y-d[i].x;
	sort(l+1,l+1+n);
	rep(i,1,n)lisan[i]=lower_bound(l+1,l+1+n,d[i].y-d[i].x)-l;
}
void add(int a,int b,int c){e[++tot].a = a;e[tot].b = b;e[tot].c = c;}
int Dis(int i,int j){return abs(d[i].x - d[j].x) + abs(d[i].y - d[j].y);}
void Solve()
{
	sort(d + 1,d + 1 + n);
	Discrate();Q.set();
	int pos;
	drep(i,n,1)
	{
		pos = Q.query(lisan[i]);
		if(pos != Q.limit + 1)
			add(d[i].idx,d[pos].idx,Dis(i,pos));
		Q.insert(lisan[i],d[i].y + d[i].x,i);
	}
}
void Kruskal()
{
	sort(e+1,e+1+tot);
	int x,y;int cnt=n-K;
	U.set();
	for(int i=1;i<=tot&&cnt;i++)
	{
		x=U.find(e[i].a);y=U.find(e[i].b);
		if(x!=y)
		{
			U.Union(x,y);
			cnt--;ans=e[i].c;
		}
	}
}
void Work()
{
	rep(i,1,n)d[i].idx=i;
	rep(i,1,4)
	{
		if(i == 3)
			rep(j,1,n)d[j].x = limit - d[j].x;
		if(i == 2 || i == 4)
			rep(j,1,n)swap(d[j].x,d[j].y);
		Solve();
	}	
	Kruskal();
	cout<<ans<<endl;
}
int main()
{
	freopen((name+in).c_str(),"r",stdin);
	freopen((name+out).c_str(),"w",stdout);
	Init();
	Work();
//	PS;
	return 0;
}

不知道是因为STL还是把数据结构封装在结构体里面的原因

这个程序效率巨低，开O2和不开O2差距达到1倍以上……虽然我觉得这种写法很优美就是了……