Desde el punto de sentido común de vista, es fácil creer que la adición de no determinismo a se extiende significativamente su potencia, es decir, N P es mucho mayor que P . Después de todo, el no determinismo permite el paralelismo exponencial, que sin duda parece muy poderoso....
Mirar las preguntas a través de la lente algorítmica (es decir, desde un punto de vista algorítmico o de complejidad) se ha vuelto útil en disciplinas fuera del "dominio estándar" de la informática. En particular, CS ha tenido un impacto en la biología a través de la biología computacional, en la...
Ocasionalmente he escuchado a personas hablar sobre algoritmos cuánticos y sobre estados y la capacidad de considerar múltiples posibilidades a la vez, pero nunca he logrado que alguien explique el modelo computacional detrás de esto. Para ser claros, no estoy preguntando cómo se construyen...
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...
Me interesa saber por qué los autores de libros sobre teoría de los lenguajes de programación y teoría de los tipos adoran los números naturales (por ejemplo, J. Mitchell, Fundamentos para los lenguajes de programación y B. Pierce, Tipos y lenguajes de programación). La descripción del cálculo...
Una de las cosas buenas de haber evolucionado en un universo con tres dimensiones espaciales es que hemos desarrollado habilidades para resolver problemas relacionados con objetos en el espacio. Así, por ejemplo, podemos pensar en un triplete de números como un punto en 3-d y, por lo tanto, en un...
Grothendieck ha fallecido . Tuvo un impacto masivo en las matemáticas del siglo XX que continuaron hasta el siglo XXI. Esta pregunta se hace algo en el estilo / espíritu, por ejemplo, de las Contribuciones de Alan Turing a la informática . ¿Cuáles son las principales influencias de Grothendieck...
El estudio de la ecología y la evolución se está volviendo cada vez más matemático, pero la mayoría de las herramientas teóricas parecen provenir de la física. Sin embargo, en muchos casos los problemas tienen una naturaleza muy discreta (véase, por ejemplo, SLBS00 ) y podrían beneficiarse desde...
He leído en varios artículos que la existencia de funciones unidireccionales se cree ampliamente. ¿Alguien puede arrojar luz sobre por qué este es el caso? ¿Qué argumentos tenemos para apoyar la existencia de funciones
¿Qué implicaciones tendría una prueba de la conjetura abc para
El enredo a menudo se considera el ingrediente clave que hace que los algoritmos cuánticos sean ... cuánticos, y esto se remonta a los estados de Bell que destruyen la idea de la física cuántica como un modelo probabilístico de estado oculto. En la teoría de la información cuántica (desde mi punto...
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...
He estado trabajando para introducir algunos resultados de la complejidad computacional en la biología teórica, especialmente la evolución y la ecología , con el objetivo de ser interesante / útil para los biólogos. Una de las mayores dificultades que he enfrentado es justificar la utilidad del...
Estaba leyendo " ¿Es P versus NP formalmente independiente? ", Pero me desconcertó. Se cree ampliamente en la teoría de la complejidad que . Mi pregunta es sobre qué pasa si esto no es demostrable (digamos en ). (Supongamos que solo descubrimos que es independiente de pero no hay más información...
Para verificar mi comprensión, me gustaría compartir algunas ideas sobre los requisitos de energía de la computación. Este es un seguimiento de mi pregunta anterior y podría estar relacionado con la pregunta de Vinay sobre las leyes de conservación . Se me ocurrió que, desde un punto de vista...
He leído que inicialmente Church propuso el cálculo como parte de su artículo Postulados de lógica (que es una lectura densa). Pero Kleene demostró que su "sistema" era inconsistente, después de lo cual Church extrajo cosas relevantes para su trabajo sobre "computabilidad efectiva" y abandonó su...
Tengo curiosidad en un sentido amplio sobre lo que se sabe sobre algoritmos de paralelización en P. Encontré el siguiente artículo de Wikipedia sobre el tema: http://en.wikipedia.org/wiki/NC_%28complexity%29 El artículo contiene la siguiente oración: Se desconoce si NC = P, pero la mayoría de...
Últimamente comencé a buscar algoritmos de aproximación para problemas NP-difíciles y me preguntaba sobre las razones teóricas para estudiarlos. (La pregunta no pretende ser inflamatoria, solo tengo curiosidad). Del estudio de los algoritmos de aproximación ha surgido una teoría realmente hermosa:...
Discusión : Últimamente he pasado algo de tiempo personal aprendiendo varias cosas en la complejidad de la comunicación. Por ejemplo, me he re-familiarizado con el capítulo relevante en Arora / Barak, comencé a leer algunos documentos y ordené el libro a Kushilevitz / Nisan. Intuitivamente, quiero...
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...