¿De qué se trata exactamente la conjetura P / NP? ¿Por qué es tan importante demostrarlo?

Dependerá de lo nerd que quieras hacer. NP es para tiempo polinomial no determinista, y P es para tiempo polinomial. La pregunta se reduce a esto:

Si puedo verificar una solución en tiempo polinómico, ¿también puedo encontrar la solución en tiempo polinómico?

Sabemos que hay una clase de problemas realmente difíciles que siempre usamos cosas muy avanzadas, incluidas las computadoras para resolver. Pero no hemos demostrado que sean tan difíciles como pensamos, ni hemos demostrado que sean fáciles.

Es algo importante de resolver, pero depende de su perspectiva. La mayoría de los matemáticos y los informáticos creen que P no es igual a NP, lo que significaría negocios como de costumbre. Si P fuera igual a NP, los negocios no serían habituales en absoluto. Https, la criptografía y nuestra capacidad de predecir el caos se verían afectados. Nuestra información se volvería insegura y el estado de la tecnología humana mejoraría dramáticamente prácticamente de la noche a la mañana. Pero, eso no es tan probable.

Personalmente, no veo ninguna razón para creer que P es NP. Me encantaría que así fuera, pero habríamos visto alguna evidencia de esto. Lograr que la tecnología mejore seguirá siendo un viaje difícil y largo, como siempre ha sido. De acuerdo, hay ajustes y comienzos que hacen grandes cambios, pero … esta es una venta difícil.

Buenas respuestas ya, pero permítanme explicar un poco más sobre el tema. Tanto P como NP se refieren a algoritmos de “tiempo polinómico”, que significan algoritmos que para un tamaño dado “n” toman pasos “n ^ m” donde m es algo constante (por ejemplo, 2 para un total de n pasos cuadrados) para resolver.

También hay clases de algoritmos en la categoría general llamados “NP-hard” que toman más tiempo, por ejemplo, problemas que toman 2 ^ n pasos (o 2, 4, 8, 16, … pasos para n = 1, 2, 3, 4, etc.). Estos son computablemente intratables porque pasar de un tamaño de n a n + 1 lleva exponencialmente más tiempo.

La diferencia práctica básica entre P y NP, sin entrar en la maleza con la teoría de autómatas de estado finito, es que en realidad podemos construir máquinas P (computadoras), pero las máquinas NP no se pueden construir a menos que, algún día en el futuro lejano, la computación cuántica se vuelve capaz de hacer computación general en lugar de tener solo un puñado de qbits haciendo un solo algoritmo fijo y muy simple.

Si alguien alguna vez crea una prueba de que P = NP (o, lo que es más probable, lo refuta), esa persona obtendrá sin duda el Premio Turning, el Premio Noble en Matemáticas y su elección de cátedras dotadas en cualquier universidad, posiblemente incluyendo la Cátedra Lucasian en Matemáticas celebrada anteriormente por Newton y Hawking. Eso debería ilustrar la importancia del problema.

El núcleo del problema NP está relacionado con la respuesta a la pregunta: ¿Podemos, utilizando algún algoritmo, encontrar el valor de verdad (o significado) de una frase lógica (o lingüística) en una cantidad práctica de tiempo o no? Las personas han acordado una definición de “práctica” que involucra funciones polinómicas en la longitud de la fórmula / frase de entrada. La mayoría de la gente cree que no podemos encontrar dicho algoritmo. Esto se llama conjetura P <> NP. Aunque no tiene pruebas, a menos que alguien demuestre que P <> NP, ahora es el axioma en el que se basa toda la informática moderna. La razón de esto es que hay miles de problemas prácticos muy importantes que pueden reducirse a responder esta pregunta aparentemente simple … gracias por la pregunta importante – saludos

More Interesting

¿Quién es el Alan Turing de nuestro tiempo?

¿Cuáles son las principales estrategias para representar conceptos cualitativos como conceptos cuantitativos?

¿Existen los números irracionales que no son construibles en la recta numérica real?

¿Cuál es la diferencia entre notación matemática y notación de programación? ¿Por qué usar uno sobre el otro? ¿Por qué no solo usar siempre la programación?

¿Cuál es la complejidad computacional de un problema de clasificación? ¿Es P o NP?

Cómo entender el concepto de que 'si p entonces q' es equivalente a 'no p o q' Eg; 'Si muero, entonces me voy' es equivalente a 'Vivo o me voy'

Si las computadoras no pueden calcular números flotantes con precisión, ¿cómo funcionan las calculadoras y las computadoras científicas?

¿Cuáles son los mejores libros sobre teoría de grafos?

¿Qué es un algoritmo para convertir de una lista de adyacencia a una matriz de incidencia?

¿Por qué elegir una base de datos relacional sobre una no relacional, si la consistencia y la disponibilidad no son factores?

Cómo obtener una sólida base matemática

Cómo resolver [matemáticas] (n + k) ^ j = \ Theta (n ^ j) [/ matemáticas] para k, j en números reales y j> 0

¿Cuáles son algunas aplicaciones del mundo real de la teoría de la información cuántica?

¿Cuáles son algunas de las aplicaciones más elegantes de la teoría de grafos?

¿Cómo resuelve la programación dinámica las decisiones óptimas de asignación de activos?