Dos documentos que incluiría son: D. Kozen, "Indización de clases subrecursivas" , STOC, 1978. R. Ladner, "Sobre la estructura de la reducibilidad del tiempo polinomial" , JACM,
¿Qué tipo de conjeturas y principales problemas abiertos son los más importantes en la teoría algorítmica de juegos (o la teoría de juegos en general en lo que se refiere a CS)? Por ejemplo, la resolución de NASH como PPAD completo, creo, habría sido la más grande hasta que se resolvió. (Agregado:...
¿Se conocen los resultados que descartan la existencia de estructuras de datos "demasiado buenas para ser verdaderas"? Por ejemplo: ¿se puede agregar la funcionalidad y J o i n a una estructura de datos de mantenimiento de pedidos (ver Dietz y Sleator STOC '87 ) y aún obtener operaciones de...
Estoy comenzando mi doctorado este otoño y estoy planeando trabajar en teoría de la complejidad para mi tesis. Estoy compilando una lista de documentos importantes que todo teórico de la complejidad debería saber. ¿Qué documentos le sugerirías a una persona como yo? Y explique brevemente por qué...
Busqué en Internet, pero no pude encontrar ninguna 'gran lista' de variantes del problema SAT. Aparte del (común) SE SENTÓ, k-SAT, MAX-kSAT, Medio SAT, XOR-SAT, NAE-SAT ¿Qué más variantes hay? (también será realmente útil si se dan clases de complejidad (cuando sea...
Estoy buscando ejemplos de resultados que van en contra de la intuición de las personas para una audiencia general. Resultados que, si se les pregunta a los no expertos "¿qué te dice tu intuición?", Casi todos se equivocarían. La declaración de resultados debe ser fácilmente explicable a los...
Después de la discusión sobre los límites inferiores para 3SAT [ 1 ], me pregunto cuáles son los principales resultados del límite inferior formulados como compensaciones espacio-tiempo. Estoy excluyendo resultados como, por ejemplo, el teorema de Savitch; una buena entrada se centraría en un solo...
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
Para celebrar el cumpleaños número 100 de Alan Turing, quiero ver un documental sobre su vida. Sin embargo, hay varios documentales para elegir. ¿Qué documental sobre Alan Turing es tu favorito? Incluya solo un documental por
¿Hay libros recientes sobre algoritmos en línea? Solo conozco dos libros sobre el tema. Computación en línea y análisis competitivo de Allan Borodin y Ran El-Yaniv: este es un libro clásico pero antiguo, y no contiene muchos avances recientes en el campo. El diseño de algoritmos competitivos en...
Suponga que se está reuniendo con programadores que han tomado algunos cursos de programación profesional (/ pensamiento propio) pero no estudiaron matemáticas a nivel universitario. Para mostrarles la belleza de TCS, me gustaría reunir algunos buenos resultados / preguntas abiertas provenientes...
¿Qué algoritmos útiles existen que funcionan en grandes flujos de datos y también sus resultados son bastante pequeños y uno puede calcular el resultado para una mezcla de dos flujos fusionando de alguna manera sus resultados? Puedo nombrar algunos: Las cosas obvias como sum, min, max, count,...
¿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...
¿Cuáles son algunas afirmaciones (no conocidas) de que si es cierto, el PH debe colapsar? Se agradecen las respuestas que contienen una afirmación corta de alto nivel con referencia (s). Traté de hacer una búsqueda inversa sin mucha
Soy un estudiante de CS. Hicimos teoría de grafos en un curso. Lo encontre interesante. ¿Cuáles son las aplicaciones reales de la teoría de grafos en el campo de la informática? Por ejemplo, descubrí que algunos conceptos en la teoría de grafos se pueden usar para diseñar redes. ¿Cuáles son...
Todos los museos y exposiciones relacionados con la informática que conozco parecen abarcar solo la historia de la maquinaria informática, pero nada sobre temas de informática. Usted está involucrado en la creación de un nuevo Museo de Computación, creado para educar, entretener e inspirar al...
Los algoritmos de aproximación pueden dar salida hasta algún factor constante. Esto es un poco menos satisfactorio que los algoritmos exactos. Sin embargo, los factores constantes se ignoran en la complejidad del tiempo. Entonces, me pregunto si el siguiente truco es posible o si fue utilizado,...
En 1996, un problema abierto de larga data fue resuelto por una computadora; a saber, que el álgebra de Robbins y el álgebra booleana son lo mismo. La prueba fue encontrada por un probador de teoremas automatizado. Además, la prueba conocida del teorema de cuatro colores contiene componentes...
Estoy buscando problemas NP-hard para una reducción. Hasta ahora he encontrado los siguientes problemas: Problema de 3 particiones problema de embalaje Emparejamiento numérico tridimensional TSP Cualquier problema de NP completo sin datos numéricos, por ejemplo, SATISFIABILIDAD, CICLO...