题目传送门(内部题5)


输入格式

一行两个整数$k$、$mod$,意义见上。


输出格式

一行一个整数,代表答案。


样例

样例输入1:

2 100

样例输出1:

9

样例输入2:

3 1000

样例输出2:

245

样例输入3:

20 998244353

样例输出3:

450500168


数据范围与提示

样例解释:
对于第一组样例,将节点如图编号,共有9条不同的路径:1,2,3,1-2,2-1,1-3,3-1,2-1-3,3-1-2。

限制与约定:

对于$10\%$的数据,$k \leqslant 4$。
对于$40\%$的数据,$k \leqslant 10$。
对于$60\%$的数据,$k \leqslant 100$。
另有$10\%$的数据,$mod=998244353$。
对于所有数据,$1 \leqslant k \leqslant 300,1 \leqslant mod \leqslant {10}^9$。


题解

有谁能想到$DP$?举个爪

显然k-超级树是由两个$(k-1)-$超级树合在一起加了个根组成的。

那么好吧,确定了是个$DP$,但是又有谁能想到$DP$的意义呢?

定义$dp[i][j]$表示一棵$i-$超级树,有$j$条没有公共点的路径的方案数。

好像说的有点乱,那么我们拿样例来唠两句:

$dp[2][1]=9$,这很显然,就是样例解释中那$9$种方案。

$dp[2][2]=7$,这七种方案分别是$(1,2)$,$(1,3)$,$(2,3)$,$(2,1-3)$,$(2,3-1)$,$(3,1-2)$,$(3,2-1)$。

$dp[2][3]=1$,这种方案是$(1,2,3)$。

$dp[2][4]=0$,因为一共只有$3$个点,所以我们找不到方案了。

现在开始来推式子吧~

我们来考虑$dp[i]$对$dp[i+1]$的贡献:枚举左子树的路径条数l和有子树的路径条数$r$,记$num=dp[i][l] \times dp[i][r]$。

转移分一下五种情况:

  $1.$什么也不做:$dp[i+1][l+r]+=num$。

  $2.$跟自己作为一条新路径:$dp[i+1][l+r+1]+=num$,不要忘了根本身还有一条。

  $3.$根连接到左子树(或右子树)的某条路径上:$dp[i+1][l+r]+=2 \times num \times (l+r)$。

    对于$3$的理解:从左子树里选一条边,延长其终点,连接根的路径条数为$sum \times l$;同理,将起点做如上操作,路径条数也为$sum \times l$;再同理,右子树也是这种操作,路径条数为$2 \times sum \times r$;总的路径条数即为:$dp[i+1][l+r]+=2 \times num \times (l+r)$。

  $4.$根连接左子树和右子树的各一条路径:$dp[i+1][l+r-1]+=2 \times num \times l \times r$。

    对于$4$的理解:从左子树中选一条边,延长其终点,经根节点连向有子树中一条边的起点,路径条数为:$sum \times l \times r$;同理,从右子树中选一条边也是如此,总的路径条数为:$dp[i+1][l+r-1]+=2 \times num \times l \times r$。

  $5.$根连接左子树(或右子树)的两条路径:$dp[i+1][l+r-1]+=num \times (l \times (l-1)+r \times (r-1))$。

    对于$5$的理解:左子树中选一条边的终点连向根节点,再将这条边继续延长,连向做字数中另外一条边的起点,路径条数为:$num \times (l \times (l-1))$;右子树中也是如此,路径条数为:$num \times (r \times (r-1))$;总的路径条数即为:$dp[i+1][l+r-1]+=num \times (l \times (l-1)+r \times (r-1))$。

边界为$dp[1][0]=dp[1][1]=1$,答案为$dp[k][1]$。

看起来第二维状态可能有$2^k$那么大,但注意到从$dp[i]$转移到$dp[i+1]$时,路径的条数最多减少1条,因此第二维只有$k$个状态对最终的状态有影响,只$dp$这些状态即可。

时间复杂度$O(k^3)$。


代码时刻

#include<bits/stdc++.h>
using namespace std;
int k;
long long mod,num;
long long dp[310][310];
int main()
{
dp[1][0]=dp[1][1]=1;
scanf("%d%lld",&k,&mod);
for(int i=1;i<k;i++)
for(int l=0;l<=k-i+1;l++)
for(int r=0;r<=k-i-l+2;r++)
{
num=dp[i][l]*dp[i][r]%mod;
dp[i+1][l+r]=(dp[i+1][l+r]+num)%mod;//情况1
dp[i+1][l+r+1]=(dp[i+1][l+r+1]+num)%mod;//情况2
dp[i+1][l+r]=(dp[i+1][l+r]+2*num*(l+r))%mod;//情况3
dp[i+1][l+r-1]=(dp[i+1][l+r-1]+2*num*l*r)%mod;//情况4
dp[i+1][l+r-1]=(dp[i+1][l+r-1]+num*(l*(l-1)+r*(r-1)))%mod;//情况5
}
printf("%lld",dp[k][1]%mod);
return 0;
}

rp++

[CSP-S模拟测试]:超级树(DP)的更多相关文章

  1. 【NOIP模拟赛】超级树 DP

    这个题我在考试的时候把所有的转移都想全了就是新加一个点时有I.不作为II.自己呆着III.连一个IV.连接两个子树中的两个V连接一个子树中的两个,然而V我并不会转移........ 这个题的正解体现了 ...

  2. [CSP-S模拟测试]:F(DP+线段树)

    题目传送门(内部题49) 输入格式 第一行四个整数$n,q,a,b$.接下来$n$行每行一个整数$p_i$. 输出格式 一行一个整数表示答案. 样例 样例输入: 10 3 3 7 样例输出: 数据范围 ...

  3. [CSP-S模拟测试]:最小值(DP+乱搞)

    题目背景 $Maxtir$更喜欢序列的最小值. 题目传送门(内部题128) 输入格式 第一行输入一个正整数$n$和四个整数$A,B,C,D$. 第二行输入$n$个整数,第$i$个数表示$a_i$. 输 ...

  4. [CSP-S模拟测试]:题(DP)

    题目描述 由于出题人赶时间所以没办法编故事来作为背景.一开始有$n$个苹果,$m$个人依次来吃苹果,第$i$个人会尝试吃$u_i$或$v_i$号苹果,具体来说分三种情况.$\bullet 1.$两个苹 ...

  5. [CSP-S模拟测试]:tree(DP)

    题目传送门(内部题57) 输入格式 第一行包含一个数:$n$表示树的节点数.接下来$n-1$行,每行包含两个数:$u,v$表示无根树的一条边. 输出格式 输出$n$行,第$i$行包含一个浮点数,保留三 ...

  6. [CSP-S模拟测试]:biology(DP)

    题目传送门(内部题23) 输入格式 第一行有$2$个整数$n,m$.接下来有$n$行,每行$m$个整数,表示$a$数组.接下来有$n$行,每行$m$个整数,表示$b$数组. 输出格式 一行一个整数表示 ...

  7. HZOI2019 超级树 dp

    题面:https://www.cnblogs.com/Juve/articles/11207540.html(密码)————————————————>>> 题解: 官方题解: 考虑d ...

  8. [CSP-S模拟测试]:B(DP+数学)

    题目传送门(内部题45) 输入格式 第一行$3$个整数$n,m,P$.第二行$m$个整数,表示$m$次询问. 输出格式 一行$m$个整数表示答案. 样例 样例输入1: 2 4 40 1 2 3 样例输 ...

  9. [CSP-S模拟测试]:蛇(DP+构造+哈希)

    题目传送门(内部题140) 输入格式 前两行有两个长度相同的字符串,描述林先森花园上的字母. 第三行一个字符串$S$. 输出格式 输出一行一个整数,表示有多少种可能的蛇,对$10^9+7$取模. 样例 ...

随机推荐

  1. CentOSLinux安装Docker容器

    Docker 使用 环境说明 CentOS 7.3(不准确地说:要求必须是 CentOS 7 64位) 不建议在 Windows 上使用 Docker 基本概念 官网:https://www.dock ...

  2. MySQL的事务和视图

    事务 1.概念 一条或者多条sql语句的集合! 事务:就是一堆操作的集合,他们同生共死.要么都执行成功,要么都执行失败2.事务的特性  ACID  A:原子性  完整的,不可分割的 原子性 (Atom ...

  3. 2019上海网络赛B题(差分 + 离散化 or 差分 + 思维)

    这题.....队里都没怎么训练差分,导致败北...写了一堆线段树嘤嘤嘤,到最后也是超时,比赛结束后看到了差分的思想于是就去学了一手. 其实了解差分思想的一眼就能看出来是差分了.但是如果对n差分的话很明 ...

  4. FHJ学长的心愿 QDUOJ 数论

    FHJ学长的心愿 原题链接,点我进去 题意 给你一个数N,让你求在\[C^{0}_{n} \ C^{1}_{n}\ C^{2}_{n}\ \dots \ C^{n}_{n}\]中有几个组合数是奇数. ...

  5. 微信小程序css篇----flex模型

    一.Flex布局是什么? Flex是Flexible Box的缩写,意为"弹性布局",用来为盒状模型提供最大的灵活性. 任何一个容器都可以指定为Flex布局. .box{displ ...

  6. css控制文本内容显示省略号

    1,单行文字显示省略号 div{ width:200px; overflow:hideen; white-space:nowrap; text-overflow:ellipsis; } 2,多行文字显 ...

  7. React中配置Sass引入.scss文件无效

    React中配置Sass引入.scss文件无效 在react中使用sass时,引入.scss文件失效尝试很多方法没法解决,最终找到解决方法,希望能帮助正在坑里挣扎的筒子~ 在node_modules文 ...

  8. 自定义UICollectionLayout

    #import "AppDelegate.h"#import "CircleLayout.h"#import "CollectionViewDataS ...

  9. linux 启动和关闭 MySQL

    建议使用 mysqld_safe 命令启动,因为该命令添加了安全特性,当服务器发生错误时自动重启并且 把运行信息记录错误发送到日志文件!命令格式如下: mysqld_safe options 命令的常 ...

  10. 95-基于FMC接口的2路CameraLink Base输出子卡模块

    基于FMC接口的2路CameraLink Base输出子卡模块 1.板卡概述 FMC连接器是一种高速多pin的互连器件,广泛应用于板卡对接的设备中,特别是在xilinx公司的所有开发板中都使用.该Ca ...