Gottesman-Knill theorem

Today it means: A result that states that stabilizer circuits (those consisting only of gates from the normalizer of the qubit Pauli group, or Clifford group) can be perfectly simulated in polynomial time on a probabilistic classical computer. Full definition →