Preguntas etiquetadas con big-picture

¿Qué implicaciones tendría una prueba de la conjetura abc para tcs? http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

24 big-picture  nt.number-theory 

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 complejos (fuera de …

24 soft-question  big-picture 

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 …

24 quantum-computing  big-picture 

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 trabajo previo sobre lógica.λλ\lambda …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

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 análisis asintótico del peor …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

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 termodinámico, …

22 cc.complexity-theory  big-picture  physics 

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 …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

Ú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: la conexión entre el teorema de PCP y la …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

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 los investigadores sospechan que esto es falso, …

21 cc.complexity-theory  complexity-classes  big-picture 

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 contrastar la complejidad de …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

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 qué es tan importante el problema …

19 reference-request  big-picture  dc.distributed-comp 

La computación reversible es un modelo computacional que solo permite operaciones termodinámicamente reversibles. De acuerdo con el principio de Landauer, que establece que borrar un poco de información libera julios de calor, esto excluye las funciones de transición que no son uno a uno (por ejemplo, los operadores booleanos AND …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

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 imperativos, programas con comandos de asignación. …

19 imperative-programming  semantics  big-picture 

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 científicos informáticos y, por lo tanto, …

18 co.combinatorics  big-picture 

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 termodinámica …

18 cc.complexity-theory  soft-question  big-picture