Codeforces1151E,F | 553Div2 | 瞎讲报告
E. Number of Components
- 当时思博了。。一直在想对于\([1,r]\)的联通块和\([1,l-1]\)的联通块推到\([l,r]\)的联通块...我真的是傻了。。这题明明很水啊..换做以前肯定是可以做出来的!(flag*1)
由于是一条链,那么我们考虑就算一个联通块中的最小节点为\(i\)对答案所产生的贡献...不就是满足\(i\)而不满足\(i-1\)的\([l,r]\)区间有多少个吗!(我真的好菜啊!这题明明很水!
F. Sonya and Informatics
神仙吧这题!
一直以为自己是懂矩阵优化DP的。。现在发现自己知道的东西真的只是一点皮毛而已呢!woc。。瞬间不想继续颓废下去了一看这个数据范围\(n \leq 100,k \leq 10^9\)
矩阵乘法!我们先考虑一个肥肠暴力的\(dp\)
再考虑矩阵乘法优化因为如果你要搞出一个非下降的那么一定是\(0\)在前面而\(1\)在后面的
设一共有\(zero\)个\(0\),\(one\)个\(1\)
那么我们就可以设\(dp[i][j]\)表示第\(i\)次操作使得前面\(zero\)个数中有\(j\)个\(0\)的方案数
最后所求即为\[\frac{dp[k][zero]}{(n*(n-1)/2)^{k}}\]
转移应该也还蛮好懂的趴!
\(dp[i][j]\) 可以转移到\(dp[i+1][j-1],dp[i+1][[j],dp[i+1][j+1]\)
那菜鸡博主就举个例子\(dp[i][j] \Rightarrow dp[i+1][j]\) 一步操作,前面\(zero\)里面\(0\)的个数并没有改变,那么一定是下面的请况
- \(1\)与\(1\)交换了 方案数为\(one*(one-1)/2\)
- \(0\)与\(0\)交换了 方案数为\(zero*(zero-1)/2\)
- 前面\(zero\)个数中\(0\)与\(1\)交换了 方案数为\(i*(zero-i)\)
- 后面的数\(0\)与\(1\)交换了 方案数为\((zero-i)*( one-(zero-i) )\)
转移即为
\[dp[i+1][j]=dp[i][j]*(one*(one-1)/2+zero*(zero-1)/2+i*(zero-i)+(zero-i)*(one-(zero-i)))\]
但是这个复杂度是\(O(nk)\)哒 显然过不了嘛
矩阵优化也很容易转换(好吧。对于我这只菜鸡来说并不QwQ.事实上,这题是将转移的系数进行了优化(
不知道这么说对不对。。)好像准确地来说应该是概率
即对于一个矩阵\(A[i][j]\) 表示从前\(zero\)个数中\(0\)的个数由\(i\)变成\(j\)的方案数
我们可以直接预处理出\(A[i][i],A[i][i+1],A[i][i-1]\) 这是转移一次的
转移\(k\)次 即将\(A\)这个矩阵乘个\(k\)遍就行了 矩阵快速幂用一下即可.
贴个代码趴!
#include<bits/stdc++.h>
#define fr(i,x,y) for(int i=x;i<=y;++i)
#define rf(i,x,y) for(int i=x;i>=y;--i)
#define ll long long
using namespace std;
const int N=110,mod=1e9+7;
struct data{
ll a[N][N];
}qx;
ll qwq,inv;
int n,k,b[N];
void Add(ll &x,ll y){
x=(x+y)%mod;
}
void Mul(ll &x,ll y){
x=(x*y)%mod;
}
ll add(ll x,ll y){
return (x+y)%mod;
}
ll mul(ll x,ll y){
return x*y%mod;
}
ll q_pow(ll x,int y){
ll ans=1;
for(;y;y>>=1){
if(y&1) Mul(ans,x);
Mul(x,x);
}
return ans;
}
data cal(data A,data B){
data C;
fr(i,0,n) fr(j,0,n){
C.a[i][j]=0;
fr(k,0,n) Add(C.a[i][j],mul(A.a[i][k],B.a[k][j]));
}
return C;
}
data ksm(data A,int y){
data B;
fr(i,0,n) fr(j,0,n) B.a[i][j]=(i==j);
for(;y;y>>=1){
if(y&1) B=cal(A,B);
A=cal(A,A);
}
return B;
}
ll cal(ll x){
return mul(mul(x,x-1),qwq);
}
int main(){
scanf("%d%d",&n,&k);
qwq=q_pow(2,mod-2),inv=q_pow(q_pow(cal(n),mod-2),k);
int zero=0,one=0;
fr(i,1,n){
scanf("%d",&b[i]);
if(b[i]) one++;
else zero++;
}
int nw=0;
fr(i,1,zero) if(!b[i]) nw++;
data gg;
fr(i,0,zero){
if(n-zero-zero+i<0) continue;
gg.a[i][i]=add(add(add(cal(zero),cal(one)),mul(i,zero-i)),mul(zero-i,one-zero+i));
gg.a[i][i+1]=mul(zero-i,zero-i);
if(i) gg.a[i][i-1]=mul(i,one-zero+i);
}
// fr(i,0,zero) fr(j,0,zero){
// printf("a[%d][%d]=%lld\n",i,j,gg.a[i][j]);
// }
gg=ksm(gg,k);
ll ans=mul(gg.a[nw][zero],inv);
cout<<ans<<endl;
return 0;
}
Codeforces1151E,F | 553Div2 | 瞎讲报告的更多相关文章
- Codeforces1101 | EducationalRound58 | 瞎讲报告
目录 Educational Codeforces Round 58 (Rated for Div. 2) A. Minimum Integer B. Accordion C. Division an ...
- Codeforces70 | Codeforces Beta Round #64 | 瞎讲报告
目录 前言 正文 A B C D E 前言 这个毒瘤的517 放了Div1 然后D题是昨天讲的动态凸包(啊喂!我还没来的及去写 结果自己想的是二分凸包 (当然没有写出来 写完前两题之后就愉快地弃疗 C ...
- AtCoder | ARC103 | 瞎讲报告
目录 ARC 103 A.//// B.Robot Arms C.Tr/ee D.Distance Sums ARC 103 窝是传送门QwQ A.//// 题意 : 给你\(n\)(\(n\)为偶数 ...
- AtCoder | ARC102 | 瞎讲报告
目录 ARC102 前言 正文 传送链接~ ARC102 前言 实在是太菜了....写完第一题就弃疗..感觉T3好歹也是道可做题吧!!然后T2怎么又是进制拆分! 正文 A 题意 给你两个数字\(n,k ...
- Codeforces1084 | Round526Div2 | 瞎讲报告
目录 A. The Fair Nut and Elevator B.Kvass and the Fair Nut C.The Fair Nut and String D.The Fair Nut an ...
- 【瞎讲】 Cayley-Hamilton 常系数齐次线性递推式第n项的快速计算 (m=1e5,n=1e18)
[背诵瞎讲] Cayley-Hamilton 常系数齐次线性递推式第n项的快速计算 (m=1e5,n=1e18) 看CSP看到一题"线性递推式",不会做,去问了问zsy怎么做,他并 ...
- [牛客网练习赛 45 F] Magic Slab 解题报告 (最大权闭合子图)
interlinkage: https://ac.nowcoder.com/acm/contest/847/F description: solution: 最大权闭合子图; 每个单元格看成一个正权点 ...
- [NOIP2018模拟赛10.25]瞎搞报告
闲扯 最近有点颓,都修到好晚,早上起来和吔shi一样难受 忍着困意把题面看完,发现啥也不会,又是一场写暴力的模拟赛 T1发现似乎可以DP,顺手码了个 T2像个最小瓶颈路板子,但是只做过N^2算法的.. ...
- golang代码中生成pprof和trace报告
// 生成 CPU 报告 import ( "context" "runtime/pprof" "log" ) func cpuProfil ...
随机推荐
- 【洛谷】【st表+模拟】P1311 选择客栈
[题目描述:] 丽江河边有n 家很有特色的客栈,客栈按照其位置顺序从 1 到n 编号.每家客栈都按照某一种色调进行装饰(总共 k 种,用整数 0 ~ k-1 表示),且每家客栈都设有一家咖啡店,每家咖 ...
- [Java123] JavaBean
https://stackoverflow.com/questions/3295496/what-is-a-javabean-exactly A JavaBean is just a standard ...
- 20145203盖泽双实验一 Java开发环境的熟悉(Linux + Eclipse)
实验一 Java开发环境的熟悉(Linux + Eclipse) 实验内容 1.使用JDK编译.运行简单的Java程序: 2.使用Eclipse 编辑.编译.运行.调试Java程序. 实验要求 1.没 ...
- mongodb的学习-3-在Mac上的安装配置
1.使用homebrew安装: brew install mongodb 查看安装好的版本: mongo --version MongoDB shell version v3.6.4 git vers ...
- mybatis框架下使用generator插件自动生成domain/mapping/mapper
手动去创建domain/mapping/mapper费时费力还容易出错,用插件自动生成非常的方便. 这里以MySQL数据库为例,也可以改成Oracle,改成相应的驱动和URL即可. 下载generat ...
- 名字&值
1)名字VS值 名字和内存(存储)位置相关联. 名字—(环境)———>位置——(状态)——>值 这两个映射都在随着程序的运行而改变. 2)环境VS状态 环境是指一个名字到存储位置映射,也可 ...
- Gym100025K
矩阵快速幂 设答案为f(i) 举个例子: 当i==2时,包含0的值有:10,20,30,40,50,60,70,80,90,100:0的个数为11,f(2)=11; i==3时;可以从i==2的情况递 ...
- jQuery----操作类样式(依托开关灯案例)
在网页开发中,元素的样式可以在style标签中定义,但是有很多案例需要添加类样式或者删除类样式,可以获取元素调用css()方法改变元素样式,但是这种方法很繁杂,本文利用开关灯案例,小结使用jquery ...
- Error message: “'chromedriver' executable needs to be available in the path”
下载一个chromedriver(https://chromedriver.storage.googleapis.com/index.html?path=2.44/) 直接把chromedriver. ...
- Verilog中使用'include实现参数化设计
前段时间在FPGA上用Verilog写了一个多端口以太网的数据分发模块,因为每个网口需要独立的MAC地址和IP地址,为了便于后期修改,在设计中使用parameter来定义这些地址和数据总线的位宽等常量 ...