BZOJ 4036 [HAOI2015] Set 解题报告

首先我们不能一位一位的考虑,为什么呢?

你想想,你如果一位一位地考虑的话,那么最后就只有 $n$ 个数字,然而他给了你 $2^n$ 个数字,怎么看都不对劲呀。(我是因为这样子弄没过样例才明白的)

所以我们还是要想想其他的方法。

我们是要算步数的期望,然而步数是一个离散的整数,所以我们可以把问题转化一下:

$$E(s) = \sum_{k=1}^{\infty}P(s\ge k)$$

然后就好做了嘛。

我们可以求出一个 $F_i = \sum_{j\subseteq i} p_j$,表示随机选一个数是 $i$ 的子集的概率。

那么就会有:

$$P(s\ge k) = \sum_{i=0}^{2^n-1}(-1)^{c(i)+n+1}\times F_i^{k-1}$$

其中 $c(i)$ 表示 $i$ 的二进制表示中 $1$ 的个数。以上的式子也就是一个容斥的样子,其实说起来就是位运算卷积。然后于是就有:

$$E(s) = \sum_{i=0}^{2^n-1} (-1)^{c(i)+n+1}\sum_{k=0}^{\infty}F_i^{k-1} = \sum_{i=0}^{2^n-1} \frac{(-1)^{c(i)+n+1}}{1 - F_i}$$

然后好像就做完啦。

时间复杂度 $O(n\times2^n)$,空间复杂度 $O(2^n)$。

 1 #include <cstdio>
 2 typedef long double LD;
 3 #define N 1 << 20
 4 #define eps 1e-11
 5
 6 int n, Op[N];
 7 LD A[N];
 8
 9 int main()
10 {
11     scanf("%d", &n);
12     Op[0] = n & 1 ? 1 : -1;
13     for (int i = 0; i < (1 << n); i ++)
14     {
15         double x;
16         scanf("%lf", &x);
17         A[i] = x;
18         if (i > 0) Op[i] = -Op[i - (i & -i)];
19     }
20     for (int k = 1; k < (1 << n); k <<= 1)
21         for (int i = 0; i < (1 << n); i ++)
22         {
23             if (i & k) continue ;
24             A[i + k] += A[i];
25         }
26     bool ok = 1;
27     for (int i = 0; ok && i < (1 << n) - 1; i ++)
28         if (A[i] + eps > 1) ok = 0;
29     if (!ok) puts("INF");
30     else
31     {
32         LD ans = 0;
33         for (int i = 0; i < (1 << n) - 1; i ++)
34             ans += Op[i] / (1 - A[i]);
35         printf("%.10lf\n", (double) ans);
36     }
37
38     return 0;
39 }

4036_Gromah

时间: 2024-10-10 06:58:44

BZOJ 4036 [HAOI2015] Set 解题报告的相关文章

BZOJ 4036: [HAOI2015]按位或 集合幂函数 莫比乌斯变换 莫比乌斯反演

http://www.lydsy.com/JudgeOnline/problem.php?id=4036 http://blog.csdn.net/lych_cys/article/details/50898726 http://blog.csdn.net/qq_21995319/article/details/49800999 for(int i=1;i<=1;i++) for(int j=1;j<=1;j++) f[i○j]=a[i]*b[j]; 当○为按位或时,这种运算就称为集合并卷积.

bzoj 4036 [HAOI2015]按位或——min-max容斥+FMT

题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4036 题解:https://www.cnblogs.com/Zinn/p/10260126.html #include<cstdio> #include<cstring> #include<algorithm> #define db double using namespace std; const int N=25,M=(1<<20)+5; int

BZOJ 1044 木棍分割 解题报告(二分+DP)

来到机房刷了一道水(bian’tai)题.题目思想非常简单易懂(我的做法实际上参考了Evensgn 范学长,在此多谢范学长了) 题目摆上: 1044: [HAOI2008]木棍分割 Time Limit: 10 Sec  Memory Limit: 162 MBSubmit: 3162  Solved: 1182[Submit][Status][Discuss] Description 有n根木棍, 第i根木棍的长度为Li,n根木棍依次连结了一起, 总共有n-1个连接处. 现在允许你最多砍断m个

BZOJ 4341 [CF253 Printer] 解题报告

乍一看这个题好像可以二分优先度搞搞... 实际上能不能这么搞呢...? 我反正不会... 于是开始讲我的乱搞算法: 首先肯定要把任务按照优先度排序. 用一棵在线建点的线段树维护一个时刻是否在工作. 然后就依次插入任务,记为 i,具体而言就是二分其右端点,然后令这整个区间都变成 “工作” 的状态. 在 i 被插入之前,还要检验一下在当前情况那个神秘任务的右端点是不是题中所要求的那个. 如果是,并且 i-1 的优先度和 i 的优先度不相邻或者 i 就是最优先的任务,那么就令那个神秘任务的优先度为 i

BZOJ 3288 Mato矩阵 解题报告

这个题好神呀..Orz taorunz 有一个结论,这个结论感觉很优美: $$ans = \prod_{i=1}^{n}\varphi(i)$$ 至于为什么呢,大概是这样子的: 对于每个数字 $x$,第 $x$ 行有 $x - \varphi(x)$ 个数字不为 $1$,则说明这一行要被消 $x - \varphi(x)$ 次(别忘了每一行都会被 $1$ 给消一次),每次消元都会令 $A[x][x]$ 减一,所以 $A[x][x]$ 最后会变成 $\varphi(x)$,所以答案就是这个啦. 时

BZOJ 3983 Takeover Wars 解题报告

我猜了一个结论,能合并就合并,到了必须要敌对交易的时候才进行敌对交易. 然后合并的话,肯定是拿最大的两个去合并. 至于敌对交易,肯定是干掉对方最大的公司才是有意义的. 于是各种分类讨论...看代码好了... #include <cmath> #include <queue> #include <cstdio> #include <cstring> #include <iostream> #include <algorithm> usi

BZOJ 4123 [Baltic2015] Hacker 解题报告

首先,Alice 会选择一个长度为 $\lfloor\frac{n+1}{2}\rfloor$ 的区间,我们把这个长度记为 $len$. 有这么一个结论:令 $F_i$ 为覆盖 $i$ 点的所有长度为 $len$ 的区间的元素和的最小值,那么答案就是 $F_i$ 的最大值. 因为 Bob 可以控制 Alice 最后选择的是什么区间. [扯淡 ing]大概是这样子: 假设 Alice 一开始选择的是红色的点 $i$,并且蓝色的线以左所覆盖的区间和就是 $F_i$,那么对于 Bob,他就可以选择绿色

BZOJ 3969 Low Power 解题报告

我们首先将所有电池排序,那么我们可以找到一组最优方案,使得一台机器的能量之差是相邻两电池的能量之差. 然后我们就二分这个答案,从前往后贪心地选这个数对,然后看是否所有的数对都是满足条件的. 假设这个数对是 i - 1, i,并且是第 j 个数对,那么我们称满足条件为: 2nk - i + 2 >= 2k(n - j + 1) 意思就是能拿出足够多的电池来组成机器人. 然后注意特判:如果不能选出足够多的数对就返回 false,我在这里 WA 到死... 毕竟 Gromah 太弱,只会做水题. 1

BZOJ 3971 Матрёшка 解题报告

很自然想到区间 DP. 设 $Dp[i][j]$ 表示把区间 $[i, j]$ 内的套娃合并成一个所需要的代价,那么有: $Dp[i][i] = 0$ $Dp[i][j] = min\{Dp[i][k] + Dp[k + 1][j] + Merge([i, k], [k + 1, j])\} (i \le k < j)$ 于是问题在于算 $Merge([a, b], [c, d])$. 我们考虑一下:区间 $[a, b]$ 内的哪些套娃是需要打开的: 是不是 $[a, b]$ 中所有大于 $[c