这题大家为什么都写O(NlogN)的算法呢?……

让本蒟蒻来写一个O(N)的吧……

 

首先还是对BFS序和DFS序重编号,记标好的DFS序为d[1..n]。令pos[x]为x在d[]中出现的位置,即pos[d[i]]=i。

然后还是要用到一个BFS序的分段对应一棵树的结论……然后我们考察一个分段方式的合法性:首先结点1是唯一的根必须要单独一段;其次,BFS序中一层的结点出现的顺序和DFS序中的顺序一定是相同的,因此对于任何的一段[l, r],都有pos[l]<pos[l+1]<pos[l+2]<…<pos[r];最后我们还需要考虑结点深度的约束,对于DFS序中两个相邻结点,后一个结点的深度至多比前一个结点大1。综上所述,我们得到了以下三条约束:

(1)结点1单独分为一段;

(2)对于任何一段[l, r],pos[l]<pos[l+1]<pos[l+2]<…<pos[r];

(3)记depth[i]为结点i的深度,则depth[d[i+1]]<=depth[d[i]]+1。

我们尝试转化上面3条约束。建立数组s[1..n-1],s[i]=1当且仅当结点i和结点i+1分在不同的两段,否则s[i]=0。这样进行转化之后,以上三条约束变成了如下的形式:

(1)s[1]=1;

(2)若pos[i]>pos[i+1],则s[i]=1;

(3)若d[i]<d[i+1],则Σ{s[j] | j=d[i]..d[i+1]-1}<=1。

第一条转化是容易理解的。第三条转化也容易理解,因为s[d[i]]、s[d[i]+1]、…、s[d[i+1]-1]的和就等于结点d[i]和d[i+1]的高度差。当d[i]>d[i+1]时,由于d[i]的BFS序在d[i+1]后面,所以depth[d[i+1]]<=depth[d[i]]<depth[d[i]]+1。第二条的转化是把原先的描述反过来理解形成的,也就是说若pos[i]>pos[i+1],那么结点i一定不满足约束,所以必须分为两段。可以证明这样的转化与原来的约束是等效的。

显然,1+Σs[i]就是树高。

我们考虑在O(N)时间内计算出树高的期望。约束1和约束2把一些s[i]固定为1,它们对s[]造成的影响可以非常容易地O(N)处理出来。然后考虑第三类约束,首先我们处理所有Σ{s[j] | j=d[i]..d[i+1]-1}=1的第三类约束,这类约束固定了一个区间的值(某一个s[i]=1,其余s[i]均为0)。这些值可以通过前缀和的处理技巧O(1)地打好固定标记,所以处理这些约束也是O(N)的。

最后我们剩下一些Σ{s[j] | j=d[i]..d[i+1]-1}=0的约束。由于每一个s[j]都是0,这意味着对于所有的j=l..r-1,都有pos[j]<pos[j+1](否则处理第二类约束时会使得某个s[j]=1,从而不满足Σs[j]=0)。因此,我们有pos[l]<pos[l+1]<pos[l+2]<…<pos[r]。注意到这里l=d[i]而r=d[i+1],所以pos[l]=i而pos[r]=i+1。也就是说这些剩下的约束其实都是一些形如i<i+1的恒成立的不等式,直接无视掉就好了。这样就处理完了所有的约束,最后我们还剩下一些位置没有被固定,这些位置取0或1均可,对答案的贡献就是0.5。

于是我们就可以O(N)地解决这个问题。代码异常的简洁,线段树什么的根本不用写嘛……

 1 /**************************************************************
 2     Problem: 3244
 3     User: IcyF
 4     Language: C++
 5     Result: Accepted
 6     Time:216 ms
 7     Memory:6276 kb
 8 ****************************************************************/
 9  
10 #include <cstdlib>
11 #include <cstdio>
12   
13 using namespace std;
14   
15 #define rep(n) for (int i = 1; i <= n; ++i)
16 #define sum(l, r) (s[r] - s[l - 1])
17   
18 const int MAXN = 200005;
19 int n, a[MAXN], b[MAXN], c[MAXN], pos[MAXN], x[MAXN], s[MAXN], fix[MAXN];
20 int main()
21 {
22     scanf("%d", &n);
23     rep(n) scanf("%d", a + i);
24     rep(n) scanf("%d", b + i);
25     rep(n) c[b[i]] = i;
26     rep(n) a[i] = c[a[i]];
27     rep(n) pos[a[i]] = i;
28   
29     x[1] = 1, ++fix[1], --fix[2];
30     rep(n - 1)
31         if (pos[i] > pos[i + 1])
32             x[i] = 1, ++fix[i], --fix[i + 1];
33     rep(n - 1)
34         s[i] = s[i - 1] + x[i];
35     rep(n - 1)
36         if (a[i] < a[i + 1])
37         {
38             int t = sum(a[i], a[i + 1] - 1);
39             if (t)
40             {
41                 ++fix[a[i]];
42                 --fix[a[i + 1]];
43             }
44         }
45   
46     double ans = 0; int f = 0;
47     rep(n - 1)
48     {
49         f += fix[i];
50         if (f)
51             ans += double(x[i]);
52         else
53             ans += 0.5;
54     }
55     printf("%.3lf\n", ans + 0.999);
56     printf("%.3lf\n", ans + 1.0);
57     printf("%.3lf\n", ans + 1.001);
58     return 0;
59 }
posted on 2015-07-12 21:26  IcyFlower  阅读(1655)  评论(0编辑  收藏  举报