tobias/advent-of-code-2025
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: tobias:e064a666fa157457fb02e425756f1e0524078f53
Branches Tags
tobias:main
..
compare: tobias:ef8749ff599c2eb83790f7c10dfaaf4374526200
Branches Tags
tobias:main

No commits in common. "e064a666fa157457fb02e425756f1e0524078f53" and "ef8749ff599c2eb83790f7c10dfaaf4374526200" have entirely different histories.
e064a666fa ... ef8749ff59

6 changed files with 0 additions and 2205 deletions
Show Stats Expand all files Collapse all files

153
day10.py
View File

@ -1,153 +0,0 @@
#!/usr/bin/env python
# https://adventofcode.com/2025/day/10
from itertools import combinations
from pulp import LpProblem, LpMinimize, LpVariable, LpInteger, LpStatus
from pulp import lpDot, lpSum, value
# imports for function part2()
from itertools import product
from sympy import symbols, Matrix, solve_linear_system
f = open("day10input.txt", "r")
# regular input
input = f.readlines()
# testinput
#input = "[.##.] (3) (1,3) (2) (2,3) (0,2) (0,1) {3,5,4,7}\n[...#.] (0,2,3,4) (2,3) (0,4) (0,1,2) (1,2,3,4) {7,5,12,7,2}\n[.###.#] (0,1,2,3,4) (0,3,4) (0,1,2,4,5) (1,2) {10,11,11,5,10,5}".split("\n")
# prep data
machines = []
for input_line in input:
line = input_line.rstrip("\n").split(" ")
machine = {}
# final state
fs = line[0][1:-1].replace(".", "0").replace("#", "1")
machine["fs"] = int(fs, base=2)
# switches
switches = []
for switch in line[1:-1]:
s = ["0"] * len(fs)
for i in [int(j) for j in switch[1:-1].split(",")]:
s[i] = "1"
switches.append("".join(s))
machine["s"] = sorted([int(s, base=2) for s in switches], key=int.bit_count)
# joltage req's
machine["j"] = [int(n) for n in line[-1][1:-1].split(",")]
machines.append(machine)
def print_machines(machines: list[dict]) -> None:
for i in range(len(machines)):
print(f"Machine no. {i}")
for k in machines[i].keys():
print(f"key:\t{k}\tvalue:\t{machines[i][k]}")
def part1_bfs(m):
for steps in range(1, len(m["s"])):
# check if current step no yields a solution
for c in list(combinations(m["s"], steps)):
lights = 0
for i in c:
lights ^= i
if lights == m["fs"]:
print(f"Success with combo {i} and step count of {steps}")
return steps
return None
# my own attempt to solve each problem with sympy
# problem is that sympy computes not a minimum but a general solution
# So for each problem I have to back-substitute possible combinations for the free variables and find the minimum with brute force
# the function works, runs a long time, and the final solution is off by 1 :-/
def part2(m):
switches = [list(map(int, list("{0:b}".format(switch).zfill(len(m["j"]))))) for switch in m["s"]]
joltages = m["j"]
# define sympy symbols and equations
x = symbols(f"x:{len(switches)}", integer=True)
system = Matrix([[switch[j] for switch in switches] + [joltages[j]] for j in range(len(joltages))])
print(f"Equation system to solve: {system}")
# solve system with sympy
solutions = solve_linear_system(system, *x)
print(f"Solutions: {solutions}")
# isolate free variables
free_vars = [var for var in x if var not in solutions.keys()]
print(f"{free_vars=}")
# find smallest solution
smallest_sum = None
# loop over the cartesian product of sensible numbers for button presses times the number of free variables
for lv in product(range(max(joltages)), repeat=len(free_vars)):
current_sum = sum(lv)
for v in solutions.values():
for i in range(len(lv)):
v = v.subs(free_vars[i], lv[i])
if v < 0:
current_sum = -1
break
current_sum += v
if current_sum < 0:
continue
# check current sum
if not current_sum.is_Integer:
continue
elif not smallest_sum or current_sum < smallest_sum:
smallest_sum = current_sum
print(f"Smallest number of presses found: {smallest_sum}")
return smallest_sum
# Second attempt: solving each problem with pulp, a Python library for linear programming
# runs blazingly fast, returns correct solution
def part2_pulp(m):
switches = [list(map(int, list("{0:b}".format(switch).zfill(len(m["j"]))))) for switch in m["s"]]
joltages = m["j"]
# define problem via pulp
problem = LpProblem("Advent of Code 2025, Day 10, Part 2", LpMinimize)
# define variables
x = LpVariable.matrix("x", list(range(len(switches))), 0, None, LpInteger)
# add objective function to problem
problem += lpSum(x)
# add equations to problem
for j in range(len(joltages)):
problem += lpDot(x, [switch[j] for switch in switches]) == joltages[j], f"Equation {j}"
problem.solve()
# the minimum number of steps necessary to reach the desired joltages is the sum of all variables
return sum([value(xi) for xi in x])
#print_machines(machines)
# solve part 1
print(sum(list(map(part1_bfs, machines))))
# solve part 2
steps = 0
for machine in machines:
# solve the machine using sympy and back-substitution
# steps += part2(machine)
# solve the machine using pulp
steps += part2_pulp(machine)
print(f"current total step number: {steps}")
print(f"final total step number: {steps}")

200
day10input.txt
View File

@ -1,200 +0,0 @@
[..#.##.##] (0,1,2,3,4,5,8) (2,3,5,7) (2,5,6,7) (0,3,4,5,6,7,8) (0,2,4,6,7,8) (0,1,2,4,5,8) (0,2,4,5,6) (0,1,3,4,7,8) (0,1) (2,3,6) {55,25,58,54,55,53,44,43,42}
[##..#..] (0,3) (0,1,2,5,6) (0,1,2,4,5) (1,3,4,6) (1,2,3,4,5) (1,6) (1,2,4,5) (0,5) (3,4,5,6) {151,96,61,49,74,197,61}
[.##..#.] (4,5) (0,1,3,6) (0,1,2,3,5,6) (1,2,5) (0,1,4,6) (0,1,2,5,6) {31,42,19,20,8,21,31}
[#...###] (1,4,6) (0,2,4,5,6) (0,1,2,3,5,6) (2,3,5) (1,4,5) {11,18,26,16,27,27,27}
[##...###] (0,1,3,4,5,6,7) (1,2,3,5,6,7) (0,5) (0,2,3,5,7) (2,3,4,5,7) (1,3,4,5,6) (0,1,3,4,6) (1,5,6) (3,5) {158,192,24,194,174,81,192,35}
[.#.##...#] (1,2) (1,3,7,8) (1,2,5,7) (4,7) (1,2,4,5,6,7) (0,1,2,3,5,6,8) (0,3,4,5,6,7,8) {22,156,139,39,6,134,25,132,39}
[.#..] (0,1,2) (0,3) (1,2) (3) (0,2) {47,24,44,16}
[#...#] (1,2,3,4) (0,2) (0,1,2,3) {4,2,6,2,2}
[..#.] (1,3) (0,3) (0,2,3) {33,7,14,40}
[.#.#..##.#] (0,4,5,6) (2,7) (4,5) (0,1,2,3,4,5,6,7) (0,1,2,3,5,6,7,8) (1,3,8) (1,3,5,9) (0) (0,2,3,4,6,8) (0,8) (4,5,6,8) (0,1,4,5,6,7,8,9) (0,2,3,4,5,6,7,9) {82,38,35,35,52,58,60,39,51,9}
[##.##] (0,2,3) (1,2) (1,2,3) (0,1,4) {22,22,36,36,4}
[#####....] (0,1,2,4,5,7) (6) (4,5) (0,1,2,5,6,7,8) (0,3,5,6,7,8) (0,1) (0,2,5,8) (0,1,2,3,4,6,8) (8) (1,3,4,6) (1,4,8) {163,146,35,26,33,46,40,33,39}
[..#.##...] (1,2,6,7,8) (1,2,5,6,7,8) (0,1) (0,1,3,4,5,8) (1,3,4,5,7) (2,3,4,6,7,8) (3,4,5) (0,3,6,8) {17,36,16,23,21,34,18,21,22}
[..#.] (0,2) (1,2) (0,2,3) (0,3) (0,1) (0) {26,9,14,12}
[.#.#] (1,3) (0,2,3) {13,16,13,29}
[#....#.##.] (3,8) (2) (1,2,5,6,8) (0,1,3,4,5,6,8) (1,2) (0,3) (0,5,9) (7,8) (1,4,9) (0,1,3,4,5,7,8,9) (4,6,7,8) (1,5) {26,36,20,20,29,32,28,23,34,18}
[#.####] (0,1,2,4) (1,2,3) (0,1,3) (1,3) (0,4) (5) (3,4,5) (1,5) {32,58,12,42,25,24}
[..#.##..##] (0,3,4,7,8) (0,1,3,4,5,6,8,9) (2,3,4) (6,9) (0,1,2,4,5,6,9) (0,5,7,8,9) (4,5,8) (4) {39,29,29,34,84,46,31,10,39,31}
[.#..#..] (1,4,5) (3,5,6) (2,5) (0,2,3,4,6) (1,3,4,5,6) (0,4) (0,1,4,5,6) {22,40,8,28,45,64,45}
[#...] (0) (0,1) (0,2) (0,3) (2) {39,14,23,5}
[.##..#] (0,1,4) (0,1,4,5) (1,2,5) (0,2,5) (1,2,4,5) (0,1,2,3,5) (2,3) {53,63,51,31,34,49}
[.#...] (1,2,3,4) (3) (0,3,4) (1) (0,2) (1,3) (3,4) {23,149,16,50,18}
[.#..#] (0,1,2) (0,2,3,4) (1,3) (2,3) (1,4) {10,31,17,15,22}
[##########] (0,2,5,6,7) (2,5,6,7,9) (0,3,4,5,6,8) (1,4) (1,6,8) (2,3,4,5,6,7) (0,1,2,3,4,6) (0,1,3,4,8) (1,4,5,6,7,8,9) (2,4,5,6,8) {42,49,54,54,87,55,77,27,57,11}
[.#.#.#.] (2,4) (0,5) (1,2,5,6) (0,1,3) (0,1,4,5,6) {22,25,13,3,23,25,22}
[.####..#] (3,5,6) (1,5,7) (0,3,4,7) (0,1,3,6) (0,2,4,6,7) (0,4) (0,1,3,5) {57,33,15,43,35,35,31,38}
[.##.#] (1,2,4) (0,1,3) (1,2) {7,35,28,7,9}
[####.] (0,1,2,3) (0,3,4) (0,2,3) (0,1,2) (2,3,4) {126,20,132,133,8}
[###..#...#] (3,6,7) (1,2,6) (0,2,3,4,5,6,9) (1) (0,1,2,5,6,7) (0,1,2,3,6,7,8,9) (0,1,2,3,5,6,8,9) (1,2,3,4,5,6,8,9) (0,5,6,8,9) (1,2,4,7,9) (0,3,8,9) (0,2,4,5,6,7,8) (2,3,5,6,8,9) {56,74,68,51,33,39,58,48,52,69}
[.#..##.##.] (1,3,5,7,8,9) (1,3,4,5,6,7,8,9) (3,8) (0,1,4,5,7) (1,3,6,8,9) (0,2,3,4,6,7,8,9) (4,7,8) (1,5) (0,1,2,3,4,5,6,8) (4,6,7,8) {27,60,19,56,49,44,47,39,74,29}
[......##] (0,1,2,7) (0,1,2,3,4,5,7) (0,1,3,4,6,7) (1,2,3,5,6) (0,2,3,6) (1,4,6,7) {47,50,46,60,35,26,56,36}
[..##.#..] (0,1,2) (0,4) (2,3,5,7) (0,2,3,4,5,6) (0,1,3,4,6,7) (0,1,3,6,7) (5,6,7) (0,4,5,6,7) (0,2,3) {253,33,46,51,226,48,55,50}
[.#.#] (0,1,2) (1,3) {0,7,0,7}
[#...#...#] (6) (5,7) (0,1,3,4,6,7,8) (0,2,3,6,7,8) (0,1,5,8) (2,7) (0,1,4,8) (4,5,6) (0,4,5,6,7,8) {44,16,26,15,27,45,48,59,44}
[#..##..] (0,1,2,4,5,6) (3,4,5) (0,1,3,4,5,6) (1,4,5) (2) (0,1,3,4,5) (1) (2,3,5) (0,1,4,5,6) {44,54,30,20,55,57,40}
[..###...##] (0,2,5,6,8) (0,1,2,3,4,5,8,9) (2,3,4,5,7) (0,3,4,5,6,8,9) (2,7,9) (0,1,2,3,4,5,7,8,9) (1,7) (1,2,3,4,5,6,7,8,9) {30,37,48,54,54,59,39,57,44,48}
[..##.###] (0,1,2,3,4,5) (1,2,3,4,5) (0,4,5,7) (0,1,4,5,6,7) (0,2,4,5,7) (0,1,5,6) (1,4) (2,3,4,5,7) (0,3,5) {58,53,56,58,72,83,10,29}
[..###...] (1,2) (0,1,3,4,5,7) (3,4,5) (1,3,4) (0,6) (0,1,2,3,6) {10,39,20,29,23,4,10,0}
[.#....##] (2,3,5) (1,2,3,4,6) (1,3,7) (1,2,3,4,6,7) (4,5) (0,4,6,7) {15,29,25,36,47,21,33,26}
[...#..] (0,1,2,4) (1,5) (0,2,5) (1,3) (0) (2,4,5) (0,2) (0,1,4,5) {168,183,164,18,158,39}
[...#.....] (0,2,4,5,6,7,8) (1,5,7,8) (0,1,6) (1,2,3,7,8) (0,4,5,6,7,8) (0,3,5,6,7,8) (1,2,6,7,8) (0,1,3,6,7,8) (1,2,3,4,5,6,7) (2,4) (0,1,2,7) {81,77,60,51,37,50,76,94,74}
[###..#..#.] (2,9) (0,2,4,6,7,9) (3,4,5,6,7,9) (0,2,3,6,7,8,9) (0,1,3,5,6,8,9) (0,1,4,5,6,7,8) (0,4,6) (3,8) (0,3,4,5,6,8,9) (0,1,2,5,6,8,9) (3,7) (0,1,2,5,6,9) {125,72,82,167,78,94,144,79,176,120}
[#.#####.] (0,1,3,5,7) (1,5,7) (2,4,6) (0,1,3,4,7) (1,3,5) (0,4,5) (0,1,2,4,6) (1,2,4,5,7) (1,2,3) (3,5,6) {48,69,36,41,57,59,20,47}
[#.#.#] (0,2,4) (1,2,4) (0,1,2) (1,3) {169,37,181,18,174}
[..##..##] (1,2) (1,3) (0,4,5,6) (5,6) (1,3,6,7) (1,2,3,4,6,7) (1,2,3,7) (1,4,5,6) (0,2,3,5) {27,67,44,56,34,45,54,33}
[###.....] (0,1,5,7) (0,2) (0,2,4,5,6,7) (3,4,6,7) (0,1,2,4,5,6,7) (1,7) {48,27,36,0,21,33,21,39}
[#....##] (1,2,4,5,6) (1,2,6) (0,2,3,5) (2,3,4,5,6) (0,2,4,5,6) (0,2,6) (0,1,3,5) (4,5) {35,43,65,13,36,46,63}
[.########] (3,4,5,6,7,8) (0,1,2,3,4,5,6) (0,2,5,6,8) (1,2,3,4,5,6,8) (1,3,4,5,6,7,8) (0,3,5,6,7,8) (0,2,3,4,6,8) (0,1,2,4,5,6,7) (2,3,5,6) (0,1,7) {38,39,37,69,69,58,75,49,56}
[##..#.] (2,3,4,5) (0,1,3,5) (1,5) (0,3,4) (2,4) {13,18,27,26,30,31}
[#...##.] (2,3) (1,4,6) (0,1,2,3,4,5,6) (1,5) (3,6) (3,5) {4,25,9,28,16,20,28}
[#####] (2,4) (0,3,4) (0,4) (2,3) (1,2,3) {16,0,24,29,24}
[.#.#.#] (1,2,5) (0,2,4,5) (0,1,2,3,4) (1,3,4) (0,4) {19,39,25,27,38,17}
[#......] (0,3,4,5,6) (1,5) (0,1,3) (0,2,3,6) (0,1,2,4,6) (1,2,3,4,5) {39,36,47,36,38,21,37}
[.##.####] (0,6) (0,5) (3,7) (0,1,3,4,6,7) (2,4,6) (1,2,3,5,7) (4,6,7) (1,4,5,6) {28,36,9,21,53,23,60,37}
[.###...] (3,4,5,6) (0,2,3,4,6) (0,2,3,6) (1,2,3,5) (2,4,6) (3,5,6) (0,4,5,6) (1,5) (1) {41,52,59,71,61,84,93}
[#..#..#.#.] (0,1,3,4,5,6,8,9) (0,3,6,8) (0,1,2,5) (4,5) (0,5) (1,2,3,6,7,9) (0,1,3,8) (1,3,9) {62,40,16,46,21,47,40,10,36,28}
[.#.###] (0,1,2,3) (1,3,5) (1,2,3,5) (2,5) (4) (0,1,2,3,5) (0,2,4,5) {28,26,48,26,19,48}
[#.##] (0,1,2) (0,2,3) (1) (2,3) {10,8,23,20}
[###..#.] (0,2,5) (0,1,2,6) (0,2,4,5,6) (0,3) (2,3,4,5,6) (1) (2,4) (2,4,6) {65,27,76,18,43,37,48}
[###..##] (0,1,2,6) (2,6) (1,3,6) (2,3,6) (2,3) (4,5) (0,1,4,6) {34,44,50,28,38,18,76}
[.##.#] (1,4) (1,2,4) (0,3,4) {2,14,4,2,16}
[###.] (0,1,2) (0,1,3) {115,115,12,103}
[..#.] (0,3) (2) (1,3) {17,16,9,33}
[....#.#] (0,3,5) (6) (1,2,4) (4,5,6) (1,2,4,5,6) (3,4,6) (0,2,3,4) (1,2,3,5,6) (4) {24,14,30,204,228,39,221}
[#..##] (2,4) (0,2) (0,1,2) (0,1,3,4) (2,3) (1,3) {30,27,176,172,18}
[#..#.#.] (0,1,2,4,5) (1,2,3,4) (0,1,3,5,6) (1,2,4,5,6) (3) {39,68,49,49,49,50,30}
[#.###.] (3,4,5) (2,4,5) (2,4) (0,2) (1,2) (0,3,4) (0,1) (0,3) {147,40,55,135,51,23}
[..##] (0,1) (0,2) (1,2,3) (1,3) (0,1,2) {206,195,38,6}
[#.#.##...#] (1,3,8,9) (3,5,6,7,8) (1,3,5,8,9) (0,2,8,9) (0,3,5,6,8) (1,3,4,5,7,8,9) (0,1,2,6,7,9) (0,2,3,4,5,6,7,9) (1,2,5,9) (0,1,4,5,6,7,8,9) (0,4,5,9) (2,6,7,8,9) {74,58,74,56,30,87,80,64,80,110}
[..#.] (1,2,3) (2,3) (2) (1) (0,2) {15,7,37,4}
[##..##] (1,2,3,4) (2,3,4) (0,2,5) (1,3) (2,3) {12,23,215,210,189,12}
[.####..#.#] (1,2,3,6) (0,2,3,4,5,6,8,9) (5,7,9) (1,2,3,5,6,7,8) (3,4,7) (0,1,2,3,4,5,7,8,9) (1,9) (1,3,6,8) (1,2,3,4,5,6,8,9) (0,6,7,8,9) (1,3,4,5,6,7) {23,69,48,69,45,68,64,52,57,56}
[..##] (2,3) (1) (0,2) (1,3) (1,2) {16,25,38,16}
[#.#....] (0,1,3,4,5) (1,2,3,5) (3,4,6) (1,2,4,5) (3,5,6) (0,3,5,6) (1,2,4,5,6) (0,1,2,5) {14,60,52,61,52,80,44}
[#..#..##.] (0,1,2,3,4,7) (1,2,3,4,5,6,7,8) (1,4) (2,4,5,6,7) (0,1,2,3,4,5,7,8) (0,2,3,5,6,7) (0,3) (2,3) (0,4,5,7) (3,5,6) {57,52,69,89,72,64,35,67,27}
[#.#.##] (3) (4,5) (1,2) (0,3) (4) (0,1,3,5) {15,12,10,176,20,8}
[....##] (3,4) (0,1,2,5) (0,3,4) (0,2) (0,1,2,3) (4,5) (1,2,5) {27,32,40,23,16,25}
[..#.###.##] (2,4,5,7,8) (0,6,9) (0,1,3,5,6,8,9) (0,2,4,5,6,7,8,9) (2,3,6,7,8) (0,1,2,3,4,5,6,7,8) (0,4,5,6,7,9) (2,3,4,5,7,8,9) (0,1,8,9) {78,34,37,32,54,67,69,57,62,76}
[#..##] (2,3) (1,4) (0,3,4) {5,13,16,21,18}
[####] (0,1,2,3) (0,2,3) {29,15,29,29}
[...#....##] (2,3,4,9) (3,5,9) (0,1,2,3,4) (2,3,5,6,7,8,9) (7,8) (3,4,9) (0,1,3,5,6) (0,1,2,6,9) (4,8) (8) (0,1,4,6) (1,2,3,4,8) (0,1,2,4,5,6,7) {74,74,68,60,69,42,68,31,27,51}
[##.###..##] (2,4,8) (5,6,7,8) (2,6,8) (0,4,6,7,8,9) (3,5,7) (0,2,3,4,5,6,8) (1,6) (1,2,3,4) (2,3,4) {9,20,52,44,39,24,38,15,32,0}
[.##...] (0,3,5) (1,2) (0,2) (0,4,5) (0,4) (0) (5) (1,2,3,5) {37,28,28,18,18,33}
[..#...#] (0,1,3,5) (0,2,5,6) (0,1,3) (4,5,6) (0,1,3,4,5,6) (2,6) (0,1,2,4,5) (0,4,5) {81,50,37,30,60,81,39}
[...######.] (0,3,4,5,6,7,8) (1,4,5,6) (1,2,3,6,7,8,9) (0,1,5,7,9) (9) (2,6) (4,5,8,9) (1,2,3,5,6,7,8,9) (0,1,2,4,5,6,7) (0,3,5,7) (0,2,3,5,6,8,9) (0,1,4) {69,48,28,33,49,67,44,46,31,55}
[###...##..] (2,6) (0,2,3,4,5,6,7,8,9) (0,1,2,5,6) (0,1,2,3,4,7,8,9) (0,1,4,5,6,9) (3,5) (0,2,9) (0,1,2,4,6,7) (6,9) (0,1,8,9) (0,1,2,3,4,5,8) {287,74,298,75,76,77,83,57,55,243}
[#....##.#] (1,3,5,8) (0,5,7) (0,2,7,8) (0,1,2,3,4,5,6,7) (5,7) (5,6,8) (1,7,8) (0,2,3,4,5,7,8) (0,3,4,5) (0,2,5,6) (0,6,7,8) {97,42,58,58,42,113,72,92,88}
[.#.##.#.#.] (2,6) (0,2,3,4,5,8,9) (0,1,3,5,6,7,8,9) (0,1,2,3,4,5,7,9) (2,9) (0,3,6,7,8) (1,2,3,5,7,8,9) (1,4) (0,1,3,4,5,6,7,8) (5,7,9) {61,61,46,71,58,59,52,61,62,42}
[###.###.] (0,3,5,6) (0,3,5,7) (1) (1,3,4,6) (0,1,4) (0,2,3,5,6,7) (3,4,7) (2,3,4,5,6) {177,24,153,190,33,178,180,152}
[#######.] (1,2,4,7) (1,2,3,5,6,7) (0,1,2,5,7) (2,3,6) (0,1,2,3,4,5,6) (0,1,2,5,6) {36,54,65,40,13,53,44,38}
[.#.#] (0,1,2) (1,3) {102,122,102,20}
[.####.] (3,4) (1,2) (0,3,4) (1,4,5) {2,33,13,109,129,20}
[...##..##] (0,1,2,3,5,6,7) (0,1,4,6) (0,1,5,8) (3,7,8) (1,2,3,4,5,6,7) (0,3,7,8) (0,1,2,4,6,7,8) (1,2,4,5,6,7,8) {52,189,182,51,167,168,187,198,165}
[.##..#..] (0,1) (1,2,3,6) (2,3,4,6,7) (1,2,6,7) (0,1,2,4,5,7) (0,4,7) (2,5,6,7) (2,3) {21,39,56,45,19,7,30,23}
[#.###] (1,2) (0,2,3,4) (0,1,2,3) (0,2,3) {166,30,177,166,141}
[#.##] (2,3) (0,1) (1,2,3) (0,2) {18,34,19,18}
[#.###.##.] (0,2,3,4,5,8) (1,2) (4,6) (0,3,4,6,7,8) (2,4,8) (0,3,5,7,8) (0,3,4,5,6,7,8) (0,6,7) (1,5,8) (0,1,2,4,5,8) (5,6) {45,16,203,26,216,51,33,29,229}
[.##.....##] (0,2,3,4,5,6,8,9) (0,1,2,5,6,7,8) (0,1,7) (6,7) (0,1,2,3,4,5,7,8,9) (3,4,8,9) (8,9) (0,1,2,3,4,5,7,8) (0,1,2,3,5,6,7) (2,4,9) (5,6,9) (0,1,2,5,6,7,9) {64,45,69,71,65,67,54,46,72,81}
[.#..] (0,2) (1,3) (0,1) (1) (0) (1,2) {26,182,5,14}
[#.##] (0,1) (0,1,2) (3) (0,2,3) (1,3) {36,44,22,52}
[##....] (1,4,5) (0,1,3,5) (1,2,4) (0,2,4) {16,33,9,15,19,25}
[#.##.##.#] (0,6) (3,8) (2,6,7) (0,1,2,4,6,7) (0,1,4,5,6,8) (0,1,2,3,4,7,8) (0,3,5,6,7) (0,3,6,8) (0,1,2,4,5,6,7) (0,6,7) (0,1,4,6,7) {68,52,47,45,52,18,67,61,50}
[##...] (0,3,4) (0,1) (2,3) (0,1,2,4) (0) {30,10,27,23,14}
[##.....#] (0,2,3,4,5) (1,2,6) (3,4,6,7) (0,1,7) (3,6,7) (0,1,2,3,4,5,7) (1,2,3,5) {132,43,133,170,134,132,39,64}
[##.#] (0,1,3) (0,1,2) {160,160,12,148}
[.#######] (0,1,3,6) (1,2,3,4,5,6,7) (0,1,3,5) (2,4,5) (0,1,2,4,6,7) (0,2,3,5,6,7) (0,1,2,3,4,6,7) (0,6,7) (1,6) (0,1,4,6) {92,83,64,61,62,37,111,75}
[#...] (0,1,3) (3) (1) (0,1,2) (0) (2) {22,21,5,25}
[.##.##] (2,3) (0,2,3,4) (0,1,3,5) (0,1,2,4) {28,8,34,40,21,7}
[##.#.#.#] (2,3,4,5,6,7) (0) (0,1,2,3,7) (0,1,4,7) (3,4,6,7) (1,4) (2,4,5,6,7) (2,6,7) {28,31,58,41,84,36,75,91}
[.#....] (2,4,5) (0,3) (0,1,2,4) (0,1) (0,2) (0,1,2,3,4) {239,31,31,216,23,6}
[#...###] (3,4,6) (1,2,4) (4,5,6) (0,2,3,5) (0,2,3,5,6) (0,4,5) (1,2,3,4,5) (1,2,3,4,6) {26,16,39,44,47,50,35}
[....##..] (0,3,4,5) (0,1,4,7) (2,6) (0,2,3,4,5,6,7) (1,2,3,4,7) (0,3,4,5,6,7) {22,21,37,31,37,16,22,27}
[##.##] (3,4) (2,3,4) (0,1,2,3) (0,1,3,4) (0,3) (0,2,4) (0,2) {65,17,46,56,52}
[.....#..#.] (0,1,2,4,6,7,8) (1,3,4,7) (2,4,9) (0,2,4,5,8,9) (0,4,5,7) (0,3,7,8,9) (0,1,2,3,6,8,9) (1,4,5,7,8) (1) (0,1,2,3,4,6,7,9) (6) {44,58,40,46,72,29,16,65,54,54}
[#.#.] (1,2) (0,3) (0,2) (0) (0,1,2) (2) {40,24,43,4}
[###...#..#] (2,5) (1,5,6,7) (1,2,4,6,8) (2,7,8) (1,6) (0,2,3,4,5,6,8,9) (1,7,8) (4,6,7,9) (1,3,4,7,8,9) (0,1,2,3,6,7,9) (0,6) (0,3,4,6,7,9) (1,3,5,6,7,8,9) {51,78,53,62,53,28,91,71,49,62}
[.#...#.] (0,1,4,5) (5) (0,1,2,3,6) (1,2,3,4,6) (0,6) (0,1,4) {177,180,29,29,168,17,43}
[...###.] (0,1) (3,4,5,6) (0,1,3,4,5,6) (1) (5,6) (2,4) (0,2,4) (0,1,3,4,5) (2,3,5) {40,38,33,68,71,76,47}
[#.###] (0,3) (0,2,3,4) (0,1,2,3,4) {35,9,20,35,20}
[#.#.#...#] (0,1,2,4,5,6,7) (5,6) (1,3,4,6) (0,1,2,5,6) (2,3,6,7,8) (0,1,2,3,4,5) (0,1,6,8) (0,2,4,6,7,8) (0,2,7) {68,57,78,37,47,42,91,59,34}
[###...#.##] (0,1,2,3,6,7,8,9) (4,6) (2,4,5,6,7,8,9) (0,1,4,5,6,7,8,9) (0,1,2,8,9) (0,2,4,5,6,7,8,9) (3,8) (1,5) (0,1,2,3,5,7,8,9) (1,7) (1,2,3,4,6,7,9) {203,209,52,45,202,212,222,222,238,220}
[..##...##.] (1,2,3,4,5,6,8,9) (2,3,7,8) (2,5,7) (1,2,3,4,5,6,7,9) (0,1,8,9) (0,1,2,4,8,9) (1,4,8) (0,2,6,8,9) (1,5,9) {26,59,48,21,40,40,20,30,29,57}
[.#.#..#...] (1,2,3,4,6,7,8,9) (0,2,4,6,9) (4,6,9) (0,1,2,5,6,7,8,9) (0,2,3,6,8) (0,7) (2,5,6,7) (0,1,5,6,7,8,9) (2,3,5,7,9) (1,2,6) (0,1,2,4,5,6,7,8) (4,6) {78,39,88,28,43,53,107,63,56,56}
[..#.#.] (2,4) (2,3,5) (1,4,5) (0,3,4,5) (0,1,3,5) (0,1,2,4) {35,33,41,34,55,47}
[...#...###] (1,3,6,8) (0,2,3,5,7,9) (0,1,6,7,8,9) (1,2,3,6,8,9) (0,1,3,7,9) (3,7,8,9) (0,2,3,4,7,8,9) (1,4,6,8) (1,6,9) {43,71,34,75,24,16,66,59,80,79}
[##.##] (0,1,2) (0,1,3,4) (1,4) {22,38,14,8,24}
[..#..#.] (0,1,2,3,4) (0,1,3,4,5) (1,4,5,6) (1,4) (0,1,2,5,6) {30,44,11,29,43,32,13}
[.#.#] (0,1,2,3) (1,3) (2,3) {17,28,21,32}
[#.#.] (0,2) (1,2,3) {4,10,14,10}
[..##.#] (0,3) (0,1,2,4) (2,3,5) (1,2,4,5) {12,4,14,22,4,14}
[##...#....] (1,3,4,6,7,8) (6,9) (0,1,2,3,4,6,9) (2,4) (0,1,2,3,6,7,8) (0,1,2,3,4,5,6,8) (0,3,4,6,8,9) (0,1,2,3,4,5,7) (5,6,7) (1,3,4,5,6,8,9) (0,3,6) {54,37,35,58,41,25,73,35,36,34}
[.#######] (1,3,6,7) (1,4,5) (0,3,4,6,7) (0,6,7) (1,3) (2,3,5,7) (2,4) {30,39,16,51,42,13,41,44}
[##....##.#] (6,8) (1,3,4,5,6,7) (1,2,3,4,5,6,7,8) (1,2,4,5,7,9) (0,1,2,5,6,7,9) (0,2,3,4,5,6,8,9) (0,1,5,6,7,8) (1,2,3,4) (2,9) (0,1,3,4,5,6) (0,2,5,6,7) (0,1,4,6,7,8,9) (1,2,3,8,9) {86,110,111,69,82,117,119,93,75,74}
[.#......#.] (1,7,8) (1,2,3,4,6,8) (1,2,3,4,5,7,8) (1,5,9) (2,3,4,5,6,7,8,9) (1,8,9) (0,1,2,3,4,5,6,9) (3,5,6,7) (0,3,5,6,9) (1,2,3,6,9) {31,61,64,81,53,60,74,25,42,66}
[#..#...] (1,3,4,5,6) (0,3,4,6) (2,6) (2,4) (1,4,6) (1,2) (2,3,4,5) {14,21,37,38,57,24,50}
[#####..] (0,1,2,3,4) (3,5) (4,6) (0,6) (2) (0,1,4,5) {26,23,38,20,144,7,124}
[#.#...##] (1,2,4,6) (0,1,2,4,5,6,7) (0,2,3,6) (1,4,6,7) (0,3,4,6,7) (1,5) (3,6) {41,58,39,46,59,31,87,43}
[##.#...#.] (0,6) (0,1,3,7) (1,5) (1,2,3,5) (0,1,2,5,6,8) (0,1,2,3,5,7) (0,1,2,4,6) {220,226,27,210,5,25,17,203,8}
[.#.##] (1,3,4) (0,3) (0,2) (0) (1,3) (0,1) (0,1,3) {49,32,20,37,10}
[#####...] (0,1,2,3,4,6,7) (0,1,2,7) (2,3,4) (4,5,7) (0,1,2,3,5,6) (0,1,4,5,7) {46,46,56,50,43,29,30,29}
[.###...#] (1,2,4,7) (0,2,4,6,7) (2,3,6) (5,6) (1,2,3,4,5,6) (3,6) (4,7) {10,17,41,33,34,16,55,30}
[.#.###...] (5,6,7) (1,4,7) (1,3,7,8) (0,2,5,6) (4,5) (0,1,2,4,7,8) (0,1,2,3,4,5,7) (1,2,4,5,7) {39,72,49,33,65,48,12,83,31}
[..#.#] (0,2,3) (0,1,2) (1,2) (0,3,4) {40,28,45,21,4}
[.#.#...] (1,2,3,5,6) (0,1,2,6) (0,2,3,5) (2,3) (0,1,2,3,5) (2,3,4,6) (0,1,2,4,5) (0,1,3,4,5,6) (1,3,4,6) {193,220,227,96,192,196,81}
[.#...] (0,1,2,3) (2,4) (1,2,4) {3,18,23,3,20}
[#.#...###] (0,6) (1,4,8) (0,4,5,6) (1,2,4,6,7) (5,6) (0,1,5,6,7,8) (2,3,4,5,6,7,8) (0,2,7,8) (0) (3) (1,5) {61,60,35,30,48,71,80,53,57}
[#.##.##.] (7) (0,3,4,5,6,7) (0,3,4) (2,5) (1,3) (0,3,6,7) (0,1,4,5,6) (1,2,3,6,7) (2,3) {44,30,32,61,34,31,52,41}
[####..####] (2,4,5,7,8) (0,4,5,6,8) (1,4,5,6,7,8,9) (0,1,4,5,6,7,8,9) (1,3,4,5,7,9) (0,1,2,3,4,5,9) (3,7) (0,1,2,3,6,9) {37,48,37,39,55,55,42,58,45,48}
[..#.##...] (4,5) (0,2,7) (0,2,3,5,6,7,8) (0,1,4,7) (2,3,7,8) (0,1,2,3,4,6) (0,1,2,3,5,6,7,8) (1,3,6,7) (3,5) {41,34,53,59,17,38,40,75,38}
[..##..] (1,5) (0,5) (2,4,5) (0,2,4,5) (1,2,3) (0) {27,19,166,1,165,184}
[##..] (0,3) (0,2,3) (0,1,2) (1,3) {24,32,23,26}
[##.##] (3,4) (0,4) (0,2,3) (1,3) {29,1,15,24,22}
[#....#.##] (0,1,3,6,8) (0,6,8) (1,5,7) (0,1,2,3,4,5,6,8) (1,2,3,4) (5,7) (0,2,3,4,5,6) (1,3,5,6) {46,42,27,36,27,53,51,26,44}
[##...#.#] (1,2,6,7) (0,1,3,4,5,7) (0,2,3,4,6,7) (1,2,3) (1,5,6,7) (3,7) (1,2,3,4) (0,1,4,5,6,7) {37,53,47,55,54,25,51,66}
[....#.#.#] (2,3,5,8) (0,1,2,5,7) (0,5,7,8) (1,7) (0,2,3,5,6) (0,3,6,7) (0,1,4,6,7) (1,2,3,4,6,7,8) {24,31,32,32,11,36,18,46,38}
[.####.] (2,4,5) (0,1,2,4) (1,3,5) (0,4) (1) (1,4,5) (1,2) (2,3,5) {7,142,137,25,30,48}
[#.#####] (3,6) (0,2,3) (0,1,3,4,5,6) (0,1,2,3,4,6) (0,4) {227,17,191,220,36,17,29}
[###..#] (1,4) (0,3) (0,1,4) (1,2,3,5) (1) (3,4,5) (0,1,4,5) (1,2,4,5) {38,79,31,53,72,56}
[#.#.#] (0,1,3,4) (0,1,2) (0,4) (3,4) (0,2,3,4) (0,3,4) (0,2,4) {49,22,18,18,42}
[...#..] (3) (0,4) (5) (0,1,4) (2,5) (1,4,5) (0,2,4) (3,4,5) {29,29,106,31,59,153}
[#.#.###.] (0,2,6) (0,1,5,7) (3,6,7) (6,7) (0,1,2,4,5,6) (0,1,3,6,7) (5) (5,6,7) (3,4) {38,29,12,49,20,25,62,63}
[.##.#.] (0,1,3,5) (0,1,3,4,5) (0,1,2,4,5) (0,1,2,3) (3,4) (4) (1,5) (0,3,4) {183,185,150,191,49,41}
[#...###.] (0,1,2,3,4) (0,1,2,3,4,6) (0) (2,5) (3,4,5,6,7) (0,1) (0,1,3,4,5,6,7) (0,1,4,5,6,7) (1,4,6) (1,2,3,4,6,7) {46,55,22,31,55,44,51,31}
[.###..#.#] (0,2,3,4,7,8) (2,3,6) (0,2,5,6,7,8) (1,2,4,7,8) (1,5) (0,3,5) (1,8) {24,33,36,31,17,23,19,23,40}
[..#.##..] (0,1,3,5,6) (4,6) (0,2,6) (2,5,7) (1,2,4,7) (1,2,3,4,5,7) {23,216,215,209,203,217,26,208}
[.#.#..] (2,3,4) (3,4) (0,5) (1,3) (0,2) {10,0,18,24,24,4}
[###.#.####] (0,5,8,9) (1,5,6,7,8) (1,6) (5,7) (1,2,4,6,8) (0,2,3,4,7) (2,3,4,5,7) (0,2,3,4,7,8,9) (0,1,2,3,4,6,7,8) {28,23,20,13,20,46,23,42,45,25}
[..##..] (0,5) (1,2,3,4,5) (3,4,5) (1,2,4,5) (1,3,4,5) (0,1,4,5) (0,1,2,3,4) {35,46,35,29,52,61}
[.....##] (0,1,4,5,6) (0,1,2,5,6) (5,6) (0,1,3,4,5) (0,1,2,3,6) (0,1,5) (1,2,3,5,6) (4,6) (2,3) {73,93,76,58,36,83,98}
[..#####..] (0,1,2,5,7,8) (0,4,6,7,8) (1,3,4,5,6) (2,5,7) (0,3,5,6,7) (1,5,8) (1,3) {37,220,10,226,217,220,229,42,26}
[####.#] (0,1,2,4,5) (2,3) (0,1,5) (0,4) {198,198,195,9,186,198}
[..#..#.] (3,4) (0,2) (0,3,5,6) (0,2,3) (0,1,2,3,4,6) (1,2,4,6) (0,2,5) {44,17,47,39,35,4,18}
[.###..##.] (0,1,2,3,5) (0,7) (0,1,2,3,5,6,8) (0,1,4,6) (1,5,8) (3,4,6,8) (1,2,3,5,6,7,8) (1,2,5) (0,2,3,5,6,8) (5,7) (0,1,2,3,4,6,8) {90,92,78,180,125,103,177,50,178}
[.#.##.] (2,3,4) (0,3,4) (0,1,2,3) (0,1,2,4,5) (2,3) {24,13,36,46,25,1}
[####...#.#] (0,1,7,8) (5,9) (2,7,8) (4,6,7,8) (0,1,4,6,9) (0,1,2,3,5,6,7,9) (3,6) (5,8) (0,1,2,3,6,8,9) (0,1,2) (0,1,2,3,5,7,8,9) {33,33,45,32,5,30,27,37,48,38}
[#....] (0,1,2) (1,2,3) (0,1,4) (0,2,4) {28,39,37,16,12}
[##..#] (1,3,4) (0,1) (1) (0,4) (1,2) (3,4) {17,29,9,25,41}
[.##.##.##] (1,3,6) (0,1,2,3,4,5,6) (1,3,4,8) (1,6) (0,1,2,5,7) (0,1,2,7,8) (0,1,2,5,6,7,8) (0,4,8) (1,8) {45,59,25,25,45,22,29,20,57}
[.###..] (0,1,2,3) (0,4) (1,2) (0,5) (0) (1,2,3,4) (1,2,3,5) (1,2,3) {48,42,42,27,36,18}
[......##] (0,1,2,3,4,6,7) (2,7) (0,4,5,6,7) (2,3,4,5,6,7) (1,2,3,6,7) (3,4,5,7) (1,5,7) (1,3,4,5,6,7) {19,28,32,45,42,36,42,65}
[...#.##..#] (2,4,5,7,9) (0,2,3,5,6,8) (7,9) (2,6,8,9) (0,1,3,5,6,7,9) (0,2,7,8) (0,1,3) (4,6) (3,6,7) (0,2,3,5,6,7,9) (1,2,6,8,9) {84,36,69,71,167,45,230,67,48,53}
[##.###.##] (0,3,4,5,7,8) (0,3,4,5) (3,7) (1,3,5) (0,2,5,6,8) (1,4,7,8) (0,1,4,7,8) (2,6,7,8) {52,31,24,37,41,48,24,36,47}
[##.#] (1,2) (0,1,3) (0,2,3) {205,19,186,205}
[#....] (0,3) (0,1,4) (0,3,4) (1,2) (0,2,3) (4) (1,3) {27,21,13,39,13}
[##..#.#..] (4,5,6) (0,3,4,5,6,7,8) (1,3,4,5,6,7,8) (0,1,2,3,5,6,7) (1,2,6,8) (0,3,4,5,6,8) (2,4,5,6,7) (0,1,2,4,5,7) (1,2,3,4,6,7) (1,6,8) {184,214,195,205,69,219,244,211,62}
[.###....] (2,3,4,5,6) (1,3,4) (0,1,6) (0,5,7) (1,2,4,5,6,7) (1,2,4,5,6) (3,4,5,6) {27,50,34,25,51,54,63,18}
[..##..] (1) (0,2,3,4) (0,1,2,3,4) (1,2) (2,3,5) (0,3,4,5) {45,29,52,60,45,25}
[.#...] (0,1,3) (0,1,4) (1,2) (2,4) (3,4) (0,1,3,4) {141,155,15,14,148}
[##..] (3) (0,1) (0,2) (0,1,3) (1,3) (0,3) {58,32,17,46}
[##.###.] (0,4,5) (0,1,4,5,6) (0,2,5,6) (0,1,2,3) (1,2,3,4,6) (0,2,3) {45,29,39,25,16,25,28}
[#####] (1,2,4) (0,1,3) (0,1) (0,4) (1,2,3) (4) {41,62,31,36,27}
[#.##] (1,2,3) (0,1,2) (1,3) (0,3) (2) {22,22,27,34}
[..#.#] (1,3,4) (0,2,3,4) (0,2) (0,1,4) (2,4) {30,21,25,32,39}
[#..#.] (1,4) (0,3) (1,2,4) {6,25,19,6,25}
[.#..] (0,2,3) (2,3) (1,2) (0,3) {11,6,12,11}
[##..#...] (0,1,4) (3,6) (0,1,2,5) (0,2,4,6,7) (1,2,3,4,5,7) (3,6,7) (2,3,5,6,7) (2,5,7) (4) (1,3,4,7) {31,32,156,40,37,138,39,160}
[##...] (1,2,3) (0) (3) (2) (2,4) (0,3) (0,1,3) {14,22,42,38,11}
[#.#....] (0,2) (0,1,6) (2,3,4,5,6) (0,2,4,6) (4) (0,2,3,6) (0,1,2,4,6) (1,4,5,6) (1,2) {56,44,58,12,55,17,60}
[###.##.] (0,1,3,5,6) (0,2,4,5,6) (0,1,2,4,5,6) (1,3) (2,4) (0,1,2,3,4,6) (0,1,2,4,5) {33,24,43,17,43,26,26}
[..#..#..#] (1,2,3,4,5,8) (0,2,3,5,6,7) (0,1,3,4,5,6,7,8) (0,1,5,6,8) (2,4,6,7) (1,2,3,8) (0,1,3,5,6,7) (0,2,4,5,6,7) (5,6,8) (1,2,5) {54,61,54,49,14,72,60,40,38}

95
day11.py
View File

@ -1,95 +0,0 @@
#!/usr/bin/env python
# https://adventofcode.com/2025/day/11
f = open("day11input.txt", "r")
#f = open("testinput.txt", "r")
graph = {}
for line in f.readlines():
node, outputs = line.strip("\n").split(":")
graph[node] = outputs.strip().split(" ")
def part1(current_path: list[str] | str, end: str) -> None:
if isinstance(current_path, str):
current_path = [current_path]
node = current_path[-1]
# check for dead ends
if node not in graph.keys():
return
# check if end node is reachable from current node
if end in graph[node]:
found_paths.append(current_path + [end])
return
# check all outputs
for output in graph[node]:
# avoid loops
if output in current_path:
continue
part1(current_path + [output], end)
def part2(start: str, end: str) -> int:
print(f"STARTING BACKWARDS SEARCH FROM {end} TO {start}")
num_paths = {end: 0}
def backsearch(target_node: str, current_node: str) -> int:
# init num_paths value for current node
num_paths[current_node] = 0
# find nodes with edges into current node
inputs = list(filter(lambda n: current_node in graph[n], graph.keys()))
# check if current_node is a dead end
if len(inputs) == 0:
return
# loop over input nodes
for node in inputs:
# check if node is the target node
if node == target_node:
num_paths[current_node] = 1
# input node was visited already
elif node in num_paths.keys():
num_paths[current_node] += num_paths[node]
# input node was not yet visited
else:
backsearch(target_node, node)
num_paths[current_node] += num_paths[node]
return
backsearch(start, end)
return num_paths[end]
# part 1
found_paths = []
part1("you", "out")
print(len(found_paths))
# part2
svr2dac = part2("svr", "dac")
print(svr2dac)
dac2fft = part2("dac", "fft")
print(dac2fft)
fft2out = part2("fft", "out")
print(fft2out)
svr2fft = part2("svr", "fft")
print(svr2fft)
fft2dac = part2("fft", "dac")
print(fft2dac)
dac2out = part2("dac", "out")
print(dac2out)
print("final result:", svr2dac * dac2fft * fft2out + svr2fft * fft2dac * dac2out)

647
day11input.txt
View File

@ -1,647 +0,0 @@
dfa: nbz qhk kzw
nzm: ors
coh: hvt mrm yvu
grm: jon
jcu: dco reg
hgd: zum ets rml
yqr: gbd you dev oki
zia: fft gpd
wgs: mwd
rma: smb
pfh: jgr
kva: wkb elg
ggl: qcf hvt
egb: hzs dwx
nwk: out
owz: nwk abc
loe: adu roz vis
qdw: npt you dev
esy: pbj gyu nph jeh
fdg: ykn epk jau
piz: dxz jbc swk
bby: pxp
qcf: enj qhf sav siy tbn ccn
req: ckp lew
you: vhr jzm onn muy wsz pba nqx chd uvn fgl leo tvv ajb
epk: gbd npt dev oki
ttu: hzs dwx weu dsm
ajb: knu
zis: owr wie sdo
baz: icr xxa
wof: hht wwo hpk
yde: aha acu gob
ugq: bpa
gxo: muw gcw dca kja
cnf: swk
kby: spx suh ats
qgt: php zqq jva pkm
oeh: huq ahv gun van
osl: qcf hvt yvu
hya: gob szv aha ors acu
vlc: lfr vfm xsh
hqt: ptd nid
ifl: yvu qcf
nba: ddz hsk are wkt
gob: xsh vfm lfr
ckc: zia tub
biu: qrc
ekm: wgs mit
oki: jcu nqx mok uvn pph pfh ajb tvv vhr onn avk jzm vcb muy pba qvl chd ssk leo dnj nno fgl wqz vyw wsz
ytg: isi thh csk
fwt: xzk guu obh
ivc: xog
pkm: xxa icr
wux: qcf yvu hvt mrm
yjo: spx
zqq: xxa ptd icr
scc: xsh
jbc: bby grt
ssk: ugq rhm
epo: bgi avt vrq
hmi: awf
uhe: xog ble
dla: yaa shj
hok: ryk anu qqm mag zes uhe ygh kaj jif syl dla qdf nle vao udl dvq xil
ors: lfr dhl xsh
vrt: xsh lfr
onn: wfl
xhi: smb
wol: nqc fga frw
mfc: wyu hhq
uku: obh xzk wcz
vyw: ekm
tmh: mrm
lfr: lvh dly ibi yee ywp ksa ogz rog zph fks nnp qnp zsg drv
vhh: dhl
rhb: jur cgb
ovf: dln bvr
azm: vzw yfz osl bmb
ken: vso ybh ifl ofa
for: scc icp
fuj: nmg zia dls
scb: ijp ekw
lme: mod ygu
cev: til yox axf
fks: red qip sda
szv: vfm dhl xsh
ygf: vnf xvj hgd
ygu: icr ptd xxa
zzz: qbf kik
weh: out
ljf: xvj ybc
php: ptd nid
wsx: rgq
wnb: snh wct
suh: vfm
are: ilu
qec: yuj lwk tso
uys: vip
guu: out
nkj: loi jfl ejf
ddw: asd yot owz
tid: bgi qzw xiv
dmu: kgk gxo ebz yaa
ptd: der inq jwg piz klp qag mtj yyf emp foa fgy ift zii lwe ddd gbz
qhv: dfd tnj vkj
nmv: mwb vkj dfd
isi: uba izt mdn xhi
jau: npt gbd oki
bhg: vas rnl ora pnt
mcg: otw mfq
wkr: dev oki npt gbd
vis: oih
kzw: jur
wwo: ivg acz
ykn: you oki dev
oen: hvt
dsu: ytg cim
kzx: byq few btc rrz
mrm: qgx tbn dsu kbc ccn rci crh neh wnb enj sav xur mfc azx qgu qiq qhf apg siy
ucs: ead rhb
swk: grt bby
nvu: hvt qcf
jon: vhh vlc
few: out
vgb: lfr dhl xsh
gdd: hvt yvu
osi: jvm zmz ddw
thh: izt rma uba
dys: wbu ucs bpf
vso: hvt mrm qcf
npt: wqz fgl nno dnj leo ssk chd wsz vyw tvv ajb pfh pph uvn mok jcu nqx biu qvl pba muy vcb jzm avk onn vhr
dac: epk kbw jau
izj: mea hmi
qrc: jxk epv
vaf: qgt
ddd: bhg bcj
pph: jgr rhm ugq
nfh: qmt csk thh
qdf: hyp
ets: out
xgk: dhl xsh
boa: hpk hht
ppr: wof
ble: lht ugz bpr
dyg: qmt
dca: cpe eyi
hjm: nep yya kik
zes: hyp uzy
vgl: hfm
vkp: mgv iah
vsh: cts xtl xsp
rrz: out
ckp: hsk ddz kqe
mxe: yuj
tre: luh
paz: wwo
luh: wcg
bvv: vxi etm
qzw: fri
hht: vgl yjo acz kby
itk: sdc alv tjv
xyo: hpz axf yox yyn
xkh: hhq zdi wyu qix
kgk: muw
mit: fsf mvk mwd
qse: lqt lxh wil
ofa: hvt mrm yvu qcf
ior: icr ptd nid xxa
syz: duo
vrq: rxb pfk fri
snh: hyg nop vaf sgh
csk: uba rma izt mdn xhi
dpw: jur zod
xwy: lsk bbi
mvk: tlo itk juq
wbu: rhb
otw: loi tcv
gpd: vrt scc
xog: ugz lht bpr bvv
nbr: byq few
hzt: wsx fms
sda: tdh bye eif ggl
byq: out
gbd: uvn pph mok jcu nqx ajb tvv pfh onn avk jzm vhr pba qvl biu vcb muy chd ssk wqz leo nno dnj vyw wsz
rhj: paz
kaj: dfa zzp jky ost
zsg: rwo sqf xyg
reg: hoi epv
oee: bne
jha: gyu jeh
chd: wfl
yyf: poh zzz hjm
wil: ahz
dfd: oki you gbd npt
mfj: bgi vrq xiv
fri: vyd
qvl: jgr
oyd: vfm lfr dhl
smg: oki dev you gbd
bco: amy kzx
ats: dhl vfm
cqs: lfr
tzw: oen gnu qxh gdd
rwc: mrp jbc
iwx: qlz bss awf
dnj: reg qrc dco
ibi: vrm elg
dly: ykj qip sda
jur: izj hfj tid epo ckc gwu eei syz tlb
ast: php jva zqq uxg
rnl: ngy eiq
zzp: kzw hed lfk qhk
nkp: tnj vkj
viz: mvk
hpz: ptd
qip: eif bye
rwo: pth
mwb: gbd npt
qiq: vsh vca
prl: kzw lfk qhk
flo: dhl lfr
lkz: hhx
siy: sce
xtl: xlz guz
kgu: qtw ura wkr smg bwf
uun: out
gyu: ldh ttu
nep: mfq gvg
bpr: qec etm mxe
ltr: gbd npt oki dev
svr: yxc gwm hok
avk: sdn zpz vvt zhw
xyg: krb wcg
boh: nmv qhv nkp
rgo: jdt rhb ead
jva: xxa nid
tni: nmg tub zia dls
nei: vfm
izd: mvp kgx scb sjc
qpy: rwo sqf
qtw: dev oki
izt: lrw baz smb
jdt: zod cgb jur
ewt: iwx mea auv
lwe: bcj
qag: sjc
hgv: osi bws hhx
sce: sdo
cts: guz hqt
vzw: hvt mrm qcf
lrw: nid icr xxa
ivg: fzd suh spx
gun: tzw eia
ebz: muw kja
abc: out
apg: lkf vsh sif
xlz: xxa nid ptd icr
see: bmi
sdn: bsl rob
cai: van huq
lrg: qtw bwf wkr smg
vsy: gfb weh uun
acu: vfm xsh
bwf: gbd npt you dev oki
sdo: nid ptd xxa
mfp: qip
dls: gpd fft
nsc: ivf
vhr: mxw dco
ldh: dpw hzs weu
vwg: paz
yfz: hvt
rci: nfh dyg nqt
bbi: qcf mrm yvu
xkj: weh
juq: tjv alv sdc
kqe: gik clq ilu
jxk: bco
inq: zzz hjm poh
nqx: ekm aet uyh
blj: ior mod rgi
udl: jha var esy vqa zex
mok: vvt sdn
fsf: juq tlo hgf
qwi: mwb dfd
ora: ngy eiq
sav: zis mbp
axf: nid ptd
kik: otw
cxl: azm
nbz: jur
zmz: vkp okc owz
zum: out
eei: boa paz
nhm: uun gfb
shj: gcw
sow: lsk
byv: ybh ofa
anu: isj xog
tso: zod jur cgb
xdr: osl vzw
jky: hed kzw qhk nbz
klc: xdr fol
vas: eiq gys
ykj: bye tdh
dsm: zod jur cgb
van: tzw azs fkq
rux: bby grt mgw
nnp: vrm wkb elg
klp: kgx scb
pth: coh jpj nvu wmz tmh
ekw: fga frw
xsh: fks mfp vlq kva kqb gtw drv qnp
hyp: fvp nba lew
hde: bvv bpr ugz
weu: jur
nmg: gpd
yvu: crh ruf rci ccn xkh kbc dsu qgx tbn sav enj wnb neh azx mfc xur siy apg qhf qiq qgu
nno: zpz zhw vvt
gwu: dln bvr
vlq: sqf rwo
lxh: ahz lme blj
bcj: vas
kgx: ggc ekw wol
tus: pkm php jva zqq
fft: icp ymx vrt vgb scc
ahv: eia azs tzw fkq
hgf: esi tjv
dhl: tre ibi fks lvh qpy cai kqb oeh ywp
vcb: reg qrc dco mxw
yuj: jur cgb
emp: mvp
nbj: obh wcz eot
muw: mao cpe eyi ybf
nvy: vso ifl ybh
yvt: ljf llb eoc
auv: dxq qlz awf
jns: ucs
smb: ptd
icp: lfr vfm dhl
lvh: vrm
wct: hyg nop vaf
foa: fms
gik: jur zod
ugz: etm
hhq: dog xzr bne xyo
qdc: eoc
pnt: gys ngy
hed: zod
acz: fzd
lqt: lme ahz
ujd: qwi
xiy: vso ybh ifl
qlz: oyd nei cqs
ssl: yvu
jeh: egb ttu ldh
wkw: vlc
ubb: guz hqt
dev: onn wsz vcb biu mok ssk uvn chd fgl nno dnj leo
vca: xsp xtl cdb ubb
uvn: zpz zhw vvt
zph: zok yvz
pyk: vhh
hsk: clq gik
kja: ybf cpe mao
jgr: wkf bjz bpa yvt
der: nkp
kbw: dev you
fkq: gdd qxh gnu
ijq: sgh vaf
dgy: uxg jva
bss: wfz flo oyd
avt: fri pfk grm rxb
bne: axf
yya: nkj
xur: sce mbp
mxw: hoi epv
qhd: lxh
eot: out
rml: out
huq: fkq azs tzw
ost: hed kzw qhk nbz
fgy: scb
jif: xog isj hde
azx: dyg cim nfh ytg
wqz: wfl loe
uxg: nid xxa
zok: lsk bbi
fbt: uun gfb
xiv: hsb
icr: pyl inq cnf boh hzt gbz klp piz aoz pkd
qbf: nkj otw mfq
qmt: uba
rgq: gys
bpf: jdt
llb: vnf ybc
vvt: bsl
gys: you oki gbd npt
yyn: ptd nid xxa
adu: oih
owr: nid icr ptd xxa
xil: hde ble
ybc: rml ets zum
cdb: xlz hqt guz
rva: guu obh wcz
yvz: wux
mkh: fwt nbj
gtd: xgk vlc
vkj: oki dev gbd
qhf: zis
fka: adu uys vis
til: ptd icr xxa
pkd: bhg wsx bcj
jzm: aet ekm
jbt: req
knu: hhx bws
syl: zex esy var jha
clq: cgb
qix: xyo xzr cev
yee: xwy sow zok
zdi: dog
ddz: gik clq
qhk: cgb jur
tbn: qhd qys qse
vfm: qpy fks zph ogz nnp oeh qnp gtw drv lvh ibi dly ywp yee cai
bjz: eoc ljf llb
xpa: njk nbr hcw
lus: eia
dln: hya
uba: lrw
iah: out
mfq: ltr ejf
ura: dev you npt
ygh: zzp dfa prl ost
sif: xtl xsp cts cdb ubb
nid: der jwg pyl inq klp piz izd pkd boh hzt emp mtj qag fgy see foa rwc lwe aoz ift gbz ddd
fga: yqr qdw caw uud
ift: qhv nkp
dfi: gfb weh
ogz: sow zok xwy yvz
pfk: wkw pyk jon gtd
alv: out
leo: fka
fzd: xsh lfr vfm
uyh: wgs viz mit
vxi: tso lwk
wkf: ygf eoc ljf
ywp: lus
loi: you oki dev
bsl: mkh jmw
qys: lxh
xzr: yyn hpz axf yox
spx: xsh
mbp: owr wie
wkt: gik
qgu: ijq
rhm: bjz wkf qdc
gvg: ltr tcv jfl loi
obh: out
bpa: llb ygf
oih: nhm dfi vsy
ymx: vfm lfr xsh
lsk: yvu
nqt: isi qmt
hcw: few rrz btc
wcz: out
sqf: wcg pth krb
ruf: wct ijq snh
tdh: qcf hvt yvu
rob: mkh ivf
wcg: jpj nvu wmz coh
fvp: ddz kqe are
eoc: xvj
sdc: out
saq: fol
lkf: xsp xtl cts ubb
muy: aet ekm
ijp: fga
grt: lrg
poh: qbf kik mcg
nph: ttu
ryk: zex
qnp: cxl
zii: swk mrp jbc rux
jvm: asd owz
etm: lwk tso yuj
hoi: bco xpa kqt
duo: yde nzm
bmi: epk
azs: gdd qxh
zod: tni hfj rhj ewt pma dbc syz fuj gwu epo vwg
dxq: oyd nei cqs flo wfz
lcw: kbw epk jau
gcw: cpe
hpk: yjo kby vgl ivg
nqc: qdw uud yqr
mdn: lrw smb baz
hhx: jvm zmz
sxj: out
hvt: dsu qiq nvm apg ruf
dwx: jur zod
pba: hgv lkz
tnj: npt gbd dev oki you
esa: yya mcg
jmw: uku nud nbj
isj: bvv lht
ybf: jur
eyi: jur cgb zod
hyg: scl tus
wmz: yvu qcf
bye: qcf yvu mrm
red: ggl eif tdh ssl
ggc: nqc
fym: gxo shj kgk ebz
mgv: out
tlo: esi tjv
lwk: zod
aoz: zzz hjm esa poh
gwm: anu ryk dmu qqm uhe zes dys jif kaj jbt qdf dla jns dvq fym vao ivc udl
gtw: vrm wkb
sgh: tus dgy
ilu: zod jur cgb
dbc: iwx hmi
ybz: lxh wil
xvj: zum
hfj: zia
krb: nvu
vqa: pbj nph
yaa: muw kja dca gcw
elg: ken byv
btc: out
hsb: gtd vyd pyk
scl: jva
jwg: bmi fdg lcw dac
bvr: yde hya
cgb: fuj vwg ban tlb eei dbc syz ovf pma hfj ndm ckc gwu tid epo mfj ewt izj ppr rhj tni
hzs: cgb
rxb: vyd wkw jon gtd
awf: nei wfz flo
ahz: rgi mod ygu
kqt: hcw amy njk
cim: csk thh
vnf: ets
bmb: qcf
nvm: ybz qhd
mtj: dac lcw bmi
caw: npt
njk: btc rrz few byq
mea: qlz
rgi: icr
ejf: you gbd npt
ivf: rva uku nbj
lfk: zod jur cgb
bnb: nhm fbt
mwd: juq hgf
vip: xkj vsy nhm
pxp: qtw bwf ura wkr smg
mrp: bby mgw
qgx: hhq oee qix
wfz: xsh
ybh: hvt mrm
tjv: out
kbc: sif vca vsh lkf
eia: gnu gdd
xxa: jwg ujd pyl inq boh piz izd pkd fgy foa emp yyf mtj qag gbz ddd aoz ift zii
gnu: qcf mrm
aha: vfm xsh
pbj: ldh ttu
neh: oee wyu qix hhq
fms: rnl
gbz: poh zzz
wkb: nvy ken byv xiy
tcv: gbd npt oki dev you
uud: you oki dev npt gbd
asd: nwk abc
pma: tub
nop: scl dgy qgt ast
ead: zod
utv: owz yot okc asd
tub: fft gpd for
esi: out
nud: eot
roz: vip bnb
bgi: grm fri
nle: zex vqa
eiq: dev you
jpj: hvt qcf
yot: abc iah mgv
zex: jeh gyu pbj
ndm: dln duo
zhw: pka
wyu: xzr
qqm: req hyp uzy
epv: kqt
dco: epv
qxh: qcf hvt mrm yvu
tlb: wof paz boa
dvq: jha zex esy
wie: ptd
yox: icr
ksa: van gun ahv huq
skr: mrm hvt
mao: cgb
ban: auv mea hmi
frw: uud qdw
vao: prl zzp dfa
zpz: rob bsl nsc pka
vyd: xgk
eif: mrm yvu qcf
cpe: zod jur
aet: viz
enj: snh
dxz: mgw
mvp: ekw wol ggc
var: nph gyu
mgw: lrg pxp kgu
lht: vxi qec etm
mag: ucs wbu rgo
pyl: nkp qwi nmv
drv: klc cxl saq
mod: nid icr xxa
amy: rrz byq
dog: yox
wfl: vis uys
bws: utv jvm
wsz: ekm uyh
tvv: wfl
yxc: ryk dmu anu qqm uhe mag jbt jif qdf jns ivc fym dvq nle xil
hfm: vfm lfr dhl
crh: qse qys
kqb: cxl saq
okc: sxj iah mgv abc
fol: skr yfz osl
xsp: xlz guz
sjc: ekw ijp
pka: mkh ivf jmw
rog: zok xwy yvz
guz: xxa ptd icr
ngy: dev oki you npt gbd
xzk: out
gfb: out
fgl: lkz knu hgv
vrm: nvy xiy
jfl: gbd npt oki you
ccn: qse
lew: ddz
uzy: lew ckp nba

80
day12.py
View File

@ -1,80 +0,0 @@
#!/usr/bin/env python
# https://adventofcode.com/2025/day/12
import re
def prep_data(filename):
shape_re = re.compile(r"\d:")
region_re = re.compile(r"\d+x\d+:")
shapes, regions, quantities = {}, [], []
f = open(filename, "r")
lines = [l.rstrip("\n") for l in f.readlines()]
f.close()
while lines != []:
line = lines.pop(0)
# shape
if shape_re.match(line):
tmp = []
# read shape lines
while True:
l = lines.pop(0)
if l == "":
break
else:
tmp.append(l)
# parse shape
shape = []
for i in range(len(tmp)):
for j in range(len(tmp[0])):
if tmp[i][j] == "#":
shape.append((i, j))
shapes["shape-" + line[:-1]] = shape
# region & quantities
elif region_re.match(line):
tmp = line.split(" ")
regions.append(list(map(int, tmp.pop(0)[:-1].split("x"))))
quantities.append(list(map(int, tmp)))
return shapes, regions, quantities
def solve_part_1() -> int:
shapes, regions, quantities = prep_data("day12input.txt")
areas = [len(shape) for shape in shapes]
solvable, unsolvable, dont_know = 0, 0, 0
# loop over problems
for i in range(len(regions)):
board = regions[i]
quantity = quantities[i]
# simple solvability check
if board[0] * board[1] < sum(list(map(lambda a, q: a * q, areas, quantity))):
print(f"Problem {i} is unsolvable")
unsolvable += 1
# check if a tileset of 3x3 squares would fit in theory
elif (board[0] // 3) * (board[1] // 3) >= sum(quantity):
print(f"Problem {i} is solvable")
solvable += 1
else:
print(f"don't know about problem {i}")
dont_know += 1
print(f"{solvable=}")
print(f"{unsolvable=}")
print(f"{dont_know=}")
return solvable
# solve part 1
print(solve_part_1())

1030
day12input.txt
View File

File diff suppressed because it is too large Load Diff