どこまで見たかを部分集合で持って遷移するタイプのDP。終点を状態として持ちがち。

例

tbw: for ループでもかける?(ABC415 C)

ハイパーキューブ上のdpだと思える?