-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathday16.py
executable file
·139 lines (115 loc) · 3.11 KB
/
day16.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
#!/usr/bin/env python3
# [Day 16: Chronal Classification](https://adventofcode.com/2018/day/16)
import sys
import typing as t
from collections import defaultdict
from copy import deepcopy
from pathlib import Path
OPCODES = (
"addi",
"addr",
"bani",
"banr",
"bori",
"borr",
"eqir",
"eqri",
"eqrr",
"gtir",
"gtri",
"gtrr",
"muli",
"mulr",
"seti",
"setr",
)
def emulate(opcode, a, b, c, regs: t.List) -> t.List:
regs = deepcopy(regs)
match opcode:
# Addition
case "addr":
regs[c] = regs[a] + regs[b]
case "addi":
regs[c] = regs[a] + b
# Multiplication
case "mulr":
regs[c] = regs[a] * regs[b]
case "muli":
regs[c] = regs[a] * b
# Bitwise AND
case "banr":
regs[c] = regs[a] & regs[b]
case "bani":
regs[c] = regs[a] & b
# Bitwise OR
case "borr":
regs[c] = regs[a] | regs[b]
case "bori":
regs[c] = regs[a] | b
# Assignment
case "setr":
regs[c] = regs[a]
case "seti":
regs[c] = a
# Greater-than testing
case "gtir":
regs[c] = 1 if a > regs[b] else 0
case "gtri":
regs[c] = 1 if regs[a] > b else 0
case "gtrr":
regs[c] = 1 if regs[a] > regs[b] else 0
# Equality testing
case "eqir":
regs[c] = 1 if a == regs[b] else 0
case "eqri":
regs[c] = 1 if regs[a] == b else 0
case "eqrr":
regs[c] = 1 if regs[a] == regs[b] else 0
case _:
raise ValueError(f"bad opcode {opcode}")
return regs
verbose = "-v" in sys.argv
if verbose:
sys.argv.remove("-v")
self_tests = "-T" in sys.argv
if self_tests:
sys.argv.remove("-T")
filename = ("test.txt" if sys.argv[1] == "-t" else sys.argv[1]) if len(sys.argv) > 1 else "input.txt"
data = Path(filename).read_text().strip()
samples, program = data.split("\n\n\n\n", maxsplit=1)
mapping = defaultdict(set)
result = 0
for sample in samples.split("\n\n"):
before, instruction, after = sample.splitlines()
before = list(map(int, before.removeprefix("Before: [").removesuffix("]").split(",")))
opcode, a, b, c = map(int, instruction.split())
after = list(map(int, after.removeprefix("After: [").removesuffix("]").split(",")))
n = 0
for o in OPCODES:
if after == emulate(o, a, b, c, before):
n += 1
mapping[opcode].add(o)
if n >= 3:
result += 1
# part 1
print(result)
# resolve the mapping
opcodes = dict()
while mapping:
for k, v in mapping.items():
if len(v) == 1:
name = v.pop()
mapping.pop(k)
opcodes[k] = name
for _, v in mapping.items():
v.discard(name)
break
else:
raise ValueError
# run the test program
regs = [0, 0, 0, 0]
for instruction in program.splitlines():
opcode, a, b, c = map(int, instruction.split())
regs = emulate(opcodes[opcode], a, b, c, regs)
# part 2
print(regs[0])