Hace unos años, Joel Friedman realizó algunos trabajos relacionados con los límites del circuito inferior a la cohomología de Grothendieck (ver documentos: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 ) ¿Esta línea de pensamiento ha aportado nuevas ideas sobre la complejidad...
En 1995, Russell Impagliazzo propuso cinco mundos de complejidad: 1- Algoritmica: con todas las asombrosas consecuencias.PAGS= NPAGSPAGS=nortePAGSP=NP 2- Heuristica: los completos de son difíciles en el peor de los casos ( ) pero se pueden resolver de manera eficiente en el caso...
"Sabemos" que lleva el nombre de Steve Cook y N C lleva el nombre de Nick Pippenger. Si no me equivoco, Steve Cook nombró a NC en honor a Nick Pippenger, y me dijeron que lo contrario también es cierto. Sin embargo, no he podido encontrar ninguna evidencia de este último hecho en el documento de...
A menudo escucho que para muchos problemas conocemos algoritmos aleatorios muy elegantes, pero no, o solo soluciones deterministas más complicadas. Sin embargo, solo conozco algunos ejemplos de esto. Lo más destacado Selección rápida aleatoria (y algoritmos geométricos relacionados, por ejemplo,...
Mirar las preguntas a través de la lente algorítmica (es decir, desde un punto de vista algorítmico o de complejidad) se ha vuelto útil en disciplinas fuera del "dominio estándar" de la informática. En particular, CS ha tenido un impacto en la biología a través de la biología computacional, en la...
Tengo cierta experiencia en informática científica, y he usado ampliamente kd-trees para aplicaciones BSP (partición de espacio binario). Recientemente me he familiarizado con los octrees, una estructura de datos similar para particionar espacios euclidianos en 3-D, pero que funciona a intervalos...
Dos de los supuestos comunes para probar la dureza de los resultados de aproximación son y Unique Games Conjecture. ¿Hay alguna dureza de los resultados de aproximación suponiendo N P ≠ c o N P ? Estoy buscando el problema A tal que "es difícil aproximar A dentro de un factor α a menos que N P = c...
Es imposible escribir un lenguaje de programación que permita todas las máquinas que se detienen en todas las entradas y no en otras. Sin embargo, parece fácil definir dicho lenguaje de programación para cualquier clase de complejidad estándar. En particular, podemos definir un lenguaje en el que...
A menudo se cita una justificación filosófica para creer que P! = NP incluso sin pruebas. Otras clases de complejidad tienen evidencia de que son distintas, porque si no, habría consecuencias "sorprendentes" (como el colapso de la jerarquía polinómica). Mi pregunta es, ¿cuál es la base para creer...
Descargo de responsabilidad: solo puedo dar fe de mis campos de investigación, a saber, métodos formales, semántica y teoría del lenguaje de programación. La situación es posiblemente diferente en otras partes de la disciplina. Parece que TCS se ha vuelto bastante orientado a la conferencia. Los...
Ocasionalmente he escuchado a personas hablar sobre algoritmos cuánticos y sobre estados y la capacidad de considerar múltiples posibilidades a la vez, pero nunca he logrado que alguien explique el modelo computacional detrás de esto. Para ser claros, no estoy preguntando cómo se construyen...
En el artículo The Random Oracle Hypothesis Is False , los autores (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan y Rohatgi) discuten las implicaciones de la hipótesis del oráculo aleatorio . Argumentan que sabemos muy poco acerca de las separaciones entre clases de complejidad, y la mayoría de...
¿Existe una estructura de datos de cola prioritaria que admita las siguientes operaciones? Insertar (x, p) : agrega un nuevo registro x con prioridad p StableExtractMin () : devuelve y elimina el registro con prioridad mínima, rompiendo los lazos por orden de inserción . Por lo tanto, después...
Esta pregunta trata sobre problemas para los cuales existe una gran brecha de complejidad abierta entre el límite inferior conocido y el límite superior, pero no debido a problemas abiertos en las propias clases de complejidad. Para ser más precisos, digamos que un problema tiene clases de brecha...
Defina LOGLOG como la clase de lenguajes que se pueden calcular en el espacio O (loglog n) mediante una máquina de Turing determinista (con acceso bidireccional a la entrada). De manera similar, defina NLOGLOG como la clase de lenguajes que se pueden calcular en el espacio O (log log n) mediante...
Si bien he aprobado algunos cursos sobre teoría de la probabilidad, tanto en la escuela secundaria como en la universidad, me cuesta leer los documentos de TCS cuando se trata de probabilidad. Parece que los autores de los artículos de TCS están muy familiarizados con la probabilidad. Trabajan...
Necesito un libro de teoría de autómatas finito con muchos ejemplos que pueda usar para el autoaprendizaje y para prepararme para los
En esta pregunta, una fórmula 3CNF significa una fórmula CNF donde cada cláusula involucra exactamente tres variables distintas . Para una constante 0 < s <1, Gap-3SAT s es el siguiente problema prometedor: Gap-3SAT s Instancia : fórmula φ A 3CNF. Sí, prometo : φ es satisfactoria. Sin...
En el espíritu de algunas discusiones generales como esta , estoy abriendo este hilo con la intención de reunir opiniones sobre cuáles son los desafíos abiertos y los temas candentes en la investigación sobre lenguajes de programación . Espero que la discusión pueda traer a la superficie opiniones...
¿Hay un ejemplo interesante de un algoritmo aleatorio para un problema de búsqueda que siempre genera la misma respuesta (correcta), independientemente de su aleatoriedad interna, pero que explota la aleatoriedad para que su tiempo de ejecución esperado sea mejor que el tiempo de ejecución del más...