树的直径、树的重心与树的点分治

树的直径、树的重心与树的点分治

树的直径

树的直径(Diameter)是指树上的最长简单路。

直径的求法：两遍搜索 (BFS or DFS)

任选一点w为起点，对树进行搜索，找出离w最远的点u。

以u为起点，再进行搜索，找出离u最远的点v。则u到v的路径长度即为树的直径。

简单证明：

如果w在直径上，那么u一定是直径的一个端点。反证：若u不是端点，则从直径另一端点到w再到u的距离比直径更长，与假设矛盾。

如果w不在直径上，且w到其距最远点u的路径与直径一定有一交点c，那么由上一个证明可知，u是直径的一个端点。

如果w到最远点u的路径与直径没有交点，设直径的两端为S与T，那么(w->u)>(w->c)+(c->T)，推出(w->u)+(S->c)+(w->c)>(S->c)+(c->T)=(S->T)与假设矛盾。

因此w到最远点u的路径与直径必有交点。

S-----------c-----------T

                 |

                w------u

 

树的重心

何谓重心

树的重心：找到一个点，其所有的子树中最大的子树节点数最少,那么这个点就是这棵树的重心,删去重心后，生成的多棵树尽可能平衡。

树的重心可以通过简单的两次搜索求出，第一遍搜索求出每个结点的子结点数量son[u]，第二遍搜索找出使max{son[u],n-son[u]-1}最小的结点。

实际上这两步操作可以在一次遍历中解决。对结点u的每一个儿子v，递归的处理v，求出son[v]，然后判断是否是结点数最多的子树，处理完所有子结点后，判断u是否为重心。

 1 struct CenterTree{
 2     int n;
 3     int ans;
 4     int siz;
 5     int son[maxn];
 6     void dfs(int u,int pa){
 7         son[u]=1;
 8         int res=0;
 9         for (int i=head[u];i!=-1;i=edges[i].next){
10             int v=edges[i].to;
11             if (v==pa) continue;
12             if (vis[v]) continue;
13             dfs(v,u);
14             son[u]+=son[v];
15             res=max(res,son[v]-1);
16         }
17         res=max(res,n-son[u]);
18         if (res<siz){
19             ans=u;
20             siz=res;
21         }
22     }
23     int getCenter(int x){
24         ans=0;
25         siz=INF;
26         dfs(x,-1);
27         return ans;
28     }
29 }Cent;

树的重心

 

还有一种方法，虽然不能保证求出来的一定是重心，但是能找到一个结点，而这个以这个结点为根的话，所有的子树的结点数量都不会超过总结点数的一半。

同样是先搜索出son[u]，从某个假设的根开始向下找，如果有子结点v，使son[v]>son[u]/2，就以v作为新的根，重复执行，直到没有满足条件的子结点。

 

【POJ 1655 Balancing Act】

给定一棵树，求树的重心的编号以及重心删除后得到的最大子树的节点个数，如果个数相同就选取编号最小的。

直接套模板可解，注意要取编号最小的根。

 

树的点分治

何谓分治

分治，指的是分而治之，即将一个问题分割成一些规模较小的相互独立的子问题，以便各个击破。

我们常见的是在一个线性结构上进行分治，而分治算法在树结构上的运用，称之为树的分治算法。

分治往往与高效联系在一起，而树的分治正是一种用来解决树的路径问题的高效算法。

树的点的分治：首先选取一个点将无根树转为有根树，再递归处理每一颗以根结点的儿子为根的子树。

首先我们考虑如何选取点。对于基于点的分治，我们选取一个点，要求将其删去后，结点最多的树的结点个数最小，这个点就是树的重心。

在基于点的分治中每次我们都会将树的结点个数减少一半，因此递归深度最坏是 O(NlogN) 的，在树是一条链的时候达到上界。

 

【例 POJ 1741 Tree】

给你一棵TREE,以及这棵树上边的距离。问有多少对点它们两者间的距离小于等于K。

我们知道一条路径要么过根结点，要么在一棵子树中，这启发了我们可以使用分治算法。

只要先求出经过根结点的路径数，再递归的求经过所有子结点的路径数即可。

下面来分析如何处理路径过根结点的情况。 

我们先用一次搜索求出根的所有子结点到根的距离并将其放入一个数组中，复杂度O(n)。

将这个距离数组排序，复杂度O(nlogn)。

这样就将问题转化为了，求一个数组A中，和小于等于K的元素对个数有多少。

由于数组有序，对于区间[L,R]，易知若A[L]+A[R]>K，那么区间内没有满足条件的元素对。若A[L]+A[R]<=K，则以L为左端点的点对数有R-L个。

我们从1开始枚举L，当前R不满足条件，就令R-1，否则统计以L为左端点的点对数，令L-1。

用一个线性扫描的扫描可以解决，复杂度O(n)。

最终我们得到了所有子结点到根的距离和小于等于K的点对数。

然而这个并不是最终解，因为我们要求的是经过根的路径，而从一个子树到达根结点又回到同一个子树的路径是不能被计入统计的，所以我们要把多余的点对从结果中减去。

我们只要对每一个子树，求出同一个子树中的结点到根结点又回到子树的路径和小于等于K的点对数，然后从答案中减去即可。 

  1 #include 
  2 #include 
  3 #include 
  4 #include 
  5 
  6 using namespace std;
  7 const int INF=0x3f3f3f3f;
  8 const int maxn=11000;
  9 const int maxm=21111;
 10 struct EdgeNode{
 11     int to;
 12     int w;
 13     int next;
 14 }edges[maxm];
 15 int head[maxn],edge;
 16 bool vis[maxn];
 17 
 18 void init(){
 19     edge=0;
 20     memset(head,-1,sizeof(head));
 21     memset(vis,0,sizeof(vis));
 22 }
 23 void addedge(int u,int v,int w){
 24     edges[edge].w=w,edges[edge].to=v,edges[edge].next=head[u],head[u]=edge++;
 25 }
 26 int n,K;
 27 struct CenterTree{
 28     int n;
 29     int ans;
 30     int siz;
 31     int son[maxn];
 32     void dfs(int u,int pa){
 33         son[u]=1;
 34         int res=0;
 35         for (int i=head[u];i!=-1;i=edges[i].next){
 36             int v=edges[i].to;
 37             if (v==pa) continue;
 38             if (vis[v]) continue;
 39             dfs(v,u);
 40             son[u]+=son[v];
 41             res=max(res,son[v]-1);
 42         }
 43         res=max(res,n-son[u]);
 44         if (res<siz){
 45             ans=u;
 46             siz=res;
 47         }
 48     }
 49     int getCenter(int x){
 50         ans=0;
 51         siz=INF;
 52         dfs(x,-1);
 53         return ans;
 54     }
 55 }Cent;
 56 int data[maxn];
 57 int dis[maxn];
 58 int Len;
 59 int ans;
 60 void getArray(int u,int pa){
 61     data[++Len]=dis[u];
 62     for (int i=head[u];i!=-1;i=edges[i].next){
 63         int v=edges[i].to;
 64         int w=edges[i].w;
 65         if (v==pa) continue;
 66         if (vis[v]) continue;
 67         dis[v]=dis[u]+w;
 68         getArray(v,u);
 69     }
 70 }
 71 int calc(int u,int now){
 72     dis[u]=now;
 73     Len=0;
 74     getArray(u,-1);
 75     sort(data+1,data+Len+1);
 76     int res=0;
 77     int l=1,r=Len;
 78     while (l<r){
 79         if (data[r]+data[l]<=K){
 80             res+=(r-l);
 81             l++;
 82         }
 83         else r--;
 84     }
 85     return res;
 86 }
 87 void solve(int u){
 88     ans+=calc(u,0);
 89     vis[u]=true;
 90     for (int i=head[u];i!=-1;i=edges[i].next){
 91         int v=edges[i].to;
 92         int w=edges[i].w;
 93         if (vis[v]) continue;
 94         ans-=calc(v,w);
 95         Cent.n=Cent.son[v];
 96         int rt=Cent.getCenter(v);
 97         solve(rt);
 98     }
 99 }
100 int main()
101 {
102     while (~scanf("%d%d",&n,&K)){
103         if (n==0&&K==0) break;
104         init();
105         for (int i=1;i){
106             int x,y,z;
107             scanf("%d%d%d",&x,&y,&z);
108             addedge(x,y,z);
109             addedge(y,x,z);
110         }
111         ans=0;
112         Cent.n=n;
113         int root=Cent.getCenter(1);
114         solve(root);
115         printf("%d\n",ans);
116     }
117     return 0;
118 }
119 /**
120 20 10
121 1 2 3
122 2 3 4
123 3 4 5
124 4 5 6
125 5 6 7
126 6 7 8
127 7 8 9
128 8 9 10
129 9 10 11
130 10 11 12
131 11 12 13
132 12 13 14
133 13 14 15
134 14 15 16
135 15 16 17
136 16 17 18
137 17 18 19
138 18 19 20
139 19 20 21
140 **/

POJ 1741 Tree

 

posted on 2014-08-08 12:14 cyendra 阅读( ...) 评论( ...) 编辑 收藏

转载于:https://www.cnblogs.com/zinthos/p/3899075.html