|
|
|
|
|
|
by jeromebaek
2315 days ago
|
|
|
Y'all are gonna call me a crackpot, but consider P, PSPACE and IP. PSPACE is (probably) much more powerful than P. Also PSPACE=IP (interactive proofs). Learn interactively. Treat your compiler as the prover, you as the verifier. Don't try to understand everything by simply reading the manual -- that's only utilizing P, not PSPACE. |
|
|