理由:厉害的构造双射 + 厉害的 dp + 厉害的观察到 dp 状态是关于其中一维的多项式，最后拉插解决。