El análisis del caso peor y el caso promedio son medidas bien conocidas para la complejidad de un algoritmo. El análisis suavizado recientemente ha surgido como otro paradigma para explicar por qué algunos algoritmos que son exponenciales en el peor de los casos funcionan tan bien en la práctica,...
¿Es el siguiente problema en PTIME o coNP-hard: Dadas dos expresiones booleanas y e 2 en variables x 1 , ... , x n , sin negación (es decir, las expresiones se construyen completamente a través de ∧ y ∨ ). Decida si e 1 ≡ e 2 , es decir, tienen el mismo valor para todas las asignaciones a las...
Estoy buscando un problema que pertenece a en gráficos generales pero está en en gráficos de ancho de árbol acotado. De hecho, creo que estos problemas son más difíciles que usar la programación dinámica normal en acotado -Gráficos de árbol de ancho para
¿Cuál es el número mínimo de compuertas binarias necesarias para calcular AND y OR de bits de entrada simultáneamente? El límite superior trivial es 2 n - 2 . Creo que esto es óptimo, pero ¿cómo probarlo? La técnica de eliminación de compuerta estándar no funciona aquí, ya que al asignar una...
Según un resultado clásico de Kuroda, la clase de complejidad NSPACE [ ]nortenorten (también conocida como NLIN-SPACE) es precisamente la clase CSL de lenguajes sensibles al contexto . El problema de satisfacción SAT está en NSPACE [ ], ya que una suposición de tamaño lineal para una solución se...
Estoy interesado en este problema: dado un gráfico no dirigido , ¿hay una partición de G en los gráficos G 1 ( E 1 , V 1 ) y G 2 ( E 2 , V 2 ) de modo que G 1 y G 2 son isomorfos?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 Aquí se divide en...
Me preguntaba si los problemas para los cuales existen algoritmos de tiempo sublineal (en el tamaño de entrada) pueden caracterizarse por poseer propiedades específicas. Esto incluye el tiempo sublineal (por ejemplo, pruebas de propiedad, una noción alternativa de aproximación para problemas de...
No se sabe si isomorfismo gráfico (GI) para gráficos fuertemente regulares (SRGS) está en P . ¿Hay alguna pista de que podría o no ser GI -Complete? ¿Hay alguna consecuencia fuerte en tales casos? (Similar a la creencia de que GI puede no ser
En el problema de embalaje rectángulo, uno se le da un conjunto de rectángulos y que limitan rectángulo R . La tarea es encontrar una ubicación de r 1 , ... , r n dentro de R de manera que ninguno de los n rectángulos se superpongan. Generalmente, la orientación de cada rectángulo r i es fija. Es...
Suponga que, para cada , hay una máquina de Turing que decide un lenguaje en el tiempo . ¿Hay un algoritmo único que decida en el tiempo ? (Aquí, el término se mide en términos de , la longitud de entrada).ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a +...
No tengo conocimiento en el área de la teoría de la complejidad que involucra grupos, así que me disculpo si este es un resultado bien conocido. Pregunta 1. Sea una simple gráfica no dirigida de orden n . ¿Cuál es la complejidad computacional (en términos de n ) de determinar si G es transitivo...
Supongamos que . N P I es la clase de problemas en que no están ni en ni en N P -hard. Puede encontrar una lista de problemas conjeturados como N P I aquí .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}PNPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} El teorema de Ladner nos...
Se sabe que se puede calcular exactamente el determinante de una matriz en el espacio determinístico log 2 ( n ) . ¿Cuáles serían las implicaciones de complejidad de aproximar el determinante de una matriz real, de la norma como máximo 1 ( ‖ A ‖ ≤ 1 ) en el espacio logarítmico aleatorizado, por...
Un nuevo artículo salió reclamando algoritmo cuasi-polinomial para Logarithm discreto. http://arxiv.org/abs/1306.4244 Si es correcto, ¿significa que ya no tenemos una separación exponencial en la complejidad de un algoritmo clásico y su versión cuántica para el problema del logaritmo discreto?...
Hay muy poca información que puedo encontrar sobre el problema NP-completo de resolver la ecuación lineal de diofantina en enteros no negativos. Es decir, ¿hay una solución en no negativo para la ecuación , donde todas las constantes son positivas? La única mención notable de este problema que...
Gowers ha esbozado recientemente un problema, que él llama "determinación Borel discreta", cuya solución está relacionada con probar los límites inferiores del circuito. ¿Puede proporcionar un resumen del enfoque que se adapta a una audiencia de teóricos de la complejidad? ¿Qué se necesitaría...
Los autómatas finitos no ambiguos (UFA) son un tipo especial de autómatas finitos no deterministas (NFA). Un NFA se llama inequívoco si cada palabra tiene como máximo una ruta de aceptación.w ∈ Σ∗w∈Σ∗w\in \Sigma^* Esto significa .D FA ⊂ UFA ⊂ NFUNreFUN⊂UFUN⊂norteFUNDFA\subset UFA\subset...
Estoy buscando problemas que se sabe que son NPC para gráficos dirigidos pero tienen un algoritmo polinomial para gráficos no dirigidos. He visto la pregunta sobre los problemas "dirigidos" al revés que son más fáciles que su variante "no dirigida" , pero estoy buscando dureza en el lado...
Los teoremas de la jerarquía son herramientas fundamentales. Un buen número de ellos se recopiló en una pregunta anterior (consulte ¿Qué jerarquías y / o teoremas de jerarquía conoce? ). Algunas separaciones de clase de complejidad se derivan directamente de los teoremas de jerarquía. Ejemplos de...
¿Está NP en DTIME(npolylogn)DTIME(npolylogn)DTIME(n^{poly\log n})