¿Fue la motivación original de Quantum Computing hacer que los problemas de NP fueran realmente manejables?

No.

Históricamente, la motivación original de Richard Feynman para pensar en la computación cuántica fue:

  1. Para obtener una manera eficiente de simular la mecánica cuántica (que, si alguna vez tenemos computadoras cuánticas prácticas, podría ser su aplicación más importante), y
  2. Para asegurarse de que los sistemas cuánticos eran al menos capaces de computación clásica universal (en retrospectiva, esto es bastante obvio, pero no era obvio para las personas a principios de la década de 1980).

Mientras tanto, las motivaciones originales de David Deutsch para pensar en la computación cuántica fueron:

  1. Para encontrar una “prueba empírica” ​​de la Interpretación de QM de muchos mundos (algo que sigue siendo controvertido, como se puede imaginar), y
  2. Para mostrar que la Naturaleza tiene la propiedad de la universalidad computacional (es decir, hay un único sistema cuántico programable que puede simular cualquier otro sistema cuántico).

Tenga en cuenta que ninguno de ellos hacía directamente la pregunta que consideramos central hoy en día (¿puede resolver problemas en el tiempo polinomial cuántico que no puede resolver en el tiempo polinómico aleatorio clásico?): Ambos estaban motivados por inquietudes interesantes pero más idiosincrásicas. Y que yo sepa, ninguno de los dos estaba hablando sobre problemas de NP completo.

Creo que había una breve esperanza, a principios de la década de 1990, de que las computadoras cuánticas pudieran resolver problemas NP-completos en tiempo polinómico. Pero con el “argumento híbrido” de 1994 de Bennett, Bernstein, Brassard y Vazirani, esa esperanza rápidamente dio paso entre los expertos al reconocimiento de que un algoritmo cuántico rápido para problemas NP-completos, si existiera, sería casi tan diferente de todo lo que conocemos hoy como un algoritmo clásico rápido para problemas NP-completos. Desafortunadamente, la idea errónea de que se sabe que las computadoras cuánticas son capaces de resolver problemas NP-completos en el tiempo polinómico persiste en la prensa popular, que es una de las razones por las que tengo la afirmación contraria como el lema de mi blog @ Shtetl-Optimized.