He estado revisando Theory of Computation por diversión y esta pregunta me ha estado molestando por un tiempo (curioso, nunca lo pensé cuando aprendí Automata Theory en mi licenciatura). Entonces, ¿por qué exactamente estudiamos autómatas finitos deterministas y no deterministas (DFA / NFA)? Así...
Es mi primera pregunta en este sitio. Estoy tomando un curso de maestría en teoría de la computación. ¿Cómo explicarías el problema P = NP a un niño de 10 años y por qué tiene una recompensa monetaria? Su toma? Actualizaré la pregunta a medida que mi cabeza se aclare al...
La jerarquía de Chomsky (–Schützenberger) se usa en los libros de texto de informática teórica, pero obviamente solo cubre una fracción muy pequeña de lenguajes formales (REG, CFL, CSL, RE) en comparación con el Diagrama completo del zoológico de complejidad . ¿La jerarquía juega algún papel en la...
Mi departamento a menudo me pide que dé charlas a los alumnos de último año de secundaria sobre los elementos más matemáticos de la informática. Hago mi mejor esfuerzo para elegir temas de TCS que puedan inspirar su interés (que en su mayoría implica algo que ver con el problema de detención), pero...
Siempre hay una forma de aplicación en temas relacionados con la informática teórica. Pero los libros de texto y los cursos de pregrado generalmente no explican la razón por la que la teoría de autómatas es un tema importante y si todavía tiene aplicaciones en la práctica. Por lo tanto, los...
Esta pregunta está dirigida a personas que asignan problemas: maestros, asistentes de estudiantes, tutores, etc. Esto me ha sucedido varias veces en mis 12 años de carrera como profesor: rápidamente asigné algún problema del texto pensando "esto se ve bien". Luego me di cuenta de que no podía...
Cuando seguimos los libros de texto estándar, o la tradición, la mayoría de nosotros enseñamos la siguiente definición de notación big-Oh en las primeras clases de una clase de algoritmos: Quizás incluso le demos la lista completa con todos sus
Adivinar es poco probable que sea una pregunta común, pero preguntarse si alguien ha visto material hecho claramente para dirigirse a esta audiencia de manera
Enseño un curso de algoritmos avanzados y me gustaría incluir algunos temas relacionados con el aprendizaje automático que serán de interés para mis alumnos. Como resultado, me gustaría escuchar las opiniones de las personas sobre los resultados algorítmicos más interesantes / mejores actualmente...
Acabo de enseñar el algoritmo de mincut aleatorio Karger-Stein en mi clase de algoritmos de posgrado. Esta es una verdadera joya algorítmica , así que no puedo no enseñarlo, pero siempre me deja frustrado, porque no conozco ninguna otra aplicación de la técnica principal. (Por lo tanto, es difícil...
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...
Actualmente doy un pequeño curso (cuatro conferencias de dos horas a nivel de maestría) sobre Métodos lógicos en seguridad , aunque el título Métodos formales en seguridad podría ser más adecuado. Cubre brevemente los siguientes temas (con métodos lógicos asociados): Gestión de derechos digitales...
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...
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....
Me ofrecieron enseñar un nuevo programa de escuela secundaria TCS, que requiere la construcción de un plan de estudios. Me gustaría mucho escuchar opiniones y sugerencias sobre esto. Primero, ¿alguien sabe de las escuelas secundarias donde se ha enseñado un programa TCS con éxito (o sin...
max { k , n / k }max{k,norte/ /k}\max \left\{k, n/k\right\}k = n--√k=nortek=\sqrt n Algoritmo de paso gigante de paso de bebé para calcular el logaritmo discreto en O ( n--√)O(norte)O(\sqrt n) , rango ortogonal 2D estático que cuenta en tiempo O ( n--√)O(norte)O(\sqrt n) y memoria O ( n...
Soy un ingeniero de software bastante competente, pero no conozco mucha teoría. Quiero aprender más teoría. Los temas particulares que me interesan son: complejidad computacional, lenguajes formales y teoría de tipos. Pero no sé cómo comenzar a aprender sobre estos campos. ¿Qué recursos...
Estoy buscando ejemplos de resultados que van en contra de la intuición de las personas para una audiencia general. Resultados que, si se les pregunta a los no expertos "¿qué te dice tu intuición?", Casi todos se equivocarían. La declaración de resultados debe ser fácilmente explicable a los...
Cada vez que enseño NP-Completeness, los estudiantes preguntan "¿hay algún problema que se sepa que no pertenece a NP?" ¿Cómo responderías? Por lo general, les doy un problema indecidible como ejemplo, pero esto a menudo no resulta bien: (a) si les doy el problema de detención, piensan que es un...
Suponga que se está reuniendo con programadores que han tomado algunos cursos de programación profesional (/ pensamiento propio) pero no estudiaron matemáticas a nivel universitario. Para mostrarles la belleza de TCS, me gustaría reunir algunos buenos resultados / preguntas abiertas provenientes...