瞎证明

举两个例子发现（12345，13542）：
第i行表示对每i个数进行取min的值：

\[1\quad2\quad3\quad4\quad5 \]

\[1\quad2\quad3\quad4 \]

\[1\quad2\quad3 \]

\[1\quad2 \]

\[1 \]

---

\[1\quad3\quad5\quad4\quad2 \]

\[1\quad3\quad4\quad2 \]

\[1\quad3\quad2 \]

\[1\quad2 \]

\[1 \]

看到这里，考虑i行最佳情况是否就是从1到n-i+1的递增序列
证明：
对于一个数取min的时候，所有值都在。

对于两两相邻取min的时候，最大值一定会被旁边的数淘汰，所以贪心思想是把次大值保留，

保留次大值只能把其放在最大值的旁边

而在三三取min的时候，次大值也会被淘汰，所以同上贪心保留次次大值

构造：

我们从大到小防数，重复的最大的无论怎么放，都只算一种情况，所以ans先等于1

遇到小一点的，可以放在原来的数列的两边所以乘二，所以\(ans'=ans\times2\)。

当小的遇到重复的，发现会重复所有小的没放之前的方案数，所以\(ans'=ans\times(2+1)\),以此类推。

所以最后答案为 \(\prod\limits_{i=1}^{cnt-1}(1+color[i])\)。