Ajtaiの証明はn/c cyclesの格子がhardcoreであることの証拠になるとTrolinが言っている意味がやっと分かった。そりゃそうだ。けれどもこの場合はcは定数だけど具体的に決まってないので駄目というかcycleの文脈からでは使いづらいということか。