Is it Easier to Prove Theorems that are Guaranteed to be True


Muthu Venkitasubramaniam October 15, 2021.


Enjoy Reading This Article?

Here are some more articles you might like to read next:

  • Hardness Condensation and Log Approximate Rank Conjecture
  • Reconstructing Graphs from Random Subgraphs.
  • Glauber Dynamics, expander graphs, and rapid mixing, a survey of problems and techniques
  • Deterministic identity testing paradigms for bounded top-fanin depth-4 circuits
  • Simulation extractability of Fiat-Shamir transformation of multi-round protocols