{"id":6127,"date":"2021-03-05T06:00:26","date_gmt":"2021-03-05T04:00:26","guid":{"rendered":"http:\/\/www.glc.us.es\/~jalonso\/exercitium\/?p=6127"},"modified":"2021-03-12T10:05:06","modified_gmt":"2021-03-12T08:05:06","slug":"siguiente-equidigital","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/siguiente-equidigital\/","title":{"rendered":"Siguiente equidigital"},"content":{"rendered":"<p>Dos n\u00fameros son equidigitales si tienen el mismo multiconjunto de d\u00edgitos. Por ejemplo, 2021 y 2120 son equidigitales ya que ambos tiene a {0,1,2,2} como su multiconjunto de d\u00edgitos.<\/p>\n<p>Definir la funci\u00f3n<\/p>\n<pre lang=\"text\">\n   siguienteEquidigital :: Integer -> Maybe Integer\n<\/pre>\n<p>tal que (siguienteEquidigital n) es precisamente el menor n\u00famero equidigital con n que es mayor que n (es decir, (Just x) si x es dicho n\u00famero o Nothing si no hay ning\u00fan n\u00famero equidigital con n que sea mayor que n). Por ejemplo,<\/p>\n<pre lang=\"text\">\n   siguienteEquidigital 12    ==  Just 21\n   siguienteEquidigital 21    ==  Nothing\n   siguienteEquidigital 513   ==  Just 531\n   siguienteEquidigital 531   ==  Nothing\n   siguienteEquidigital 2021  ==  Just 2102\n   siguienteEquidigital 2102  ==  Just 2120\n   siguienteEquidigital 2120  ==  Just 2201\n   siguienteEquidigital 2201  ==  Just 2210\n   siguienteEquidigital 2210  ==  Nothing\n   fmap (`mod` 1000) (siguienteEquidigital (2^(10^5)))  ==  Just 637\n<\/pre>\n<h4>Soluciones<\/h4>\n<pre lang=\"haskell\">\nimport Data.List (sort)\nimport Data.Maybe (listToMaybe)\n\n-- 1\u00aa soluci\u00f3n\n-- ===========\n\nsiguienteEquidigital :: Integer -> Maybe Integer\nsiguienteEquidigital n\n  | null xs = Nothing\n  | otherwise = Just (head xs)\n  where xs = equidigitalesMayores n\n\n-- (equidigitalesMayores n) es la lista de los equidigitales mayores que\n-- n. Por ejemplo,\n--    equidigitalesMayores 2021  ==  [2102,2120,2201,2210]\n--    equidigitalesMayores 2210  ==  []\nequidigitalesMayores :: Integer -> [Integer]\nequidigitalesMayores n =\n  [x | x <- [n+1..mayorEquidigital n],\n       sort (show x) == ds]\n  where ds = sort (show n)\n\n-- (mayorEquidigital n) es el mayor n\u00famero equidigital con n. Por ejemplo,\n--    mayorEquidigital 2021  ==  2210\n--    mayorEquidigital 2210  ==  2210\nmayorEquidigital :: Integer -> Integer\nmayorEquidigital = read . reverse . sort . show\n\n-- 2\u00aa soluci\u00f3n\n-- ===========\n\nsiguienteEquidigital2 :: Integer -> Maybe Integer\nsiguienteEquidigital2 = listToMaybe . equidigitalesMayores\n<\/pre>\n<h4>Nuevas soluciones<\/h4>\n<ul>\n<li>En los comentarios se pueden escribir nuevas soluciones.\n<li>El c\u00f3digo se debe escribir entre una l\u00ednea con &#60;pre lang=&quot;haskell&quot;&#62; y otra con &#60;\/pre&#62;\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Dos n\u00fameros son equidigitales si tienen el mismo multiconjunto de d\u00edgitos. Por ejemplo, 2021 y 2120 son equidigitales ya que ambos tiene a {0,1,2,2} como su multiconjunto de d\u00edgitos. Definir la funci\u00f3n siguienteEquidigital :: Integer -> Maybe Integer tal que (siguienteEquidigital n) es precisamente el menor n\u00famero equidigital con n que es mayor que n&#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[4],"tags":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/6127"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/comments?post=6127"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/6127\/revisions"}],"predecessor-version":[{"id":6172,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/6127\/revisions\/6172"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/media?parent=6127"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/categories?post=6127"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/tags?post=6127"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}