This commit is contained in:
Patrick Stevens
2021-12-18 21:45:29 +00:00
committed by GitHub
parent e2bae67c3d
commit 274394f931
8 changed files with 643 additions and 1 deletions

7
Cargo.lock generated
View File

@@ -227,6 +227,13 @@ dependencies = [
"criterion",
]
[[package]]
name = "day_18"
version = "0.1.0"
dependencies = [
"criterion",
]
[[package]]
name = "day_2"
version = "0.1.0"

View File

@@ -16,4 +16,5 @@ members = [
"day_14",
"day_16",
"day_17",
"day_18",
]

15
day_18/Cargo.toml Normal file
View File

@@ -0,0 +1,15 @@
[package]
name = "day_18"
version = "0.1.0"
authors = ["Smaug123 <patrick+github@patrickstevens.co.uk>"]
edition = "2021"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[dependencies]
[dev-dependencies]
criterion = "0.3"
[[bench]]
name = "bench"
harness = false

19
day_18/benches/bench.rs Normal file
View File

@@ -0,0 +1,19 @@
use criterion::{black_box, criterion_group, criterion_main, Criterion};
use day_18::day_18::{input, part_1, part_2};
fn criterion_benchmark(c: &mut Criterion) {
let input = input();
c.bench_function("day 18 part 1", |b| {
b.iter(|| {
black_box(part_1(&input));
})
});
c.bench_function("day 18 part 2", |b| {
b.iter(|| {
black_box(part_2(&input));
})
});
}
criterion_group!(benches, criterion_benchmark);
criterion_main!(benches);

View File

@@ -57,4 +57,4 @@ magnitude@Fold[reduce@*concat,nums[[1]],nums[[2;;]]]//AbsoluteTiming
(*Part 2*)
Max[magnitude[reduce[concat@@#]]&/@Subsets[nums,{2}]]//AbsoluteTiming
Max[magnitude[reduce[concat@@#]]&/@With[{s=Subsets[nums,{2}]},Join[s,Reverse@s]]]//AbsoluteTiming

100
day_18/input.txt Normal file
View File

@@ -0,0 +1,100 @@
[[[7,1],2],3]
[[1,7],7]
[[6,8],[[6,[3,6]],[0,5]]]
[[[[2,1],8],[[9,4],8]],[[6,5],4]]
[[1,[[3,8],[9,1]]],[[9,1],[[1,7],0]]]
[[[7,4],[8,[7,6]]],[9,[[6,3],[7,8]]]]
[[[[5,0],1],4],[[5,[6,9]],[[4,3],2]]]
[[[3,8],8],[[[3,2],8],[9,[0,5]]]]
[[[[5,8],[3,9]],[7,[1,4]]],[6,1]]
[3,[[[3,3],9],[0,7]]]
[[[6,9],1],[[0,[8,4]],[[2,2],9]]]
[[[[6,2],3],[0,4]],3]
[[[[3,8],7],[[7,4],0]],[2,[5,[2,8]]]]
[[4,[9,[8,0]]],[[1,5],[[9,3],8]]]
[[[8,5],[3,[1,4]]],[[6,[8,0]],[[2,7],[2,6]]]]
[4,7]
[[[[2,3],0],[[1,9],[4,1]]],[[1,[4,2]],3]]
[[[8,[5,3]],[[5,7],7]],[[5,6],[6,4]]]
[[[[2,4],1],[8,6]],[[6,5],[0,[9,1]]]]
[[[1,[5,7]],8],[[[9,1],9],[[1,2],4]]]
[[[[5,5],[4,0]],[4,[9,6]]],[[[2,1],1],7]]
[[[[1,9],[9,5]],[[5,0],[3,1]]],[[[6,7],[8,8]],[[7,3],0]]]
[[6,[[6,7],[9,0]]],[[7,7],[[0,3],0]]]
[[0,6],[5,2]]
[[[[5,8],3],[[9,0],8]],[7,4]]
[[0,[[9,9],[9,4]]],[[[1,1],2],[1,[6,7]]]]
[0,[[5,7],2]]
[[2,[[5,4],6]],[1,[8,[7,6]]]]
[[[1,7],[8,[5,8]]],[[[2,1],[9,1]],[[5,6],9]]]
[[1,8],[9,[4,3]]]
[5,[2,[[5,5],9]]]
[3,[8,[[2,8],[4,8]]]]
[[[4,9],[[5,5],0]],[9,[8,[3,0]]]]
[[[2,[6,4]],[8,[9,9]]],[[[0,4],8],[3,[9,7]]]]
[[[[8,1],[2,4]],3],[1,[[3,3],[6,3]]]]
[[[8,[7,3]],[1,8]],2]
[[8,[8,4]],[[6,[4,7]],[3,0]]]
[[[[4,6],[8,3]],9],[9,[[8,9],[0,9]]]]
[[3,[[2,7],[4,4]]],2]
[8,[[[8,6],2],[[8,9],6]]]
[[[[5,7],[2,0]],[[0,2],[5,5]]],[[[8,5],5],[[1,3],[2,3]]]]
[[1,6],[[9,8],[9,[4,9]]]]
[[[[1,4],5],9],[4,[6,8]]]
[[[[6,4],[9,0]],[[1,4],[6,6]]],[[9,[2,8]],2]]
[[[[5,9],2],[[0,0],5]],[2,1]]
[6,[[3,2],[[3,0],0]]]
[[[[7,4],1],[[4,1],1]],[[3,4],4]]
[3,[9,[9,7]]]
[[[3,[3,3]],[0,3]],[1,[1,8]]]
[[8,[8,7]],[[9,2],5]]
[[[1,[3,9]],[5,9]],[1,5]]
[[[[7,8],[9,7]],9],[[[9,2],[2,2]],[[9,6],8]]]
[4,[[3,5],[[1,3],[5,5]]]]
[7,[[[0,1],2],[[3,6],5]]]
[0,[[[2,4],[3,4]],[8,9]]]
[[1,[[6,8],1]],[8,0]]
[1,1]
[7,0]
[[1,2],[[0,[8,3]],[[4,5],[9,7]]]]
[[[[2,3],[5,9]],[7,[1,9]]],2]
[[3,5],[[9,7],9]]
[[[[6,9],[4,8]],6],0]
[[[[2,4],[3,9]],[2,[9,4]]],[[[8,9],[3,1]],7]]
[[5,[[0,2],4]],[[[9,9],[7,4]],[1,5]]]
[3,[6,[[5,4],1]]]
[[[2,[2,7]],2],[[4,[7,3]],5]]
[7,[[0,[2,0]],[[9,4],6]]]
[[4,[3,[6,2]]],9]
[[[0,[5,6]],[8,3]],[[7,9],[0,[9,6]]]]
[8,[[6,4],[4,8]]]
[[[8,[6,8]],[5,[7,3]]],[[[7,8],5],2]]
[[[[3,5],[4,7]],5],[[0,0],[9,[1,9]]]]
[[7,[[1,5],9]],[[[3,4],[1,7]],[1,[7,9]]]]
[[0,[3,[4,1]]],[[[2,9],3],[4,[0,8]]]]
[[[8,[1,6]],[[0,1],7]],[[[1,1],[0,2]],[[9,4],[9,6]]]]
[[[[6,7],0],[[6,8],9]],[[1,[6,6]],[[2,9],[4,7]]]]
[[[[5,0],[1,2]],[1,[5,1]]],[[0,4],1]]
[[9,1],6]
[[7,2],[[[5,5],[4,3]],6]]
[[9,[[0,6],9]],[[7,9],[7,1]]]
[[[[7,3],[6,4]],[[2,5],[7,2]]],[[[4,4],0],[[9,5],[8,5]]]]
[[[[8,8],[6,4]],[[0,2],[9,5]]],2]
[[[[3,0],7],[9,2]],[[0,[8,6]],[[7,2],[8,5]]]]
[[0,6],[1,[9,[4,3]]]]
[[0,8],[[[5,0],6],[5,[2,0]]]]
[[[[7,1],[0,3]],[[9,9],[3,5]]],[4,[8,4]]]
[7,[[1,[3,7]],[[3,4],[2,3]]]]
[[[[2,2],[4,8]],[[3,4],0]],[[[1,5],[2,8]],5]]
[6,[[[9,1],5],[9,9]]]
[[[2,[8,6]],[[9,9],[6,3]]],4]
[[[[3,2],[9,3]],8],9]
[[[[6,9],0],[[0,6],[1,3]]],[[5,[9,8]],[[1,5],[3,7]]]]
[[2,[4,[2,3]]],[[[6,0],[7,2]],3]]
[[[[8,3],4],[6,[8,8]]],4]
[[[9,8],5],[[[4,4],[6,3]],[8,6]]]
[9,2]
[[[3,4],[4,[7,0]]],[0,[4,[6,9]]]]
[[[0,8],[3,9]],[[[3,8],6],[[9,3],6]]]
[[[[5,6],[0,3]],1],[8,[2,9]]]
[[[[4,2],8],[[9,3],7]],0]

493
day_18/src/lib.rs Normal file
View File

@@ -0,0 +1,493 @@
pub mod day_18 {
use std::cmp::max;
#[derive(Debug)]
pub enum PairEntry {
Number(u8),
Pair((usize, usize)),
}
#[derive(Debug)]
pub struct Pair {
pairs: Vec<PairEntry>,
first: usize,
}
// It makes no sense to clone a PairEntry, so do it manually.
impl Clone for Pair {
fn clone(&self) -> Self {
let mut pairs = Vec::with_capacity(self.pairs.len());
for p in self.pairs.iter() {
match p {
PairEntry::Number(i) => {
pairs.push(PairEntry::Number(*i));
}
PairEntry::Pair(i) => {
pairs.push(PairEntry::Pair(*i));
}
}
}
Pair {
pairs,
first: self.first,
}
}
}
pub struct PairIterator<'a> {
current_pos: Vec<(usize, u8, usize)>,
pairs: &'a [PairEntry],
}
#[derive(Debug)]
pub struct IterationEntry {
entry: usize,
value: u8,
depth: u8,
parent: usize,
}
impl<'a> Iterator for PairIterator<'a> {
type Item = IterationEntry;
fn next(&mut self) -> Option<Self::Item> {
let (top, depth, parent) = self.current_pos.pop()?;
match self.pairs[top] {
PairEntry::Number(x) => Some(IterationEntry {
entry: top,
value: x,
depth,
parent,
}),
PairEntry::Pair((left, right)) => {
self.current_pos.push((right, depth + 1, top));
self.current_pos.push((left, depth + 1, top));
self.next()
}
}
}
}
impl PartialEq for Pair {
fn eq(&self, other: &Self) -> bool {
format!("{}", self) == format!("{}", other)
}
}
impl Eq for Pair {}
impl Pair {
fn iter(&self) -> PairIterator {
PairIterator {
current_pos: vec![(self.first, 0, 0)],
pairs: &self.pairs,
}
}
}
impl std::fmt::Display for Pair {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
let mut print_stack = vec![Ok(self.first)];
while let Some(to_print) = print_stack.pop() {
match to_print {
Ok(index) => match self.pairs[index] {
PairEntry::Number(n) => {
write!(f, "{}", n)?;
}
PairEntry::Pair((p1, p2)) => {
write!(f, "[")?;
print_stack.push(Err(']'));
print_stack.push(Ok(p2));
print_stack.push(Err(','));
print_stack.push(Ok(p1));
}
},
Err(c) => {
write!(f, "{}", c)?;
}
}
}
Ok(())
}
}
pub(crate) fn concatenate(p1: &Pair, p2: &Pair) -> Pair {
let mut pairs = Vec::with_capacity(p1.pairs.len() + p2.pairs.len() + 1);
for entry in p1.pairs.iter() {
match entry {
PairEntry::Number(i) => {
pairs.push(PairEntry::Number(*i));
}
PairEntry::Pair((fst, snd)) => {
pairs.push(PairEntry::Pair((*fst, *snd)));
}
}
}
for entry in p2.pairs.iter() {
match entry {
PairEntry::Number(i) => {
pairs.push(PairEntry::Number(*i));
}
PairEntry::Pair((fst, snd)) => {
pairs.push(PairEntry::Pair((
*fst + p1.pairs.len(),
*snd + p1.pairs.len(),
)));
}
}
}
pairs.push(PairEntry::Pair((p1.first, p1.pairs.len() + p2.first)));
let first = pairs.len() - 1;
Pair { pairs, first }
}
pub(crate) fn parse_line(s: &str) -> Pair {
let mut chars = s.chars();
match chars.next() {
Some('[') => {}
Some(c) => {
panic!("Expected open '[', got {}", c);
}
None => {
panic!("Expected open '[', got nothing");
}
}
let mut open_stack = 1;
let mut pair_entries = Vec::new();
let mut unclaimed_entries = Vec::new();
while open_stack > 0 {
match chars.next().unwrap() {
']' => {
open_stack -= 1;
let pair_1 = unclaimed_entries.pop().unwrap();
let pair_2 = unclaimed_entries.pop().unwrap();
pair_entries.push(PairEntry::Pair((pair_2, pair_1)));
unclaimed_entries.push(pair_entries.len() - 1);
}
'[' => {
open_stack += 1;
}
',' => {}
c => {
if ('0'..='9').contains(&c) {
pair_entries.push(PairEntry::Number(c as u8 - b'0'));
unclaimed_entries.push(pair_entries.len() - 1);
} else {
panic!("Unrecognised character: {}", c);
}
}
}
}
let first = pair_entries.len() - 1;
Pair {
pairs: pair_entries,
first,
}
}
pub(crate) fn parse(s: &str) -> Vec<Pair> {
s.split('\n').map(parse_line).collect()
}
pub fn input() -> Vec<Pair> {
parse(include_str!("../input.txt"))
}
struct EitherSide {
left: Option<(usize, u8)>,
right: Option<(usize, u8)>,
}
// entry is the first element of the pair
fn first_to_left_and_right(p: &Pair, entry: usize) -> EitherSide {
let mut iter = p.iter();
let mut prev = iter.next().unwrap();
let mut answer_left = None;
let mut ret = 0;
if prev.entry == entry {
ret = 1;
}
for current in iter {
match ret {
2 => {
return EitherSide {
left: answer_left,
right: Some((current.entry, current.value)),
};
}
1 => {
ret += 1;
}
_ => {}
}
if current.entry == entry {
answer_left = Some((prev.entry, prev.value));
ret = 1;
}
prev = current;
}
EitherSide {
left: answer_left,
right: None,
}
}
pub(crate) fn explode(p: &mut Pair, entry: usize) {
match p.pairs[entry] {
PairEntry::Number(_) => {
panic!("Expected a pair!");
}
PairEntry::Pair((left, right)) => {
let left_right = first_to_left_and_right(p, left);
match left_right.left {
None => {}
Some((left_entry, left_value)) => match p.pairs[left] {
PairEntry::Pair(_) => panic!("Expected a left entry, got a pair"),
PairEntry::Number(left) => {
p.pairs[left_entry] = PairEntry::Number(left_value + left);
}
},
};
match left_right.right {
None => {}
Some((right_entry, right_value)) => match p.pairs[right] {
PairEntry::Pair(_) => panic!("Expected a right entry, got a pair"),
PairEntry::Number(right) => {
p.pairs[right_entry] = PairEntry::Number(right_value + right);
}
},
};
}
};
p.pairs[entry] = PairEntry::Number(0);
}
pub(crate) fn split(p1: &mut Pair, entry: usize) {
match p1.pairs[entry] {
PairEntry::Pair(_) => {
panic!("Can't split a pair!");
}
PairEntry::Number(n) => {
let left = n / 2;
let right = n - left;
p1.pairs.push(PairEntry::Number(left));
p1.pairs.push(PairEntry::Number(right));
p1.pairs[entry] = PairEntry::Pair((p1.pairs.len() - 2, p1.pairs.len() - 1));
}
}
}
pub(crate) fn reduce_step(p1: &mut Pair) -> bool {
for iteration in p1.iter() {
if iteration.depth > 4 {
explode(p1, iteration.parent);
return true;
}
}
for iteration in p1.iter() {
if iteration.value >= 10 {
split(p1, iteration.entry);
return true;
}
}
false
}
pub(crate) fn reduce(p: &mut Pair) {
while reduce_step(p) {}
}
pub(crate) fn add(p1: &Pair, p2: &Pair) -> Pair {
let mut concatenated = concatenate(p1, p2);
reduce(&mut concatenated);
concatenated
}
fn magnitude_inner(p: &Pair, entry: usize) -> u32 {
match p.pairs[entry] {
PairEntry::Pair((left, right)) => {
3 * magnitude_inner(p, left) + 2 * magnitude_inner(p, right)
}
PairEntry::Number(n) => (n as u32),
}
}
pub(crate) fn magnitude(p: &Pair) -> u32 {
magnitude_inner(p, p.first)
}
pub(crate) fn final_sum(p1: &[Pair]) -> Pair {
let mut iter = p1.iter();
let fst = iter.next().unwrap();
iter.fold(fst.clone(), |current, next| add(&current, next))
}
pub fn part_1(data: &[Pair]) -> u32 {
magnitude(&final_sum(data))
}
pub fn part_2(data: &[Pair]) -> u32 {
let mut best = 0;
for i in 0..data.len() {
for j in 0..data.len() {
if i != j {
best = max(best, magnitude(&add(&data[i], &data[j])))
}
}
}
best
}
}
#[cfg(test)]
mod tests {
use super::day_18::*;
static TEST_INPUT_1: &str = "[1,1]
[2,2]
[3,3]
[4,4]";
static TEST_INPUT_2: &str = "[1,1]
[2,2]
[3,3]
[4,4]
[5,5]";
static TEST_INPUT_3: &str = "[1,1]
[2,2]
[3,3]
[4,4]
[5,5]
[6,6]";
static TEST_INPUT_4: &str = "[[[0,[4,5]],[0,0]],[[[4,5],[2,6]],[9,5]]]
[7,[[[3,7],[4,3]],[[6,3],[8,8]]]]
[[2,[[0,8],[3,4]]],[[[6,7],1],[7,[1,6]]]]
[[[[2,4],7],[6,[0,5]]],[[[6,8],[2,8]],[[2,1],[4,5]]]]
[7,[5,[[3,8],[1,4]]]]
[[2,[2,2]],[8,[8,1]]]
[2,9]
[1,[[[9,3],9],[[9,0],[0,7]]]]
[[[5,[7,4]],7],1]
[[[[4,2],2],6],[8,7]]";
static TEST_INPUT_5: &str = "[[[0,[5,8]],[[1,7],[9,6]]],[[4,[1,2]],[[1,4],2]]]
[[[5,[2,8]],4],[5,[[9,9],0]]]
[6,[[[6,2],[5,6]],[[7,6],[4,7]]]]
[[[6,[0,7]],[0,9]],[4,[9,[9,0]]]]
[[[7,[6,4]],[3,[1,3]]],[[[5,5],1],9]]
[[6,[[7,3],[3,2]]],[[[3,8],[5,7]],4]]
[[[[5,4],[7,7]],8],[[8,3],8]]
[[9,3],[[9,9],[6,[4,9]]]]
[[2,[[7,7],7]],[[5,8],[[9,3],[0,2]]]]
[[[[5,2],5],[8,[3,7]]],[[5,[7,5]],[4,4]]]";
#[test]
fn test_parse() {
let test_cases = [
"[[[[4,3],4],4],[7,[[8,4],9]]]",
"[1,1]",
"[[[[0,7],4],[[7,8],[6,0]]],[8,1]]",
];
for &case in test_cases.iter() {
assert_eq!(format!("{}", parse_line(case)), case);
}
}
#[test]
fn test_concatenate() {
let actual = concatenate(&parse_line("[1,2]"), &parse_line("[[3,4],5]"));
let expected = parse_line("[[1,2],[[3,4],5]]");
assert_eq!(format!("{}", actual), format!("{}", expected));
}
#[test]
fn part1_known() {
let lhs = parse_line("[[[[4,3],4],4],[7,[[8,4],9]]]");
let rhs = parse_line("[1,1]");
let answer = parse_line("[[[[0,7],4],[[7,8],[6,0]]],[8,1]]");
assert_eq!(add(&lhs, &rhs), answer);
assert_eq!(
final_sum(&parse(&TEST_INPUT_1)),
parse_line("[[[[1,1],[2,2]],[3,3]],[4,4]]")
);
assert_eq!(
final_sum(&parse(&TEST_INPUT_2)),
parse_line("[[[[3,0],[5,3]],[4,4]],[5,5]]")
);
assert_eq!(
final_sum(&parse(&TEST_INPUT_3)),
parse_line("[[[[5,0],[7,4]],[5,5]],[6,6]]")
);
assert_eq!(
final_sum(&parse(&TEST_INPUT_4)),
parse_line("[[[[8,7],[7,7]],[[8,6],[7,7]]],[[[0,7],[6,6]],[8,7]]]")
);
assert_eq!(magnitude(&parse_line("[9,1]")), 29);
assert_eq!(magnitude(&parse_line("[[9,1],[1,9]]")), 129);
assert_eq!(magnitude(&parse_line("[[1,2],[[3,4],5]]")), 143);
assert_eq!(
magnitude(&parse_line("[[[[0,7],4],[[7,8],[6,0]]],[8,1]]")),
1384
);
assert_eq!(magnitude(&parse_line("[[[[1,1],[2,2]],[3,3]],[4,4]]")), 445);
assert_eq!(magnitude(&parse_line("[[[[3,0],[5,3]],[4,4]],[5,5]]")), 791);
assert_eq!(
magnitude(&parse_line("[[[[5,0],[7,4]],[5,5]],[6,6]]")),
1137
);
assert_eq!(
magnitude(&parse_line(
"[[[[8,7],[7,7]],[[8,6],[7,7]]],[[[0,7],[6,6]],[8,7]]]"
)),
3488
);
assert_eq!(part_1(&parse(TEST_INPUT_5)), 4140);
}
#[test]
fn part2_known() {
let sum = add(
&parse_line("[[2,[[7,7],7]],[[5,8],[[9,3],[0,2]]]]"),
&parse_line("[[[0,[5,8]],[[1,7],[9,6]]],[[4,[1,2]],[[1,4],2]]]"),
);
assert_eq!(
sum,
parse_line("[[[[7,8],[6,6]],[[6,0],[7,7]]],[[[7,8],[8,8]],[[7,9],[0,6]]]]")
);
assert_eq!(magnitude(&sum), 3993);
let data = parse(&TEST_INPUT_5);
assert_eq!(part_2(&data), 3993);
}
#[test]
fn test_day_18() {
let input = input();
assert_eq!(part_1(&input), 4057);
assert_eq!(part_2(&input), 4683);
}
}

7
day_18/src/main.rs Normal file
View File

@@ -0,0 +1,7 @@
use day_18::day_18::{input, part_1, part_2};
fn main() {
let input = input();
println!("part 1 => {}", part_1(&input));
println!("part 2 => {}", part_2(&input));
}