AoC23 - Day 7

Author: Jan Verner

src/main/python/aoc23/day05/day05.py

@@ -52,7 +52,7 @@ def lookup_min_location(seed_range):
         seed = seed_range[0]
         min_location = sys.maxsize
         while seed < seed_range[0] + seed_range[1]:
-            log.debug(f"Checking seed {seed}")
+            log.info(f"Checking seed {seed}")
             n = seed  # seed -> lookups -> location
             max_jump = sys.maxsize
             for map_name, ranges in mappings.items():
@@ -81,7 +81,7 @@ def lookup_min_location(seed_range):
 
 if __name__ == "__main__":
     log.setLevel(logging.INFO)
-    timed_run("Star 1", lambda: star1(read_input(__file__)))
+    # timed_run("Star 1", lambda: star1(read_input(__file__)))
     timed_run("Star 2", lambda: star2(read_input(__file__)))
 
     # Star 1: 457535844

src/main/python/aoc23/day06/day06.py

@@ -1,31 +1,49 @@
 import logging
+import math
+from typing import List, Tuple
 
-from util.data_io import read_input, read_test_input, timed_run
+from util.data_io import timed_run
 from util.log import log
 
 
-def star1(lines: list[str]):
+def star1(puzzle_input: List[Tuple[int, int]]):
     """
-    >>> star1(read_test_input(__file__))
-
+    >>> star1([(7, 9), (15, 40), (30, 200)])
+    288
     """
-    for line in lines:
-        pass
-
-
-def star2(lines: list[str]):
+    total = 1
+    for time, distance in puzzle_input:
+        log.debug(f"Solving time: {time}, current record: {distance}")
+        boundary = _find_boundary(distance, time)
+        subtotal = (math.ceil((time / 2)) - boundary) * 2
+        if time % 2 == 0:
+            subtotal += 1
+        log.debug(f"Solution is {subtotal}")
+        total *= subtotal
+    return total
+
+
+def _find_boundary(distance, time):
+    start_from = distance // time  # low hanging optimization
+    for i in range(start_from, time):
+        if i * (time - i) > distance:
+            log.debug(f"Boundary found {i} -> {i * (time - i)}")
+            return i
+
+
+def star2(puzzle_input: Tuple[int, int]):
     """
-    >>> star2(read_test_input(__file__))
-
+    >>> star2((71530, 940200))
+    71503
     """
-    for line in lines:
-        pass
+    return star1([puzzle_input])
 
 
 if __name__ == "__main__":
     log.setLevel(logging.INFO)
-    timed_run("Star 1", lambda: star1(read_input(__file__)))
-    timed_run("Star 2", lambda: star2(read_input(__file__)))
 
-    # Star 1:
-    # Star 2:
+    timed_run("Star 1", lambda: star1([(62, 644), (73, 1023), (75, 1240), (65, 1023)]))
+    timed_run("Star 2", lambda: star2((62737565, 644102312401023)))
+
+    # Star 1: 393120
+    # Star 2: 36872656

src/main/python/aoc23/day07/day07.py

@@ -0,0 +1,31 @@
+import logging
+
+from util.data_io import read_input, read_test_input, timed_run
+from util.log import log
+
+
+def star1(lines: list[str]):
+    """
+    >>> star1(read_test_input(__file__))
+
+    """
+    for line in lines:
+        pass
+
+
+def star2(lines: list[str]):
+    """
+    >>> star2(read_test_input(__file__))
+
+    """
+    for line in lines:
+        pass
+
+
+if __name__ == "__main__":
+    log.setLevel(logging.INFO)
+    timed_run("Star 1", lambda: star1(read_input(__file__)))
+    timed_run("Star 2", lambda: star2(read_input(__file__)))
+
+    # Star 1:
+    # Star 2: