多項展開 が倒せない.っていうか実際にやりたいのは の計算にゃんだけれど.
#これだけだと何がしたいのかがさっぱり伝わらないだろ……jk
これを愚直に計算すると明らかに で,これがもうちょっとだけ速くなりませんか的な.一応, が sparse, つまり が given であるときほとんどの に対して が0,もしくは が given であるときほとんどの に対して が0,という状況で,さらにもし必要なら以下の条件を課してもよい.
- は0か1しか取らない
- は の形式で書ける
(これは,もうちょっと大きな問題の部分問題を取り出したものなんだけれど) こういう部分問題だけ取り出して,てきとーに投げたら誰か偉い人が解き方を教えてくださる,というシステムがあったらいいにゃー.