さてさて

Generating Hard Instance（以下略
やっぱり読みにくいって。Ajtaiの論文。証明の流れが分かりづらい。Lemma1とか簡単なはずなのにな。Lemma2も言ってることは難しくないんだけど、なぜそこでその式が出てくるという感じ。頑張って読むか。