What P vs. NP Means: Reversing Computation With Circuits

Recommended as an intuitive, animated explanation of P vs NP framed around reversing computation.

Polylog explains how algorithms can be turned into circuits and encoded as satisfiability problems, which lets you effectively run them backwards. It uses this to motivate breaking RSA, general reductions to SAT, and what P vs NP is really asking.