La clase que está proponiendo probablemente no sea . (Si , entonces cada lenguaje tendría testigos de tamaño lineal, lo que implicaría que cada y , entre otras cosas) . N P C = N P N P N P ⊆ T I M E [ 2 O ( n ) ] N P ≠ E X PCNPC=NPNPNP⊆TIME[2O(n)]NP≠EXP
Es muy natural considerar tales clases; surgen en varios entornos. En este artículo , Rahul Santhanam (implícitamente) propuso la notación para el cálculo del tiempo- con bits -guess. Por lo tanto, . En este artículo , una clase análoga . (NTIBI significa "tiempo y bits no deterministas"). Además, Cai y Chen llamarían a su claset ( n ) g ( n ) C = ⋃ k T I G U ( n k , k n ) N T I B I [ t ( n ) , b ( n ) ] G C ( O ( n )TIGU(t(n),g(n))t(n)g(n)C=⋃kTIGU(nk,kn)NTIBI[t(n),b(n)]GC(O(n),P)(GC significa "Guess and Check", cf. L. Cai y J. Chen. Sobre la cantidad de no determinismo y el poder de verificación. SIAM Journal on Computing, 1996). Finalmente, si busca "no determinismo limitado", puede encontrar tres anotaciones más para la misma clase ...