Defina como la clase de idiomas que puede aceptar una máquina de Turing (multitapa) en el tiempo f ( n ) + 1 . (El " + 1 " es simplemente para simplificar la notación y evitar confusiones). Observe que no hay O ( ⋅ ) alrededor de f ( n ) + 1
Esta pregunta está inspirada en una pregunta existente sobre si una pila se puede simular usando dos colas en el tiempo amortizado por operación de pila. La respuesta parece ser desconocida. Aquí hay una pregunta más específica, correspondiente al caso especial en el que todas las operaciones PUSH...
En la teoría de la complejidad, la definición de complejidad de tiempo y espacio hace referencia a una máquina universal de Turing: resp. la cantidad de pasos antes de detenerse y la cantidad de celdas en la cinta tocada. Dada la tesis de Church-Turing, también debería ser posible definir la...
En el artículo de Stephen Cook sobre el problema P vs NP, [1] afirma lo siguiente [2]: Tesis de viabilidad: un problema natural tiene un algoritmo factible si tiene un algoritmo de tiempo polinómico. Mi pregunta es, ¿qué quiere decir exactamente él (o, en general, qué quiere decir uno) con "un...
Estoy buscando un algoritmo eficiente para el problema: Entrada : El entero positivo (almacenado como bits) para algún entero n ≥ 0 .3n3n3^nn≥0n≥0n \geq 0 Salida : el número .nnn Pregunta : ¿Podemos calcular partir de los bits de 3 n en el tiempo O ( n ) ?nnn3n3n3^nO(n)O(n)O(n) Esta es...
Merlín, que tiene recursos computacionales ilimitados, quiere convencer a Arthur de que m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k para (N,m,k)(N,m,k)(N,m,k) con k=O(logN)k=O(logN)k=O(\log N) y m=O(N).m=O(N).m=O(N). Calcular esta suma de forma directa (exponenciación...
Estaba jugando con la muy interesante y abierta pregunta " Alfabeto de la máquina de Turing de una sola cinta " (por Emanuele Viola) y se me ocurrió el siguiente idioma: L = { x ∈ { 0 , 1 }norte st | x | = n = 2metro y c o u n t 1 ( x ) = k ∗ m ;n , m , k ≥ 1
Dado un circuito booleano en variables (que usa solo compuertas NOT, AND y OR), ¿cuál es la forma más eficiente de extraer la fórmula booleana representada por el circuito? ¿Existe un algoritmo polytime para este
En pocas palabras, los teoremas de la jerarquía del tiempo dicen que una máquina de Turing puede resolver más problemas si tiene más tiempo para el cálculo. En detalle para TM determinístico y funciones construibles en el tiempo con es y para TM no determinista y funciones construibles en el...
¿Cuál es la complejidad del siguiente problema ( P? NP-hard?):∈∈\in Entrada: un gráfico acíclico dirigido , un conjunto de bordes hacia atrás E ' ⊂ V × V , y dos nodos distinta s y t .D=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt Pregunta: Sea denotar la gráfica formada al agregar a...
El teorema de Borsuk-Ulam dice que por cada función impar continua solsolg desde una esfera n al espacio n euclidiano, hay un punto X0 0X0 0x_0 tal que sol( x0 0) = 0sol(X0 0)=0 0g(x_0)=0 . Simmons y Su (2002) describen un método para aproximar el punto X0 0X0 0x_0 usando el lema de Tucker . Sin...
Supongamos que tengo dos listas de enteros positivos de la personalidad limitada, y tomo el producto de todos los elementos de cada lista. ¿Cuál es la mejor manera de determinar qué producto es más grande? Por supuesto, simplemente puedo calcular cada producto, pero espero que haya un enfoque más...
Para un grafo no dirigido y un conjunto dado S de vértices, lo que es el algoritmo asintóticamente más rápida conocida para encontrar un camino simple que contiene todos los elementos de S . ¿Qué pasa si requerimos que el camino sea lo más corto
Para muchos problemas, el algoritmo con la mejor complejidad asintótica tiene un factor constante muy grande que está oculto por la notación O grande. Esto ocurre en la multiplicación de matrices, la multiplicación de enteros (específicamente, el reciente algoritmo de multiplicación de enteros O (n...
Estoy interesado en algoritmos eficientes para la intersección de DFA para casos especiales. Es decir, cuando los DFA que se cruzan obedecen una determinada estructura y / o funcionan en un alfabeto limitado. ¿Hay alguna fuente donde pueda encontrar algoritmos en estos casos? Para no hacer que la...
Estoy confundido. Quiero demostrar que el problema de ordenar una matriz por , es decir, las filas y columnas están en orden ascendente es . Continúo asumiendo que se puede hacer más rápido que e intento violar el límite inferior Para las comparaciones necesarias para ordenar m elementos. Tengo...
Tenemos un problema y encontramos un algoritmo que parece ser 2-nexptime. Me gustaría encontrar problemas conocidos de 2-nexptime-complete para encontrar un límite inferior. Encontré en la literatura principalmente dos de estos problemas: si PCP como solución de tamaño inferior a...
Esta es una versión especializada de una pregunta anterior: Complejidad de encontrar la descomposición propia de una matriz . Para las matrices simétricas NxN, se sabe que el tiempo O (N ^ 3) es suficiente para calcular la descomposición propia. La pregunta es: ¿podemos lograr una complejidad...
¿Alguien ha pensado en la posibilidad de un lenguaje de programación y un compilador, de modo que el compilador pueda hacer automáticamente el análisis asintótico del peor de los casos? El caso de uso que tengo en mente es un lenguaje de programación donde escribo código y compilo. El compilador me...
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...