http://cstheory.stackexchange.com/questions/24943/is-there-a-formal-proof-that-quantum-computing-is-or-will-be-faster-than-classic есть ли?
