SIAM Journal on Computing
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
SIAM Journal on Computing
Classically controlled quantum computation
Mathematical Structures in Computer Science
Quantum circuit oracles for Abstract Machine computations
Theoretical Computer Science
Hi-index | 0.00 |
We prove that there is no algorithm to tell whether an arbitrarily constructed Quantum Turing Machine has same time steps for different branches of computation. We, hence, cannot avoid the notion of halting to be probabilistic in Quantum Turing Machine.