https://kenkoooo.hatenablog.com/entry/2021/05/01/231524

riano_ さんとバチャをした。

「1,2,3⋯,N の各整数をそれぞれ 0 個以上 K 個以下含むような空でない多重集合の平均が x である」=>「1-x,2-x,3-x⋯,N-x の各整数をそれぞれ 0 個以上 K 個以下含むような空でない多重集合の和が0である」という言い換えによって集合内の個数を考えなくて良くなる。

実験するときれいな模様ができるので、あとはそれを見ながら心温まる手作業場合分け。