Distance to Different

最开始观察$a$没看出什么东西来，于是看$b$，由于统计的是不同的$b$的数量，所以考虑一个$b$可以由什么$a$搞出来，然后就不难发现如果我们将$a$分段（相同的数放一段），那么对应的$b$在同一段就会从$1$开始增加，然后到达一个峰值之后再减小到$1$（开头和结尾的两段只有减少或增加）

此时我在赛时搞出来一个模型：在$b$中放若干个$1$，满足$1$的个数减去$1$的段数（连续的$1$为一段）加上一不小于$k$，而且每一段至少有两个$1$；不难知道这是正确的，但是太难计数了

我们最开始以$a$为观察对象不行，现在换成$b$了有一点点曙光，但是发现还是太难计数，这个时候就要重新去观察$a$，就将$a$分段，于是可以发现，对于$a$来说，不同的分段对应不同的$b$（也就是说这是单射），然后就可以DP计数了

但是$b$到$a$却不是单射。比如$a=[1,2,2,3]$和$a=[1,2,3,1]$对应的$b$都相同，但是前者分了三段，后者分了四段，这会导致重复计数

然而，这种情况只有可能在中间发生，于是我们DP计数的时候排除这种特殊情况就好了