{"id":6672,"date":"2024-06-18T04:48:15","date_gmt":"2024-06-18T04:48:15","guid":{"rendered":"https:\/\/enfoquenoticioso.com\/tecnologia\/el-mit-ha-descubierto-un-problema-matematico-imposible-y-esta-dentro-de-todos-los-juegos-de-mario-en-2d\/"},"modified":"2024-06-18T04:48:15","modified_gmt":"2024-06-18T04:48:15","slug":"el-mit-ha-descubierto-un-problema-matematico-imposible-y-esta-dentro-de-todos-los-juegos-de-mario-en-2d","status":"publish","type":"post","link":"https:\/\/enfoquenoticioso.com\/?p=6672","title":{"rendered":"El MIT ha descubierto un problema matem\u00e1tico imposible. Y est\u00e1 dentro de todos los juegos de Mario en 2D"},"content":{"rendered":"<div>\n<p>Aqu\u00ed viene una pregunta aparentemente sencilla con una respuesta matem\u00e1tica que te va a volar la cabeza. Piensa en un juego de Mario 2D, cualquiera de los que ha salido. Bien, \u00bfdir\u00edas que todos esos t\u00edtulos se pueden superar? Si la respuesta que tienes en mente es s\u00ed, la ciencia viene a decirte que no. En el MIT han encontrado una <a rel=\"noopener, noreferrer\" href=\"https:\/\/arxiv.org\/abs\/2405.10546\" target=\"_blank\">f\u00f3rmula matem\u00e1ticamente imposible<\/a> dentro de los juegos del famoso fontanero de Nintendo.<\/p>\n<p><!-- BREAK 1 --> <\/p>\n<p><strong>Son juegos indecidibles.<\/strong> El trabajo que <a rel=\"noopener, noreferrer\" href=\"https:\/\/arxiv.org\/abs\/2405.10546\" target=\"_blank\">ha aparecido en arXiv<\/a> y que ha publicado un equipo del Laboratorio de Ciencias de la Computaci\u00f3n e Inteligencia Artificial del MIT, indica que los juegos de Mario 2D lanzados desde New Super Mario Bros., con la excepci\u00f3n del \u00faltimo t\u00edtulo, &#8216;<a href=\"https:\/\/www.xataka.com\/videojuegos\/hemos-probado-super-mario-bros-wonder-renovacion-que-necesitaba-mario-2d-sorpresas-puro-estilo-nintendo\" target=\"_blank\" rel=\"noopener\">Super Mario Wonder<\/a>&#8216; (porque es reciente y se necesita m\u00e1s estudio, explican), son todos indecidibles.<\/p>\n<p><!-- BREAK 2 --><\/p>\n<p>En la pr\u00e1ctica (y en clave matem\u00e1tica), cuando hablamos de este t\u00e9rmino hacemos referencia a un problema sin soluci\u00f3n. Dicho de otra forma, <a rel=\"noopener, noreferrer\" href=\"https:\/\/www.khanacademy.org\/computing\/ap-computer-science-principles\/algorithms-101\/solving-hard-problems\/a\/undecidable-problems#:~:text=An%20undecidable%20problem%20is%20one,answer%20correctly%20on%20all%20inputs.\" target=\"_blank\">un problema indecidible<\/a> es una pregunta para la cual es imposible encontrar correctamente una respuesta de s\u00ed o no. En este caso, y como jugador\/es, realmente esperar\u00edamos que fuera de lo m\u00e1s sencillo. Sin embargo, no lo es.<\/p>\n<p><!-- BREAK 3 --> <\/p>\n<p><strong>Un Mario imposible.<\/strong> Tal y como explican en el trabajo los investigadores del MIT, no hay nada m\u00e1s dif\u00edcil que un problema indecidible, \u201c\u00bfPodr\u00e1s llegar a la meta? No existe ning\u00fan algoritmo que pueda responder esa pregunta en un per\u00edodo de tiempo finito\u201d, <a rel=\"noopener, noreferrer\" href=\"https:\/\/www.newscientist.com\/article\/2432195-mathematicians-discover-impossible-problem-in-super-mario-games\/\" target=\"_blank\">cuenta Erik Demaine<\/a>, profesor de inform\u00e1tica en el MIT y uno de los autores del art\u00edculo.<\/p>\n<p><!-- BREAK 4 --><\/p>\n<p>Pero para demostrar algo as\u00ed, no es nada f\u00e1cil, \u00bfc\u00f3mo llegaron a esa conclusi\u00f3n?<\/p>\n<p><strong>Complejidad computacional. <\/strong>B\u00e1sicamente, se basaron en el estudio de lo dif\u00edcil y lento que es <a href=\"https:\/\/www.xatakaciencia.com\/matematicas\/p-versus-np-nunca-lo-entendiste\" target=\"_blank\" rel=\"noopener\">resolver algor\u00edtmicamente diversos problemas<\/a>. Partieron con una ventaja: en <a rel=\"noopener, noreferrer\" href=\"https:\/\/arxiv.org\/abs\/1412.0784\" target=\"_blank\">estudios anteriores<\/a> demostraron que descubrir si es posible <a rel=\"noopener, noreferrer\" href=\"https:\/\/www.newscientist.com\/article\/mg21328565-100-mario-is-hard-and-thats-mathematically-official\/\" target=\"_blank\">completar ciertos niveles en los juegos de Mario<\/a> es una tarea que pertenece a un grupo de problemas <a rel=\"noopener, noreferrer\" href=\"https:\/\/stackoverflow.com\/questions\/1857244\/what-are-the-differences-between-np-np-complete-and-np-hard\" target=\"_blank\">conocidos como NP-hard<\/a>, donde la complejidad crece exponencialmente.<\/p>\n<p><!-- BREAK 5 --><\/p>\n<div class=\"article-asset-image article-asset-normal article-asset-center\">\n<div class=\"asset-content\">\n                   <img class=\"centro_sinmarco\" height=\"900\" width=\"1300\" loading=\"lazy\" decoding=\"async\" sizes=\"auto, 100vw\" fetchpriority=\"high\" srcset=\"https:\/\/i.blogs.es\/a3fe05\/1366_2000-11\/450_1000.jpeg 450w, https:\/\/i.blogs.es\/a3fe05\/1366_2000-11\/650_1200.jpeg 681w,https:\/\/i.blogs.es\/a3fe05\/1366_2000-11\/1024_2000.jpeg 1024w, https:\/\/i.blogs.es\/a3fe05\/1366_2000-11\/1366_2000.jpeg 1366w\" src=\"https:\/\/i.blogs.es\/a3fe05\/1366_2000-11\/450_1000.jpeg\" alt=\"Mario\"\/><br \/>\n   <img decoding=\"async\" alt=\"Mario\" class=\"centro_sinmarco\" src=\"https:\/\/i.blogs.es\/a3fe05\/1366_2000-11\/450_1000.jpeg\"\/><\/p><\/div>\n<\/div>\n<p>Esta es extremadamente dif\u00edcil de calcular para todos los problemas, excepto para los m\u00e1s peque\u00f1os. El MIT le ha dado a todo una vuelta m\u00e1s demostrando que, en ciertos niveles de los juegos de Super Mario, responder a esta pregunta no s\u00f3lo es dif\u00edcil, sino imposible.<\/p>\n<p><!-- BREAK 6 --> <\/p>\n<p><strong>El \u201ctruco\u201d para un Mario imposible.<\/strong> Aunque parezca contradictorio (\u00bfc\u00f3mo no te vas a terminar un Mario?), los problemas en esta categor\u00eda indecidible simplemente no pueden ser resueltos por una computadora, no importa lo poderosa que sea, ni cu\u00e1nto tiempo la dejes funcionando. Eso s\u00ed, desde el MIT admiten un peque\u00f1o \u201ctruco\u201d para que encajen como \u201cindecidibles\u201d. Primero, la investigaci\u00f3n analiz\u00f3 niveles personalizados que les permitieron colocar cientos o miles de enemigos en un solo lugar.<\/p>\n<p><!-- BREAK 7 --><\/p>\n<p><strong>\u00bfC\u00f3mo? <\/strong>Eliminando los l\u00edmites impuestos por los editores del juego sobre la cantidad de enemigos que pueden estar presentes en un nivel. Adem\u00e1s, pudieron usar la ubicaci\u00f3n de los enemigos dentro del nivel para crear una herramienta matem\u00e1tica abstracta denominada \u201cm\u00e1quina contadora\u201d, creando, en esencia, una computadora funcional dentro del juego. De esta forma, el contador de Super Mario estaba equipado con instrucciones muy sencillas: \u00abarriba\u00bb, \u00ababajo\u00bb y \u00absaltar\u201d.<\/p>\n<p><!-- BREAK 8 --><\/p>\n<p><strong>El problema de la parada.<\/strong> Con el \u201ctruco\u201d realizado, desde el MIT invocaron el concepto denominado como \u201c<a rel=\"noopener, noreferrer\" href=\"https:\/\/brilliant.org\/wiki\/halting-problem\/\" target=\"_blank\">problema de la parada\/ o detenci\u00f3n<\/a>\u201d, es decir, otro enigma matem\u00e1tico cuyo enunciado dice que, en general, no hay manera de determinar si un programa de computadora determinado terminar\u00e1 alguna vez, o simplemente se ejecutar\u00e1 para siempre, aparte de ejecutarlo y ver qu\u00e9 sucede.<\/p>\n<p><!-- BREAK 9 --><\/p>\n<p>As\u00ed lograron demostrar que ning\u00fan an\u00e1lisis del nivel del juego puede decir con seguridad si alguna vez podr\u00e1 completarse o no. \u00abLa idea es que podr\u00e1s resolver este nivel de Mario s\u00f3lo si este c\u00e1lculo en particular termina, y sabemos que no hay manera de determinar eso, por lo que no hay manera de determinar si puedes resolver el nivel\u00bb, zanja Demaine.<\/p>\n<p><!-- BREAK 10 --> <\/p>\n<p>Imagen | Nintendo<\/p>\n<p>En Xataka | <a href=\"https:\/\/www.vidaextra.com\/aventura-plataformas\/historia-mayor-rebote-super-mario-como-juego-cancelado-popeye-marino-se-convirtio-donkey-kong\" target=\"_blank\" rel=\"noopener\">La historia del mayor rebote de Super Mario, o c\u00f3mo un juego cancelado de Popeye el marino se convirti\u00f3 en Donkey Kong<\/a><\/p>\n<p>En Xataka | <a href=\"https:\/\/www.xataka.com\/videojuegos\/1-56-millones-dolares-copia-precintada-super-mario-64-subastas-videojuegos-alcanzan-locura\" target=\"_blank\" rel=\"noopener\">1,56 millones de d\u00f3lares por una copia precintada de Super Mario 64: las subastas de videojuegos alcanzan la locura<\/a><\/p>\n<\/p><\/div>\n<p><a href=\"https:\/\/www.xataka.com\/investigacion\/mit-ha-descubierto-problema-matematico-imposible-esta-dentro-todos-juegos-mario-2d\" class=\" target=\" title=\"El MIT ha descubierto un problema matem\u00e1tico imposible. Y est\u00e1 dentro de todos los juegos de Mario en 2D\" target=\"_blank\" rel=\"noopener\">Ver fuente<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Aqu\u00ed viene una pregunta aparentemente sencilla con una respuesta matem\u00e1tica que te va a volar la cabeza. Piensa en un juego de Mario 2D, cualquiera de los que ha salido. Bien, \u00bfdir\u00edas que todos esos t\u00edtulos se pueden superar? Si la respuesta que tienes en mente es s\u00ed, la ciencia viene a decirte que no. [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":6673,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9],"tags":[],"class_list":["post-6672","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-tecnologia"],"_links":{"self":[{"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/posts\/6672","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=6672"}],"version-history":[{"count":0,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/posts\/6672\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=\/wp\/v2\/media\/6673"}],"wp:attachment":[{"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=6672"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=6672"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/enfoquenoticioso.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=6672"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}