Preguntas etiquetadas con big-list

Desde el libro de 1998 de Chris Okasaki "Estructuras de datos puramente funcionales", no he visto aparecer muchas nuevas estructuras de datos puramente funcionales; Puedo nombrar solo algunos: IntMap (también inventado por Okasaki en 1998, pero no presente en ese libro) Árboles de dedos (y su...

Esta pregunta es (inspirada por) / (vergonzosamente robada) una pregunta similar en MathOverflow , pero espero que las respuestas aquí sean bastante diferentes. Todos tenemos trabajos favoritos en nuestras propias áreas teóricas. De vez en cuando, uno encuentra un papel tan sorprendente (por...

Paul Erdos habló sobre el "Libro" donde Dios guarda la prueba más elegante de cada teorema matemático. Esto incluso inspiró un libro (que creo que ahora está en su cuarta edición): Pruebas del libro . Si Dios tuviera un libro similar para algoritmos, ¿qué algoritmo (s) crees que sería un candidato...

[ Cronología ] Esta pregunta tiene el mismo espíritu de qué documentos deben leer todos y qué videos deben ver todos . Pide libros notables en diferentes áreas de la informática teórica. Los libros pueden estar orientados a las matemáticas, sin embargo, puede ser excelente para un científico de...

Wikipedia solo enumera dos problemas bajo "problemas no resueltos en informática" : P = NP? La existencia de funciones unidireccionales ¿Cuáles son otros problemas importantes que deberían agregarse a esta lista? Reglas: Solo un problema por respuesta Proporcione una breve descripción y los...

La Universidad de Stanford ahora tiene un canal de Youtube , con acceso gratuito a videos HD de cursos completos sobre todo, desde sistemas dinámicos hasta entrelazamiento cuántico. Más conferencias y talleres están grabando en video sus charlas. ¿Qué videos en línea crees que todos deberían...

La factorización y el isomorfismo gráfico son problemas en NP que no se sabe que están en P ni en NP-Completo. ¿Cuáles son algunos otros problemas naturales (suficientemente diferentes) que comparten esta propiedad? Los ejemplos artificiales que provienen directamente de la prueba del teorema de...

Ha habido varias preguntas con el mismo esquema que este: ¿Qué documentos deberían leer todos? ¿Qué libros deberían leer todos? ¿Cuáles son los libros recientes de TCS cuyos borradores están disponibles en línea? ¿Qué videos deberían ver todos? Era reacio a publicar otro más, pero las notas de...

La informática teórica ha proporcionado algunos ejemplos del "precio de la abstracción". Los dos más destacados son para la eliminación y clasificación gaussianas. A saber: Se sabe que la eliminación gaussiana es óptima para, por ejemplo, calcular el determinante si restringe las operaciones a...

Después de la publicación Qué libros deberían leer todos , noté que hay libros recientes cuyos borradores están disponibles en línea. Por ejemplo, la entrada de Algoritmos de aproximación de la publicación anterior cita un libro de 2011 (aún por publicar) titulado El diseño de algoritmos de...

Me gustaría pedir ayuda para compilar una lista de tantas conferencias y talleres relacionados con TCS como sea posible. Mi principal motivación para hacer esto es planificar la posible cobertura del blog de más lugares teóricos: encontrar corresponsales que asistan a estos eventos que estén...

¿Cuál es el trabajo publicado más divertido relacionado con TCS que conoces? Por favor incluya solo aquellos que están destinados a ser divertidos. Se prefieren las obras que están explícitamente diseñadas para ser inteligentemente humorísticas (en lugar de, por ejemplo, una colección publicada de...

Enumere ejemplos en los que se utilizó por primera vez un teorema de las matemáticas que normalmente no se consideraba aplicable en informática para probar un resultado en informática. Los mejores ejemplos son aquellos en los que la conexión no era obvia, pero una vez que se descubrió, es...

Soy un profesional del software y estoy escribiendo una encuesta sobre estructuras algebraicas para la investigación personal y estoy tratando de producir ejemplos de cómo se utilizan estas estructuras en la informática teórica (y en menor grado, otros subcampos de la informática) . Bajo la teoría...

¿Cuáles son algunos algoritmos de utilidad legítima que son simplemente demasiado complejos para implementar? Permítanme ser claro: no estoy buscando algoritmos como el algoritmo de multiplicación de matriz óptima asintótica actual (Coppersmith-Winograd), que es razonable de implementar pero tiene...

Viniendo de un fondo más matemático, nunca aprendí realmente cómo codificar. Estoy comenzando un doctorado en TCS y muchas personas se sorprendieron por lo poco que sabía sobre programación (y sobre computadoras en general). Puedo escribir algoritmos en pseudocódigo, pero realmente no conozco...

Actualizado a continuación Todos sabemos la importancia crítica de la revisión por pares. Es la forma principal de control de calidad y retroalimentación sobre la investigación. Sin embargo, para un investigador en etapa temprana (como yo), a veces puede ser un sistema / proceso confuso. En...

EDITAR EL 10/12/08: Trataré de modificar la pregunta para que pueda interesar a más personas compartir sus opiniones. ¡NECESITAMOS sus contribuciones! Esta publicación está inspirada en la de MO: ejemplos de creencias falsas comunes en matemáticas . Las listas grandes a veces generan una gran...

A menudo, cuando participamos en conferencias de TCS, notamos algunos pequeños detalles que desearíamos que los organizadores de la conferencia hubieran tenido en cuenta. Y cuando organizamos conferencias, ya lo hemos olvidado. De ahí la pregunta: ¿Qué pequeños pasos podríamos tomar fácilmente...

Estoy buscando ejemplos de problemas parametrizados por un número , donde la dureza del problema no es monotónica en k . La mayoría de los problemas (en mi experiencia) tienen una transición de fase única, por ejemplo, k -SAT tiene una transición de fase única de k ∈ { 1 , 2 } (donde el problema...