f(x,0)f(x,0) から f(y,M)f(y,M) への寄与を求めることを考えます。 このとき、f(x,0)f(x,0)f(y,M)f(y,M) に寄与する回数は、n,mn,manbm=yx,n+m=M-an-bm=y-x,n+m=M を満たす非負整数とすると、 n+mCn{}_{n+m} C_n となることが分かります。
この事実は、f(x,y)f(x,y) の値を動的計画法などによって求めることを考え、それぞれの遷移を図に起こすことで分かります。
この値は yxy-x の値によって決まるので、累積和などを用いて yxy-x の値ごとにまとめて寄与を求めることでこの問題を解くことが出来ました。