diff options
Diffstat (limited to 'day16/src')
-rw-r--r-- | day16/src/main.rs | 239 |
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 @@ | |||
1 | use std::fs; | ||
2 | use std::path::Path; | ||
3 | |||
4 | #[derive(Debug)] | ||
5 | struct BITS { | ||
6 | version: u8, | ||
7 | body: Box<BITSPacket> | ||
8 | } | ||
9 | |||
10 | #[derive(Debug)] | ||
11 | enum BITSPacket { | ||
12 | Literal(u64), | ||
13 | Operator(u8, Vec<Box<BITS>>) | ||
14 | } | ||
15 | |||
16 | /* AOC21 Day 16: https://adventofcode.com/2021/day/16 */ | ||
17 | fn 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 | |||
26 | fn 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 | |||
34 | fn 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 | |||
40 | fn 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 | |||
51 | fn 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 | |||
62 | fn 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 | |||
87 | fn 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 | |||
94 | fn 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)] | ||
114 | mod 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 | } | ||