posted 2009-10-20T13:29:41Z (apropos 2009-10-18).
drucker and de wolf start with an interesting review of surprising methods of mathematical proof (such as the probabilistic method of erdos, and the incompressibility method of kolmogorov complexity) and then segway into their contribution which uses quantum formalisms for the same purpose. paper by drucker and de Wolf.
Abstract: Alongside the development of quantum algorithms and quantum complexity theory in recent years, quantum techniques have also proved instrumental in obtaining results in classical (non-quantum) areas. In this paper we survey these results and the quantum toolbox they use.
---> back to algomagic.com