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. 零基础学python之构建web应用(入门级)

    构建一个web应用 前面的学习回顾: IDLE是Python内置的IDE,用来试验和执行Python代码,可以是单语句代码段,也可以是文本编辑器中的多语句程序. 四个内置数据结构:列表.字典.集合和元 ...

  2. [Unity3D]MonoDeveloper快捷键(补全代码补全引用中文乱码tab转空格)

    Hello亲爱的观众朋友们大家好,我是09. vs支持各种插件,一般推荐用vs.不过总有人(例如我)由于各种原因用MonoDeveloper.苦于每次上网找各种设置,此处集中写下我用MonoDevel ...

  3. 4. 为HelloWorld添加日志

    回顾 通过上篇内容,我们已经使用flask编写了我们的第一个接口或者说是html页面.我们可以看到,使用flask来编写接口/页面是十分简单的.那么接下来,我们丰富一下上面的例子. 需求 现在的需求来 ...

  4. SICP读书笔记 3.5

    SICP CONCLUSION 让我们举起杯,祝福那些将他们的思想镶嵌在重重括号之间的Lisp程序员 ! 祝我能够突破层层代码,找到住在里计算机的神灵! 目录 1. 构造过程抽象 2. 构造数据抽象 ...

  5. hadoop最新稳定版本使用建议

    Apache Hadoop Apache版本衍化比较快,我给大家介绍一下过程 ApacheHadoop版本分为两代,我们将第一代Hadoop称为Hadoop 1.0,第二代Hadoop称为Hadoop ...

  6. docker pull下来的镜像放哪儿了?

    本机docker版本 docker –version Docker version 1.进入docker 目录 root@Rightsec:~# cd /var/lib/docker root@Rig ...

  7. rename命令详解

    基础命令学习目录首页 原文链接:http://man.linuxde.net/rename 将main1.c重命名为main.c rename main1.c main.c main1.c renam ...

  8. 分布式高并发下全局ID生成策略

    数据在分片时,典型的是分库分表,就有一个全局ID生成的问题.单纯的生成全局ID并不是什么难题,但是生成的ID通常要满足分片的一些要求:   1 不能有单点故障.   2 以时间为序,或者ID里包含时间 ...

  9. HDU 1556 Color the ball (一维树状数组,区间更新,单点查询)

    中文题,题意就不说了 一开始接触树状数组时,只知道“单点更新,区间求和”的功能,没想到还有“区间更新,单点查询”的作用. 树状数组有两种用途(以一维树状数组举例): 1.单点更新,区间查询(即求和) ...

  10. c# 写文件注意问题及用例展示

    以txt写string举例,正确代码如下: private void xie() { FileStream fs = new FileStream("1.txt", FileMod ...