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

例