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...
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...
Por lo que entiendo (que es muy poco, ¡así que corrígeme donde me equivoco!), La teoría de los lenguajes de programación a menudo se ocupa de las pruebas "intuicionistas". En mi propia interpretación, el enfoque requiere que tomemos en serio las consecuencias del cálculo en la lógica y la...
Veamos el futuro dentro de 30 años. Seamos optimistas y asumamos que las áreas relacionadas con el aprendizaje automático continúan desarrollándose tan rápido como lo que hemos visto en los últimos 10 años. Eso sería genial, pero ¿cuál sería el papel de los algoritmos tradicionales en un futuro...
Tal como está actualmente, esta pregunta no es adecuada para nuestro formato de preguntas y respuestas. Esperamos que las respuestas sean respaldadas por hechos, referencias o experiencia, pero esta pregunta probablemente solicitará debate, argumentos, encuestas o discusión
Me preguntaba qué herramientas utilizan las personas en este campo (informática teórica) para crear presentaciones. Dado que gran parte de la informática no es solo escribir documentos sino también hacer presentaciones, pensé que esta sería una pregunta suave importante. Esto se inspira en la...
Hace poco recibí mis documentos rechazados de revistas (es decir, TALG) por el simple hecho de no tener una diferencia significativa entre la versión de la revista y los procedimientos (es decir, SODA). Las principales razones para que me envíe a una revista es su minucioso proceso de revisión....
Tengo dificultades para enseñar el concepto de funciones computables. Traté de desarrollar la idea de por qué investigadores como Hilbert / Ackermann / Godel / Turing / Church / ... inventaron la noción de 'computabilidad'. Los estudiantes inmediatamente preguntaron: "¿Qué significa la...
En el artículo "LA COMPLEJIDAD DE LOS PROBLEMAS DE SATISFIABILIDAD" de Thomas J. Schaefer, el autor ha mencionado que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses,...
Esto se trata de cuán efectivamente podemos expresar un algoritmo a mano. Necesito esto para mi enseñanza de pregrado. Entiendo que no existe una forma estándar de escribir un pseudocódigo. Diferentes autores siguen diferentes convenciones. Sería útil si las personas aquí señalan la forma en que...
Enseñaré una clase de pregrado estándar sobre idiomas y autómatas el próximo semestre, y preferiría usar un texto legítimo gratuito o de bajo costo. ¿Alguna sugerencia? Me encanta el texto Sipser, pero la última edición cuesta $ 196, lo cual es difícil de decir con una cara seria en la era de los...
Al reunir resultados, a menudo es deseable tener algunos diagramas de aspecto profesional, en lugar de diagramas juntos en MS Paint. ¿Cuál es el estándar para dibujar estructuras de
Estoy escribiendo artículos en informática teórica, a veces siendo un autor único no anónimo. Anteriormente, utilicé la primera persona del plural en dichos documentos, por ejemplo: Mostraremos que las clases de complejidad X e Y coinciden. No soy hablante nativo de inglés ni extremadamente...
Soy estudiante universitario y recientemente he aceptado el hecho de que es posible que no tenga el intelecto para hacer investigación en informática teórica, o que no pueda ser admitido y completar un programa de doctorado. Sin embargo, todavía me gustaría participar en la informática teórica ya...
La mayoría de los documentos ahora se escriben en colaboración, y los colaboradores a menudo se encuentran en diferentes lugares. Siempre he usado sistemas de control de versiones para mis documentos y código, y también he encontrado que el control de versiones es crítico para proyectos de software...
Tengo dos preguntas históricas: ¿Quién describió por primera vez el cálculo no determinista? Sé que Cook describió problemas NP-completos, y que Edmonds propuso que los algoritmos P son algoritmos "eficientes" o "buenos". Busqué en este artículo de Wikipedia y hojeé "Sobre la complejidad...
Esta pregunta es similar a una pregunta más general sobre cuál es el modelo teórico correcto de una computadora para diseñar algoritmos y estructuras de datos. Aquí, pregunto específicamente sobre las computadoras actuales de alto rendimiento (como las que figuran como las 500 principales ) o...
Esta reciente pregunta de teoría de juegos me hizo pensar (esto es una tangente, por supuesto): ¿es posible optimizar eficientemente una estrategia personal para elegir preguntas de investigación para trabajar en el uso de la teoría de juegos? Para avanzar hacia una formalización de la pregunta,...
Tengo una educación matemática de pregrado razonable, pero nunca me he sentido 100% cómodo con el álgebra abstracta (las matemáticas de grupos, anillos, campos, etc.). Creo que esto se debió en parte a que necesitaba ver aplicaciones y cualquiera que pudiera encontrar estaba en física, no en CS....
¿Cuáles son los mejores recursos para encontrar ofertas de trabajo para profesores en teoría de CS? ¿Hay algún sitio web o lista de correo en particular que sea bastante completo? Actualmente tengo la impresión de que uno tiene que usar una variedad de recursos para obtener una lista completa y...