题意：很简单了，不再赘述。
做法：
我们先考虑最后的串会被更新成什么样子，发现应该是一段区间会缩起来成为一个字符，那么我们考虑一段怎么样的区间会变成 a 或 b。
我们考虑一个能缩的区间会缩成什么或者不能缩，首先从 a,b 的个数上考虑，要不然是 \(+2,-1\) 要不然是 \(-1,+2\)，所以我们模 \(3\)，考虑给 \(a\) 赋权为 \(1\)，\(b\) 赋权为 \(2\)，那么一段区间缩成什么取决于区间和，当然为 \(0\) 就说明这个区间没救了缩不了。这是一个必要条件。
那么上面这个东西的 bug 在哪里呢？我们手玩一下发现问题好像只有在 abababa... 这样交替的会出问题，那么我们就考虑再加一个条件也就是要求一定要有相邻两个元素相等。
接下来我们来说明一下，考虑归纳，那么我们只需要说明对于一个有相邻元素相等的串，他可以缩成一个长度更小且有相邻相同的串，这个非常好说明，我们拉出来那一对位置，假设是 aa，考虑他们的两端，如果有 b 那么直接缩证明完了，否则就是 ...aaaa... 状物，那么直接缩两次就可以了。
那么我们考虑怎么计数，如果我们现在有一个串 \(s\)，我们要判定能不能缩成 \(t\)，该如何判断。
首先他们赋值后模 \(3\) 肯定是要相同的，然后我们发现一件事情，我们其实可以对于 \(t\) 从前往后贪心地用 \(s\) 中的一段去匹配 \(t\) 中的字符。因为最后剩出来的那一段一定模 \(3\) 为 \(0\)，所以我们可以直接划到最后一个字符里去。
那么我们可以设一个 dp，\(dp_i\) 代表用后缀 \(s_{i\cdots n}\) 能缩出来哪些串，假设我们能快速算出来 \(nxt_{i,0},nxt_{i,1}\)，这里 \(nxt_{i,0/1}\) 代表从 \([i,nxt_{i,0/1}]\) 可以缩成 a/b 并且长度最小，那么我们的转移式就是 \(dp_i = dp_{nxt_{i,0}} + dp_{nxt_{i,1}}+[s_{i\cdots n} 和为 \ 0]\)，这里加上最后这个东西是为了方便往前加整段，当然注意这样对于 \(1\cdots n\) 整个权值为 \(0\) 的情况多算一个空串，要减掉。