题目传送门(内部题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. 所遇Oracle错误代码

    ORA-00905: 缺失关键字   少了空格或关键字写错 ORA-00922: 选项缺失或无效 错误原因:一般是语句的语法有问题.比如命名不对,关键字写错等等.对于非标准的命名,一般采用双引号来创建 ...

  2. linux 正则表达式 使用grep命令

    最常应用正则表达式命令是 awk sed grep [root@MongoDB ~]# cat mike.log I am mike! I like linux. I like play footba ...

  3. tensorflow学习笔记三----------基本操作

    tensorflow中的一些操作和numpy中的很像,下面列出几个比较常见的操作 import tensorflow as tf #定义三行四列的零矩阵 tf.zeros([3,4]) #定义两行三列 ...

  4. Python 入门之Python简介

    Python 入门之Python简介 1.Python简介: (1) Python的出生: ​ python的创始人为吉多·范罗苏姆(Guido van Rossum)(中文名字:龟叔).1989年的 ...

  5. http-proxy-middleware

    概述 这是设置代理的神器,webpack的devServer.proxy就是使用了非常强大的 http-proxy-middleware 包.Node.js代理很简单. 轻松配置代理中间件进行连接,发 ...

  6. activemq高可用

    这里是基于 zookeeper 选举方式实现的集群配置,服务器过半数才可提供服务,所以是2n+1台这里以三台为例. 只有master节点能提供服务,slave节点无法提供服务,只有当master节点挂 ...

  7. git将某个分支的代码完全覆盖另一个分支

    假设每个人有个开发分支,想隔一段时间就把自己的开发分支上的代码保持和测试分支一直,则需要如下操作: 1.我想将test分支上的代码完全覆盖dev分支,首先切换到dev分支git checkout de ...

  8. C++ constexpr

    1.constexpr 1.const与constexpr: const: 承若不改变这个值,主要用于说明接口,这样在把变量传入函数时就不必担心变量会在函数内被改变了,编译器负责确认并执行const的 ...

  9. python 查询Neo4j多节点的多层关系

    需求:查询出满足3人及3案有关系的集合 # -*- coding: utf-8 -*- from py2neo import Graph import psycopg2 # 二维数组查找 def fi ...

  10. 2019-8-31-MobaXterm-使用代理

    title author date CreateTime categories MobaXterm 使用代理 lindexi 2019-08-31 16:55:58 +0800 2018-02-13 ...