dnf: day 12, solve: day 13, part 1

2020/12/Day12.hs

@@ -0,0 +1,95 @@
+module Day12 ( Action
+             , Inst
+             , action
+             , value
+             , Program
+             , parseProgram
+             , State
+             , position
+             , heading
+             , start
+             , run
+             ) where
+
+import Data.Char
+import Text.ParserCombinators.ReadP
+
+data Action = N | S | E | W | L | R | F
+  deriving (Eq, Show)
+
+data Inst = Inst { action :: Action, value :: Int }
+  deriving (Eq, Show)
+
+inst :: ReadP Inst
+inst = do
+  a <- action'
+  v <- int
+  return $ Inst a v
+    where
+      int :: ReadP Int
+      int = do
+        digits <- munch1 isDigit
+        return $ read digits
+      action' :: ReadP Action
+      action' = do
+        a <- choice $ map char "NSEWLRF"
+        return $ case a of
+          'N' -> N
+          'S' -> S
+          'E' -> E
+          'W' -> W
+          'L' -> L
+          'R' -> R
+          'F' -> F
+
+type Program = [Inst]
+
+program :: ReadP Program
+program = inst `sepBy1` skipSpaces
+
+parse p s = parsedResult $ readP_to_S p s
+  where
+    parsedResult [(a, _)] = a
+    parsedResult (a:as)    = parsedResult as
+    parsedResult _         = error "Parser error"
+
+parseProgram = parse program
+
+data State = State { position :: (Int, Int)
+                   , heading :: Action -- This isn't "correct"
+                   } deriving (Eq, Show)
+
+start = State (0, 0) E
+
+updatePosition :: State -> ((Int -> Int), (Int -> Int)) -> State
+updatePosition s (deltaX, deltaY) = State np (heading s)
+  where
+    (x, y) = position s
+    np = (deltaX x, deltaY y)
+
+
+updateHeading :: State -> Action -> State
+updateHeading s nh = State (position s) nh
+
+travel :: State -> Inst -> State
+travel s i = updatePosition s $ case i of
+                                  (Inst N d) -> (id, (+) d)
+                                  (Inst E d) -> ((+) d, id)
+                                  (Inst S d) -> (id, (-) d)
+                                  (Inst W d) -> ((-) d, id)
+
+headings = cycle [N, E, S, W]
+rotate h (Inst d v) = headings !! (v `div` 90)
+  where
+    headings = dropWhile (/= h) $ cycle $ case d of
+                                            R -> [N, E, S, W]
+                                            L -> [N, W, S, E]
+
+tick :: State -> Inst -> State
+tick s i@(Inst a v)
+  | a == N || a == S || a == E || a == W = travel s i
+  | a == L || a == R = updateHeading s $ rotate (heading s) i
+  | a == F = travel s (Inst (heading s) v)
+
+run :: Program -> State
+run = foldl tick start

2020/12/Part1.hs

@@ -0,0 +1,10 @@
+#!/usr/bin/env runghc
+module Day12.Part1 where
+
+import Day12
+
+main = interact (show . solve . parseProgram)
+
+toList (a, b) = [a, b]
+
+solve = run

2020/12/input.txt

@@ -0,0 +1,788 @@
+W2
+F23
+S1
+W3
+L180
+W3
+R90
+N4
+F17
+S4
+W4
+R90
+W4
+E1
+N4
+F5
+N2
+R90
+F43
+N5
+L90
+F12
+S4
+W1
+S3
+W2
+N4
+F76
+S1
+W4
+W2
+F20
+N4
+F81
+W4
+N3
+R180
+W2
+N4
+W3
+F16
+N4
+L180
+F1
+W3
+F34
+W3
+S3
+F92
+L90
+S2
+L90
+E5
+N2
+F85
+W3
+R90
+W2
+F88
+N2
+L90
+W1
+N4
+L90
+E5
+N3
+L90
+F8
+E1
+L90
+N3
+F3
+F61
+S5
+R90
+W2
+F84
+W1
+L90
+E1
+S3
+W5
+F89
+E3
+F67
+E2
+E5
+F29
+N5
+W4
+F53
+N2
+E5
+F73
+W4
+L90
+S2
+R180
+N3
+R90
+F27
+N2
+F41
+L270
+W5
+F3
+N5
+F81
+R90
+N2
+W5
+N2
+R90
+S1
+R180
+S3
+L90
+E2
+F38
+S1
+E3
+S5
+F44
+N1
+F26
+E1
+S2
+F25
+E1
+S2
+F33
+S4
+R90
+N2
+W2
+F9
+R90
+F64
+W1
+S3
+E5
+R180
+N2
+L90
+S4
+E4
+L90
+S2
+F50
+S3
+R90
+F8
+E2
+N1
+R90
+S5
+S1
+F100
+N3
+F97
+R180
+S3
+L180
+F45
+W5
+S1
+E5
+E3
+F26
+N4
+R90
+N4
+F50
+W5
+R90
+F58
+S4
+W3
+E1
+N3
+R90
+S4
+E2
+F26
+N4
+L90
+F60
+W4
+N1
+F10
+E5
+L180
+N4
+E1
+F15
+E3
+L270
+F23
+R90
+F61
+R90
+F25
+L90
+W2
+S3
+R180
+F44
+W5
+E1
+R90
+S2
+R270
+W2
+S1
+F13
+E5
+N2
+R270
+F68
+F99
+W1
+F31
+N5
+F89
+E5
+N4
+W5
+N2
+F59
+E3
+L180
+E3
+L90
+L180
+S5
+F27
+E1
+S3
+R180
+N5
+E4
+L180
+N2
+E3
+W1
+L180
+F23
+N4
+E1
+F87
+N1
+E3
+F45
+W5
+F17
+L90
+N1
+L90
+W3
+S2
+F62
+R180
+F8
+R90
+F19
+W1
+S2
+S5
+W4
+F40
+F52
+S3
+F6
+R90
+S5
+W3
+S5
+E3
+W3
+S1
+F11
+S2
+E4
+F3
+R90
+L270
+E1
+S1
+W4
+L180
+W2
+S4
+E2
+N3
+W3
+S2
+W4
+L90
+F24
+W3
+F58
+E5
+R90
+F73
+E4
+F92
+R90
+F62
+W4
+R90
+W2
+S3
+W2
+F75
+N4
+R180
+W5
+S5
+W1
+S2
+L90
+S1
+E5
+L180
+N3
+W3
+F77
+E2
+S5
+L90
+E5
+S4
+L90
+S4
+F32
+L90
+W3
+F92
+W3
+S4
+W1
+R90
+F6
+R180
+E4
+W2
+R90
+W4
+S2
+W5
+S2
+F79
+R90
+S4
+F50
+S4
+W3
+F87
+W5
+R90
+S2
+F23
+E1
+N1
+R90
+F24
+L90
+F29
+N1
+R90
+E5
+N5
+F79
+W3
+L90
+S4
+E5
+S1
+F36
+W2
+R90
+F36
+R270
+F82
+E4
+F82
+S3
+F94
+N2
+L180
+S2
+E1
+N3
+F54
+S3
+F11
+E2
+R90
+W2
+F39
+R90
+S2
+W2
+R90
+E4
+N2
+E5
+F59
+W3
+R90
+W3
+F78
+N4
+F97
+S4
+W1
+F48
+N2
+E2
+R180
+F6
+R90
+W4
+R90
+E5
+F19
+N2
+R180
+F50
+W3
+N5
+R90
+N1
+W4
+F68
+R90
+N2
+L90
+F83
+E3
+N4
+W2
+F48
+W3
+E3
+L180
+F73
+R90
+F81
+W1
+R90
+F25
+S3
+F23
+L270
+S4
+F76
+W3
+F73
+N2
+E5
+L90
+N3
+W3
+R270
+F37
+S5
+R90
+F46
+S4
+E4
+F92
+L90
+N1
+L180
+W3
+S5
+F27
+N1
+L180
+F91
+W4
+N3
+F11
+L180
+N1
+E3
+L90
+S2
+R90
+S2
+E3
+F55
+S4
+E2
+S2
+F3
+E3
+F58
+W4
+N4
+E5
+F2
+N1
+W3
+F86
+E5
+F60
+W3
+F9
+S4
+R180
+F44
+E4
+N1
+F74
+L270
+E4
+L270
+F52
+R180
+F70
+L180
+E1
+F68
+R90
+E5
+W4
+R90
+E4
+F27
+S2
+L90
+W5
+N5
+R90
+E2
+N5
+F15
+R180
+F72
+S5
+L90
+F31
+R90
+E4
+R270
+S3
+W3
+R270
+N1
+S3
+R90
+F80
+R90
+E2
+N5
+W2
+L90
+F40
+N1
+F14
+L90
+W2
+F9
+W4
+R90
+F88
+R180
+N1
+E5
+F96
+N1
+F4
+R90
+F56
+F14
+L90
+F8
+R180
+S2
+F75
+L90
+E5
+R90
+F81
+N1
+W3
+F46
+R270
+S2
+F15
+W3
+R180
+F27
+W3
+F53
+R90
+E5
+L90
+S3
+W1
+F62
+S5
+W2
+S5
+R90
+F82
+W2
+N4
+L270
+E1
+N5
+E2
+F52
+N1
+E2
+S2
+R180
+N1
+L90
+W2
+L90
+F78
+L90
+W1
+N4
+F81
+E1
+N4
+W2
+F86
+W1
+F30
+W5
+N4
+E3
+F42
+N2
+F5
+R90
+F60
+L90
+E5
+S4
+E5
+S3
+F70
+S3
+R90
+W5
+R90
+W2
+N3
+L180
+E3
+S2
+E3
+F82
+E2
+F5
+E4
+E1
+S1
+R180
+W4
+F1
+R180
+N4
+E1
+S3
+E3
+F59
+W3
+F73
+L90
+F74
+R90
+E1
+F54
+W3
+F54
+L90
+S4
+F100
+F56
+L90
+F26
+L180
+F50
+W3
+S2
+E3
+F87
+N2
+W5
+F50
+S2
+W5
+S1
+F46
+R90
+F89
+L90
+N4
+F53
+W1
+F56
+E4
+S5
+F68
+L90
+F22
+R90
+F73
+S5
+S5
+L90
+E4
+S2
+R270
+E3
+L90
+F20
+L90
+F84
+S1
+F29
+W2
+S4
+L90
+W4
+N1
+F65
+E5
+L90
+S3
+F38
+L90
+L90
+N5
+F50
+S1
+F16
+R90
+F12
+E2
+N3
+F49
+R90
+F4
+N1
+R90
+F80
+R180
+W2
+L90
+S5
+E1
+F93
+R90
+F32
+L180
+F44
+L90
+S4
+F42
+N2
+R90
+S1
+F56
+L180
+E2
+F90
+N1
+F3
+L90
+E1
+F91
+L90
+W4
+L90
+F10
+S3
+W5
+S3
+F87
+

2020/12/small.txt

@@ -0,0 +1,5 @@
+F10
+N3
+F7
+R90
+F11

2020/13/Part1.hs

@@ -0,0 +1,17 @@
+#!/usr/bin/env runghc
+
+module Day13.Part1 where
+
+ts = 1000434
+bids = [17,41,983,29,19,23,397,37,13]
+
+waitTime ts bid = (ts `div` bid) * bid + bid - ts
+
+minimumBy fn (inp:inps) = minimumBy' fn inps inp
+  where
+    minimumBy' _ [] curr = curr
+    minimumBy' fn (x:xs) curr
+      | fn curr < fn x = minimumBy' fn xs curr
+      | otherwise = minimumBy' fn xs x
+
+main = putStrLn (show $ fst $ minimumBy snd $ zip bids $ map (waitTime ts) bids)

2020/README.md

@@ -12,12 +12,12 @@ asdf install
 
 ## Table of Contents
 
-|  S  |  M  |  T  |  W  |  T   |  F   |  S  |
+|  S   |  M  |  T  |  W  |  T   |  F   |  S   |
-| :-: | :-: | :-: | :-: | :--: | :--: | :-: |
+| :--: | :-: | :-: | :-: | :--: | :--: | :--: |
-|     |     | [1] | [2] | [3]  | [4]  | [5] |
+|      |     | [1] | [2] | [3]  | [4]  | [5]  |
-| [6] | [7] | [8] | [9] | [10] | [11] | 12  |
+| [6]  | [7] | [8] | [9] | [10] | [11] | [12] |
-| 13  | 14  | 15  | 16  |  17  |  18  | 19  |
+| [13] | 14  | 15  | 16  |  17  |  18  |  19  |
-| 21  | 22  | 23  | 24  |  25  |      |     |
+|  21  | 22  | 23  | 24  |  25  |      |      |
 
 [asdf]: https://asdf-vm.com/#/
 [haskell]: https://www.haskell.org
@@ -32,3 +32,5 @@ asdf install
 [9]: ./09
 [10]: ./10
 [11]: ./11
+[12]: ./12
+[13]: ./13