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

Update 2023 day 24

Browse Source
This commit is contained in:
augustin64 2023-12-26 10:47:25 +01:00
parent 15b4f24087
commit 5d67709ab0
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
2023/day24.py
View File

@ -5,6 +5,8 @@ Jour 24 du défi Advent Of Code pour l'année 2023
import os import os
import z3 import z3
from aoc_utils import decorators
def read_sample(): def read_sample():
"""récupère les entrées depuis le fichier texte correspondant""" """récupère les entrées depuis le fichier texte correspondant"""
filename = os.path.join(os.path.dirname(__file__ ), "inputs", "day24.txt") filename = os.path.join(os.path.dirname(__file__ ), "inputs", "day24.txt")
@ -47,7 +49,7 @@ def intersection(h1, h2):
return x, y return x, y
@decorators.timeit
def part1(sample, left=200000000000000, right=400000000000000): def part1(sample, left=200000000000000, right=400000000000000):
"""Partie 1 du défi""" """Partie 1 du défi"""
hailstones = [Hailstone(i) for i in sample] hailstones = [Hailstone(i) for i in sample]
@ -63,12 +65,13 @@ def part1(sample, left=200000000000000, right=400000000000000):
return count return count
@decorators.timeit
def part2(sample): def part2(sample):
"""Partie 2 du défi""" """Partie 2 du défi"""
hailstones = [Hailstone(i) for i in sample] hailstones = [Hailstone(i) for i in sample]
px, py, pz, dx, dy, dz = z3.Ints("px py pz dx dy dz") px, py, pz, dx, dy, dz = z3.Reals("px py pz dx dy dz")
collision = [z3.Int("t"+str(i)) for i in range(len(hailstones))] collision = [z3.Real("t"+str(i)) for i in range(len(hailstones))]
solver = z3.Solver() solver = z3.Solver()
for i in range(len(hailstones)): for i in range(len(hailstones)):
h = hailstones[i] h = hailstones[i]