拉格朗日反演 生成函数 NOI/NOI+/CTSC（*3000~*3500） AtCoder 组合数学 数学 动态规划, DP