【AGC009 E】Eternal Average

Description

请构造若干k叉树，使得每颗均有n+m个叶子，有n个叶子点权为0，m个叶子点权为1，对于非叶子点权为儿子点权的平均数。
问最多构造多少k叉树，使得任意两颗根节点点权不同？

n,m,k<=2000
(n+m-1) mod (k-1)=0

Analysis

思路顺序：
1.问题模型转化成$k$叉树
2.注意到根节点权值为$\sum_i k^{dep_1[i]}$
3.注意到$\sum_i k^{dep_1[i]}+\sum_i k^{dep_0[i]}=1$
4.想到将根节点的权值用k进制小数表示，形如“$0.z_1z_2z_3z_4...,0\leq z_i<k$”
5.想到一个权值能被表示成恰好$N$个$k$的次幂之和 的 等价条件是$\sum z_i\leq N$（显然）且$\sum z_i≡N(mod\ k-1)$（大概原因是数位上第$i+1$位如果$\geq k$可以选择进位$z_{i+1}-=k,z_i++$，这样$\sum z_i$减少$k-1$）
我一步都想不到