我自己想了一个并不存在于题解区的方法。

不妨设最后一个节点染蓝，$f_{i,j}$ 表示前 $i$ 个节点染完色，红色的最后一个节点值是 $j$。

状态压缩之后发现除了 $f_{a_{i-1}}$ 以外所有都不用更新，于是通过。

应该没有人和我一样用这个方法不合并相邻的大小相同的节点，（直到我下载了一个数据点才发现）。