topcoder srm 686 div1
problem1 link
左括号和右括号较少的一种不会大于20。假设左括号少。设$f[i][mask][k]$表示处理了前$i$个字符,其中留下的字符以$k$开头($k=0$表示'(',$k=1$表示'['),且所有留下的字符状态为$mask$,($mask$的最高位为1,其他位为0表示另一种括号,否则表示跟最高位相同的符号)。
problem2 link
给定$n,m$,$n$个数字的排列有$n!$种,设其中某一种为$P_{i}$,设$P_{i}$中循环的个数$f(P_{i})=t_{i}$,那么$P_{i}$对答案的贡献为$t_{i}^{m}$。设所有排列的集合为$S$,计算$\sum_{P_{i}\in S}f(P_{i})^{m}$。$1\leq n\leq 100000,0\leq m\leq 300$
给出一些定义:
(1)第一类斯特灵数:$s(n,k)$,表示将$n$个元素排列成$k$个轮换的个数,递推公式:$s(n,k)=(n-1)s(n-1,k)+s(n-1,k-1),n>0$
(2)第二类斯特灵数:$S(n,k)$,表示将$n$个元素分成$k$个非空集合的方案数,递推公式:$S(n,k)=k*S(n-1,k)+S(n-1,k-1),n>0$
(3)$x^{n}=\sum_{k=0}^{n}S(n,k)x(x-1)...(x-k+1),n\geq 0$.这个可以用数学归纳法证明。
(4)$x(x+1)...(x+n-1)=\sum_{k=0}^{n}s(n,k)x^{k},n\geq 0$.这个可以用数学归纳法证明。
==========分隔符=========
现在回到题目。需要求的是$ans=\sum_{k=0}^{n}s(n,k)k^{m}$,借助上面第(3)个公式得到:
$ans=\sum_{k=0}^{n}s(n,k)k^{m}$
$=\sum_{k=0}^{n}s(n,k)\sum_{t=0}^{m}S(m,t)k(k-1)...(k-t+1)$
$=\sum_{t=0}^{m}S(m,t)\sum_{k=0}^{n}s(n,k)k(k-1)...(k-t+1)$
现在考虑 $\sum_{k=0}^{n}s(n,k)k(k-1)...(k-t+1)$
对公式(4)两端求$t$阶导数得到:$(x(x+1)...(x+n-1))^{(t)}=\sum_{k=0}^{n}s(n,k)k(k-1)...(k-t+1)x^{k-t}$.
如果令$x=1$就得到了$\sum_{k=0}^{n}s(n,k)k(k-1)...(k-t+1)$。
现在就是需要计算$(x(x+1)...(x+n-1))^{(t)}_{x=1}$的值。
令$u=x-1$,那么就是求$((u+1)(u+2)...(u+n))^{(t)}_{u=0}$的值。
$(u+1)(u+2)...(u+n)=a_{n,0}+a_{n,1}u+...+a_{n,t}u^{t}+...+a_{n,n}u^{n}$
现在只需要计算出$a_{n,t}$即可,那么$\sum_{k=0}^{n}s(n,k)k(k-1)...(k-t+1)=a_{n,t}*t!$
下面用数学归纳法证明:$a_{n,t}=s(n+1,t+1)$.
(1)假设$t$固定,小于等于$n-1$时均成立;即$a_{n-1,t}=s(n,t+1)$.
(2)对于$(u+1)(u+2)...(u+n)中$中$u_{t}$的系数的所有项是由$n$项中选出$n-t$项的乘积组成的。那么如果某一项乘积包含$n$时,就是$n*a_{n-1,t}=n*s(n,t+1)$;如果不包含$n$,那么就是由$[1,n-1]$中任意选出$n-t$项,这其实就是$a_{n-1,t-1}=s(n,t)$。
所以$(u+1)(u+2)...(u+n-1)$中$u_{t}$的系数$a_{n,t}=n*s(n,t+1)+s(n,t)=s(n+1,t+1)$.
problem3 link
一顿乱搜。
code for problem1
#include <algorithm>
#include <cstring>
#include <string> constexpr int kMAXN = 20; long long f[2][1 << kMAXN][2]; class BracketSequenceDiv1 {
public:
long long count(std::string s) {
int n = static_cast<int>(s.size());
int num = 0;
for (int i = 0; i < n; ++i) {
if (s[i] == '(' || s[i] == '[') {
++num;
}
}
if (num > n - num) {
std::reverse(s.begin(), s.end());
for (int i = 0; i < n; ++i) {
if (s[i] == '(') {
s[i] = ')';
} else if (s[i] == ')') {
s[i] = '(';
} else if (s[i] == '[') {
s[i] = ']';
} else {
s[i] = '[';
}
}
num = n - num;
} int pre = 0, cur = 1;
memset(f[pre], 0, sizeof(f[pre]));
f[0][0][0] = 1;
for (int i = 1; i <= n; ++i) {
char c = s[i - 1];
memset(f[cur], 0, sizeof(f[cur]));
for (int j = 0; j < (1 << num); ++j) {
for (int k = 0; k < 2; ++k) {
long long p = f[pre][j][k];
if (p == 0) {
continue;
}
f[cur][j][k] += p;
if (c == '(') {
if (j == 0) {
f[cur][1][0] += p;
} else {
f[cur][j << 1 | (k ^ 1)][k] += p;
}
} else if (c == '[') {
if (j == 0) {
f[cur][1][1] += p;
} else {
f[cur][j << 1 | k][k] += p;
}
} else if (c == ')') {
if (j != 0 && (k ^ (j & 1)) != 0) {
f[cur][j >> 1][k] += p;
}
} else {
if (j != 0 && (0 == (k ^ (j & 1)))) {
f[cur][j >> 1][k] += p;
}
}
}
}
pre ^= 1;
cur ^= 1;
}
return f[pre][0][0] + f[pre][0][1] - 1;
}
};
code for problem2
#include <vector> constexpr int N = 101000;
constexpr int kMod = 1000000007; int g[N][305]; int p[N]; int S[305][305]; class CyclesNumber {
public:
std::vector<int> getExpectation(const std::vector<int> &n,
const std::vector<int> &m) {
p[0] = 1;
for (int i = 1; i < N; ++i)
p[i] = static_cast<int>(1ll * p[i - 1] * i % kMod); S[0][0] = 1;
S[1][1] = 1;
S[2][1] = S[2][2] = 1;
for (int i = 3; i <= 300; ++i) {
for (int k = 1; k <= i; ++k) {
S[i][k] =
static_cast<int>((1ll * k * S[i - 1][k] + S[i - 1][k - 1]) % kMod);
}
} g[0][0] = 1;
g[1][1] = 1;
g[2][1] = g[2][2] = 1;
for (int i = 3; i < N; ++i) {
for (int j = 1; j <= 301; ++j) {
g[i][j] = static_cast<int>(
(1ll * (i - 1) * g[i - 1][j] + g[i - 1][j - 1]) % kMod);
}
} int num = static_cast<int>(n.size()); std::vector<int> result(num);
for (int i = 0; i < num; ++i) {
result[i] = Cal(n[i], m[i]);
}
return result;
} private:
void Add(int &x, int y) {
x += y;
if (x >= kMod) {
x -= kMod;
}
} int Cal(int n, int m) {
if (m == 0) {
return p[n];
}
if (n == 1) {
return 1;
} int ans = 0;
for (int t = 1; t <= m; ++t) {
Add(ans, static_cast<int>(1ll * S[m][t] * p[t] % kMod * g[n + 1][t + 1] %
kMod));
}
return ans;
}
};
code for problem3
#include <algorithm>
#include <vector> class XorPuzzle {
public:
std::vector<int> find(int k, const std::vector<int> a) {
int n = static_cast<int>(a.size());
int m = 1 << k;
if (n == m) {
int s = 0;
for (int x : a) {
s ^= x;
}
if (s != 0) {
return {-1};
}
}
std::vector<int> b(m);
std::vector<int> c(m);
for (int i = 0; i < m; ++i) {
b[i] = c[i] = i;
}
for (int i = 0; i < n; ++i) {
if (a[i] == (b[i] ^ c[i])) {
continue;
}
int j = i;
while (j <= i) {
if (j == i) {
std::random_shuffle(b.begin() + j, b.end());
}
int p = 0;
while (c[p] != (a[j] ^ b[j])) {
++p;
}
std::swap(c[p], c[j]);
if (p >= i) {
break;
} else {
int t = 0;
while (b[t] != (a[p] ^ c[p])) {
++t;
}
std::swap(b[t], b[p]);
j = t;
}
}
}
std::vector<int> result(n * 2);
std::copy(b.begin(), b.begin() + n, result.begin());
std::copy(c.begin(), c.begin() + n, result.begin() + n);
return result;
}
};
topcoder srm 686 div1的更多相关文章
- Topcoder SRM 643 Div1 250<peter_pan>
Topcoder SRM 643 Div1 250 Problem 给一个整数N,再给一个vector<long long>v; N可以表示成若干个素数的乘积,N=p0*p1*p2*... ...
- Topcoder Srm 726 Div1 Hard
Topcoder Srm 726 Div1 Hard 解题思路: 问题可以看做一个二分图,左边一个点向右边一段区间连边,匹配了左边一个点就能获得对应的权值,最大化所得到的权值的和. 然后可以证明一个结 ...
- topcoder srm 714 div1
problem1 link 倒着想.每次添加一个右括号再添加一个左括号,直到还原.那么每次的右括号的选择范围为当前左括号后面的右括号减去后面已经使用的右括号. problem2 link 令$h(x) ...
- topcoder srm 738 div1 FindThePerfectTriangle(枚举)
Problem Statement You are given the ints perimeter and area. Your task is to find a triangle wi ...
- Topcoder SRM 602 div1题解
打卡- Easy(250pts): 题目大意:rating2200及以上和2200以下的颜色是不一样的(我就是属于那个颜色比较菜的),有个人初始rating为X,然后每一场比赛他的rating如果增加 ...
- Topcoder SRM 627 div1 HappyLettersDiv1 : 字符串
Problem Statement The Happy Letter game is played as follows: At the beginning, several players ...
- Topcoder SRM 584 DIV1 600
思路太繁琐了 ,实在不想解释了 代码: #include<iostream> #include<cstdio> #include<string> #include& ...
- TopCoder SRM 605 DIV1
604的题解还没有写出来呢.先上605的. 代码去practice房间找. 说思路. A: 贪心,对于每个类型的正值求和,如果没有正值就取最大值,按着求出的值排序,枚举选多少个类型. B: 很明显是d ...
- topcoder srm 575 div1
problem1 link 如果$k$是先手必胜那么$f(k)=1$否则$f(k)=0$ 通过对前面小的数字的计算可以发现:(1)$f(2k+1)=0$,(2)$f(2^{2k+1})=0$,(3)其 ...
随机推荐
- MACD 下0轴后,强力=7上0轴的实例:
MACD 下0轴后,强力=7上0轴的实例: 虽然再上0轴,但是由于是强力上,必须有缓解期.缓解期后MACD开始收口,虽然没有下0轴,但是开始趋向死叉. 由于并没有很强的做多市场环境,MACD只是略高于 ...
- webpack使用三
Webpack的强大功能 生成Source Maps(使调试更容易) 开发总是离不开调试,方便的调试能极大的提高开发效率,不过有时候通过打包后的文件,你是不容易找到出错了的地方,对应的你写的代码的位置 ...
- jQuery-表格属性
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/ ...
- 切记!pycharm向mysql数据库添加数据过程
python 导入包import requests 以爬取腾讯招聘网的招聘信息为例:(完整代码) import requestsfrom lxml import etreeimport pymys ...
- (转)使用yuicompressor-maven-plugin压缩js及css文件(二)
本文介绍通过使用yuicompressor-maven-plugin插件实现js及css代码的自动压缩,方便集成到持续集成环境中,如jenkins. 一.配置yuicompressor-maven-p ...
- itextsharp display:none无效的bug
在使用itextsharp实现 html 2 pdf时,发现display:none无效.如 <div style="display: none">应该隐藏</d ...
- RAMPS1.4 3D打印控制板:软件下载\连接\安装\测试
RAMPS1.4 3D打印控制板:软件下载\连接\安装\测试 特别说明: 电源接反,电机驱动板接反将有可能烧毁芯片和电路,请再三确认后再进行通电. 如何使用: 1.需要用到的模块或器件: Arduin ...
- linux 查看python安装路径,版本号
一.想要查看ubuntu中安装的python路径 方法一:whereis python 方法二:which python 二.想要查看ubuntu中安装的python版本号 python ...
- Beta分布深入理解
一些公式 Gamma函数 (1) 贝叶斯公式 (2) 贝叶斯公式计算二项分布概率 现在有一枚未知硬币,我们想要计算抛出后出现正面的概率.我们使用贝叶斯公式计算硬币出现正面的概率.硬币出现正反率的概率和 ...
- Flask的请求对象--request
request-Flask的请求对象 请求解析和响应封装大部分是有Werkzeug完成的,Flask子类化Werkzeug的请求(Request)对象和响应(Response)对象,并添加了和程序的特 ...