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 generalización sobre monoides) También …

563 reference-request  big-list  ds.data-structures  functional-programming 

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 ejemplo, importante, convincente, aparentemente simple, etc.) que …

454 big-list  soft-question 

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 …

358 ds.algorithms  soft-question  ds.data-structures  big-list 

[ 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 la …

229 reference-request  soft-question  big-list  books 

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 enlaces relevantes.

218 big-list  open-problem 

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 saber? Sembraré esto con …

140 soft-question  big-list 

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 Ladner no cuentan. ¿Alguno de …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

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 clase de …

113 reference-request  soft-question  big-list 

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 filas y columnas como un todo …

112 ds.algorithms  reference-request  big-list  lower-bounds 

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 aproximación . Creo …

99 reference-request  big-list  books 

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 dispuestos a escribir entradas breves …

90 soft-question  big-list  conferences 

¿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 chistes cortos sobre teoría de la …

80 reference-request  soft-question  big-list 

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

74 reference-request  soft-question  big-list  topology 

¿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 una constante que lo hace inútil en la práctica. Estoy buscando …

67 ds.algorithms  ds.data-structures  big-list  implementation 

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 de grupo, me he …

67 reference-request  big-list  big-picture  algebra