[集训队作业2018] count（笛卡尔树，生成函数，卡特兰数）

传送门

什么情况下两序列同构

对于两序列$A[1,n],B[1,n]$，设$f_A(1,n)=p_a,f_B(1,n)=p_b$，

• 若$p_a\ne p_b$，$A,B$一定不同构。
• 若$p_a=p_b$，
  若$A[1,p_a-1]$与$B[1,p_b-1]$同构且$A[p_a+1,n]$与$B[p_b+1,n]$同构，则$A[1,n],B[1,n]$同构；
  否则$A,B$不同构。

由这个过程想到什么？笛卡尔树！
没错，两序列同构当且仅当它们的笛卡尔树形态相同。

生成函数做法

引理证明：
A = { X ∣ 序 列 X 长 度 为 n , 序 列 X 中 的 每 个 数 都 是 1 到 m 内 的 整 数 } A=\{X| 序列X长度为n,序列X中的每个数都是1到m内的整数\} A={ X∣序列X长度为n,序列X中的每个数都是1到m内的整数}
B = { X ∣ 序 列 X 长 度 为 n , 序 列 X 中 的 每 个 数 都 是 1 到 m 内 的 整 数 ， 且 序 列 X 中 的 最 大 值 为 m } B=\{X| 序列X长度为n,序列X中的每个数都是1到m内的整数，且序列X中的最大值为m\} B={ X∣序列X长度为n,序列X中的每个数都是1到m内的整数，且序列X中的最大值为m}
C = { X ∣ 序 列 X 长 度 为 n , 序 列 X 中 的 每 个 数 都 是 1 到 m 内 的 整 数 ， 且 所 有 1 到 m 内 的 整 数 都 在 序 列 X 中 出 现 过 } C=\{X| 序列X长度为n,序列X中的每个数都是1到m内的整数，且所有1到m内的整数都在序列 X 中出现过\} C={ X∣序列X长度为n,序列X中的每个数都是1到m内的整数，且所有1到m内的整数都在序列X中出现过}
可以证明$n\ge m$时，$A=B=C$。

证明：
首先证明$A=B$。
对于$A$中任意一个序列$X$，若$X$中的最大值为$p$，那么把$X$中的每个数都加上$m-p$，得到序列$Y$ ，显然$X$和$Y$同构，即$X=Y$ 。$Y$中最大值为$m$，即$Y\in B$。
对于任意 $X\in A$，均有$X\in B$，这说明$A\subseteq B$。而 $B\subseteq A$ 是显然的，因此 $A=B$。

可以利用类似的方法证明 $A=C$。
对于$A$中任意一个序列$X$，可以在同构的前提下，保持不同权值的数之间的相对大小的同时，把权值相同的数按下标顺序替换成权值不同的数。这样在$n\ge m$时，通过上述替换，可以使$X$中出现过的数增加至$m$种。
对于任意$X\in A$，均有$X\in C$，这说明 A ⊆ C A\subseteq C