From 4e5707a5e7324f38746c41dfcb1360955cee7c58 Mon Sep 17 00:00:00 2001
From: John Costa <johncosta027@gmail.com>
Date: Fri, 13 Dec 2024 15:26:36 +0000
Subject: [PATCH] wip: day 9

My god this day!
---
 AdventOfCode2024/bin/main.ml   |   2 +-
 AdventOfCode2024/lib/day_09.ml | 136 +++++++++++++++++++++++++++++++++
 2 files changed, 137 insertions(+), 1 deletion(-)
 create mode 100644 AdventOfCode2024/lib/day_09.ml

diff --git a/AdventOfCode2024/bin/main.ml b/AdventOfCode2024/bin/main.ml
index 1582b6d..8d24b73 100644
--- a/AdventOfCode2024/bin/main.ml
+++ b/AdventOfCode2024/bin/main.ml
@@ -13,7 +13,7 @@ let read_lines name =
 let () =
   print_endline "\nAdvent of Code 2024";
   let part1, part2 =
-    read_lines "./inputs/08.txt" |> AdventOfCode2024.Day_08.solve
+    read_lines "./inputs/09.txt" |> AdventOfCode2024.Day_09.solve
   in
   Printf.printf "Part 1: %s\nPart 2: %s\n" (string_of_int part1)
     (string_of_int part2)
diff --git a/AdventOfCode2024/lib/day_09.ml b/AdventOfCode2024/lib/day_09.ml
new file mode 100644
index 0000000..9beab09
--- /dev/null
+++ b/AdventOfCode2024/lib/day_09.ml
@@ -0,0 +1,136 @@
+type block = { amount : int; id : int }
+type space = { amount : int }
+type slot = Block of block | Space of space
+
+let expand_file_system line =
+  let rec loop acc line' id =
+    match line' with
+    | "" -> acc
+    | s ->
+        if String.length s == 1 then
+          acc @ [ Block { amount = int_of_string s; id } ]
+        else
+          let block = String.get s 0 |> Char.escaped in
+          let space = String.get s 1 |> Char.escaped in
+          let remaining = String.sub s 2 (String.length s - 2) in
+          let with_block =
+            acc @ [ Block { amount = int_of_string block; id } ]
+          in
+
+          let space_amount = int_of_string space in
+          if space_amount > 0 then
+            loop
+              (with_block @ [ Space { amount = int_of_string space } ])
+              remaining (id + 1)
+          else loop with_block remaining (id + 1)
+  in
+  loop [] line 0
+
+let remove_last_item l =
+  if List.length l == 0 then None
+  else
+    let rev = List.rev l in
+    let last_item = List.hd rev in
+    let remaning = List.tl rev in
+    Some (last_item, List.rev remaning)
+
+let rec print_list l =
+  match l with
+  | [] -> ()
+  | head :: tail ->
+      (match head with
+      | Block b -> Printf.printf "Block | ID = %d, Amount = %d\n" b.id b.amount
+      | Space s -> Printf.printf "Space | Amount = %d\n" s.amount);
+      print_list tail
+
+(* 00...111...2...333.44.5555.6666.777.888899 *)
+
+(* 0099811188827773336446555566 *)
+
+let defrag_file_system fs =
+  let rec loop acc fs' =
+    match fs' with
+    | [] -> acc
+    | head :: tail -> (
+        match head with
+        | Block b -> loop (acc @ [ Block b ]) tail
+        | Space s -> (
+            let last_item = remove_last_item tail in
+            match last_item with
+            | None -> acc
+            | Some (item, remaining_fs) -> (
+                match item with
+                | Space _ -> loop acc ([ head ] @ remaining_fs)
+                | Block b -> (
+                    match s.amount - b.amount with
+                    | 0 -> loop (acc @ [ Block b ]) remaining_fs
+                    | n when n < 0 ->
+                        loop
+                          (acc @ [ Block { amount = s.amount; id = b.id } ])
+                          (remaining_fs @ [ Block { amount = -n; id = b.id } ])
+                    | n when n > 0 ->
+                        loop
+                          (acc @ [ Block { amount = b.amount; id = b.id } ])
+                          ([ Space { amount = n } ] @ remaining_fs)
+                    | _ -> raise (Invalid_argument "")))))
+  in
+  loop [] fs
+
+let defrag_file_system_part2 fs =
+  let rec loop acc fs' =
+    match fs' with
+    | [] -> acc
+    | head :: tail -> (
+        match head with
+        | Block b -> loop (acc @ [ Block b ]) tail
+        | Space s -> (
+            let last_item = remove_last_item tail in
+            match last_item with
+            | None -> acc
+            | Some (item, remaining_fs) -> (
+                match item with
+                | Space _ -> loop acc ([ head ] @ remaining_fs)
+                | Block b -> (
+                    match s.amount - b.amount with
+                    | 0 -> loop (acc @ [ Block b ]) remaining_fs
+                    | n when n < 0 ->
+                        loop (acc @ [ Space s ]) (remaining_fs @ [ Block b ])
+                    | n when n > 0 ->
+                        loop
+                          (acc @ [ Block { amount = b.amount; id = b.id } ])
+                          ([ Space { amount = n } ] @ remaining_fs)
+                    | _ -> raise (Invalid_argument "")))))
+  in
+  loop [] fs
+
+let arithmatic_series a n di =
+  let af = float_of_int a in
+  let nf = float_of_int n in
+  let d = float_of_int di in
+  Float.mul (Float.div nf 2.0)
+    (Float.add (Float.mul 2.0 af) (Float.mul (Float.sub nf 1.0) d))
+  |> int_of_float
+
+let checksum l =
+  let rec loop sum index l' =
+    match l' with
+    | [] -> sum
+    | head :: tail -> (
+        match head with
+        | Space s -> loop sum (index + s.amount) tail
+        | Block b ->
+            loop
+              (sum + arithmatic_series (index * b.id) b.amount b.id)
+              (index + b.amount) tail)
+  in
+  loop 0 0 l
+
+let solve lines =
+  let line = List.nth lines 0 in
+  let expanded_fs = expand_file_system line in
+  let compresed_fs = defrag_file_system expanded_fs in
+  let compressed_fs_2 = defrag_file_system_part2 expanded_fs in
+  print_list compressed_fs_2;
+  let part1 = checksum compresed_fs in
+  let part2 = checksum compressed_fs_2 in
+  (part1, part2)