LINK


有n个大号和m个小号

然后需要对这些号进行匹配,一个大号最多匹配2个小号

匹配条件是大号和小号构成了前缀关系

字符串长度不超过10

问方案数


思路

因为要构成前缀关系

所以就考虑在trie树上dp

\(f_{i,j,k}\)表示i的子树中,还需要来自祖先的j个小号,并且有需要匹配但是没有匹配的小号k个

然后如果当前是一个大号节点

可以从子树中选一个小号

\(f_{u,j,k - 1}<=f_{v,j,k} * k\)

可以从子树中选两个小号

\(f_{u,j,k - 2}<=f_{v,j,k} * (\frac{k *(k - 1)}{2})\)

可以从祖先中选一个小号

\(f_{u,j+1, k}<=f_{u,j,k}\)

可以从祖先中选两个小号(因为在祖先中需要选择两次,避免重复计算这里除以2)

\(f_{u,j+2,k}<=f_{u,j,k}*\frac{1}{2}\)

可以从祖先选一个子树选一个

\(f_{u,j+1,k-1}<=f_{u,j,k}*k\)

这里我们考虑等价选择的多种方案的时候只在深度浅的地方算

然后实际上如果是小号节点,同理就好了


#include<bits/stdc++.h>

using namespace std;

const int N = 1e5 + 10;
const int Mod = 1e9 + 7;
const int CHARSET_SIZE = 26; int add(int a, int b) {
return (a += b) >= Mod ? a - Mod : a;
} int mul(int a, int b) {
return 1ll * a * b % Mod;
} struct Node {
int ch[CHARSET_SIZE], typ;
void init() {
typ = 0;
memset(ch, 0, sizeof(ch));
}
} p[N]; int tot = 0, n, m;
char c[N];
int f[N][12][22], g[N][12][22]; void init() {
tot = 1;
p[1].init();
} void insert(char *s, int typ) {
int len = strlen(s + 1), u = 1;
for (int i = 1; i <= len; i++) {
int cur = s[i] - 'a';
if (!p[u].ch[cur])
p[p[u].ch[cur] = ++tot].init();
u = p[u].ch[cur];
}
p[u].typ = typ;
} void dfs(int u) {
for (int i = 0; i <= 10; i++)
for (int j = 0; j <= 20; j++)
f[u][i][j] = g[u][i][j] = 0;
f[u][0][0] = 1;
for (int i = 0; i < CHARSET_SIZE; i++) {
int v = p[u].ch[i];
if (!v) continue;
dfs(v);
for (int j = 10; j >= 0; j--)
for (int k = 20; k >= 0; k--) if (f[u][j][k])
for (int l = 0; l <= 10 - j; l++)
for (int t = 0; t <= 20 - k; t++)
g[u][j + l][k + t] = add(g[u][j + l][k + t], mul(f[u][j][k], f[v][l][t]));
for (int j = 0; j <= 10; j++)
for (int k = 0; k <= 20; k++) {
f[u][j][k] = g[u][j][k];
g[u][j][k] = 0;
}
}
if (!p[u].typ) return;
for (int i = 0; i <= 10; i++) {
for (int j = 0; j <= 20; j++) if (f[u][i][j]) {
if (p[u].typ == 1) {
if (i + 1 <= 10)
g[u][i + 1][j] = add(g[u][i + 1][j], f[u][i][j]);
if (j - 1 >= 0)
g[u][i][j - 1] = add(g[u][i][j - 1], mul(j, f[u][i][j]));
if (i + 2 <= 10)
g[u][i + 2][j] = add(g[u][i + 2][j], mul((Mod + 1) >> 1, f[u][i][j]));
if (j - 2 >= 0)
g[u][i][j - 2] = add(g[u][i][j - 2], mul((j * (j - 1)) >> 1, f[u][i][j]));
if (i + 1 <= 10 && j - 1 >= 0)
g[u][i + 1][j - 1] = add(g[u][i + 1][j - 1], mul(j, f[u][i][j]));
} else {
if (i - 1 >= 0)
g[u][i - 1][j] = add(g[u][i - 1][j], mul(i, f[u][i][j]));
if (j + 1 <= 20)
g[u][i][j + 1] = add(g[u][i][j + 1], f[u][i][j]);
}
}
}
for (int i = 0; i <= 10; i++)
for (int j = 0; j <= 20; j++)
f[u][i][j] = add(f[u][i][j], g[u][i][j]);
} void solve(int cas) {
init();
scanf("%d %d", &n, &m);
for (int i = 1; i <= n; i++) {
scanf("%s", c + 1);
insert(c, 1);
}
for (int i = 1; i <= m; i++) {
scanf("%s", c + 1);
insert(c, 2);
}
dfs(1);
printf("Case #%d: %d\n", cas, f[1][0][0]);
} int main() {
int T; scanf("%d", &T);
for (int i = 1; i <= T; i++)
solve(i);
return 0;
}

最新文章

  1. 1Z0-053 争议题目解析330
  2. c#文件读入与写入
  3. jmx完整示例
  4. 【JDBC 报错】Connections could not be acquired from the underlying database!
  5. CentOS6.4 增加一个SFTP上传的用户
  6. MVC 修饰标签
  7. Unable to find vcvarsall.bat解决方法
  8. State 状态模式
  9. [转] iOS SDK:iOS调试技巧
  10. sybase从表A创建表B
  11. hbase中Compaction的理解及RegionServer内存的使用,CacheBlock机制
  12. 我是如何确认线上CLOSE_WAIT产生的原因及如何解决的。
  13. [C#]在 DotNetCore 下的 Swagger UI 自定义操作
  14. 散列表(has table、哈希表)
  15. 基础环境系列:MySQL8.0.12
  16. Python全栈-day14-模块和包
  17. 关于js的日期处理
  18. 百度云的ubuntu16.04.1部署Apache服务器+Django项目
  19. SRM387 div1
  20. java中得到文件MIME类型的几种方法(转)

热门文章

  1. js 转义
  2. scRNA-seq单细胞测序数据分析工具汇总
  3. Confluence 6 导入 Active Directory 服务器证书 - Windows
  4. Tree Cutting (Hard Version) CodeForces - 1118F2 (树形DP,计数)
  5. homestead 添加新站点
  6. 项目构建工具gradle
  7. iOS开发-开发文档安装
  8. 【转】json与jsonp区别浅析(json才是目的,jsonp只是手段)
  9. 获取和设置消息队列的属性msgctl,删除消息队列
  10. learning shell args handing key=value example (2)