Timeline for Verifier - Complexity Theory
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 5, 2018 at 12:11 | comment | added | Yuval Filmus | "Witness" is a semantic rather than syntactic category. A witness is just a string which we think of as a witness. | |
| Jul 4, 2018 at 19:51 | comment | added | Yuval Filmus | This is covered in many many online and offline resources. On this site, you can check the following question: cs.stackexchange.com/questions/9556/…. | |
| Jul 4, 2018 at 19:50 | comment | added | Alan | Hi, Thank you for your answer. Can you please elaborate on the "witness" $w$? What do you mean by a "witness"? | |
| Jul 4, 2018 at 19:46 | history | answered | Yuval Filmus | CC BY-SA 4.0 |