题意

给出\(n\),\(m\),\(mu\),问有多少个序列组\((A_0,A_1,\dots,A_n)\)满足:

  • 序列\(Ai\)的长度恰好为\(i\)
  • 所有元素均在\([1,m]\)
  • \(A_{i−1}\)是\(A_i\)的子序列
  • \(A_i\)的字典序大于\(A_{i−1}\)

答案模\(mu\)输出。

\(n,k \le 300\)

传送门

思路

又是一道神仙\(dp\)

一个很重要的思路:把数从小往大插入

当我们插入\(i\)时,因为数列中的数都是\(\le i\)的,所以\(i\)插在所有位置都是可以的

例如:\(1323\),考虑插入\(3\)

最前面:\(31323\);一:\(13323\);二:\(13323\);三:\(13233\);四:\(13233\)

不过同时我们也发现:会算重。而且是当插到\(i\)前面的时候

所以我们强行规定相同数一定要插在后面就可以了。

我们记录\(dp[i][j][k]\)表示当前进行到第\(i\)个操作,放到数字\(j\),有\(k\)个数后可以放(注意这意味着有\(k+1\)种,因为开头也是可以放的)。

转移:

  • \(dp[i][j][k - 1]+= dp[i][j][k] (k>0)\)表示这个位置的数后不放
  • \(dp[i][j + 1][i] += dp[i][j][k] (k=0)\)\(j\)已经不能放了,从\(j+1\)新开始放(不存在相同的,所以所有数后都能放)
  • \(dp[i + 1][j][k] += dp[i][j][k]*(k + 1)\) 表示我们放置这个数,放这个数有\(k+1\)中选择。

代码十分简短

参考

#include <bits/stdc++.h>
#define upd(x,y) x=(x+y>=mu?x+y-mu:x+y)
int n,m,mu,dp[305][305][305];
int main(){
scanf("%d%d%d",&n,&m,&mu);
dp[0][1][0]=1;
for (int i=0;i<=n;i++)
for (int j=1;j<=m;j++)
for (int k=i;k>=0;k--){
if (k) upd(dp[i][j][k-1],dp[i][j][k]);
else upd(dp[i][j+1][i],dp[i][j][k]);
upd(dp[i+1][j][k],1ll*dp[i][j][k]*(k+1)%mu);
}
printf("%d",dp[n][m][0]);
}

AGC024E Sequence Growing Hard的更多相关文章

  1. AtCoder - 3962 Sequence Growing Hard

    Problem Statement Find the number of the possible tuples of sequences (A0,A1,…,AN) that satisfy all ...

  2. [AtCoder Grand Contest 024 Problem E]Sequence Growing Hard

    题目大意:考虑 N +1 个数组 {A0,A1,…,AN}.其中 Ai 的长度是 i,Ai 内的所有数字都在 1 到 K 之间. Ai−1 是 Ai 的子序列,即 Ai 删一个数字可以得到 Ai−1. ...

  3. AGC024C Sequence Growing Easy

    题目大意 你开始有一个序列x 它所有项都是0 你有一个操作:x[i]=x[i-1]+1 问你至少几次操作可以让x序列变为给定的a序列 分析 老年人完全不会这种脑子题/kk........ 我们定义b[ ...

  4. Atcoder Grand Contest 024 E - Sequence Growing Hard(dp+思维)

    题目传送门 典型的 Atcoder 风格的计数 dp. 题目可以转化为每次在序列中插入一个 \([1,k]\) 的数,共操作 \(n\) 次,满足后一个序列的字典序严格大于前一个序列,问有多少种操作序 ...

  5. 【AtCoder】AGC024

    A - Fairness 如果奇数次是b - a 否则是a - b #include <bits/stdc++.h> #define fi first #define se second ...

  6. 【SPOJ】MGLAR10 - Growing Strings

    Gene and Gina have a particular kind of farm. Instead of growing animals and vegetables, as it is us ...

  7. 【规律】Growing Rectangular Spiral

    Growing Rectangular Spiral 题目描述 A growing rectangular spiral is a connected sequence of straightline ...

  8. oracle SEQUENCE 创建, 修改,删除

    oracle创建序列化: CREATE SEQUENCE seq_itv_collection            INCREMENT BY 1  -- 每次加几个              STA ...

  9. Oracle数据库自动备份SQL文本:Procedure存储过程,View视图,Function函数,Trigger触发器,Sequence序列号等

    功能:备份存储过程,视图,函数触发器,Sequence序列号等准备工作:--1.创建文件夹 :'E:/OracleBackUp/ProcBack';--文本存放的路径--2.执行:create or ...

随机推荐

  1. ROUTE: route addition failed

    ROUTE: route addition failed 1)报FlushIpNetTable failed on interface错误 应对:以管理员身份运行OpenV-P-N 2)报Warnin ...

  2. meta标签常见浏览器设置

    一.如何让双核浏览器默认选择 WebKit 内核渲染自己开发的网页 我们可以使用标签来指定适合自己网站的渲染内核名称,当双核浏览器访问本网页时,就会根据我们的指示,选择我们指定的渲染内核来处理网页.若 ...

  3. Java 之 Collections 工具类

    一.Collections 概述 java.utils.Collections 是集合工具类,用来对集合进行操作. 二.常用方法 public static <T> boolean add ...

  4. Android ANR总结

    1.ANR定义 ANR的全称是application not responding,是指应用程序未响应,Android系统对于一些事件需要在一定的时间范围内完成,如果超过预定时间未能得到有效响应或者响 ...

  5. git的使用(win7 64位)

    下载安装 1.官方下载网址:https://git-scm.com/downloads: 2.安装十分简单,按照默认配置,一直点击next,最后点击install,即安装成功: 3.安装成功之后,则自 ...

  6. vue拦截

    ```javascript import Vue from 'vue' import App from './App.vue' import router from './router' import ...

  7. JAVA 泛型 通配符? extends super限定,实例区分extends super限定的作用用法

    java泛型中的关键字 ? 表示通配符类型 <? extends T> 既然是extends,就是表示泛型参数类型的上界,说明参数的类型应该是T或者T的子类. <? super T& ...

  8. Django应用之content type(app应用之一django.contrib.contenttypes)

    当一张表作为多个表的FK(主键),并且只能选择其中一个或者几个时,就可以使用content_type表:例如下图的数据关系,因此就可以使用content_type表来将表与表中的对象进行关联,从而做到 ...

  9. 【Day4】5.Request对象之Http Post请求案例分析

    import urllib.parse as up import urllib.request as ur import json word = input('请输入要翻译的中文') data = { ...

  10. 登录授权、TCP/IP、HTTPS

    今天继续纯理论的东东,比较枯燥,但是又很重要,坚持.. 登录和授权 登录和授权的区别: 登录:身份认证,即确认「你是你」的过程. 授权:由身份或持有的令牌确认享有某些权限(例如获取用户信息).登录过程 ...