大意: 给定一棵树每个点的度数, 求所有满足条件的树的个数

  • 每个点到$1$的最短路唯一
  • 假设$l_i$为点$i$到$1$的最短距离, 那么$l_i\ge l_{i-1}$
  • 每个点度数范围$2\le d_i \le 3$

$dp_{i,a1,a2,b1,b2}$表示的是前$i$个点, 上一层$a_1$个度数为$1$的,$a_2$个度数为$2$的

当前层$b_1$个度数为$1$的, $b_2$个度数为$2$的方案.

暴力$O(n^5)$转移即可

好像有一个$O(n^3)$的做法 链接

#include <iostream>
#include <sstream>
#include <algorithm>
#include <cstdio>
#include <cmath>
#include <set>
#include <map>
#include <queue>
#include <string>
#include <cstring>
#include <bitset>
#include <functional>
#include <random>
#define REP(i,a,n) for(int i=a;i<=n;++i)
#define PER(i,a,n) for(int i=n;i>=a;--i)
#define hr putchar(10)
#define pb push_back
#define lc (o<<1)
#define rc (lc|1)
#define mid ((l+r)>>1)
#define ls lc,l,mid
#define rs rc,mid+1,r
#define x first
#define y second
#define io std::ios::sync_with_stdio(false)
#define endl '\n'
#define DB(a) ({REP(__i,1,n) cout<<a[__i]<<',';hr;})
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
const int P = 1e9+7, INF = 0x3f3f3f3f;
ll gcd(ll a,ll b) {return b?gcd(b,a%b):a;}
ll qpow(ll a,ll n) {ll r=1%P;for (a%=P;n;a=a*a%P,n>>=1)if(n&1)r=r*a%P;return r;}
ll inv(ll x){return x<=1?1:inv(P%x)*(P-P/x)%P;}
inline int rd() {int x=0;char p=getchar();while(p<'0'||p>'9')p=getchar();while(p>='0'&&p<='9')x=x*10+p-'0',p=getchar();return x;}
//head const int N = 55;
int n, a[N], dp[2][N][N][N][N];
void add(int &a, ll b) {a=(a+b)%P;}
ll C(int x) {return (ll)x*(x-1)/2;} int main() {
scanf("%d", &n);
REP(i,1,n) scanf("%d", a+i);
int cur = 0;
dp[cur][a[1]==2][a[1]==3][a[2]==2][a[2]==3]=1;
REP(i,3,n) {
cur ^= 1;
memset(dp[cur],0,sizeof dp[0]);
PER(a1,0,i-1) PER(a2,0,i-1-a1) PER(b1,0,i-1-a1-a2) PER(b2,0,i-1-b1-a2-a1) {
ll r = dp[!cur][a1][a2][b1][b2];
if (!r) continue;
if (a[i]==2) {
//连向当前层
if (a1) add(dp[cur][a1-1][a2][b1+1][b2],a1*r);
if (a2) add(dp[cur][a1+1][a2-1][b1+1][b2],a2*r);
if (a1&&b1) add(dp[cur][a1-1][a2][b1-1][b2],a1*b1*r);
if (a1&&b2) add(dp[cur][a1-1][a2][b1+1][b2-1],a1*b2*r);
if (a2&&b1) add(dp[cur][a1+1][a2-1][b1-1][b2],a2*b1*r);
if (a2&&b2) add(dp[cur][a1+1][a2-1][b1+1][b2-1],a2*b2*r);
//连向下一层
if (!a1&&!a2) {
if (b1) add(dp[cur][b1-1][b2][1][0],b1*r);
if (b2) add(dp[cur][b1+1][b2-1][1][0],b2*r);
}
}
else {
//连向当前层
if (a1) add(dp[cur][a1-1][a2][b1][b2+1],a1*r);
if (a2) add(dp[cur][a1+1][a2-1][b1][b2+1],a2*r);
if (a1&&b1) add(dp[cur][a1-1][a2][b1][b2],a1*b1*r);
if (a1&&b2) add(dp[cur][a1-1][a2][b1+2][b2-1],a1*b2*r);
if (a2&&b1) add(dp[cur][a1+1][a2-1][b1][b2],a2*b1*r);
if (a2&&b2) add(dp[cur][a1+1][a2-1][b1+2][b2-1],a2*b2*r);
if (a1&&b1&&b2) add(dp[cur][a1-1][a2][b1][b2-1],a1*b1*b2*r);
if (a2&&b1&&b2) add(dp[cur][a1+1][a2-1][b1][b2-1],a2*b1*b2*r);
if (b1>=2&&a1) add(dp[cur][a1-1][a2][b1-2][b2],C(b1)*a1*r);
if (b1>=2&&a2) add(dp[cur][a1+1][a2-1][b1-2][b2],C(b1)*a2*r);
if (b2>=2&&a1) add(dp[cur][a1-1][a2][b1+2][b2-2],C(b2)*a1*r);
if (b2>=2&&a2) add(dp[cur][a1+1][a2-1][b1+2][b2-2],C(b2)*a2*r);
//连向下一层
if (!a1&&!a2) {
if (b1) add(dp[cur][b1-1][b2][0][1],b1*r);
if (b2) add(dp[cur][b1+1][b2-1][0][1],b2*r);
}
}
}
}
printf("%d\n",dp[cur][0][0][0][0]);
}

An unavoidable detour for home CodeForces - 814E (dp)的更多相关文章

  1. codeforces 814E An unavoidable detour for home

    题目链接 正解:$dp$. 感觉这道题就是中国象棋的加强版..我们要发现一些性质. 首先就是这个图肯定是一个按照$bfs$序分层的图,且每个点只往自己上面那一层连了一条边,每个点不可能向自己的上面超过 ...

  2. Two Melodies CodeForces - 813D (DP,技巧)

    https://codeforces.com/problemset/problem/813/D dp[i][j] = 一条链以i结尾, 另一条链以j结尾的最大值 关键要保证转移时两条链不能相交 #in ...

  3. Consecutive Subsequence CodeForces - 977F(dp)

    Consecutive Subsequence CodeForces - 977F 题目大意:输出一序列中的最大的连续数列的长度和与其对应的下标(连续是指 7 8 9这样的数列) 解题思路: 状态:把 ...

  4. codeforces的dp专题

    1.(467C)http://codeforces.com/problemset/problem/467/C 题意:有一个长为n的序列,选取k个长度为m的子序列(子序列中不能有位置重复),求所取的k个 ...

  5. Codeforces 721C [dp][拓扑排序]

    /* 题意:给你一个有向无环图.给一个限定t. 问从1点到n点,在不超过t的情况下,最多可以拜访几个点. 保证至少有一条路时限不超过t. 思路: 1.由无后向性我们可以知道(取决于该图是一个DAG), ...

  6. CodeForces 607C (DP) Hard problem

    题目:这里 题意:给定n个字符串,每个字符串可以进行一项操作,就是将这个字符串交换,就是该字符串的第一个和最后一个交换,第二个和倒数第二个交换,以此类推,当然可以选择对于 该字符串进行或不进行这项操作 ...

  7. Codeforces 611d [DP][字符串]

    /* 题意:给一个长度不超过5000的字符串,每个字符都是0到9的数字. 要求将整个字符串划分成严格递增的几个数字,并且不允许前导零. 思路: 1.很开心得发现,当我在前i个区间以后再加一个区间的时候 ...

  8. Codeforces 404D [DP]

    /* 我是一个习惯后悔,但是没办法忍受内疚感的二货== 这题是个无脑dp,但是比赛大概20min没出...其实最后5min我好好想想简单化边界条件,可以出的. 题意: 给你一个长度为1e6的由?*01 ...

  9. Codeforces 119C DP

    题意: 有n天,m门课和常数k; 每天上一门课,每门课程有两个属性,最少作业量a,最多作业量b,和难度c. 1<=a<=b<=1e16 c<=100 1<=n<=m ...

随机推荐

  1. Linux下java进程CPU占用率高分析方法(二)

    1. 通过 top 命令查看当前系统CPU使用情况,定位CPU使用率超过100%的进程ID:2. 通过 ps aux | grep PID 命令进一步确定具体的线程信息:3. 通过 ps -mp pi ...

  2. Android从5.0到9.0版本的主要变更

    https://www.jianshu.com/p/10bdbf883c46?utm_source=desktop&utm_medium=timeline Android5.0 1.虚拟机 在 ...

  3. Typescript中的类 Es5中的类和静态方法和继承(原型链继承、对象冒充继承、原型链+对象冒充组合继承)

    <!doctype html> <html> <head> <meta charset="utf-8"> <meta name ...

  4. Linux命令 – ln 软连接与硬链接区别介绍

    ln命令可以生成软链接和硬链接,也可叫做符号链接和实体链接. 有兴趣深入理解的可以查阅相关文档,一般的读者只需记住以下几点即可: 不管是软链接还是硬链接都不会额外增加磁盘空间(虽然实际情况可能会多占用 ...

  5. Python3基础 函数 多值参数 元组与字典形式(键值对分别指出)

             Python : 3.7.3          OS : Ubuntu 18.04.2 LTS         IDE : pycharm-community-2019.1.3    ...

  6. Python3基础 bool True为1 False为0

             Python : 3.7.3          OS : Ubuntu 18.04.2 LTS         IDE : pycharm-community-2019.1.3    ...

  7. datax实例——全量、增量同步

    一.全量同步 本文以mysql -> mysql为示例: 本次测试的表为mysql的系统库-sakila中的actor表,由于不支持目的端自动建表,此处预先建立目的表: CREATE TABLE ...

  8. NETTY keeplive 参数,心跳检测

    当设置为true的时候,TCP会实现监控连接是否有效,当连接处于空闲状态的时候,超过了2个小时,本地的TCP实现会发送一个数据包给远程的 socket,如果远程没有发回响应,TCP会持续尝试11分钟, ...

  9. 【Leetcode_easy】949. Largest Time for Given Digits

    problem 949. Largest Time for Given Digits solution: class Solution { public: string largestTimeFrom ...

  10. CentOS7为docker-ce配置阿里云镜像加速器

    一.找加速地址 https://promotion.aliyun.com/ntms/act/kubernetes.html 控制台 二.添加daemon.json 文件 vim /etc/docker ...