久しぶりにジュースの問題(mixiの2009/11/23かここの下書きにある．)を考えてみたけど，1/n以上あるかどうかだけの判定だとn=6で反例が出来るようだ．(勘違いしている可能性はある)
今のところ，全ての冪集合を確かめる方でDulmage–Mendelsohn Decompositionとか云うのを使って帰納法にするか，アルゴリズムの方でTutte条件を確かめてperfect matchingを見つければいい気がするが，どちらも難しそう．
と思ったので普通にアルゴリズム詰めてたら，できてるような気がしてきた．が，普通に証明にギャップがあったｗｗｗｗ
