1〜xで足りて1〜x-1で足りない時xは必須
タイトルは要改善
集合を引数に取る述語fについて
$ f(S) = 0, f(S+\{x\}) = 1
ならばxは1であるために必須である、という思考パターン
これが言えるための条件は？
$ f(S) = 1 \Rightarrow \forall T \supset S, f(T) = 1
条件を満たす部分集合を1つ見つける時に$ 2^Nの探索をする代わりにNで良くなる
2^Nの探索は無理