ありがとうございます！！！！

奇跡的に追加されても問題解くために必要な情報が乗せきれなくて結局イラつきそう

F k=1,2,…,Nについて「手順2でb=kとしたとき、明るさがk番目の星を必ず含む撮り方」を考えると、各kについて重複なく数えられる
数え上げはkの昇順にセグ木で

G 形式的冪級数で考えると1+x+x^2+…=1/(1-x^A[i])の積になって、分母は畳み込みで計算できて…から進まず(そもそも畳み込みが未実装)

試しに投げてみたらTLEもWAも出たから投げなくてよかった〜(よくはない)

F A[i]を1122文字列の|T|/2文字目に使うとすると、ありうる1122文字列の個数は、1〜(i-1)文字目のA[i]の個数をl、(i+1)〜N文字目のA[i]+1の個数をrとして、k=1,2,...,min(l+1,r)についてComb(l,k-1)*Comb(r,k)の総和をとったもの
実はこれはComb(l+r,l+1)になる(Comb(l,k-1)=Comb(l,l+1-k)なので、(l+r)個から(l+1)個を選ぶとき、右のr個からk個、左のl個から残りの(l+1-k)個を選ぶと考える)

E 大きい方(N*M)から順に埋めていくと、行と列それぞれで「もう後は何埋めてもいいっすよ」なタイミングが訪れるので、行と列の両方から「埋めてもいいっすよ」と言われたマスをQueueとかに詰め込んで順に使っていく
ただしXとYに含まれる数は埋めるべき行または列(またはその両方)が決まっているので、それに従って埋めていく

金曜仕事終わりのボーッとしてる頭では非常に苦しかった