题解：
这道思路还是比较水的
我们可以等价变形成hi<=7
我们的最优决策是把抽出来的那些相同颜色的书最后插在一起（所以要统计序列中还有没有相同元素的书）
f[i][j][k][x]表示前i本书，抽出了j本，最后一本高度为k，高度集合为x
复杂度n*n*7*2^7
