Among the many mind-blowing things in complexity|theory are the "win-win" theorems. If one can show that "if A doesn& #39;t work, well then B must"... we& #39;re done.

E.g., "A is efficient if [Hard Conjecture] is true, but B is efficient if it isn& #39;t." No need to prove [Hard Conjecture]!
It& #39;s even more elegant as the "wins" are the same. Sometimes, you get
- if [X] holds, then [something I want]
- if [X] doesn& #39;t, then [something else I want]
but there are many examples where the conclusion is identical in both cases! Just taking a different path to get there...
Incidentally, if you are interested in that sort of arguments in complexity and learning theory, then definitely check out Igor Carboni Oliveira& #39;s work ( https://www.dcs.warwick.ac.uk/~igorcarb/ ).">https://www.dcs.warwick.ac.uk/~igorcarb...
You can follow @ccanonne_.
Tip: mention @twtextapp on a Twitter thread with the keyword “unroll” to get a link to it.

Latest Threads Unrolled: