PhD quantum algorithms complexity theory