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の探索は無理