ABC140 F - Many Slimes (600)
体力は最大でも$ 2^n通りしかないので圧縮して$ 0から2^n-1にする
最大の体力を持つスライムが複数いたら片方は生成できないのでNO
体力毎の登場回数を保存
最大の体力を持つスライム1匹の状態からシミュレーションしていく
大きい方から順に今回増やさなければいけない数を連れ回す
残っている内で可能な限りをその体力で生成する
最後まで見た際にまだ必要数が残っている場合は生成不可能なのでNO
最後まで矛盾無く作れればYES
シミュレーションがN回、一回あたり$ O(2^N)なので全体で$ O(2^NN)