Siempre me intriga la falta de evidencia numérica de las matemáticas experimentales a favor o en contra de la pregunta P vs NP. Si bien la hipótesis de Riemann tiene alguna evidencia de respaldo de la verificación numérica, no conozco evidencia similar para la pregunta P vs NP. Además, no estoy al...
Soy un estudiante graduado en matemáticas, y la informática teórica es un dominio del que nunca entendí de qué se trata porque no pude encontrar una buena lectura sobre el tema. Quiero saber de qué se trata este dominio, qué tipo de temas le conciernen, qué requisitos previos se necesitan para...
Mi pregunta es general: ¿cómo empiezo a pensar en términos de diseño y complejidad de algoritmos? Voy a tomar un curso de posgrado en diseño de algoritmos. Me había inscrito en él antes, pero lo abandoné más tarde porque no podía seguir el ritmo. Tengo que tomar este curso como requisito. ¿Hay un...
Desde un punto de vista puramente abstracto de razonamiento matemático / computacional, ¿cómo podría uno incluso descubrir o razonar sobre problemas como 3-SAT, Subset Sum, Travelling Salesman, etc.? Estaríamos incluso capaz de razonar sobre ellas de una manera significativa con sólo la...
El problema de mantenimiento de la orden (o "mantener el orden en una lista") es apoyar las operaciones: singleton: crea una lista con un elemento, le devuelve un puntero insertAfter: dado un puntero a un elemento, inserta un nuevo elemento después de él, devolviendo un puntero al nuevo...
Encuentro algunos libros sobre computadoras, pero todos tratan sobre tecnología. Quiero algo más vinculado a la
Larry Wasserman tiene una publicación reciente donde habla sobre la "policía de valor p". Él hace un punto interesante (todo el énfasis es mío) (la premisa en cursiva que agregué y su respuesta debajo): La queja más común es que físicos y periodistas explican incorrectamente el significado de un...
Soy estudiante universitario de ciencias de la computación y actualmente estoy planeando mi proyecto de graduación. Necesito algunas ideas en el campo de la computación cuántica. ¿alguna
La complejidad computacional implica grandes cantidades de combinatoria y teoría de números, algunas ingrididades del estocástico y una cantidad emergente de álgebra. Sin embargo, al ser un analista, me pregunto si hay aplicaciones de análisis en este campo, o tal vez ideas inspiradas en el...
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...
Teniendo en cuenta los temas tratados en una conferencia como STOC, ¿hay algún algoritmo o investigador de complejidad que use activamente COQ o Isabelle? Si es así, ¿cómo lo usan en su investigación? Supongo que la mayoría de la gente no usaría tales herramientas porque las pruebas serían de un...
Antecedentes : Estoy llegando al final de mi maestría en matemáticas y comenzaré un doctorado en lógica en agosto. Mientras más lógica estudio, más informática teórica estoy expuesta, por ejemplo, teoría de la recursión, cálculo lambda, pero el CS subyacente está debajo de la alfombra. Mis...
La teoría del compilador parece ser un tema bastante investigado. ¿Cuáles son algunos problemas abiertos o investigaciones actuales que están ocurriendo en el
Esto está relacionado con la pregunta general de " ¿Cómo arbitro un trabajo? ". Estoy revisando un documento para una conferencia, y este documento debe ser rechazado, porque no es lo suficientemente significativo para su publicación y tiene fallas en algunos de sus detalles técnicos. El documento...
¿Cuáles son las carreras típicas para los informáticos teóricos (personas con título de posgrado en informática teórica)? ¿Qué tipo de industrias e instituciones buscan el conocimiento teórico de la informática? ¿Qué carreras suelen examinar los informáticos
Estoy buscando algunos consejos y comentarios. Antecedentes: soy un estudiante de pregrado en matemáticas, interesado en la informática teórica (complejidad computacional, teoría de grafos, combinatoria). Quiero obtener un doctorado en informática y centrarme en la teoría. Mi experiencia es en...
Para celebrar el cumpleaños número 100 de Alan Turing, quiero ver un documental sobre su vida. Sin embargo, hay varios documentales para elegir. ¿Qué documental sobre Alan Turing es tu favorito? Incluya solo un documental por
Fuera de la academia, ¿cuáles son los usos de mis 'poderes'? ¿Qué puedo hacer aparte de enseñar y publicar trabajos? ¿Dónde puedo aplicar todos mis poderes? En aras de la discusión: por favor, suponga que tengo un doctorado en algoritmos / TCS y he aprendido una gran cantidad de "cosas" y he...
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...
La geometría computacional es un área que me parece bastante interesante, y me gustaría dedicar aproximadamente un mes o dos a un proyecto que me presente a esto y me ayude a aprender conceptos clave. ¿Cuál es una buena manera de abordar esto y cuáles son los conceptos clave que debería estar...