Alberto nos cuenta el problema de ¿P=NP?

Los 3 chanchitos
18 Oct 201623:29

Summary

TLDREl guion del video expresa la indignación del narrador ante la mala comprensión de la capacidad de los ordenadores y la complejidad de ciertos problemas computacionales. Expone que los ordenadores no realizan operaciones instantáneamente y utiliza el ejemplo de calcular subconjuntos de un conjunto para ilustrar la rápida expansión de problemas a medida que aumenta su tamaño. Además, se menciona la historia del ajedrez y el grano de arroz para enfatizar la naturaleza exponencial de ciertos problemas y cómo esto afecta la viabilidad de ciertos algoritmos, terminando con una reflexión sobre los problemas NP y NP-completos, y la pregunta fundamental de si P es igual a NP.

Takeaways

  • 😡 El video comienza con la indignación del narrador sobre cómo a menudo se malinterpreta un problema específico relacionado con la capacidad de los ordenadores.
  • 💻 Se desmiente la creencia popular de que los ordenadores pueden realizar operaciones instantáneamente, y se explica que las operaciones computacionales toman tiempo, incluso si es una fracción de segundo.
  • 🎥 Se utiliza el ejemplo de la compilación de videos para ilustrar que las tareas computacionales pueden ser demandantes y tomar un tiempo significativo para completarse.
  • 🔢 Se introduce el concepto de subconjuntos y la fórmula matemática detrás de ellos, 2^n, para demostrar cómo rápidamente crece la complejidad de ciertos problemas a medida que aumenta el tamaño del conjunto.
  • 🐘 Se cuenta la historia del ajedrez y el sabio para ilustrar el crecimiento exponencial y las consecuencias de no comprender la magnitud de tales crecimientos.
  • 📚 Se discuten los problemas NP y NP-completos, destacando la diferencia entre ser capaz de resolver un problema en tiempo polinomial (clasificado como P) y ser capaz de verificar una solución en tiempo polinomial (clasificado como NP).
  • 🤔 Se cuestiona la relación entre los conjuntos P y NP, planteando la pregunta de si P es igual a NP, una de las preguntas abiertas más importantes en la teoría de la computación.
  • 💰 Se menciona el premio del Instituto Clay de un millón de dólares para quien pueda resolver la pregunta de si P es igual a NP, destacando la importancia y el impacto de tal descubrimiento.
  • 🔒 Se discute cómo la resolución de si P es igual a NP tiene implicaciones significativas para la seguridad en Internet, la criptografía y la capacidad de descifrar información.
  • 🎬 Se hace referencia a una película que trata sobre los matemáticos que resuelven el problema P vs. NP, sugiriendo las consecuencias dramáticas y potenciales cambios en el mundo.
  • 📘 Se utiliza el ejemplo de las canciones en CDs para explicar el concepto de problemas NP-completos y la dificultad de encontrar soluciones en tiempo polinomial.

Q & A

  • ¿Por qué dice el narrador que el video es producto de su indignación?

    -El narrador menciona que el video es producto de su indignación porque observa un problema que no se explica bien y a menudo se cuenta mal, lo que le parece indignante.

  • ¿Cuál es el ejemplo que el narrador da para ilustrar que los ordenadores no realizan operaciones instantáneamente?

    -El narrador utiliza el ejemplo de compilar un video, que tarda un tiempo en realizarse, para demostrar que los ordenadores no hacen operaciones de forma instantánea.

  • ¿Cuántos subconjuntos hay en un conjunto con tres elementos según la fórmula matemática mencionada?

    -Según la fórmula 2 elevado a n, donde n es el número de elementos del conjunto, con tres elementos habría 2 elevado a 3, es decir, ocho subconjuntos.

  • ¿Qué es el cuento de la invención del ajedrez que el narrador relata?

    -Es el cuento de un visir en la India que recibe un ajedrez como regalo y, al querer recompensar al sabio que lo creó, este pide un grano de arroz en cada casilla del tablero, el doble de la casilla anterior, lo que resulta en una cantidad asombrosa de arroz.

  • ¿Cuál es la cantidad de arroz que el sabio pide al final del cuento, en términos matemáticos?

    -Al final del cuento, la cantidad de arroz que el sabio pide es representada por 2 elevado a 64, una cantidad enorme que supera la producción de arroz de varios siglos.

  • ¿Qué relación hay entre el cuento del ajedrez y la discusión sobre la capacidad de los ordenadores?

    -El cuento del ajedrez ilustra cómo una función exponencial, como la del ejemplo de los granos de arroz, puede crecer de manera rápida y ser inmanejable, similar a como lo sería calcular todos los subconjuntos de un conjunto grande en un ordenador.

  • ¿Qué es lo que el narrador define como 'un problema np completo'?

    -Un problema np completo es uno de los problemas más difíciles dentro de los problemas np, y si se resuelve uno de ellos en tiempo polinomial, se podría resolver cualquier otro problema np también en tiempo polinomial.

  • ¿Cuál es la diferencia fundamental entre los problemas de la clase P y los problemas de la clase NP?

    -La diferencia fundamental es que los problemas de la clase P son aquellos que se pueden resolver en tiempo polinomial, mientras que los problemas de la clase NP son aquellos para los que se puede verificar una solución en tiempo polinomial, pero no necesariamente resolverlos.

  • ¿Por qué es importante la pregunta de si P es igual a NP?

    -Es importante porque si se demuestra que P es igual a NP, tendría implicaciones profundas en áreas como la seguridad informática, ya que muchos problemas que actualmente son difíciles de resolver se podrían resolver rápidamente.

  • ¿Qué es el premio que ofrece el Instituto Clay por resolver el problema de P vs NP?

    -El Instituto Clay ofrece un premio de un millón de dólares a quien pueda resolver la cuestión de si P es igual a NP, que es uno de los problemas del milenio.

  • ¿Qué ejemplo da el narrador para ilustrar la diferencia entre resolver y verificar una solución en el contexto de los problemas np?

    -El narrador da el ejemplo de saber cuántos CDs son necesarios para almacenar un número de canciones, lo cual es un problema np completo, y verificar si un conjunto de CDs contiene todas las canciones, que es más sencillo.

Outlines

00:00

😕 Indignación por la mala explicación de la capacidad de los ordenadores

El primer párrafo expresa la indignación del autor ante la mala comprensión que la gente tiene sobre las capacidades de los ordenadores. Se discute la creencia errónea de que los ordenadores pueden realizar un número ilimitado de operaciones de manera instantánea. El autor utiliza el ejemplo de la compilación de videos para demostrar que las operaciones de un ordenador no son instantáneas y que el tiempo de procesamiento puede ser significativo, especialmente cuando se realizan tareas complejas como el cálculo de todos los subconjuntos de un conjunto, lo cual es un problema exponencial que puede ser abordado matemáticamente como 2^n, donde n es el número de elementos en el conjunto.

05:01

🧮 La historia del ajedrez y la demostración de la función exponencial

El segundo párrafo profundiza en el concepto de la función exponencial a través de la historia del ajedrez en la India. Se narra el cuento del sabio que pide granos de arroz en una progresión exponencial, lo cual resulta en una cantidad asombrosa de granos, ilustrando así la naturaleza rápida y descontrolada del crecimiento exponencial. El autor compara esta historia con las operaciones de un ordenador y cómo, a medida que aumenta el tamaño del conjunto (n), el número de subconjuntos (2^n) se vuelve impracticable para ser calculado, incluso por una computadora.

10:02

🔒 La importancia de los algoritmos eficientes en la informática

El tercer párrafo se centra en la importancia de los algoritmos eficientes en la informática. Se hace hincapié en que no todos los problemas pueden ser resueltos rápidamente por un ordenador y que la eficiencia de un algoritmo depende de su capacidad para manejar el tamaño de la entrada de datos (n). Se introducen los conceptos de algoritmos polinomiales y exponenciales, y se argumenta que solo los algoritmos polinomiales son prácticamente útiles debido a su capacidad para manejar cantidades razonables de datos sin un tiempo de procesamiento prohibitivo.

15:05

🤔 El misterio de P vs. NP y sus implicaciones

El cuarto párrafo explora el famoso problema de P vs. NP, que es fundamental en la teoría de la computación. Se explica que P representa los problemas que se pueden resolver en tiempo polinomial, mientras que NP son aquellos problemas para los que se puede verificar una solución en tiempo polinomial. El autor discute la distinción entre poder resolver un problema y poder verificar una solución, y cómo la relación entre P y NP es una de las mayores incógnitas en la informática. También se menciona el premio del Instituto Clay Mathematics por la resolución de este problema.

20:06

🐺 El cuento de los tres chanchitos y el lobo: un cambio de tema

El último párrafo proporciona un cambio radical de tema, pasando de la discusión técnica sobre informática a un cuento infantil sobre los tres chanchitos y el lobo. Se narra la historia en verso, donde los chanchitos desobedientes son llevados por el lobo después de salir a pasear sin permiso. El cuento se presenta de manera tradicional y no tiene conexión directa con el contenido técnico de los párrafos anteriores.

Mindmap

Keywords

💡Indignación

La indignación es un sentimiento de enfado o descontento que se siente al ver algo injusto o inaceptable. En el video, el locutor menciona que su indignación es la razón por la que decide hablar sobre un problema que no se explica bien, lo que indica que el tema del video es algo que le preocupa y que cree que merece más atención y explicación correcta.

💡Ordenador

Un ordenador es un dispositivo electrónico que puede realizar operaciones matemáticas y procesamiento de datos de forma automática. En el video, se menciona que a menudo se cree que los ordenadores pueden realizar operaciones instantáneamente, pero esto no es cierto, lo que introduce el tema de las limitaciones de los ordenadores y cómo estas limitaciones afectan la forma en que se percibe su capacidad de procesamiento.

💡Subconjuntos

Un subconjunto es una parte de un conjunto que contiene algunos o todos los elementos del conjunto original. En el video, se utiliza el ejemplo de calcular todos los subconjuntos de un conjunto para ilustrar la idea de que algunos problemas computacionales pueden ser muy complejos y tomar un tiempo significativo para resolver, incluso para un ordenador.

💡Expoentes

En matemáticas, los exponentes se utilizan para multiplicar un número por sí mismo un número determinado de veces. En el video, se menciona que la cantidad de subconjuntos de un conjunto es 2 elevado a la n, donde n es el número de elementos del conjunto. Esto ilustra cómo los problemas computacionales pueden crecer exponencialmente en complejidad con el tamaño del conjunto.

💡Ajedrez

El ajedrez es un juego de tablero que se menciona en el video para ilustrar la idea de crecimiento exponencial. La historia del visir y el sabio muestra cómo el número de granos de arroz en el tablero de ajedrez crece exponencialmente, lo que es un buen ejemplo de cómo algunas situaciones pueden escalar de manera inmanejable rápidamente.

💡Tiempo polinomial

En informática, un algoritmo de tiempo polinomial es aquel que su tiempo de ejecución crece a un ritmo que es un polinomio del tamaño de la entrada. En el video, se argumenta que los algoritmos de tiempo polinomial son los que son prácticamente útiles, ya que aquellos que requieren un tiempo exponencial pueden ser inútiles debido a su lentitud.

💡P y NP

P y NP son clasificaciones de problemas en la teoría de la complejidad computacional. P se refiere a los problemas que se pueden resolver en tiempo polinomial, mientras que NP se refiere a los problemas para los cuales se puede verificar una solución en tiempo polinomial. En el video, se discute la relación entre estos dos conjuntos y la pregunta abierta de si P es igual a NP.

💡NP Completo

Los problemas NP completos son aquellos que son los más difíciles dentro de la clase NP. En el video, se explica que si se puede resolver un problema NP completo en tiempo polinomial, entonces todos los problemas NP también se pueden resolver en tiempo polinomial, lo que implicaría que P es igual a NP.

💡Seguridad en Internet

La seguridad en Internet se menciona en el video en el contexto de las claves de cifrado y la protección de la información. Se argumenta que si se pudiera demostrar que P es igual a NP, podría tener implicaciones significativas para la seguridad en Internet, ya que muchos sistemas de cifrado dependen de la dificultad de resolver ciertos problemas NP para mantener la seguridad de la información.

💡Cuento

El cuento es una forma de narrativa que se utiliza en el video para ilustrar conceptos complejos de una manera más accesible. En este caso, se utiliza el cuento del ajedrez para explicar la idea de crecimiento exponencial y cómo puede afectar a la resolución de problemas computacionales.

Highlights

El video aborda la indignación del creador por la mala explicación de problemas relacionados con la capacidad de los ordenadores.

Se desmiente la idea de que los ordenadores pueden realizar operaciones instantáneamente.

Se explica que la compilación de vídeos y otras tareas exigentes puede tomar tiempo significativo.

Se introduce la idea de que el número de operaciones que un ordenador puede realizar no es ilimitado y puede requerir tiempo.

Se menciona la fórmula matemática para calcular el número de subconjuntos de un conjunto, que es 2^n.

Se ilustra la idea de crecimiento exponencial con el ejemplo de calcular subconjuntos de un conjunto grande.

Se cuenta la historia del ajedrez y el sabio para demostrar la idea de crecimiento exponencial y sus consecuencias.

Se describe la imposibilidad de satisfacer la demanda de arroz en la historia del ajedrez debido al crecimiento exponencial.

Se discute la importancia de diferenciar entre problemas que se pueden resolver rápidamente (en tiempo polinomial) y aquellos que no lo son (en tiempo exponencial).

Se introduce la distinción entre los conjuntos P y NP en la teoría de la computación.

Se explica que si un problema es P, también es NP, pero no necesariamente viceversa.

Se menciona el premio millonario del Instituto Clay por resolver el problema de si P es igual a NP.

Se discute la importancia de los problemas NP completos y su relación con la dificultad de resolver problemas NP.

Se argumenta que resolver un problema NP completo en tiempo polinomial permitiría resolver todos los problemas NP en tiempo polinomial.

Se menciona la relevancia de la pregunta P vs NP para la seguridad en internet y la criptografía.

Se ilustra la diferencia entre comprobar una solución y encontrar una solución con el ejemplo de los CDs y las canciones.

Se destaca la complejidad de problemas NP completos y su impacto en la resolución de otros problemas NP.

Se concluye con la importancia de la distinción entre P y NP y su impacto en la teoría de la computación y la práctica.

Transcripts

play00:00

[Música]

play00:02

los tres

play00:05

[Música]

play00:08

chanchitos Este vídeo es en algún

play00:11

sentido producto de de mi indignación de

play00:15

mi indignación porque veo que hay un

play00:18

problema un problema que que merece la

play00:19

pena conocerse y demás y que no siempre

play00:22

se explica bien Mejor dicho muchas veces

play00:24

se explica muy mal y cuando digo muy mal

play00:27

lo que quiero decir es que se cuenta mal

play00:30

el enunciado del problema porque se

play00:32

cuentan mal las condiciones se cuentan

play00:34

mal Qué significa eh eh es más se dice

play00:37

completamente al revés completamente al

play00:39

revés me voy a

play00:41

centrar la idea es la siguiente vamos a

play00:43

empezar por un

play00:45

ordenador creemos siempre que un

play00:47

ordenador puede hacer tantas operaciones

play00:50

como nos dé la gana y que es casi

play00:52

instantáneo Pero eso no es así y eso no

play00:55

es así porque hay veces que le exigimos

play00:57

a los ordenadores hacer muchas

play00:59

operaciones Bueno a lo mejor alguno Por

play01:00

ejemplo si ha compilado vídeos y cosas

play01:02

de ese estilo verá que ahora estáis

play01:05

viendo un vídeo pues este vídeo se tarda

play01:07

un tiempo en compilar porque lo hacemos

play01:10

de alguna forma especial o le queremos

play01:11

poner imágenes como vamos a poner aquí

play01:14

un poco más para adelante etcétera

play01:16

entonces eso tarda un tiempo en compilar

play01:19

Por qué es eso bueno porque aunque

play01:21

creemos que haces las operaciones

play01:22

instantáneamente pues pero no es cierto

play01:25

tarda una cierta fracción de segundo en

play01:28

realizar cada una de sus operaciones

play01:30

y hay veces que le exigimos mucho voy a

play01:32

poner un ejemplo supongamos que queremos

play01:35

calcular algo que para ello necesitamos

play01:38

calcular todos los subconjuntos de un

play01:39

conjunto bueno existe una fórmula

play01:42

matemática que nos dice que todos los

play01:44

subconjuntos cuántos subconjuntos tiene

play01:45

un conjunto y cuántos son pues 2 elevado

play01:48

a n donde n es el número de elementos

play01:50

del conjunto o sea por ejemplo si

play01:53

tenemos tres elementos pues existen 2

play01:55

elevado a 3 ocho subconjuntos que parece

play01:58

muy manejable o si alguien está diciendo

play02:00

Pues eso seguro que lo hace rápido

play02:01

ordenador efectivamente 2 elevado a 3 lo

play02:04

hace muy rápido un ordenador incluso 2

play02:06

elevado a 5 sería 32 Pues también me lo

play02:10

hace muy rápido y 2 elevado a 10 también

play02:14

poco más de 1000 también me lo hace muy

play02:16

rápido incluso algo más pero como

play02:19

vayamos subiendo el el ns el 2 elevado n

play02:23

pues la función va creciendo mucho es lo

play02:25

que se llama una función

play02:27

exponencial para ilustrarlo un poco pues

play02:29

hay famoso cuento de de la invención de

play02:32

la ajedrez Entonces se supone que había

play02:34

un visir en la India que estaba aburrido

play02:37

y un sabio de su reino pues le le creó

play02:41

el ajedrez y se lo regaló y eso le

play02:43

proporcionó infinitas horas no infinitas

play02:45

pero muchas horas de regocijo y de

play02:49

placer a ese visir y entonces pues lo

play02:52

quiso recompensar le llam al sabio dice

play02:54

ven tú para acá qué quieres Y entonces

play02:57

el sabio dijo bueno pues yo lo lo que

play03:00

quiero es un grano de arroz en la

play03:02

primera casilla del ajedrez dos en la

play03:04

siguiente cuatro en la tercera y así en

play03:08

cada casilla el doble de granos que es

play03:10

la casilla anterior y esos granos de

play03:13

arroz me lo

play03:14

das el visir dijo Mira no te has

play03:17

enterado bien me has proporcionado miles

play03:20

de horas de placer y yo lo que quiero es

play03:23

soy una persona rica enormemente rica la

play03:25

persona más rica del mundo y muy muy

play03:28

generosa quisiera eh recompensarte Como

play03:31

es debido pídeme oros pídeme tierra

play03:34

Pídeme lo que quieras entonces el sabio

play03:38

dijo No no no con eso me conformo con

play03:40

eso me conformo ahora bien si no me

play03:43

pagas ese arroz de aquí al final de

play03:45

semana o de aquí a una semana pues me

play03:48

tienes que dar tu reino me das tu reino

play03:50

dice el otro Bueno ya que insistes en

play03:52

ser tan mísero pues Vale entonces el

play03:54

visir pues llamó a su ministro de

play03:56

hacienda o Quien fuera y Oye calcúlame

play03:59

cuánto arroz hay que darle a ese

play04:00

desgraciado el ministro de hacienda que

play04:02

sabía un poco más de números pues eh se

play04:06

buscó un par de de de contables que le

play04:09

ayudaran a saber cuántos rozas hacía

play04:11

falta y y ya al final pues al final de

play04:14

la semana cuando se estaba terminando el

play04:15

plazo ya fueron con una cantidad al al

play04:18

visir el visir al ver aquella cantidad

play04:21

que le tenía que darse quedó claro

play04:24

estupefacto se quedó vamos una cosa

play04:26

Terrible y entonces pues Yo supongo que

play04:28

haría lo único Aunque eso no lo cuenta

play04:30

del todo bien la historia pero yo te

play04:32

quiero suponer que el visir haría lo

play04:34

único razonable que hay que hacer en

play04:35

esas ocasiones que es cortarle la cabeza

play04:38

al sabio porque sería muy sabio pero se

play04:39

había pasado de listo por qué Porque le

play04:42

estaba pidiendo tanto arroz tanto arroz

play04:45

que no había arroz en el reino eh para

play04:48

satisfacer esa demanda

play04:50

eh o sea con con el grado de producción

play04:54

actual de la producción anual de arroz

play04:56

haría falta la las cosechas de 400 años

play05:01

400 años como la producción de ahora que

play05:03

es mucho mayor que en el pasado para

play05:05

poder satisfacer esa demanda eso es 2

play05:08

elevado a a 64 para los más puristas 2

play05:12

elevado 64 men1 o sea le quitamos un

play05:15

granito a 2 elevado a 64 Y ese es un

play05:18

número ingente obsérvese que antes hemos

play05:20

dicho que 2 elevado a 3 era pequeño que

play05:22

2 elevado a 5 era pequeño también 2

play05:25

elevado a 10 que era razonable pues ya 2

play05:27

elevado a 64 que no hay mucha diferencia

play05:29

es un número absolutamente

play05:31

ingente me gusta dar una imagen visual

play05:34

de Qué significa 2 elevado 64 cojamos

play05:36

una moneda de 1 y pongamos encima otra

play05:38

moneda de 1 eur y encima dos monedas de

play05:40

euro y así hasta formar una pila de

play05:42

monedas de euro de do elevado a 64

play05:45

monedas de 1 eur qué altura tendría esa

play05:49

pila Bueno pues alguien puede pensar que

play05:52

estamos en Sevilla porquees superaría la

play05:54

giralda y efectivamente superaría a la

play05:56

giralda superaría a lo mejor a la tor y

play05:59

efectivamente lo supera o al edificio al

play06:01

bus califa este que es el edificio más

play06:03

alto del mundo incluso superaría la

play06:05

altura de leveres incluso es mucho mayor

play06:08

que la distancia de aquí a la luna y no

play06:11

solo eso sino de aquí al sol que está 8

play06:14

minutos luz porque de hecho esa

play06:18

pila tiene mayor distancia tiene mayor

play06:21

altura que la distancia de aquí a las

play06:23

tres estrellas siguientes o sea porque

play06:26

tiene 4,5 más de 4,5 Eh Años luz de

play06:31

altura una pila de monedas de 4,5 años

play06:34

luz de altura o sea una cosa

play06:36

absolutamente ingente y claro eso un

play06:38

ordenador si le decimos a un ordenador

play06:41

calcúlame los subconjuntos de un

play06:43

conjunto con 64 elementos Bueno nada

play06:46

absolutamente imposible porque no hay

play06:48

ordenador que haga eso en la tierra

play06:50

posiblemente lo hará Porque necesitamos

play06:53

más tiempo del que ha pasado hasta ahora

play06:55

en en la edad del universo O sea que es

play06:57

absolutamente imposible est esto qué

play06:59

quiere decir supongamos que tenemos un

play07:01

problema y vamos a centrarnos un poco

play07:03

supongamos que tenemos un problema y

play07:05

tenemos un algoritmo un método que se lo

play07:07

podemos meter al ordenador y que

play07:08

resuelve dicho problema no basta con

play07:11

tener un método que resuelva el problema

play07:12

lo que hay que tener es un método que lo

play07:14

resuelva en un tiempo

play07:17

razonable claro el tiempo razonable

play07:19

dependerá del tamaño de de la entrada o

play07:22

sea si le metemos un conjunto con n

play07:24

elementos Pues dependerá de ese n si el

play07:27

n es pequeñito Pues a lo mejor el tiempo

play07:29

es más fácil pero queremos que el

play07:30

algoritmo no crezca mucho el número de

play07:33

operaciones que no crezca mucho el

play07:35

número de operaciones en función del

play07:37

número de de datos de la entrada de

play07:40

Cuántos datos tiene nuestra entrada

play07:43

Entonces si el número de operaciones que

play07:45

tenemos que realizar es del orden de 2

play07:48

elevado a n si es exponencial ese

play07:50

algoritmo desde un punto de vista

play07:52

práctico

play07:53

es es absolutamente inútil no sirve para

play07:56

nada entonces por lo tanto nos tenemos

play07:58

que centrar en algoritmos que no sean

play08:00

del tipo exponencial que haga menos de

play08:02

una cantidad exponencial de operaciones

play08:05

normalmente lo que buscamos son

play08:06

algoritmos que hagan una cantidad

play08:08

polinomial de aplicaciones de perdón de

play08:12

de operaciones polinomio es aquello que

play08:14

estudiábamos

play08:15

en en la secundaria de 4n cu + 7n cu +

play08:21

2n + 3 eso es un polinomio que ese sea

play08:24

el número de operaciones en función de n

play08:26

el tamaño de entrada vale Bueno pues ya

play08:29

sabemos lo que son algoritmos eh

play08:32

polinomiales que hacen número polinomial

play08:35

de operaciones y algoritmos

play08:36

exponenciales para nosotros los

play08:38

exponenciales no valen para nada no

play08:40

solucionan ningún problema mientras que

play08:42

los polinomiales son Guay de acuerdo

play08:45

Entonces supongamos que tenemos un

play08:47

problema y hemos encontrado un algoritmo

play08:50

que lo resuelva en cualquier caso

play08:52

siempre en tiempo polinomial pues

play08:55

decimos que ese ese problema el problema

play08:57

ese que teníamos es un un problema que

play09:00

lo podemos resolver bien se puede

play09:01

resolver bien y decimos que ese problema

play09:03

pertenece al conjunto p p mayúscula Vale

play09:08

entonces si un problema lo podemos

play09:11

resolver en tiempo polinomial decimos

play09:14

que ese problema es

play09:16

p bien Ahora supongamos que tenemos otro

play09:20

problema y no conocemos ningún algoritmo

play09:24

que lo pueda resolver en tiempo

play09:26

polinomial no conocemos entonces ese

play09:29

problema no sabemos si es un si es un

play09:32

problema de p o no es un problema de p

play09:34

porque no conocemos ningún algoritmo

play09:37

bien pero ahora supongamos que vamos a

play09:38

hacer otra cosa no vamos a intentar

play09:40

resolver el problema tenemos un problema

play09:43

otro problema del que hemos considerado

play09:45

anteriormente el cual en principio no

play09:48

sabemos resolverlo no tenemos ningún

play09:50

algoritmo que lo resuelve en tiempo

play09:51

polinomial pero sí pero sí que tenemos

play09:54

un algoritmo que comprueba si nos da una

play09:57

solución en tiempo polinal

play09:59

voy a dar un ejemplo por ejemplo

play10:00

supongamos que tengamos que hacer un

play10:02

sudoku tenemos un sudoku delante nuestra

play10:04

resolver el sudoku es relativamente

play10:06

complicado o puede ser muy complicado

play10:09

pero comprobar si una solución es una

play10:12

solución válida del sudoc si nos dan el

play10:13

sudoc resuelto nos dicen Oye

play10:16

compruébamelo eso es simple y rutinario

play10:20

bueno pues A eso me refiero o sea

play10:22

tenemos nos da un problema y podemos

play10:25

hacer dos cosas con el problema uno

play10:26

intentar encontrar una solución y la

play10:29

otra es intentar comprobar si algo es

play10:32

solución de ese problema Algo que nos

play10:34

dan que nos dan ya es comprobar si algo

play10:36

es solución del problema Bueno pues si

play10:38

tenemos un problema y podemos resolverlo

play10:42

en tiempo polinomial decimos que es p Y

play10:44

si podemos comprobar que algo es la

play10:46

solución del problema en tiempo también

play10:47

polinomial decimos que el problema es np

play10:51

evidentemente si un problema es p lo

play10:55

podemos resolver en tiempo polinomial

play10:58

también podemos comprobar probar si algo

play10:59

es solución en tiempo polinomial mi

play11:01

mismo algoritmo de antes me vale por

play11:03

tanto todo problema que esté en p está

play11:05

en

play11:06

np tenemos esta situación de aquí

play11:08

tenemos p Y tenemos np Perdón que es lo

play11:13

que se llama un superconjunto

play11:15

bien pues la gran cuestión una de las

play11:18

cuestiones que plantea el Instituto Clay

play11:22

es que si p es igual a np o dicho de

play11:24

otra forma están estrictamente p

play11:28

incluido dentro dnp o los dos conjuntos

play11:30

es en realidad son iguales hasta ahora

play11:33

nadie nadie ha encontrado un problema

play11:36

que sea np y que se pueda demostrar que

play11:40

no es p eso no lo ha encontrado nadie

play11:42

hasta ahora y si alguien es capaz de

play11:45

encontrar un problema que sea np y no

play11:47

sea p vale un millón de dólares que nos

play11:52

paga el Instituto cl no solo un millón

play11:54

de dólares vale mucho más porque en

play11:56

realidad te harías mundialmente famosa

play11:59

ha completado uno de los problemas del

play12:01

milenio el Instituto Clay proponía siete

play12:03

problemas de los cuales hasta ahora solo

play12:05

se ha

play12:06

eh resuelto uno lo que era la conjetura

play12:09

de puen caré por gory perelman que por

play12:12

cierto no lo cobró no fue a cobrarlo y

play12:16

el millón ese pero sí se ha gastado el

play12:17

millón de dólares el millón de dólares

play12:19

se ha dedicado Pues a crear una una beca

play12:22

y demás para jóvenes investigadores que

play12:25

estudien problemas así similares

play12:28

entonces Ese es el único que se ha

play12:30

resuelto de los otros el más simple que

play12:32

hay para enunciar es el p = a np y la

play12:36

gente pues se confunden y dicen que p

play12:38

es que se puede resolver fácil y que np

play12:42

es que no se puede resolver fácil lo

play12:44

cual no tiene ningún sentido como sus

play12:46

conjuntos y demás como o sea unos se

play12:49

pueden resolver fáciles y otros no se

play12:50

pueden resolver fáciles y la pregunta es

play12:52

si los dos conjuntos son iguales pues

play12:53

evidentemente no si uno no se puede

play12:55

resolver fácil no puede ser que que no

play12:56

se pueda resolver fácil es una de

play12:58

dicotomía El problema correcto es p es

play13:01

que se puede comprobar fácilmente Perdón

play13:04

p es que se puede encontrar fácilmente

play13:06

una solución y np es que se puede

play13:08

comprobar fácilmente que algo es una

play13:10

solución y esa es la diferencia bueno

play13:13

para complicar un poco más la la cosa

play13:15

aparece una colección de

play13:18

problemas principio de los 70 una

play13:21

colección de problemas que es

play13:22

absolutamente mágica que es lo que se

play13:24

llam los problemas np completos en algún

play13:28

sentido los problemas np completos son

play13:30

los más difíciles entre todos los nps y

play13:33

qué significan los más difíciles lo que

play13:35

significa es lo siguiente que si tomamos

play13:38

un problema

play13:40

eh cualquiera np lo podemos reducir a a

play13:45

uno de los problemas np completos de tal

play13:48

forma que si resolvi el np completo en

play13:51

tiempo polinomial de forma fácil

play13:53

podríamos resolver el otro que hemos

play13:55

cogido anteriormente también en tiempo

play13:57

polinomial entonces cualquier problema

play13:59

np se puede reducir a un problema np

play14:03

completo lo cual es una magia esa clase

play14:05

es absolutamente mágica Por qué Porque

play14:08

lo que significa es que si encontramos

play14:11

un solo problema np completo que sea p

play14:15

encontramos un algoritmo sencillo para

play14:18

resolver un problema np completo solo

play14:20

uno todos los demás problemas np

play14:22

completos y no solo todos los demás

play14:24

problemas np completos también todos los

play14:26

problemas np se resuelven en tiempo p

play14:30

eso significa que si un solo problema np

play14:33

completo pertenece a p la clase np es

play14:36

igual a p exactamente iguales

play14:38

evidentemente si uno solo de los

play14:40

problemas np completo

play14:57

demostrárselo investigadores que de

play14:59

verdad ocurren y la otra alternativa es

play15:01

probar que np es igual a p en el primer

play15:04

caso podéis ir al instituto cre cobrar

play15:07

vuestro millón y os

play15:08

haréis ricos y famosos porque os van a

play15:11

llover las invitaciones en el otro caso

play15:13

si demostráis que np es igual p hay que

play15:15

andarse con más cuidado hay incluso

play15:18

papers

play15:19

eh diciendo qué hay que hacer si uno

play15:21

fuera capaz de demostrar eso por qué

play15:23

Porque es que resulta que toda la

play15:25

seguridad en internet y cuando digo toda

play15:27

la seguridad

play15:29

me refiero a claves de bancos a a todas

play15:33

las comunicaciones a todo lo que

play15:36

tengamos almacenado en la nube y no en

play15:38

la nube Porque podríamos acceder a

play15:39

cualquier ordenador etcétera etcétera

play15:41

etcétera todas nuestras claves todo se

play15:44

podría descifrar de forma sencilla

play15:47

entonces incluso hay una película Este

play15:50

es el cartel de la película donde

play15:52

plantea que cuatro matemáticos consiguen

play15:55

resolver el problema p = np y que llegan

play15:58

a la conclusión de que p es igual a np Y

play16:01

entonces bueno no lo voy a desvelar del

play16:02

todo pero no lo pasan del todo bien esos

play16:05

matemáticos no lo pasan del todo bien

play16:07

porque pensas una cosa que es más barato

play16:11

eh cambiar todo el mundo tal como lo

play16:15

tenemos establecido en la actualidad o a

play16:17

cuatro

play16:18

matemáticos bueno Y esto es todo

play16:26

cochinitos buo T parecida yo no me he

play16:29

enterado de una pu bien estamos

play16:31

peres Es que yo Soy torpe porque es que

play16:34

no hombre pero ad si tú te enteres que

play16:35

no son Yo es que no entiendo eso de

play16:38

comprobar y

play16:41

solucionar porque es que aquí hay dos

play16:43

problemas no están los p que tú has

play16:45

dicho que son los que se pueden resolver

play16:46

en un tiempo razonable sí y los np son

play16:49

los que yo puedo comprobar una solución

play16:51

una solución en tiempo razonable déjame

play16:53

que te intente poner un ejemplo Ya sé

play16:55

que hoy en día no se llevan mucho los eh

play16:58

en los CDs pero imagínate recuerdas en

play17:01

que del siglo XX eres en el siglo XX se

play17:03

utilizaban unos CDs y tal Y eso Entonces

play17:07

suponte que tienes tú una colección

play17:10

de de 1000 canciones de 100 canciones

play17:14

las que sea en CD no Ah las tienes en tu

play17:17

ordenador y las quieres pasar a

play17:19

CD vale vas a necesitar mucho tiempo

play17:23

pero también vas a necesitar saber

play17:25

cuántos CDs necesitas

play17:30

vale tú tienes 15 canciones canciones y

play17:33

necesitas saber cuántos cedes Bueno

play17:36

claro uno dice Bueno pues muy sencillo

play17:39

divido la capacidad de cada uno de los

play17:41

CD por la duración de cada una de las

play17:44

canciones y y y ya me me cabe Pero no

play17:47

vale por qué porque cada una cada

play17:48

canción tiene una longitud entonces

play17:51

puede ser que en una que en un CD sobre

play17:54

para meter un minuto y medio pero no lo

play17:56

quieres meter porque sería romper una

play17:57

canción etcétera no Entonces a lo mejor

play17:59

si quitas esta canción de este CD y lo

play18:01

metes en este otro CD pues mejora Bueno

play18:03

ese problema el problema de saber

play18:05

cuántos CDs hacen falta para almacenar

play18:08

tal número de canciones es un problema

play18:10

que es np de hecho es más es np completo

play18:13

de eso que habíamos dicho de los más

play18:15

difíciles por qué porque tú no sabes a

play18:18

priori no existe ningún algoritmo que me

play18:20

diga Cuántos CDs necesitas Wow vale por

play18:24

eso hemos acabado con ellos es más es

play18:25

más si te digo Oye te caben todos tus

play18:28

canciones en estos 25 discos tú no

play18:31

tienes ningún algoritmo que lo pueda

play18:33

calcular fácilmente si caben esos 25

play18:35

discos pero ahora bien en un tiempo

play18:37

razonable en un tiempo razonable pero

play18:38

ahora bien si tú me das los 25 discos y

play18:42

me dices Mira mira a ver si están las 15

play18:45

canciones aquí pues yo me puedo poner a

play18:46

contar todas las canciones y si están

play18:48

todas digo sí si están todas esto es una

play18:51

solución al problema Ah que pillines

play18:54

para que veas entonces lo que tú estás

play18:57

queriendo decirme es que si yo ahora me

play18:58

he hecho en mi casa y encuentro un

play19:01

problema que puedo comprobar la solución

play19:04

es decir que puedo contar por ejemplo lo

play19:06

de las canciones pero no se puede

play19:09

demuestro que no se puede resolver en

play19:10

tiempos polinomiales razonable Entonces

play19:14

en ese caso has probado que p es

play19:15

distinto de P y te llevas medio millón

play19:17

de porque me medio millón medio millón

play19:19

medio millón instituto Clay estamos

play19:22

vamos a por vosotros estáis testigos eh

play19:24

medio millón cada si lo resuel Y

play19:27

entonces si el resuelvo

play19:30

efectivamente pero si tengo la mala

play19:32

suerte de comprobar que este problema

play19:36

que puedo comprobar la solución en un

play19:37

tiempo razonable además puedo encontrar

play19:40

la solución en un tiempo razonable tengo

play19:41

un problema gordo de ese problema en

play19:43

concreto ese problema es np completo y

play19:45

si de ese das un algoritmo que me

play19:48

permite decir siempre en un tiempo

play19:49

razonable Cuántos discos necesito para

play19:51

meter tal número de canciones me van a

play19:53

matar Seguro sí están muerto sí Pero

play19:58

bueno también Es verdad que eh tus

play20:02

amigos o la gente que te conocía Y eso

play20:04

diremos Ah pues este murió porque

play20:06

resolvi lo de np igual a p muerto por la

play20:08

ciencia es la ilusión de mi vida sí sí

play20:10

sí sí sí Ahora ya está ahora está mejor

play20:15

Gracias pero macho vaya ejemplo del

play20:18

siglo XX has puesto Eh bueno te puedo

play20:20

poner otros pero pero de este siglo

play20:24

sí los matemáticos son así viven anclado

play20:27

en el pasado

play20:29

Bueno pero digo yo una cosa Esto lo

play20:32

habéis resuelto ya y no se lo habéis

play20:33

dicho a nadie verdad es mentira eh

play20:39

mentira

play20:42

voy los tres

play20:46

[Música]

play20:53

chanchitos muy bien

play20:57

ahora toca a los tres chanchitos

play21:07

[Música]

play21:10

[Aplausos]

play21:10

[Música]

play21:16

eso tres chanchitos desobedientes sin el

play21:20

permiso de su mamá una mañana muy

play21:24

tempranito se salieron a pasear cuando

play21:28

estaban paseando solos vino el lobo y se

play21:31

los llevó los chanchitos lloran y dicen

play21:35

ay señor lobo Ten compasión ya no

play21:38

seremos desobedientes ayudaremos a mamá

play21:42

tres chanchitos se van entren se van

play21:45

entren se van

play21:49

entren uno moviendo el loquitos otro

play21:53

moviendo la patita otro moviendo la

play21:57

colita tres chanitos se van en tren se

play22:01

van en tren y muy

play22:05

[Música]

play22:20

bien tres chanchitos desobedientes sin

play22:23

el permiso de su mamá Una mañana mu

play22:28

tempranito se salieron a pasear cuando

play22:31

estaban paseando solo vino el lobo y se

play22:35

los llevó los chanchitos lloran y dicen

play22:39

ay señor lobo Ten compasión ya no

play22:42

seremos desobediente ayudaremos a mamá

play22:46

tres chanchitos se van entren se van

play22:49

entren se van

play22:53

entren un movi bien veloci quito otro

play22:57

Endo La Patita otro moviendo la colita

play23:02

tres chanchitos se van en tren se van en

play23:05

tren y muy

play23:09

bien Eso

play23:13

[Música]

play23:19

[Música]

play23:26

Eso than

Rate This

5.0 / 5 (0 votes)

Related Tags
P vs NPSeguridad InformáticaAlgoritmosTiempo PolinomialExponencialAjedrez de ArrozProblemas ComplejosNP CompletoCiencia de DatosTecnología
Do you need a summary in English?