summaryrefslogtreecommitdiff
path: root/day16/src
diff options
context:
space:
mode:
Diffstat (limited to 'day16/src')
-rw-r--r--day16/src/main.rs239
1 files changed, 239 insertions, 0 deletions
diff --git a/day16/src/main.rs b/day16/src/main.rs
new file mode 100644
index 0000000..9f8352c
--- /dev/null
+++ b/day16/src/main.rs
@@ -0,0 +1,239 @@
1use std::fs;
2use std::path::Path;
3
4#[derive(Debug)]
5struct BITS {
6 version: u8,
7 body: Box<BITSPacket>
8}
9
10#[derive(Debug)]
11enum BITSPacket {
12 Literal(u64),
13 Operator(u8, Vec<Box<BITS>>)
14}
15
16/* AOC21 Day 16: https://adventofcode.com/2021/day/16 */
17fn main() {
18 let input = Path::new("resources").join("input.txt");
19 let content = fs::read_to_string(input).expect("Unable to read input file");
20 let bits = to_bits(&content);
21 let (packet,_) = parse_packet(&bits);
22 println!("Ex1: the result is {}", sum_versions(&packet));
23 println!("Ex2: the result is {}", evaluate(&packet));
24}
25
26fn to_bits(input: &str) -> Vec<u8> {
27 input.chars().fold(vec![], |mut bits,c| {
28 let c = c.to_digit(16).expect("Malformed input");
29 for i in 0..4 { bits.push(((c>>(3-i))&1) as u8) }
30 bits
31 })
32}
33
34fn decimal(bits: &[u8]) -> u64 {
35 // NOTE: using `acc<<1` will potentially overflow *silently*. Use `2*acc` instead.
36 bits.iter().fold(0, |acc,&b| 2*acc + b as u64)
37}
38
39
40fn parse_packets_by_length(bits: &[u8], len: usize) -> Vec<Box<BITS>> {
41 let mut vec = vec![];
42 let mut cur = 0;
43 while cur < len {
44 let (pkg,size) = parse_packet(&bits[cur..]);
45 vec.push(Box::new(pkg));
46 cur += size;
47 }
48 vec
49}
50
51fn parse_packets_by_number(bits: &[u8], num: usize) -> (Vec<Box<BITS>>, usize) {
52 let mut vec = vec![];
53 let mut cur = 0;
54 for _ in 0..num {
55 let (pkg,size) = parse_packet(&bits[cur..]);
56 vec.push(Box::new(pkg));
57 cur += size;
58 }
59 (vec,cur)
60}
61
62fn parse_packet(bits: &[u8]) -> (BITS, usize) {
63 let version = decimal(&bits[..3]) as u8;
64 let typeid = decimal(&bits[3..6]) as u8;
65 match typeid {
66 4 => {
67 let blocks = (0..).find(|b| bits[6+5*b] == 0).unwrap();
68 let lit = (0..=blocks).fold(0, |acc,blk| 16*acc + decimal(&bits[6+5*blk+1..6+5*(blk+1)]));
69 let body = Box::new(BITSPacket::Literal(lit));
70 (BITS { version, body }, 6+5*(blocks+1))
71 },
72 _ if bits[6] == 0 => {
73 let len = decimal(&bits[7..22]) as usize;
74 let subpkgs = parse_packets_by_length(&bits[22..], len);
75 let body = Box::new(BITSPacket::Operator(typeid, subpkgs));
76 (BITS { version, body }, 7+15+len)
77 },
78 _ => {
79 let num = decimal(&bits[7..18]) as usize;
80 let (subpkgs,len) = parse_packets_by_number(&bits[18..], num);
81 let body = Box::new(BITSPacket::Operator(typeid, subpkgs));
82 (BITS { version, body }, 7+11+len)
83 }
84 }
85}
86
87fn sum_versions(packet: &BITS) -> u32 {
88 packet.version as u32 + match packet.body.as_ref() {
89 BITSPacket::Literal(_) => 0,
90 BITSPacket::Operator(_,packets) => packets.iter().map(|p| sum_versions(p)).sum()
91 }
92}
93
94fn evaluate(packet: &BITS) -> u64 {
95 match packet.body.as_ref() {
96 BITSPacket::Literal(l) => *l,
97 BITSPacket::Operator(t,ps) => {
98 let evals: Vec<u64> = ps.iter().map(|p| evaluate(p)).collect();
99 match t {
100 0 => evals.iter().sum(),
101 1 => evals.iter().product(),
102 2 => *evals.iter().min().unwrap(),
103 3 => *evals.iter().max().unwrap(),
104 5 => (evals[0] > evals[1]) as u64,
105 6 => (evals[0] < evals[1]) as u64,
106 7 => (evals[0] == evals[1]) as u64,
107 _ => unreachable!()
108 }
109 }
110 }
111}
112
113#[cfg(test)]
114mod tests {
115 use super::*;
116
117 #[test]
118 fn literal() {
119 let input = "D2FE28";
120 let bits = to_bits(input);
121 let (packet,size) = parse_packet(&bits);
122 assert_eq!(21, size);
123 assert_eq!(6, packet.version);
124 matches!(*packet.body, BITSPacket::Literal(2021));
125 }
126
127 #[test]
128 fn bit_literal() {
129 let input = "3232D42BF9400";
130 let bits = to_bits(input);
131 let (packet,_) = parse_packet(&bits);
132 assert_eq!(5000000000, evaluate(&packet));
133 }
134
135 #[test]
136 fn operator_t0() {
137 let input = "38006F45291200";
138 let bits = to_bits(input);
139 let (packet,size) = parse_packet(&bits);
140 assert_eq!(49, size);
141 assert_eq!(1, packet.version);
142 matches!(*packet.body, BITSPacket::Operator(6,_));
143 if let BITSPacket::Operator(_,packets) = *packet.body {
144 assert_eq!(2, packets.len());
145 let packet = packets[0].as_ref();
146 assert_eq!(6, packet.version);
147 matches!(*packet.body, BITSPacket::Literal(10));
148 let packet = packets[1].as_ref();
149 assert_eq!(2, packet.version);
150 matches!(*packet.body, BITSPacket::Literal(20));
151 }
152 }
153
154 #[test]
155 fn operator_t1() {
156 let input = "EE00D40C823060";
157 let bits = to_bits(input);
158 let (packet,size) = parse_packet(&bits);
159 assert_eq!(51, size);
160 assert_eq!(7, packet.version);
161 matches!(*packet.body, BITSPacket::Operator(3,_));
162 if let BITSPacket::Operator(_,packets) = *packet.body {
163 assert_eq!(3, packets.len());
164 let packet = packets[0].as_ref();
165 assert_eq!(2, packet.version);
166 matches!(*packet.body, BITSPacket::Literal(1));
167 let packet = packets[1].as_ref();
168 assert_eq!(4, packet.version);
169 matches!(*packet.body, BITSPacket::Literal(2));
170 let packet = packets[2].as_ref();
171 assert_eq!(1, packet.version);
172 matches!(*packet.body, BITSPacket::Literal(3));
173 }
174 }
175
176 #[test]
177 fn sum() {
178 let input = "C200B40A82";
179 let bits = to_bits(input);
180 let (packet,_) = parse_packet(&bits);
181 assert_eq!(3, evaluate(&packet));
182 }
183
184 #[test]
185 fn product() {
186 let input = "04005AC33890";
187 let bits = to_bits(input);
188 let (packet,_) = parse_packet(&bits);
189 assert_eq!(54, evaluate(&packet));
190 }
191
192 #[test]
193 fn min() {
194 let input = "880086C3E88112";
195 let bits = to_bits(input);
196 let (packet,_) = parse_packet(&bits);
197 assert_eq!(7, evaluate(&packet));
198 }
199
200 #[test]
201 fn max() {
202 let input = "CE00C43D881120";
203 let bits = to_bits(input);
204 let (packet,_) = parse_packet(&bits);
205 assert_eq!(9, evaluate(&packet));
206 }
207
208 #[test]
209 fn less_then() {
210 let input = "D8005AC2A8F0";
211 let bits = to_bits(input);
212 let (packet,_) = parse_packet(&bits);
213 assert_eq!(1, evaluate(&packet));
214 }
215
216 #[test]
217 fn greater_then() {
218 let input = "F600BC2D8F";
219 let bits = to_bits(input);
220 let (packet,_) = parse_packet(&bits);
221 assert_eq!(0, evaluate(&packet));
222 }
223
224 #[test]
225 fn equals1() {
226 let input = "9C005AC2F8F0";
227 let bits = to_bits(input);
228 let (packet,_) = parse_packet(&bits);
229 assert_eq!(0, evaluate(&packet));
230 }
231
232 #[test]
233 fn equals2() {
234 let input = "9C0141080250320F1802104A08";
235 let bits = to_bits(input);
236 let (packet,_) = parse_packet(&bits);
237 assert_eq!(1, evaluate(&packet));
238 }
239}