luogu P4156 [WC2016]论战捆竹竿

传送门

官方题解(证明都在这)

神仙题鸭qwq

转化模型,发现这题本质就是一个集合,每次可以加上集合里的数,问可以拼出多少不同的数转化模型,发现这题本质就是一个集合,