Ciencias de la computación teórica

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 probablemente sean "difíciles". …

10 cc.complexity-theory  sat  hard-instances 

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 combinador de orden aplicativo en Stratego?

10 functional-programming 

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 …

10 cc.complexity-theory  np-hardness 

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 …

10 cc.complexity-theory  np-hardness 

¿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 continuación: ¿Existe una clase de problemas …

10 cc.complexity-theory  complexity-classes 

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 expresiones regulares para REG?

10 fl.formal-languages 

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 podría explicar la intuición …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

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 factible al mismo …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

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 (n))?

10 cc.complexity-theory  space-bounded  separation 

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 ) …

10 ds.algorithms  ds.data-structures  encoding 

Por BPP / lineal, me refiero a máquinas BPP con asesoramiento lineal, que cumple la promesa cuando se le da el consejo "correcto", y la desrandomización debería darnos, por ejemplo, un algoritmo P / lineal o (SUBEXP / lineal). Si usamos suposiciones no uniformes, creo que los resultados clásicos deberían …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

¿Qué evidencia hay de que ?c o R P≠ NPAGcoRP≠NPcoRP \neq NP es la clase de idiomas para los que existe una máquina de Turing probabililista que se ejecuta en tiempo polinómico y siempre responde Sí en una entrada que pertenece al idioma y responde No con probabilidad al menos …

10 cc.complexity-theory  complexity-classes 

La mayor parte de la literatura parece estar relacionada con máquinas con oráculos individuales para problemas específicos, sin embargo, parece haber algunos documentos que consideran máquinas con oráculos múltiples. ¿Existe un buen trabajo o tesis que proporcione una visión general de lo que se sabe sobre tales máquinas? En particular, …

10 oracles  turing-machines 

Deje ser un gráfico conectado no regular cuyo grado está acotado. Supongamos que cada nodo contiene un token único.G = ( V, E)G=(V,E)G= (V, E) ¿Quiero barajar uniformemente los tokens entre el gráfico usando solo intercambios locales (es decir, el intercambio de tokens entre dos nodos adyacentes)? ¿Existe un límite …

10 ds.algorithms  random-walks  dc.distributed-comp 

¿Se puede generalizar la naturaleza de dividir y conquistar de la FFT a otras transformaciones (z Transformar, chirp, etc.) automáticamente? ¿Existe un algoritmo que tome una descripción de la transformación (no sé qué información sería necesaria) y puede producir una función rápida como FFT?

10 ds.algorithms