Supongamos que tenemos una matriz n por n. ¿Es posible reordenar sus filas y columnas de manera que obtengamos una matriz triangular superior? Esta pregunta está motivada por este problema: ordenamiento topológico positivo El problema de decisión original es al menos tan difícil como este, por...
Un DFA tiene una palabra de sincronización si hay una cadena que envía cualquier estado del DFA a un solo estado. En 'La conjetura de Cerny para autómatas aperiódicos ”por AN Trahtman (Matemática discreta y ciencias de la computación teórica vol. 9: 2, 2007, pp.3-10), escribió: Cerny conjeturó...
¿Cuáles son algunos de los principales problemas de complejidad computacional abierta que surgen de los lenguajes de programación, especialmente el análisis y la compilación de programas? Estoy buscando problemas en las líneas de "la complejidad temporal de la inferencia de tipo Hindley-Milner" o...
Leí que la programación lineal entera se puede resolver en tiempo polinominal si el número de variables es fijo, es decir, n ∈ O ( 1 ) . Si el número de variables crece logarítmicamente, es decir, n ∈ O ( log 2 ( N ) ) para una entrada dada de tamaño N , ¿el problema aún se puede resolver en tiempo...
Antecedentes Las funciones en son PAC que se pueden aprender en tiempo cuasipolinomial con un algoritmo clásico que requiere consultas elegidas al azar para aprender un circuito de profundidad d [1]. Si no hay un algoritmo de factorización , entonces esto es óptimo [2]. Por supuesto, en una...
Me pregunto cómo encontrar la circunferencia de un gráfico escaso no dirigido. Por escaso quiero decir . Por óptimo me refiero a la menor complejidad de tiempo.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Pensé en alguna modificación en el algoritmo de Tarjan para gráficos no dirigidos, pero no encontré buenos...
Estoy interesado en el problema "más cercano" (y "más complejo") de la conjetura de Collatz que se ha resuelto con éxito (que Erdos dijo que "las matemáticas aún no están maduras para tales problemas"). Se ha demostrado que una clase de problemas "tipo Collatz" es indecidible. Sin embargo, los...
Objetivo : resolver la conjetura de que no existe un plano proyectivo de orden 12. En 1989, utilizando la búsqueda por computadora en un Cray, Lam demostró que no existe un plano proyectivo de orden 10. Ahora que el Número de Dios para el Cubo de Rubik se ha determinado después de solo unas pocas...
Considere un lenguaje LLL tal que: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) y asi que L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) En otras palabras, la máquina más...
El Capítulo 1 del libro El Método Probabilístico, de Alon y Spencer, menciona el siguiente problema: Dado un gráfico GGG , decida si su conectividad de borde es al menos n/2n/2n/2 o no. El autor menciona la existencia de un O(n3)O(n3)O(n^3) algoritmo por Matula y mejora a
Se sabe que determinar si una variedad múltiple triangulada de 3 es una esfera 3 está en NP, a través del trabajo de Saul Schleimer en 2004: "El reconocimiento de la esfera se encuentra en NP" arXiv: math / 0407047v1 [math.GT] . Me pregunto si esto se ha establecido para NP-completo en los últimos...
La teoría del compilador parece ser un tema bastante investigado. ¿Cuáles son algunos problemas abiertos o investigaciones actuales que están ocurriendo en el
Por http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Si es un lenguaje de PSPACE completa, P A = N P A .UNAAPAGUN= NPAGUNPA=NPAP^{A}=NP^{A} Si es un oráculo de tiempo polinómico determinista, P B ≠ N P B (suponiendo P ≠ N P ).siBBPAGsi≠ NPAGsiPB≠NPBP^{B}\ne NP^{B}PAG≠ NPAGP≠NPP\ne NP...
¿Cuáles son los problemas con las siguientes propiedades: 1) son restricciones de problemas (posiblemente bien conocidos) que están completos en PSPACE; 2) las versiones restringidas están en PSPACE, pero es un problema abierto si son PSPACE-complete (o incluso si son NP-hard). Cuatro ejemplos...
Estoy buscando una lista sobre la complejidad conocida o desconocida de varios problemas teóricos / algebraicos de números. Por ejemplo, El MCD en está abierto,NC1NC1NC^1 factoring en está abierto,PPP la cohomología informática de la gavilla es -duro#P#P\#P , Arora y Barak afirman que una...
Greibach famoso definido un lenguaje de , la denominada versión no determinista de D 2 , tal que cualquier CFL es una imagen mórfica inversa de H . ¿Existe una declaración similar con DCFL, posiblemente con alguna restricción en los morfismos permitidos?HHHD2D2D_2HHH (Véase, por ejemplo, M....
En la complejidad de la comunicación, la conjetura de log-rank establece que cc(M)=(logrk(M))O(1)cc(M)=(logrk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Donde cc(M)cc(M)cc(M) es la complejidad de comunicación de M(x,y)M(x,y)M(x,y) y rk(M)rk(M)rk(M) es el rango de MMM (como una matriz) sobre los...
En los proyectos Polymath, un grupo grande trabaja en un problema abierto. ¿Qué tipo de problemas parecen funcionar mejor en este marco? ¿Hay buenos candidatos para un proyecto de polymath en informática teórica? ¿Hay algún obstáculo que haga que los proyectos Polymath sean menos propensos a...
Sabemos que . Del teorema de Savitch, , y, del Teorema de la jerarquía espacial, . Entonces, como no sabemos si , no sabemos si , o sabemos que ? ¿Alguien ha intentado demostrar que \ mathcal L ^ 2 \ subseteq \ mathcal P ? ¿Cuáles son los últimos resultados o esfuerzos de esta manera? He estado...
Background––––––––––––––Background_\underline{\bf Background} En 2005, Regev [1] introdujo el problema de Aprendizaje con errores (LWE), una generalización del problema de Paridad de aprendizaje con error. La suposición de la dureza de este problema para ciertas opciones de parámetros ahora...