From 05fef92fee2ccda60e4a4dd2a006712d9099ad6d Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Sun, 13 Dec 2020 11:42:42 +0000
Subject: [PATCH] [hs] Solve 2020_13 part 2

---
 hs/src/Aoc/Y2020/D13.hs | 32 ++++++++++++++++++++++++++++----
 1 file changed, 28 insertions(+), 4 deletions(-)

diff --git a/hs/src/Aoc/Y2020/D13.hs b/hs/src/Aoc/Y2020/D13.hs
index caf7bae..7058a28 100644
--- a/hs/src/Aoc/Y2020/D13.hs
+++ b/hs/src/Aoc/Y2020/D13.hs
@@ -1,29 +1,53 @@
+{-# LANGUAGE NumericUnderscores #-}
+
 module Aoc.Y2020.D13
   ( day
   ) where
 
 import           Control.Monad
+import           Data.Foldable
 import           Data.Function
 import           Data.List
 import           Data.Maybe
+import           Data.Ord
 
 import           Aoc.Day
 import           Aoc.Parse
 
-parser :: Parser (Int, [Int])
+parser :: Parser (Integer, [Maybe Integer])
 parser = do
   earliest <- decimal
   void newline
   buses <- sepBy ((Just <$> decimal) <|> (Nothing <$ char 'x')) (char ',')
   void newline
-  pure (earliest, catMaybes buses)
+  pure (earliest, buses)
 
-solver :: (Int, [Int]) -> IO ()
+data Bus = Bus
+  { bId    :: Integer
+  , bDelta :: Integer
+  } deriving (Show)
+
+includeBus :: Bus -> (Integer, Integer) -> (Integer, Integer)
+includeBus bus (time, step) =
+  let time' = fromJust $ find (\t -> (t + bDelta bus) `mod` bId bus == 0) $ iterate (+ step) time
+      step' = step * bId bus
+  in  (time', step')
+
+earliestTimestamp :: [Maybe Integer] -> Integer -> Integer
+earliestTimestamp buses start =
+  let busDeltas = sortOn (Down . bId) [Bus bus delta | (Just bus, delta) <- zip buses [0..]]
+  in  fst $ foldl' (flip includeBus) (start, 1) busDeltas
+
+solver :: (Integer, [Maybe Integer]) -> IO ()
 solver (earliest, buses) = do
   putStrLn ">> Part 1"
-  let busTimes = [(bus, earliest - mod earliest bus + bus) | bus <- buses]
+  let busTimes = [(bus, earliest - mod earliest bus + bus) | Just bus <- buses]
       (nextBus, nextBusTime) = minimumBy (compare `on` snd) busTimes
   print $ nextBus * (nextBusTime - earliest)
 
+  putStrLn ""
+  putStrLn ">> Part 2"
+  print $ earliestTimestamp buses 100_000_000_000_000
+
 day :: Day
 day = dayParse parser solver