From 303bd7cbb80f235baddbe0cbc4b0095cc8c3d187 Mon Sep 17 00:00:00 2001
From: RhiobeT <rhiobet@gmail.com>
Date: Mon, 1 Jan 2024 18:00:41 +0100
Subject: [PATCH] Day 25

---
 advent-of-code-2023.cabal |  7 +++++
 day25/Commons.hs          | 57 +++++++++++++++++++++++++++++++++++++++
 day25/Main.hs             |  9 +++++++
 3 files changed, 73 insertions(+)
 create mode 100644 day25/Commons.hs
 create mode 100644 day25/Main.hs

diff --git a/advent-of-code-2023.cabal b/advent-of-code-2023.cabal
index 3c80df5..4de612a 100644
--- a/advent-of-code-2023.cabal
+++ b/advent-of-code-2023.cabal
@@ -174,3 +174,10 @@ executable day24
     build-depends:      base ^>=4.15.1.0, MissingH, mfsolve
     hs-source-dirs:     day24
     default-language:   Haskell2010
+
+executable day25
+    main-is:            Main.hs
+    other-modules:      Commons
+    build-depends:      base ^>=4.15.1.0, containers, MissingH
+    hs-source-dirs:     day25
+    default-language:   Haskell2010
diff --git a/day25/Commons.hs b/day25/Commons.hs
new file mode 100644
index 0000000..7083138
--- /dev/null
+++ b/day25/Commons.hs
@@ -0,0 +1,57 @@
+module Commons where
+
+import Data.List ((\\), delete, nub)
+import Data.List.Utils (split)
+import Data.Map (Map, singleton, insert, filterWithKey, empty, unionWith, fromList, union, (!), keys, member, size)
+import GHC.IO.Handle (isEOF)
+
+
+type Component = String
+type Network = Map Component [Component]
+
+
+parseLine :: Component -> [Component] -> Network
+parseLine c dest = foldl (\ n newC -> insert newC [c] n) (singleton c dest) dest
+
+parse :: IO Network
+parse = do done <- isEOF
+           if done
+              then return empty
+              else do line <- getLine
+                      let (c: dest: _) = split ": " line
+                      let n = parseLine c $ split " " dest
+                      unionWith (++) n <$> parse
+
+
+getDistances' :: Int -> [Component] -> Network -> Map Component Int -> Map Component Int
+getDistances' _ [] _ cd = cd
+getDistances' d dest n cd = let currentDistances = union cd $ fromList [(c, d) | c <- dest]
+                                next = nub (foldl (\ l c -> l ++ (n ! c)) [] dest) \\ keys currentDistances
+                            in getDistances' (d + 1) next n currentDistances
+
+getDistances :: Component -> Network -> Map Component Int
+getDistances c n = getDistances' 0 [c] n empty
+
+getPath :: Component -> Network -> Map Component Int -> [Component]
+getPath c n d | d ! c == 0 = [c]
+              | otherwise  = let newC = head $ keys $ Data.Map.filterWithKey
+                                                      (\ src dest -> c `elem` dest && d ! src < d ! c) n
+                             in getPath newC n d ++ [c]
+
+removePath :: [Component] -> Network -> Network
+removePath [_] n = n
+removePath (h1: h2: t) n = let n1 = delete h2 (n ! h1)
+                               n2 = delete h1 (n ! h2)
+                           in removePath (h2: t) (insert h1 n1 $ insert h2 n2 n)
+
+removeNPaths :: Int -> Component -> Component -> Network -> Network
+removeNPaths 0 _ _ net = net
+removeNPaths n c1 c2 net = let newNet = removePath (getPath c2 net (getDistances c1 net)) net
+                           in removeNPaths (n - 1) c1 c2 newNet
+
+iterateUntilPartition :: [Component] -> Network -> (Int, Int)
+iterateUntilPartition (h1: h2: t) n = let removed = removeNPaths 3 h1 h2 n
+                                          d1 = getDistances h1 removed
+                                          d2 = getDistances h2 removed
+                                      in if member h2 d1 then iterateUntilPartition (h1: t) n
+                                         else (size d1, size d2)
diff --git a/day25/Main.hs b/day25/Main.hs
new file mode 100644
index 0000000..3edda13
--- /dev/null
+++ b/day25/Main.hs
@@ -0,0 +1,9 @@
+module Main where
+
+import Commons
+import Data.Map (keys)
+
+
+main = do network <- parse
+          let part1Res = iterateUntilPartition (keys network) network
+          print $ uncurry (*) part1Res