Time Limit: 20 Sec Memory Limit: 512 MB

  

Description

  

​   Zeit und Raum trennen dich und mich.

  

​   时空将你我分开。B 君在玩一个游戏,这个游戏由 n 个灯和 n 个开关组成,给定这 n 个灯的初始状态,下标为从 1 到 n 的正整数。每个灯有两个状态亮和灭,我们用 1 来表示这个灯是亮的,用 0 表示这个灯是灭的,游戏的目标是使所有灯都灭掉。但是当操作第 i 个开关时,所有编号为 i 的约数(包括 1 和 i)的灯的状态都会被改变,即从亮变成灭,或者是从灭变成亮。B 君发现这个游戏很难,于是想到了这样的一个策略,每次等概率随机操作一个开关,直到所有灯都灭掉。这个策略需要的操作次数很多, B 君想到这样的一个优化。如果当前局面,可以通过操作小于等于 k 个开关使所有灯都灭掉,那么他将不再随机,直接选择操作次数最小的操作方法(这个策略显然小于等于 k 步)操作这些开关。B 君想知道按照这个策略(也就是先随机操作,最后小于等于 k 步,使用操作次数最小的操作方法)的操作次数的期望。这个期望可能很大,但是 B 君发现这个期望乘以 n 的阶乘一定是整数,所以他只需要知道这个整数对 100003 取模之后的结果。

  

Input

    

​   第一行两个整数 n, k。

  

​   接下来一行 n 个整数,每个整数是 0 或者 1,其中第 i 个整数表示第 i 个灯的初始情况。

      

  ​ 1 ≤ n ≤ 100000, 0 ≤ k ≤ n;

  

Output

  

​   输出一行,为操作次数的期望乘以 n 的阶乘对 100003 取模之后的结果。

  

Sample Input

   

​   4 0

​   0 0 1 1

  

Sample Output

  

​   512

  

  

  

Solution

  

​   我开始想到生成函数什么的东西去了,然而这题隐藏得是在太深了......

  

​   首先考虑没有随机时的最优策略:由于一个开关只能影响到比它编号小的灯,所以我们从大到小考虑,如果当前灯是亮的,我们必须要动一次开关,并更新编号为其约数的电灯。显然这是唯一且最优策略

  

​   考虑这个策略,记全部开关为\(A\),按过的开关集合为\(S\),我们发现每个\(S\)中的开关必须按且只按一次,而\(A-S\)中的开关一次不按。这样一来后面的问题就根本不涉及什么约数问题了,问题变为:按多少次才能将\(S\)中的开关按奇数次,将\(A-S\)中的开关按偶数次。

  

​   记\(f_i\)表示还需要连续按对\(i\)次才能达到最终状态,转移到\(f_{i-1}\)的期望步数。“按对”指的是将\(S\)中还是偶数次的开关按下,或者将\(A-S\)中还是奇数的开关按下。易得:

  

\[\begin{aligned}
f_i&=\frac in*1+\frac{n-i}n(1+f_{i+1}+f_i)\\
&=\frac{(n-i)f_{i+1}+n}i
\end{aligned}
\]

  

​   作为边界条件,\(f_n=1\),因为随便按一个都是往正确方向走的(太差了)。

  

​   所以得到\(ans=k+\sum_{i=k+1}^{need}f_i\),其中\(need\)是最优策略步数。复杂度\(O(n\;log\;n)\)

  

​   这题的关键在于化简题目,找到本质,然后就发现这是一道经典的简单的期望DP。=_=

  

#include <cstdio>
#include <vector>
#define pb push_back
using namespace std;
const int N=100005,MOD=100003;
int n,K,a[N],need;
int inv[N],factn;
int f[N];
vector<int> d[N];
int main(){
freopen("input.in","r",stdin);
scanf("%d%d",&n,&K);
for(int i=1;i<=n;i++) scanf("%d",&a[i]);
factn=1;
for(int i=2;i<=n;i++) factn=1LL*factn*i%MOD;
inv[1]=1;
for(int i=2;i<=n;i++)
inv[i]=-1LL*(MOD/i)*inv[MOD%i]%MOD;
for(int i=1;i<=n;i++)
for(int j=i;j<=n;j+=i)
d[j].pb(i);
need=0;
for(int i=n;i>=1;i--)
if(a[i]){
need++;
for(int j=0,sz=d[i].size();j<sz;j++)
a[d[i][j]]^=1;
}
if(need<=K){printf("%d\n",1LL*need*factn%MOD);return 0;}
f[n]=1;
for(int i=n-1;i>K;i--)
f[i]=(1LL*(n-i)*f[i+1]%MOD+n)*inv[i]%MOD;
int ans=K;
for(int i=K+1;i<=need;i++) (ans+=f[i])%=MOD;
ans=1LL*ans*factn%MOD;
printf("%d\n",ans<0?ans+MOD:ans);
return 0;
}

【BZOJ4872】【Shoi2017】分手是祝愿的更多相关文章

  1. Bzoj4872: [Shoi2017]分手是祝愿

    题面 Bzoj Sol 首先从大向小,能关就关显然是最优 然后 设\(f[i]\)表示剩下最优要按i个开关的期望步数,倒推过来就是 \[ f[i]=f[i-1]*i*inv[n]+f[i+1]*(n- ...

  2. 2018.11.01 bzoj4872: [Shoi2017]分手是祝愿(期望dp)

    传送门 一道不错的题. 考虑n==kn==kn==k的时候怎么做. 显然应该从nnn到111如果灯是开着的就把它关掉这样是最优的. 不然如果乱关的话会互相影响肯定不如这种优. 于是就可以定义状态f[i ...

  3. BZOJ4872: [Shoi2017]分手是祝愿【概率期望DP】【思维好题】

    Description Zeit und Raum trennen dich und mich. 时空将你我分开.B 君在玩一个游戏,这个游戏由 n 个灯和 n 个开关组成,给定这 n 个灯的初始状态 ...

  4. 【BZOJ4872】[Shoi2017]分手是祝愿 数学+期望DP

    [BZOJ4872][Shoi2017]分手是祝愿 Description Zeit und Raum trennen dich und mich. 时空将你我分开.B 君在玩一个游戏,这个游戏由 n ...

  5. bzoj 4872: [Shoi2017]分手是祝愿 [期望DP]

    4872: [Shoi2017]分手是祝愿 题意:n个灯开关游戏,按i后i的约数都改变状态.随机选择一个灯,如果当前最优策略\(\le k\)直接用最优策略.问期望步数\(\cdot n! \mod ...

  6. 【BZOJ4872】分手是祝愿(动态规划,数学期望)

    [BZOJ4872]分手是祝愿(动态规划,数学期望) 题面 BZOJ 题解 对于一个状态,如何求解当前的最短步数? 从大到小枚举,每次把最大的没有关掉的灯关掉 暴力枚举因数关就好 假设我们知道了当前至 ...

  7. BZOJ_4872_[Shoi2017]分手是祝愿_概率与期望

    BZOJ_4872_[Shoi2017]分手是祝愿_概率与期望 Description Zeit und Raum trennen dich und mich. 时空将你我分开.B 君在玩一个游戏,这 ...

  8. 【BZOJ4872】分手是祝愿

    分手是祝愿 [题目大意] 有n 个灯,每个灯有两个状态亮和灭,我们用 1 来表示这个灯是亮的,用 0 表示这个灯是灭的,操作第 i 个开关时,所有编号为 i 的约数(包括 1 和 i)的灯的状态都会被 ...

  9. SHOI2017 分手是祝愿

    分手是祝愿 有

  10. BZOJ4872:[SHOI2017]分手是祝愿——题解

    http://www.lydsy.com/JudgeOnline/problem.php?id=4872 https://www.luogu.org/problemnew/show/P3750 Zei ...

随机推荐

  1. 六边形地图Cube coordinates理解

    1.这个是 Axial coordinates,可以实现六边形4个方向上的移动 2.但是六边形还有两个方向需要移动,所以引入了Cube coordinates,这个坐标系多了一个轴向,Y轴,X轴沿水平 ...

  2. Unity3D — —存读档【转载】

    详细可参考此篇博文: Unity序列化之XML,JSON--------合成与解析 简单例子(SiKi学院教程): using System.Collections; using System.Col ...

  3. CHAPTER 24 History of Our Planet 第24章 我们行星的历史

    CHAPTER 24 History of Our Planet 第24章 我们行星的历史 Uncovering the bones of ancient beasts is only part of ...

  4. Centos7 安装与破解 Confluence 6.7.1

    1.1硬件需求建议: CPU:32/64 bit 2.27GHz双核心以上之CPU: 内存:8GB以上: 硬盘:300GB,7200转以上: 建议数据库.Confluence等各自独立一台服务器(本测 ...

  5. GlusterFS分布式存储集群-1. 部署

    参考文档: Quick Start Guide:http://gluster.readthedocs.io/en/latest/Quick-Start-Guide/Quickstart/ Instal ...

  6. [机器学习]-K近邻-最简单的入门实战例子

    本篇文章分为两个部分,前一部分主要简单介绍K近邻,后一部分是一个例子 第一部分--K近邻简介 从字面意思就可以容易看出,所谓的K近邻,就是找到某个样本距离(这里的距离可以是欧式距离,曼哈顿距离,切比雪 ...

  7. Daily Scrum (2015/10/22)

    今天我们发现了源代码并不能直接在PC上运行.通过学长我们了解到我们需要在服务器上链接上数据库才能正常运行,所以找了老师要了地址后进入了正常工作.由此我们的PM增添了一些新的任务,团队的总工作时间有所增 ...

  8. Scrum Meeting 10.30

    成员 今日任务 明日计划 用时 徐越 配置servlet环境,设计开发文档 设计开发文档,配置服务器,使得本地可以访问服务器 5h 武鑫 软件界面设计:学习使用Activity和Fragment 设计 ...

  9. 奔跑吧DKY——团队Scrum冲刺阶段-Day 1-领航

    各个成员在 Alpha 阶段认领的任务 修改 序号 修改 具体描述 1 游戏过程 取消原来的跳跃和俯身按钮,保留跳跃的功能,可以触屏滑动来躲避地面障碍物,也可以躲避另一种陷阱障碍物 2 闯关功能 取消 ...

  10. linux 常用命令-文件、文件夹管理

    1. 创建文件夹: mkdir dirName 删除文件夹: rm -rf * 删除当前目录下的所有文件以及文件夹(非交互式) rm -r  --recursive 递归式删除所删除目录以及子目录(有 ...