Un idioma está en si existe un espacio de registro de la máquina de Turing que decide el idioma con una cantidad polinómica de consejos.L / p o l yL/ /pagolyL/poly Consulte aquí para obtener más información: https://en.wikipedia.org/wiki/L/poly Pregunta ¿Cuáles son las consecuencias de ?PAG⊆...
Dadas entradas , construimos una red de clasificación aleatoria con puertas seleccionando iterativamente dos variables con y agregando una puerta de comparación que las intercambia si .x 0 , … , x n - 1 m x i , x j i < j x i > x jnnnx0,…,xn−1x0,…,xn−1x_0, \ldots, x_{n-1}mmmxi,xjxi,xjx_i,...
¿Cuál es la complejidad de decidir si un intervalo de los números naturales contiene un primo? Una variante de la criba de Eratóstenes da una algoritmo, donde L es la longitud del intervalo y ~ cueros factores poli-logarítmicas en el punto de partida del intervalo; ¿Podemos hacerlo mejor (solo en...
Considere el siguiente problema de decisión Entrada : Un monótono CNF ΦΦ\Phi y un monótono DNF ΨΨ\Psi . Pregunta : ¿Es Φ → ΨΦ→Ψ\Phi \to \Psi una tautología? Definitivamente puede resolver este problema en -time, donde es el número de variables en y es la longitud de la entrada. Por otro lado,...
En el capítulo 4 de A Second Course in Automata Theory de Jeffrey Shallit, el siguiente problema aparece como abierto: p(n)p(n)p(n)∈Np(n) \in \mathbb{N}n∈Nn \in \mathbb{N}{ p ( n ) ∣ n ⩾ 0 } {p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\}p pp⩽ 1 es .⩽1\leqslant 1 ¿Cuál es su estado ahora (en octubre de...
¿Existe una categoría de parches que se ve más o menos así? Los objetos son cadenas en algún alfabeto base Los morfismos son guiones de edición ("diffs" o "parches") entre las cadenas Estoy interesado en estas preguntas: ¿Existe una noción categórica de guión de edición mínima ? ¿Quizás la...
Recientemente me enteré de la conjetura codiciosa para el problema de la supercuerda más corta . En este problema, se nos da un conjunto de cadenas s1, ... , snortes1,...,snortes_1,\dots, s_n queremos encontrar la súper cadena más corta, sss decir, cada syosyos_i aparece como una subcadena de sss...
Tengo un conjunto de datos que es una serie de objetos dispuestos en una cuadrícula 2D. Sé que tengo un orden estricto, aumentando a medida que avanza de izquierda a derecha dentro de cada fila, y aumentando de arriba a abajo dentro de cada columna. Por ejemplo, 1 2 3 4 6 7 5 8 9 ¿Puedo mejorar...
Los gráficos de Paley P q son aquellos cuyo conjunto de vértices está dado por el campo finito GF (q), para las potencias primarias q≡1 (mod 4), y donde dos vértices son adyacentes si y solo si difieren en un 2 para algunos a ∈ GF (q). En el caso de que q sea primo, el campo finito GF (q) es solo...
Gracias a Immerman y Szelepcsényi, se sabe que if (incluso para funciones construibles que no son espaciales).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) En el mismo documento, Immerman declara que la jerarquía alterna del espacio de...
¿Cuáles son algunos problemas del mundo real que se han resuelto utilizando un algoritmo genético? ¿Cuál es el problema? ¿Cuál es la prueba de aptitud utilizada para resolver este
En pocas palabras: ¿cuál es la correspondencia entre las máquinas de Turing con oráculos y las familias de circuitos uniformes con oráculos? ¿Cómo se definen estos últimos para obtener el mismo modelo computacional, para una máquina de Oracle Turing dada? Esta puede ser una pregunta elemental,...
Es fácil verificar que, dada la cuadrícula d dimensional de los puntos enteros , con la adyacencia regular, se puede encontrar un separador de tamaño n d - 1 (simplemente elija cualquier hiperplano medio y elimine todos sus vértices). Tampoco es demasiado difícil (pero definitivamente no es...
Después de la discusión sobre los límites inferiores para 3SAT [ 1 ], me pregunto cuáles son los principales resultados del límite inferior formulados como compensaciones espacio-tiempo. Estoy excluyendo resultados como, por ejemplo, el teorema de Savitch; una buena entrada se centraría en un solo...
Esta es una pregunta inspirado en el problema de corte libre-H . Dado un gráfico, una partición de su vértice establece en r partes V 1 , V 2 , ... , V r no tiene H si G [ V i ] no induce una copia de H para todo i , 1 ≤ i ≤ r .VVVrrrV1,V2,…,VrV1,V2,…,VrV_1, V_2, \ldots,...
Las desigualdades de tipo Chernoff se usan para mostrar que la probabilidad de que una suma de variables aleatorias independientes se desvíe significativamente de su valor esperado es exponencialmente pequeña en el valor esperado y la desviación. ¿Existe una desigualdad de tipo Chernoff para...
Entonces, tengo alrededor de 100-200 matrices booleanas cuadradas muy dispersas con longitud lateral ~ varias docenas, y necesito calcular su producto. Sé que si los multiplico en serie, el producto generalmente se mantendrá escaso en cada paso. ¿Hay algún algoritmo de producto de cadena de matriz...
En el artículo Quantum Random Walks Hit Exponencialmente más rápido ( arXiv: quant-ph / 0205083 ) Kempe da una noción del tiempo de golpeo para caminatas cuánticas (en el hipercubo) que no es muy popular en la literatura de la caminata cuántica. Se define de la siguiente manera: One-Shot Quantum...
En un artículo titulado "Sobre la negabilidad en la cadena de referencia común y el modelo aleatorio de Oracle", Rafael Pass escribe: Observamos que al probar la seguridad de acuerdo con la definición estándar de conocimiento cero en el modelo RO [Random Oracle], el simulador tiene dos ventajas...
Como dice el título, ¿cuál es la definición correcta de -tree? Hay varios documentos que hablan de k -Los árboles y parcial k -Árboles como definiciones alternativas para gráficos con treewidth acotada, y he visto muchas definiciones aparentemente incorrectas. Por ejemplo, al menos un lugar define...