前回のエントリの続きです.言語に対してそのYESインスタンスを入力として与えられたときに,そのに対する証明集合[tex: R_x = \{ w\in\{0,1\}^m: \in B_L \}] (はの多項式,はについて与えられたインスタンスと証明の二項関係)から一様ランダムに取ってく…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。