Hay algunos problemas NP-Complete ( , , etc.) que se sabe que están en . ¿Qué pasa con los espacios sub-lineales?S A TSUNAT \mathsf{SAT} D S P A C E ( n )S U B S E T S U MSUsiSmiTSUMETRO \mathsf{SUBSETSUM} D S P A C E ( n )reSPAGSUNACmi(norte) \mathsf{DSPACE(n)} ¿Existe algún problema conocido...
\newcommand{\cc}[1]{\mathsf{#1}} ¿Se un teorema en las siguientes líneas: Si es un poco más grande que , entonces ?f ( n ) N T I M E ( g ) ∩ c o N T I M E ( g ) ≠ N T I M E ( f ) ∩ c o N T I M E ( f )sol( n )g(n)g(n)F( n )f(n)f(n)N T I M E (g) ∩ c o N T I M E ( g) ≠ N T I M E ( f) ∩ c o N T I M E (...
Si N PnortePAGS\mathsf{NP} contiene una clase de problemas de tiempo superpolinomial, es decir para alguna función t ∈ nω ( 1 )t∈norteω(1)t \in n^{\omega(1)} , ,D T I M E ( t ) ⊆ N PreTyoMETROmi(t)⊆nortePAGS\mathsf{DTIME}(t) \subseteq \mathsf{NP} entonces, si se sigue del teorema de la...
Dado un NFA NnorteN y su DFA equivalente que DreDresulta de la determinación total de NnorteN (usando la construcción del conjunto de potencia, por ejemplo), las siguientes propiedades se mantienen para NnorteN , DreD y para cualquier palabra www : lee w en tiempo de ejecución como máximo O ( |...
Savický y Woods (El número de funciones booleanas calculadas por fórmulas de un tamaño dado) demuestran el siguiente resultado. Teorema [SW98]: Para cada constante , casi todas las funciones booleanas con complejidad de fórmula como máximo n k tienen complejidad de circuito al menos n k / k...