Una pregunta suave es una pregunta (posiblemente subjetiva) sobre el campo de la informática teórica en lugar de ser una pregunta en informática teórica.
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...
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...
Después de leer la pregunta de Daniel Apon , comencé a pensar que podría ser útil (especialmente para investigadores junior y estudiantes graduados como yo) hacer una pregunta más amplia y más general para que podamos aprender de la experiencia de más investigadores senior. Así que aquí está la...
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...
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...
Solo estoy leyendo sobre el cálculo lambda para "conocerlo". Lo veo como una forma alternativa de cálculo en lugar de la máquina de Turing. Es una forma interesante de hacer cosas con funciones / reducciones (hablando en términos generales). Sin embargo, algunas preguntas me siguen...
¿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...
Actualmente soy un estudiante de pregrado, destinado a graduarme este año. Después de la graduación, estoy considerando trabajar para obtener un master / doctorado en TCS. He comenzado a preguntarme qué campos de las matemáticas se consideran útiles para TCS, especialmente la teoría de la...
Es posible que esta pregunta no se adapte aquí, pero no pude encontrar un lugar mejor para preguntar (estaba cerrado en SO). Encuentro trabajos de investigación en informática difíciles de entender. Por supuesto, los temas son complicados. Pero después de que entiendo un documento, por lo general,...
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...
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...
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...
A lo largo de los años, me he acostumbrado a ver muchos teoremas de TCS probados mediante análisis discreto de Fourier. La transformación de Walsh-Fourier (Hadamard) es útil en prácticamente todos los subcampos de TCS, incluidas las pruebas de propiedad, pseudoaleatoriedad, complejidad de...
Esta pregunta es algo que me he preguntado por un tiempo. Cuando las personas describen el problema P vs. NP, a menudo comparan la clase NP con la creatividad. Señalan que componer una sinfonía de calidad de Mozart (análoga a una tarea de NP) parece mucho más difícil que verificar que una sinfonía...
¿Cuáles son las pautas generales para verificar sus pruebas? Creo que esto es importante para los estudiantes graduados como yo. Ya sé lo que tenemos que hacer para probar algo, pero siempre debes verificar todo antes de enviarlo. Incluso a tu propio asesor. Desarrollé algunas estrategias por...
Soy nuevo en el sitio. En Mathoverflow, esto sería wiki comunitario, pero no veo cómo configurarlo aquí. No es una pregunta de investigación, pero espero sea de interés para los científicos teóricos profesionales en informática. Soy un estudiante graduado de segundo año en teoría, y me preguntaba...
Después de estudiar autómatas deterministas de estado finito (DFA) en pregrado, sentí que se los comprende muy bien. Mi pregunta es si hay algo que todavía no entendemos acerca de ellos. No me refiero a generalizaciones de DFA, sino a los DFA originales no modificados que estudiamos en...