En SODA 1995 , Jeff Erickson mostró límites más bajos para la satisfacción lineal (verificando si algún subconjunto de n números reales satisface una ecuación lineal en las variables r ). El método de prueba utiliza infinitesimales y el principio de transferencia de Tarski .rrrnortennrrr ¿Alguien...
Los lenguajes deterministas sin contexto (DCFL) y los lenguajes visiblemente pushdown (VPL) son ambos conjuntos de lenguajes formales entre lenguajes sin contexto (CFL) e idiomas regulares (REG). ¿Existe una notación legible que se pueda expresar en ASCII simple como Backus-Naur-Form para CFL y...
Es fácil ver que para cualquier existe un mapeo 1-1 de {0,1} a {0,1} tal que para cualquier el vector está "equilibrado", es decir, tiene el mismo número de 1s y 0s. ¿Es posible definir tal para que dada podamos calcular eficiente?F n n + O ( log n ) x F ( x ) F x F ( x )nortennFFFnorten^nn + O (...
Hola a todos, actualmente estoy tratando de encontrar un tema de tesis de maestría sólido relacionado con alguna rama de la teoría de autómatas o relacionada con lenguajes formales. Estoy tratando de generar algunas buenas ideas sobre lo que sería un tema aceptable, algo ambicioso pero algo...
Muestre una función que sea construible en el espacio pero no construible en el tiempo.f(n)f(n)f(n) ¿Está este problema relacionado con una posible separación entre las clases de complejidad DTIME (f (n)) y SPACE (f
Un sistema de la estrella es una familia de n subconjuntos de n-elementos establecidos S . Un sistema de estrellas es gráfico si hay algún gráfico G ( V , E ) tal que F es la familia de los barrios vértice en G . Es N P- completo para decidir si un sistema estelar dado es
Ejemplos de variantes completas de limitadas de conjuntos indecidibles:NPNPNP Problema de detención delimitado = { | La máquina NTM detiene y acepta en pasos}M x t( M, x , 1t)(M,x,1t)(M, x, 1^t)METROMMXxxttt Mosaico limitado = { | hay un mosaico de un cuadrado de área por mosaicos de }t 2 T(...
Muchos aquí probablemente estén al tanto de los límites inferiores súper lineales recientes de Alon para redes en un entorno geométrico natural [PDF] . Me gustaría saber qué implica, en todo caso, un límite inferior acerca de la aproximación de los problemas asociados de Set Cover / Hitting Set....
Stratego es un lenguaje de transformación de programación / Reescritura DSL. Anthony Sloane ha trabajado en una implementación que se ejecuta en Scala . ¿Cuáles son los límites teóricos de Stratego como lenguaje funcional? (independientemente de la implementación). ¿Se podría escribir un...
Estoy interesado en instancias individuales "difíciles" de problemas NP-completos. Ryan Williams discutió el problema SAT0 en el blog de Richard Lipton . SAT0 pregunta si una instancia SAT tiene la solución específica que consiste en todos los 0. Esto me hizo pensar en construir instancias SAT que...
¿Tenemos clases de complejidad con respecto a, digamos, la complejidad del caso promedio? Por ejemplo, ¿hay una clase de complejidad (con nombre) para los problemas que toman el tiempo polinómico esperado para decidir? Otra pregunta considera la mejor complejidad del caso , ejemplificada a...
Suponga que P≠NPP≠NPP \neq NP Deje usar la siguiente notación para la tetración (es decir.iaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | es el tamaño de la instancia x. Deje L ser una lengua,...
Los generadores invulnerables se definen de la siguiente manera: Sea una relación NP y M una máquina que acepte L ( R ) . Informalmente, un programa es un generador invulnerable si, en la entrada 1 n , produce pares de instancia-testigo ( x , w ) ∈ R , con | x | = n , de acuerdo con una...
¿Se conoce alguna clase de complejidad que contenga homólogos en línea de problemas de optimización? Si no, ¿cómo se puede definir esa clase? Sabemos que muchos problemas tienen su versión en línea: por ejemplo, la versión en línea del problema de empaquetado de contenedores. Los problemas en...
Me pregunto si hay lenguaje escaso (incluso construido por diagolanización retrasada) en NPI bajo el supuesto de que .P≠NPP≠NPP \neq
Estoy buscando una función hash sobre los conjuntos H (.) Y una relación R (.,.) Tal que si A está incluida en B, entonces R (H (A), H (B)). Por supuesto, R (.,.) Debe ser fácil de verificar (tiempo constante) y H (A) debe calcularse en tiempo lineal. Un ejemplo de H y R es: , donde k es un...
Me gustaría saber el estado actual de la transición de fase para k-sat aleatorio, dadas n variables y m cláusulas, cuál es la c = m / n más conocida para los límites superior e
¿Qué documentos sobre el manejo de errores en sistemas distribuidos me
Busqué en el foro para ver si esto se ha preguntado antes, y aunque se discute la teoría algorítmica de juegos, no pude encontrar este problema en particular. Estoy tratando de descubrir cuál es el algoritmo más conocido para calcular equilibrios de Nash aproximados (de estrategia mixta) en un...
En SODA 2006, Martin Grohe y D niel papel de Marx "resolución de restricciones a través de cubiertas de borde fraccional" ( cita ACM ) mostraron que para la clase de hypergraphs H con anchura Hypertree fraccional acotada, CSP ( H ) ∈ P T I M E .una´a´\acute{\rm a}HHHHHH∈ PTyoMETROmi∈PTIME\in...