¿Deberíamos considerar


30

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 PN P.PNPPNP

Entonces mi pregunta es:

Mientras no se pruebe la conjetura , ¿se puede / se debe considerar como una ley de la naturaleza, como se indica en la cita de Strassen? ¿O deberíamos tratarlo como una conjetura matemática que tal vez haya sido probada o refutada algún día?PNP

Citar:

"La evidencia a favor de las hipótesis de Cook y Valiant es tan abrumadora, y las consecuencias de su fracaso son tan grotescas, que su estado tal vez se pueda comparar con el de las leyes físicas en lugar de con las conjeturas matemáticas ordinarias".

[La alabanza de Volker Strassen al ganador del Premio Nevanlinna, Leslie G. Valian, en 1986]

Hago esta pregunta al leer la publicación ¿ Resultados de física en TCS? . Quizás sea interesante notar que la complejidad computacional tiene algunas similitudes con la física (teórica): muchos resultados de complejidad importantes se han demostrado asumiendo , mientras que en la física teórica los resultados se prueban asumiendo algunas leyes físicasPNP . En este sentido, puede considerarse algo así como E = m c 2 . Volver a los resultados de física en TCS? :PNPE=mc2

¿Podría (parte de) TCS ser una rama de las ciencias naturales?

Aclaración:

(véase la respuesta de Suresh a continuación)

¿Es legítimo decir que la conjetura en la teoría de la complejidad es tan fundamental como las leyes físicas en la física teórica (como dijo Strassen)?PNP


10
El sitio web cstheory.stackexchange.com no es un lugar adecuado para debates. Por favor, compruebe “¿Qué tipo de preguntas le debería no pregunte aquí?” En FAQ .
Tsuyoshi Ito

11
Bueno, espero que alguien pueda tener una respuesta correcta para mi pregunta. Creo que el punto de vista de Strassen es bastante interesante y, curiosamente, no hablamos de eso. Revisaré las preguntas frecuentes ahora ...
vb le

8
Estás pidiendo la opinión de la gente, no hechos, por lo que esta pregunta es claramente inadecuada en mi opinión. No tiene que estar de acuerdo, pero espero que mi postura al respecto sea clara.
Tsuyoshi Ito

30
Creo que esta pregunta es bastante importante y que en este caso podemos hacer una excepción a la tendencia a evitar discusiones.
Gil Kalai

3
@Gil Kalai: Hay muchas cosas importantes para discutir en este mundo, pero cstheory.stackexchange.com no es el lugar adecuado para ellas. Por favor discútalos en otro lugar.
Tsuyoshi Ito

Respuestas:


57

La declaración de Strassen debe ponerse en contexto. Este fue un discurso dirigido a una audiencia de matemáticos en 1986, una época en que muchos matemáticos no tenían una alta opinión de la informática teórica. La declaración completa es

Para algunos de ustedes puede parecer que las teorías discutidas aquí descansan sobre bases débiles. Ellos no. La evidencia a favor de las hipótesis de Cook y Valiant es tan abrumadora, y las consecuencias de su fracaso son tan grotescas, que su estado tal vez se pueda comparar con el de las leyes físicas más que con las conjeturas matemáticas ordinarias.

Estoy seguro de que Strassen había tenido conversaciones con matemáticos puros que decían algo en la línea de

Sin embargo, una prueba tradicional sería de gran interés, y me parece que la hipótesis de Valiant puede ser más fácil de confirmar que la de Cook ...

entonces quizás lo etiquetaría como una "hipótesis de trabajo" en lugar de una "ley física".

Permítanme finalmente señalar que los matemáticos también usan tales hipótesis de trabajo. Hay una gran cantidad de artículos de matemática que prueban teoremas cuyas afirmaciones dicen "Suponiendo que la hipótesis de Riemann sea verdadera, entonces ...".


1

77
@vzn: esta es la razón por la cual los matemáticos que dijeron cosas como esta eran tan molestos.
Peter Shor

=?

20

Puedo ver tres formas relacionadas de entender la pregunta:

NPP

NPP

NPP

Creo que hay buenas razones para responder 'sí' o 'calificado sí' para estas tres preguntas.


11

No estoy seguro de entender. Una ley física (del tipo que usted indica) es una expresión matemática de un modelo (en ese ejemplo, la relatividad) que pretende capturar la realidad. Se puede demostrar que una ley física es incorrecta si las matemáticas subyacentes son incorrectas, pero también puede ser incorrecta si el modelo subyacente cambia (por ejemplo, la mecánica newtoniana). P vs NP es una conjetura matemática específica que es verdadera o falsa (y puede ser demostrable o no)


Sé que exagero con la cita de Strassen. Mi preocupación es que la complejidad depende en gran medida de la pregunta P vs NP, como la física en sus leyes (como ha aclarado). Entonces la pregunta es: mientras la conjetura P vs. NP no esté probada, ¿se puede / se debe considerar como una ley física, como se indicó en Strassen?
vb le

7

Para responder a su pregunta original:

PNP

"El supuesto de dureza NP ?: No hay medios físicos para resolver problemas NP completos en tiempo polinómico".

Dio una buena charla en la Universidad de Waterloo titulada Intractabilidad computacional como ley de la física.


13

77
+1. De una de las conversaciones que tuve con un amigo, terminé creyendo que el universo no tendría ninguna razón para existir si P = NP.
labotsirc

2
@labotsirc ¿podrías dar tus razones?
T ....

5

NLPSPACENPcoNPPNP


Desde el punto matemático, su respuesta tiene sentido, pero la pregunta no es matemática. Creo que P vs. NP es una pregunta más natural e intuitiva, por lo que no es irracional pensar que P vs. NP es más adecuado como punto de partida. En el fondo, creo que el problema no es la matemática, sino cómo los modelos matemáticos de computación que hemos construido corresponden al mundo real y lo que se puede hacer en él.
Kaveh

1
NPcoNPPNP

1

ϕϕ


8
Excepto que sabemos que si las leyes físicas no impiden la creación de máquinas Blum-Shub-Smale en nuestro universo, P y NP serían equivalentes. Entonces la pregunta está relacionada con el mundo físico en ese sentido.
Kyle Jones

@KyleJones Lo siento, no entiendo lo que estás diciendo (probablemente porque no sé lo suficiente sobre el modelo BSS). ¿Podría darme una referencia que explique esto con más detalle?
Thinniyam Srinivasan Ramanatha

Quise decir que si se produce una prueba matemática de la declaración, ninguna evidencia del mundo físico puede refutarla.
Thinniyam Srinivasan Ramanatha

-4

Puede hacer muchos experimentos sobre velocidades y velocidades, y obtendrá evidencia abrumadora para validar las leyes de Newton. Por supuesto, verá algunas cosas muy extrañas en experimentos muy particulares, como la velocidad de la luz en el agua en movimiento o algunos eventos astronómicos. Pero sus pruebas abrumadoras le dirán: Newton tiene razón y esas leyes son lo que necesita

Por supuesto, Newton "no está bien", y Einstein vino tras él.

Para P = NP, podemos ver muchos ejemplos donde parece P ≠ NP. Pero en algunos casos particulares, tenemos cosas extrañas. Si P ≠ NP, hay un número infinito de clases entre ellos, por lo que deberíamos encontrar algunos problemas en NP que no están en P, pero que no son NP completos. No conocemos ninguno de ellos, y se demostró que la mayoría de los candidatos estaban en P.

Lo que piensa sobre este problema depende de dónde quiera mirar. No me sorprendería si P = NP.


77
En realidad, todavía hay muchos candidatos para problemas NP-intermedios, cuya complejidad exacta sigue sin resolverse: cstheory.stackexchange.com/questions/79/…
Joshua Grochow

Es bueno saber esta lista, ¡gracias por este comentario!
Xoff
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.