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