一道数位\(dp\)题
记\(S = \sum_{i=1}^{n}{a_i}\)，原题即要求是否存在\(i\)满足 \(S - a_i \equiv a_i (\mod K)\)
移项得\(S \equiv 2a_i (\mod K)\)
因此我们考虑枚举\(2a_i\)的值记作\(sm\)，设\(dp_{i,j,0/1}\)表示前\(i\)个数，和为\(j\)，有/没有\(2a_i \mod K = sm\)
转移好想，只需要枚举第\(i\)个数选多少即可
最终复杂度\(O(n^2K^2)\)，不算优秀
不过我们发现我们只在乎\(j \equiv K\)的值，而不是\(j\)本身的值
因此我们可以把第二位压到\(K\)，最终复杂度变为\(O(nK^3)\)