3 ms·
On as a counterexample, the paper showing that primality checking is in P was called "Primes is in P"
by Ar-Curunir 8y ago
On as a counterexample, the paper showing that primality checking is in P was called "Primes is in P"
- dlubarov 8y agoAnother counterexample is "IP = PSPACE" by Shamir. I think it's nice when titles include the main result plus a few words about methodology, like "IP = PSPACE using Error Correcting Codes", or "The PCP Theorem by Gap Amplification".