5 lines
90 B
Plaintext
5 lines
90 B
Plaintext
|
Correctness of PCP to validity problem reduction
|
||
|
|
|
||
|
|
K has a solution iff \phi_k is valid.
|
||
|
|
|