diff --git a/2023/app/Day5-input.txt b/2023/app/Day5-input.txt new file mode 100644 index 0000000..111babe --- /dev/null +++ b/2023/app/Day5-input.txt @@ -0,0 +1,224 @@ +seeds: 3136945476 509728956 1904897211 495273540 1186343315 66026055 1381149926 11379441 4060485949 190301545 444541979 351779229 1076140984 104902451 264807001 60556152 3676523418 44140882 3895155702 111080695 + +seed-to-soil map: +2122609492 2788703865 117293332 +751770532 1940296486 410787026 +2652142963 2905997197 464992562 +3442443139 3721315963 573651333 +3117135525 2356966701 133002244 +742051533 3370989759 9718999 +2239902824 720032349 393589935 +1162557558 58715335 661317014 +1823874572 2489968945 298734920 +2633492759 2351083512 5883189 +4016094472 3442443139 278872824 +58715335 1256960288 683336198 +3250137769 1126389299 130570989 +2639375948 1113622284 12767015 + +soil-to-fertilizer map: +1839905294 2992775329 34548650 +266781855 3027323979 163164353 +1874453944 1681649719 388228515 +671359508 847997583 161400465 +0 2547368955 266781855 +3203005759 3207454799 385245393 +832759973 813886658 34110925 +3671840261 3598096086 304246395 +1377823717 351805081 65559824 +1443383541 417364905 396521753 +3985931590 3902342481 309035706 +2954410911 2069878234 236077421 +2262682459 2814150810 19476781 +429946208 2305955655 241413300 +3981482550 3203005759 4449040 +3976086656 3592700192 5395894 +1026018636 0 351805081 +2282159240 1009398048 672251671 +866870898 2833627591 159147738 +3588251152 4211378187 83589109 + +fertilizer-to-water map: +2408925737 4214441342 80525954 +1405678964 176700146 234310964 +2103148712 0 114754845 +289811242 411011110 140151672 +19025194 1085844786 2698717 +2799367899 3104502118 25793488 +3686730518 3130295606 74796096 +628099810 1273935988 19704264 +1112219380 661022482 39037869 +467844674 876473087 160255136 +1356562401 1036728223 49116563 +0 2195479548 19025194 +1778400105 1801270370 10408868 +3201290155 3772851666 86331548 +1795901930 1713284032 67001953 +1151257249 1907547144 205305152 +4156855349 4121566803 26796069 +160254887 2112852296 19696655 +1788808973 114754845 7092957 +1639989928 1780285985 20984385 +3990635607 2938282376 166219742 +2864292987 3316407580 74613579 +3761526614 4148362872 26946870 +2048296368 121847802 54852344 +3054903767 3975180415 146386388 +21723911 737942111 138530976 +647804074 1811679238 95867906 +3580274539 3391021159 106455979 +2489451691 2628366168 309916208 +1049288783 2132548951 62930597 +4183651418 3205091702 111315878 +3360834108 2408925737 219440431 +743671980 1293640252 305616803 +3287621703 3699639261 73212405 +2938906566 3859183214 115997201 +429962914 700060351 37881760 +1775001290 2214504742 3398815 +3788473484 3497477138 202162123 +2825161387 4175309742 39131600 +1660974313 1599257055 114026977 +1862903883 1088543503 185392485 +179951542 551162782 109859700 + +water-to-light map: +2182426048 2230942562 75597875 +3871195410 3518497934 102047632 +2258023923 1068663414 38503018 +1376483871 1748535271 120845081 +3267723970 3442138354 23090394 +3687599530 4146748183 69194895 +1687874044 1117179928 229976398 +1024656105 0 9213951 +2036492700 1503963494 145933348 +1339060619 127856209 37423252 +3600067928 3079307704 87531602 +3778928632 3171781100 38997592 +485121354 165279461 136305184 +1266011073 1649896842 73049546 +1917850442 9213951 118642258 +2296526941 1107166432 10013496 +3973243042 2847069441 75895604 +3177917323 2989501057 89806647 +136410837 1347156326 156807168 +4049138646 3166839306 4941794 +3817926224 3465228748 53269186 +2631950731 2587548926 259520515 +478937106 2064525337 6184248 +3756794425 2922965045 22134207 +621426538 487303746 242996590 +3299937194 3372641330 69497024 +1240422190 1722946388 25588883 +1497328952 1873980245 190545092 +2587548926 2945099252 44401805 +864423128 2070709585 160232977 +1033870056 1869380352 4599893 +2891471246 3629668396 286446077 +1158126414 866711173 82295776 +4054080440 3210778692 62083789 +1038469949 949006949 119656465 +0 730300336 136410837 +4116164229 3272862481 99778849 +3290814364 3620545566 9122830 +3369434218 3916114473 230633710 +293218005 301584645 185719101 + +light-to-temperature map: +2047881931 2133163196 61773729 +2768352591 2658645540 147815435 +663892205 789634091 62723057 +962320572 2260439344 13990400 +4174477469 3668516433 35699725 +3949428604 3175207948 225048865 +2918680909 3704216158 118365848 +976310972 47881164 71382440 +736841121 215530327 84565848 +1481137268 593966122 45807826 +3406939292 2891251077 174249820 +2916168026 3907788997 2512883 +854252812 1457767969 108067760 +2658645540 3065500897 109707051 +0 1842095595 291067601 +821406969 119263604 32845843 +2182554848 897903253 121629531 +1047693412 1565835729 166620621 +3847603798 3400256813 16617815 +1259860138 152109447 53195021 +3581189112 3424865230 243651203 +1470195525 1364566318 10941743 +653613314 30205504 10278891 +1430142037 1324512830 40053488 +291067601 1773419829 68675766 +2109655660 2194936925 65502419 +1856219803 2274429744 191662128 +359743367 300096175 293869947 +3398948690 3416874628 7990602 +3864221613 3822582006 85206991 +2609164425 1750403060 23016769 +1707010741 2466091872 49002444 +1756013185 1732456350 17946710 +1214314033 852357148 45546105 +1313055159 2515094316 117086878 +2175158079 40484395 7396769 +3824840315 3910301880 22763483 +1526945094 639773948 149860143 +2304184379 1019532784 304980046 +3037046757 3933065363 361901933 +1773959895 1375508061 82259908 +726615262 205304468 10225859 +1676805237 0 30205504 +4210177194 2806460975 84790102 + +temperature-to-humidity map: +2704404081 3383155981 190240562 +3678765766 3078657339 304498642 +2894644643 2740175301 304339717 +3375985319 2704404081 35771220 +3198984360 3840405770 142858638 +3341842998 3044515018 34142321 +3411756539 3573396543 267009227 + +humidity-to-location map: +3843755612 3461421206 53203349 +3797023193 2837279508 46732419 +1328442859 1820435049 165058603 +2358032500 2069263501 110029787 +776537476 129658954 20092280 +2041812400 3514624555 271685061 +4004991793 2179293288 239800545 +1813819309 1372459189 171674343 +890079235 609776153 19282104 +129748073 629058257 107944033 +2472688430 2519585064 209661612 +1039983756 866750363 166281406 +3896958961 2729246676 108032832 +1004757286 149751234 35226470 +850718450 90298169 39360785 +3150066893 4231246292 63721004 +0 737002290 129748073 +909361339 1154885545 95395947 +2682350042 2911243637 44822034 +318816223 1586615093 233819956 +796629756 531466240 54088694 +705961941 460890705 70575535 +3669300252 2884011927 27231710 +4244792338 3015820858 50174958 +3352063456 3786309616 317236796 +552636179 0 75876832 +3213787897 4103546412 55695414 +294595004 585554934 24221219 +2799176542 3110530855 350890351 +1691965533 1033031769 121853776 +2468062287 2956065671 4626143 +2727172076 4159241826 72004466 +1493501462 262426634 198464071 +280173667 75876832 14421337 +1986683356 2960691814 55129044 +628513011 184977704 77448930 +2313497461 3065995816 44535039 +1206265162 1250281492 122177697 +3269483311 1986683356 82580145 +237692106 1544133532 42481561 +3696531962 2419093833 100491231 + diff --git a/2023/app/Day5.hs b/2023/app/Day5.hs new file mode 100644 index 0000000..d58696d --- /dev/null +++ b/2023/app/Day5.hs @@ -0,0 +1,63 @@ +module Day5 where +import System.IO +import ParseLib.Abstract +import Prelude hiding ((<*), (*>)) +import Data.Char +import Data.List +import Data.Maybe + +type Input = Int +type Output = Int +type Length = Int +data Range = Range Output Input Length deriving Show + +type From = String +type To = String +data Map = Map From To [Range] deriving Show + +main :: IO () +main = do + handle <- openFile "app/Day5-input.txt" ReadMode + input <- hGetContents handle + + let (seeds, maps) = fst $ head $ parse parseInput input + locations = map (applyTill maps "seed" "location") seeds + + putStr "Part 1: " + print $ minimum locations + + let seeds' = concatMap range (pairs seeds) + locations' = map (applyTill maps "seed" "location") seeds' + + putStr "Part 2: " + print $ minimum locations' + + pure () + +whitespace = greedy (satisfy isSpace) +number = whitespace *> natural +parseInput = (,) <$> parseHeader <*> greedy parseMap +parseHeader = token "seeds: " *> greedy number <* whitespace +parseMap = Map <$> identifier <* token "-to-" <*> identifier <* token " map:\n" <*> greedy parseRange <* whitespace +parseRange = Range <$> number <*> number <*> number <* whitespace + +apply :: [Map] -> From -> Input -> (To, Output) +apply ms f i = (t, applyMap m i) + where + m@(Map _ t _) = fromJust $ find (\(Map f' _ _) -> f' == f) ms + +applyMap :: Map -> Input -> Output +applyMap (Map _ _ []) i' = i' +applyMap (Map f t ((Range o i l):rs)) i' + | i <= i' && i' <= i+l = o + (i' - i) + | otherwise = applyMap (Map f t rs) i' + +applyTill :: [Map] -> From -> To -> Input -> Output +applyTill ms f t i | t == t' = o + | otherwise = applyTill ms t' t o + where (t', o) = apply ms f i + +pairs [] = [] +pairs (x1:x2:xs) = (x1,x2) : pairs xs + +range (x,y) = [x..x+y-1] \ No newline at end of file diff --git a/2023/x2023.cabal b/2023/x2023.cabal index bd54cbc..e17f0a5 100644 --- a/2023/x2023.cabal +++ b/2023/x2023.cabal @@ -29,7 +29,7 @@ executable x2023 main-is: Main.hs -- Modules included in this executable, other than Main. - other-modules: Day1, Day2, Day3, Day4 + other-modules: Day1, Day2, Day3, Day4, Day5 -- LANGUAGE extensions used by modules in this package. -- other-extensions: