【BZOJ 4449】[Neerc2015]Distance on Triangulation 多边形分治结构

这题好神啊……
正解方向是分治,据我所知的分治方法有:I.离线后直接对多边形以及所有的询问进行分治 II.建立多边形的分治结构(对于三角形来说类似线段树,对于对角线来说类似平衡树),然后每次在这个分治结构上进行查询 III.将原图转为其对偶图(利用拓扑),发现是一棵树,然后在这棵树上进行分治(似乎也有离线分治和在线建立分治结构两种方法)
我用的是第二种方法,感觉写起来不是很容易,但是也并不恶心,具体实现以及具体问题的处理方法见代码.
感觉这样分治的复杂度是log的,实际证明最坏情况下存在使得任意一侧的三角形数不少于n/3的分发,然而并不会证,大该感性理解一下吧.
思维笔记:I.分治无处不在 II.分治就是分治,也可以没有信息的合并 III.分治的出发点也可以是砍半,就像二分一样 IV.分治结构的建立类似分治,而分治结构的使用更像是二分
算法笔记:I.建立分治结构时所需信息,以及分治结构所需维护的信息,是不一样的,分开考虑与处理会方便得多 II.在分治结构中,储存信息的方式可以是对于每个点存储其在每一层的信息,也可以是对于每一层存储每个点的信息,两者各有千秋,在这道题里,个人感觉前者用起来更加方便 III.这道题分治的理由我感觉是——一个对角线把多边形切成两个部分,如果询问的两个点都在这两个部分里的其中一个里面,那这次询问一定与另一部分无关

#pragma GCC optimize("O3")
#include <cstdio>
#include <vector>
#include <cstring>
#include <iostream>
#include <algorithm>
#define pb push_back
#define ft first
#define sd second
#define mmp(a,b) (std::make_pair(a,b))
char xB[(<<)+],*xS,*xT;
#define gtc (xS==xT&&(xT=((xS=xB)+fread(xB,1,1<<15,stdin)),xS==xT)?0:*xS++)
inline void read(int &x){
  register char ch=gtc;
  for(x=;ch<''||ch>'';ch=gtc);
  for(;ch>=''&&ch<='';x=(x<<)+(x<<)+ch-'',ch=gtc);
}
typedef std::pair<int,int> pii;
typedef std::vector<int> vi;
typedef std::vector<pii> vii;
const int A=,N=,Inf=0x3f3f3f3f;
vi tmp1;
vii tmp2;
struct Block{
  Block *ch[];
  pii cut;
}*root,block[N<<];
#define newblock (block+(sz++))
int to[N][A],dis[N][A][];
int q[N],front,back,vis[N],id[N];
int n;
struct V{int to,next;}c[N<<];
int head[N],t;
inline void add(int x,int y){
  c[++t].to=y,c[t].next=head[x],head[x]=t;
  c[++t].to=x,c[t].next=head[y],head[y]=t;
}
int sz,cnt;
inline void bfs(int S,int deep,int opt){
  ++cnt,front=back=,q[back++]=S;
  dis[S][deep][opt]=,vis[S]=cnt;
  register int x,i;
  while(front!=back){
    x=q[front++];
    for(i=head[x];i;i=c[i].next)
      if(vis[c[i].to]!=cnt){
        vis[c[i].to]=cnt;
        dis[c[i].to][deep][opt]=dis[x][deep][opt]+;
        q[back++]=c[i].to;
      }
  }
}
inline void build(Block *&p,register vi poi,register vii cut,int deep){
  p=newblock;
  if(cut.size()==)return;
  pii mini;
  int min=Inf,temp,size1=poi.size(),size2=cut.size();
  register int i;
  for(i=;i<size2;++i){
    temp=std::abs(id[cut[i].ft]-id[cut[i].sd])+;
    temp=std::max(temp,size1-temp+);
    if(temp<min)
      min=temp,mini=cut[i];
  }
  p->cut=mini;
  int l=id[mini.ft],r=id[mini.sd];
  if(l>r)std::swap(l,r);
  tmp1.clear(),tmp2.clear();
  for(i=;i<=l;++i){
    tmp1.pb(poi[i]);
    id[poi[i]]=tmp1.size()-;
    to[poi[i]][deep]=;
  }
  for(i=r;i<size1;++i){
    tmp1.pb(poi[i]);
    id[poi[i]]=tmp1.size()-;
    to[poi[i]][deep]=;
  }
  for(i=;i<size2;++i){
    if(cut[i]==mini)continue;
    if(to[cut[i].ft][deep]==&&to[cut[i].sd][deep]==)
      tmp2.pb(cut[i]);
  }
  build(p->ch[],tmp1,tmp2,deep+);
  tmp1.clear(),tmp2.clear();
  for(i=l;i<=r;++i){
    tmp1.pb(poi[i]);
    id[poi[i]]=i-l;
    to[poi[i]][deep]=;
  }
  for(i=;i<size2;++i){
    if(cut[i]==mini)continue;
    if(to[cut[i].ft][deep]==&&to[cut[i].sd][deep]==)
      tmp2.pb(cut[i]);
  }
  build(p->ch[],tmp1,tmp2,deep+);
  for(i=;i<size1;++i)head[poi[i]]=;
  t=;
  for(i=;i<size1;++i)
    add(poi[i],poi[i-]);
  add(poi[size1-],poi[]);
  for(i=;i<size2;++i)
    add(cut[i].ft,cut[i].sd);
  bfs(mini.ft,deep,);
  bfs(mini.sd,deep,);
}
inline int query(Block *p,int x,int y,int deep){
  if(!p->ch[])return ;
  if(p->cut.ft==x)return dis[y][deep][];
  if(p->cut.sd==x)return dis[y][deep][];
  if(p->cut.ft==y)return dis[x][deep][];
  if(p->cut.sd==y)return dis[x][deep][];
  if(to[x][deep]==to[y][deep])return query(p->ch[to[x][deep]],x,y,deep+);
  int ret=dis[x][deep][]+dis[y][deep][];
  ret=std::min(ret,dis[x][deep][]+dis[y][deep][]);
  return ret;
}
int main(){
  read(n);
  register int i;pii rio;
  for(i=;i<=n;++i)
    tmp1.pb(i),id[i]=i-;
  for(i=;i<=n-;++i)
    read(rio.ft),read(rio.sd),tmp2.pb(rio);
  build(root,tmp1,tmp2,);
  int T,x,y;
  read(T);
  while(T--){
    read(x),read(y);
    printf("%d\n",x==y?:query(root,x,y,));
  }
  return ;
}