Soy nuevo en el campo de CS y he notado que en muchos de los artículos que leo, no hay resultados empíricos (sin código, solo lemas y pruebas). ¿Porqué es eso? Teniendo en cuenta que la informática es una ciencia, ¿no debería seguir el método
En el prefacio de sus libros muy influyentes Automata, Languages and Machines (Volúmenes A, B), Samuel Eilenberg prometió tentadoramente que los Volúmenes C y D se ocupan de "una jerarquía (llamada la jerarquía racional) de los fenómenos no racionales ... utilizando relaciones racionales como una...
Muchos expertos creen que la conjetura es cierta y la utilizan en sus resultados. Mi preocupación es que la complejidad depende en gran medida de la conjetura P ≠ N P.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Entonces mi pregunta es: Mientras no se pruebe la...
¿Alguien se atreve a intentar aclarar cuál es la relación de estos campos de estudio o tal vez incluso dar una respuesta más concreta a nivel de problemas? Como cuál incluye cuál asumiendo algunas formulaciones ampliamente aceptadas. Si entendí esto correctamente, cuando pasas de SAT a SMT...
Recientemente, un amigo mío (trabajando en TCS) mencionó en una conversación que "quería ver / saber todo (o la mayor cantidad posible) de los hermosos resultados en TCS en su vida". Esto me hizo preguntarme sobre los hermosos resultados en esta área y, por lo tanto, la motivación para la siguiente...
Presentación ahora dada. Diapositivas disponibles a continuación. Presentar el trabajo en progreso es algo que todos debemos hacer para obtener retroalimentación temprana y ayudar a cristalizar nuestras ideas. Desafortunadamente, muchos estudiantes de posgrado necesitan ayuda para superar este...
Siendo ingeniero de software durante la mayor parte de mi vida, no tengo ni idea de cómo comenzar a publicar un tipo de documento "académico". Durante mi última investigación, encontré un algoritmo interesante para la tarea que estaba resolviendo (relacionada con algunos cálculos en los mercados...
Además de ACM, IEEE Computer Society, Google Scholar, ¿cuál es el mejor sitio para obtener entradas bibtex para artículos relacionados con la
Recientemente estoy estudiando Haskell y lenguajes de programación. ¿Alguien podría recomendar algunos libros sobre teoría de
Lamento si esta pregunta es un poco vaga, pero tengo curiosidad por saber cómo los investigadores exitosos tienen una "idea" de los resultados en TCS. Por ejemplo, el álgebra lineal puede entenderse geométricamente o en términos de sus interpretaciones físicas (los vectores propios pueden...
¿Sobre qué temas faltantes de TCS en Wikipedia le gustaría que hubiera un artículo? Podrían ser omisiones evidentes o solo temas que crees que realmente deberían tener un artículo. Un tema por respuesta por favor para que los más buscados puedan ser votados. Actualización 5/2/2017 : Shuchi...
Algunos investigadores de alto nivel en informática teórica me han dicho que trabajar en un trabajo de la industria que no es de investigación, incluso solo durante unos años, matará su carrera como investigador de TCS. Sin embargo, sospecho de la afirmación de que el camino de ser un investigador...
Esta es mi primera pregunta sobre la pila de teoría, así que no seas demasiado grosero si estoy violando la etiqueta de alguna manera) Como sabemos, en matemáticas incluso matemáticos famosos, superestrellas y genios están cometiendo serios errores de vez en cuando. Por ejemplo, tanto el teorema...
Estaba leyendo esto . Dice ... No te encontrarás con hambre de financiación como Pure Mathematics. (Todavía siempre te encontrarás hambriento de fondos) ... ¿Por qué los matemáticos puros necesitan financiación? (Ooops su pregunta de overflow matemático) ¿Por qué alguien que realiza una...
Recientemente enseñé expansores e introduje la noción de gráficos Ramanujan. Michael Forbes preguntó por qué se les llama así, y tuve que admitir que no lo sé.
Espero que esta no sea una pregunta políticamente incorrecta, pero para un estudiante de doctorado que generalmente publica en CCC / ITCS / ICALP (y ocasionalmente en FOCS / STOC), podría ser perjudicial (profesionalmente) publicar trabajos menos significativos en conferencias menos prestigiosas...
Asistiré a mi primera conferencia de ciencias de la computación y después de leer los consejos sobre cómo mejorar las conferencias , noté que varias sugerencias eran sobre estudiantes graduados que asistían a su primera conferencia. ¿Qué consejo tiene para un estudiante graduado que asiste a su...
Existen muchas aplicaciones de análisis real en ciencias de la computación teóricas, que abarcan las pruebas de propiedad, la complejidad de la comunicación, el aprendizaje PAC y muchos otros campos de investigación. Sin embargo, no puedo pensar en ningún resultado en TCS que se base en análisis...
Estoy buscando un libro sobre estructuras de datos avanzadas que vaya más allá de lo que se cubre en los libros de texto estándar como Cormen, Leiserson, Rivest y Stein "Introducción a los algoritmos". Un libro que se puede usar para enseñar un curso de posgrado sobre estructuras de datos...
Además de ser completamente académico y obtener un doctorado / postdoctorado, o buscar un trabajo más o menos "estándar" en el desarrollo de software, ¿cuáles son otras opciones de carrera en el campo de CS completo o semi