Techniques

[845/61%]

Subtopics

Proof by contradiction / counterexample construction[305/34%]
Proof by induction[123/79%]
Linearity of expectation with indicator variables[56/91%]
Symmetry / exchangeability argument[45/76%]
Diagonalization (Cantor/Turing argument)[36/67%]
Reduction argument[35/77%]
Extremal / variational technique[29/86%]
Simulation/construction argument[29/72%]
Transfinite induction and recursion[29/34%]
Pigeonhole principle[24/83%]
Coupling argument[19/68%]
Probabilistic method[19/95%]
Computer implementation and computer algebra[15/100%]
Product automaton construction[12/75%]
Double counting[11/91%]
Diagonal argument[10/30%]
Bijective proof[8/100%]
Padding argument[8/38%]
Dovetailing[6/33%]
Probabilistic proof of an analytic identity[6/50%]
Locating the error in a fallacious proof[5/100%]
Computation history method[4/100%]
Dynamic programming[4/75%]
Search-to-decision reduction (self-reducibility)[4/100%]
Tensor power trick (Landau's method)[4/100%]
Back-and-forth argument[3/100%]
Exponentiation by repeated squaring[2/100%]
Divide-and-conquer simulation[1/0%]