Header menu link for other important links
X
Exact computation of the number of accepting paths of an NTM
Published in Springer Verlag
2018
Volume: 10743 LNCS
   
Pages: 105 - 117
Abstract
We look at the problem of counting the exact number of accepting computation paths of a given nondeterministic Turing machine (NTM). We give a deterministic algorithm that runs in time (Formula presented), where S is the size (number of vertices) of the configuration graph of the NTM, and prove its correctness. Our result implies a deterministic simulation of probabilistic time classes like PP, BPP, and BQP in the same running time. This is an improvement over the currently best known simulation by van Melkebeek and Santhanam [SIAM J. Comput., 35(1), 2006], which uses time (Formula presented). It also implies a faster deterministic simulation of the complexity classes (Formula presented) and (Formula presented). © Springer International Publishing AG 2018.
About the journal
JournalData powered by TypesetCommunications in Computer and Information Science
PublisherData powered by TypesetSpringer Verlag
ISSN18650929