En la sección "Introducción a los lenguajes de programación" de Anthony Aaby sobre semántica , hace la siguiente observación: Gran parte del trabajo en la semántica de los lenguajes de programación está motivado por los problemas encontrados al tratar de construir y comprender programas...
En la informática distribuida, el problema del consenso parece ser uno de los temas centrales que ha atraído una investigación intensiva. En particular, el artículo "Imposibilidad de consenso distribuido con un proceso defectuoso" recibió el Premio de papel influyente PODC 2001 . Entonces, ¿por...
¿Estoy en lo cierto al entender que probar un problema NP completo es un éxito de investigación? Si es así, ¿por
He buscado por todas partes tales aplicaciones y la mayoría de las veces me he quedado corto. Puedo encontrar muchas aplicaciones de topología y estructuras similares en conjuntos contables (o incontables), pero rara vez encuentro conjuntos incontables como objeto de estudio por parte de...
La teoría de la complejidad parece capturar algo fundamental sobre la estructura del universo, ya que formaliza la noción intuitiva de que algunos problemas son más difíciles que otros. Scott Aaronson predijo : "El supuesto de dureza NP eventualmente será visto como análogo a la segunda ley de la...
Antecedentes . Soy un estudiante de licenciatura que está interesado en investigaciones relacionadas con la teoría de categorías, mónadas y Haskell, y quiero encontrar un tema para mi tesis de licenciatura en esa área. He mirado el papel Eugenio Moggi , " Nociones de computaciones y mónadas ",...
Rompecabezas Dado que el problema es largo aquí hay un caso especial que captura su sentido. Problema: Sea A un algoritmo detrminístico para 3-SAT. Es el problema de simular completamente el algoritmo A (en cada instancia del problema). P-Space duro? (Más precisamente, ¿hay razones para creer...
Actualmente soy un estudiante de secundaria, interesado en informática teórica y matemáticas aplicadas. Yo mismo me enseñé álgebra lineal y cálculo y matemáticas concretas. Tengo una noción ingenua de que para escribir mejores algoritmos, uno debe saber la mayor cantidad de matemáticas posible...
Esta pregunta está inspirada en la camiseta de Georgia Tech Algorithms and Randomness Center , que pregunta "¿Aleatorizar o no?" Hay muchos ejemplos en los que la aleatorización ayuda, especialmente cuando se opera en entornos adversos. También hay algunas configuraciones donde la aleatorización...
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...
¿Cuál es la clase de complejidad asociada con los algoritmos de búsqueda exhaustiva? (si hay uno) ¿Es NP o PSPACE? ¿Existen modelos restringidos de cómputo que capturen la clase de algoritmos de búsqueda exhaustiva similares a los modelos para programación codiciosa y
Siendo de Física, he sido entrenado para investigar muchos problemas desde un punto de vista geométrico. Por ejemplo, la geometría diferencial de múltiples en sistemas dinámicos, etc. Cuando leo los fundamentos de la informática, siempre trato de encontrar interpretaciones geométricas. Como una...
Recuerdo haber visto un estudio o artículo hace un tiempo afirmando que la mayor parte de la aceleración vista en los programas de computadora en las últimas décadas proviene de mejores algoritmos en lugar de hardware más rápido. ¿Alguien sabe el estudio o
Mi primera pregunta es si la caracterización de un sistema de prueba interactivo es conocida para todas las clases de complejidad clásicas. Llamaría P, NP, PSPACE, EXP, NEXP, EXPSPACE, funciones recursivas y recursivamente enumerables clásicas (entre otras). Específicamente, ¿se conoce una...
Me parece que la mayoría de los teóricos de la complejidad generalmente creen en la siguiente regla filosófica: Si no podemos imaginar un algoritmo eficiente para el problema , y podemos reducir el problema Una de problema B , entonces probablemente no es un algoritmo eficiente para el problema...
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...
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...
¿Qué es exactamente la informática teórica? ¿Está aprendiendo a codificar en varios idiomas y creando aplicaciones en plataformas? ¿O solo está pensando en algoritmos cada vez más rápidos para que pueda lograr una tarea de manera más eficiente por parte de las computadoras? ¿O se trata de programar...
Arora y Barak muestran que puede expresarse como B P ⋅ N P, es decir, el conjunto de idiomas que tienen reducciones aleatorias a 3SAT. M A también es una generalización aleatoria natural de N P en la que reemplaza el verificador determinista por uno aleatorio.A MAM\mathsf{AM}B P ⋅ N...