题目链接:Problem - E - Codeforces
样例输入:
4
3 3
1 3 2
4 2
2 2 2 2
6 9
6 9 6 9 6 9
9 100
10 40 20 20 100 60 80 60 60
样例输出:
8
5
11880
351025663
题意:给定一个长度为n的数组a[],对于每一个区间[l,r],这个区间的leftmost定义为区间[l,r]中的值等于该区间内元素的最大值的最小下标,现在问我们有多少种长度为n的数组b[],满足对于任意区间都有leftmost值等于数组a的对应区间的leftmost值,且b数组中的元素值是介于1到m之间的。
分析:其实这道题要先知道笛卡尔树这个预备知识。
笛卡尔树是二叉排序树和堆的结合。
对于一个笛卡尔树,对笛卡尔树进行中序遍历即可得到原序列。
笛卡尔树中每个节点的左子树上的节点的坐标都是小于该节点的,右子树上的节点的坐标都是大于该节点的。而且每个节点的值是大于/小于其子树上的节点的值的,这个取决于是和大根堆结合还是和小根堆结合。
对于这道题目而言,我们就让根节点的值大于其左子节点的值,大于等于其右子节点的值,那么对于a数组和b数组需要构造出相同形态的笛卡尔树才算是满足题意的。所以我们可以按照a数组构造出笛卡尔树,然后利用树形DP向每个节点进行填值求方案数即可。
建树的过程,可以发现
每个右子树根节点的父亲节点就是他左边第一个大于他的数的位置
每个节点的左子树根节点就是他左边小于该值的数中的最大值的最小下标
这个显然可以用单调栈来维护,那么建树复杂度就是O(n),细节可以见代码
最后就是根据笛卡尔树求解方案数了。
设f[x][y]代表x节点取值为1~y时的方案数和。那么更新过程就有四种情况:
x节点有左右子树,那么就有f[x][y]=f[x][y-1]+f[l[x]][y-1]*f[r[x]][y]
x节点只有左子树,那么就有f[x][y]=f[x][y-1]+f[l[x]][y-1]
x节点只有右子树,那么就有f[x][y]=f[x][y-1]+f[r[x]][y]
如果没有孩子节点,直接返回y
利用这个方法我们即可完成本道题目的更新。
#include
#include
#include
#include
#include