From eb95fec5d63be70b0696d26ae49ab0fc11f5319b Mon Sep 17 00:00:00 2001 From: Patrick Auernig Date: Wed, 10 Feb 2021 04:06:40 +0100 Subject: [PATCH] Add solution for 2015 day 07 --- 2015/day-07/.gitignore | 1 + 2015/day-07/inputs/puzzle.txt | 339 ++++++++++++++++++++++++++++++++++ 2015/day-07/inputs/test.txt | 8 + 2015/day-07/src/circuit.rs | 213 +++++++++++++++++++++ 2015/day-07/src/main.rs | 54 ++++++ 5 files changed, 615 insertions(+) create mode 100644 2015/day-07/.gitignore create mode 100644 2015/day-07/inputs/puzzle.txt create mode 100644 2015/day-07/inputs/test.txt create mode 100644 2015/day-07/src/circuit.rs create mode 100644 2015/day-07/src/main.rs diff --git a/2015/day-07/.gitignore b/2015/day-07/.gitignore new file mode 100644 index 0000000..ba2906d --- /dev/null +++ b/2015/day-07/.gitignore @@ -0,0 +1 @@ +main diff --git a/2015/day-07/inputs/puzzle.txt b/2015/day-07/inputs/puzzle.txt new file mode 100644 index 0000000..56cae92 --- /dev/null +++ b/2015/day-07/inputs/puzzle.txt @@ -0,0 +1,339 @@ +af AND ah -> ai +NOT lk -> ll +hz RSHIFT 1 -> is +NOT go -> gp +du OR dt -> dv +x RSHIFT 5 -> aa +at OR az -> ba +eo LSHIFT 15 -> es +ci OR ct -> cu +b RSHIFT 5 -> f +fm OR fn -> fo +NOT ag -> ah +v OR w -> x +g AND i -> j +an LSHIFT 15 -> ar +1 AND cx -> cy +jq AND jw -> jy +iu RSHIFT 5 -> ix +gl AND gm -> go +NOT bw -> bx +jp RSHIFT 3 -> jr +hg AND hh -> hj +bv AND bx -> by +er OR es -> et +kl OR kr -> ks +et RSHIFT 1 -> fm +e AND f -> h +u LSHIFT 1 -> ao +he RSHIFT 1 -> hx +eg AND ei -> ej +bo AND bu -> bw +dz OR ef -> eg +dy RSHIFT 3 -> ea +gl OR gm -> gn +da LSHIFT 1 -> du +au OR av -> aw +gj OR gu -> gv +eu OR fa -> fb +lg OR lm -> ln +e OR f -> g +NOT dm -> dn +NOT l -> m +aq OR ar -> as +gj RSHIFT 5 -> gm +hm AND ho -> hp +ge LSHIFT 15 -> gi +jp RSHIFT 1 -> ki +hg OR hh -> hi +lc LSHIFT 1 -> lw +km OR kn -> ko +eq LSHIFT 1 -> fk +1 AND am -> an +gj RSHIFT 1 -> hc +aj AND al -> am +gj AND gu -> gw +ko AND kq -> kr +ha OR gz -> hb +bn OR by -> bz +iv OR jb -> jc +NOT ac -> ad +bo OR bu -> bv +d AND j -> l +bk LSHIFT 1 -> ce +de OR dk -> dl +dd RSHIFT 1 -> dw +hz AND ik -> im +NOT jd -> je +fo RSHIFT 2 -> fp +hb LSHIFT 1 -> hv +lf RSHIFT 2 -> lg +gj RSHIFT 3 -> gl +ki OR kj -> kk +NOT ak -> al +ld OR le -> lf +ci RSHIFT 3 -> ck +1 AND cc -> cd +NOT kx -> ky +fp OR fv -> fw +ev AND ew -> ey +dt LSHIFT 15 -> dx +NOT ax -> ay +bp AND bq -> bs +NOT ii -> ij +ci AND ct -> cv +iq OR ip -> ir +x RSHIFT 2 -> y +fq OR fr -> fs +bn RSHIFT 5 -> bq +0 -> c +14146 -> b +d OR j -> k +z OR aa -> ab +gf OR ge -> gg +df OR dg -> dh +NOT hj -> hk +NOT di -> dj +fj LSHIFT 15 -> fn +lf RSHIFT 1 -> ly +b AND n -> p +jq OR jw -> jx +gn AND gp -> gq +x RSHIFT 1 -> aq +ex AND ez -> fa +NOT fc -> fd +bj OR bi -> bk +as RSHIFT 5 -> av +hu LSHIFT 15 -> hy +NOT gs -> gt +fs AND fu -> fv +dh AND dj -> dk +bz AND cb -> cc +dy RSHIFT 1 -> er +hc OR hd -> he +fo OR fz -> ga +t OR s -> u +b RSHIFT 2 -> d +NOT jy -> jz +hz RSHIFT 2 -> ia +kk AND kv -> kx +ga AND gc -> gd +fl LSHIFT 1 -> gf +bn AND by -> ca +NOT hr -> hs +NOT bs -> bt +lf RSHIFT 3 -> lh +au AND av -> ax +1 AND gd -> ge +jr OR js -> jt +fw AND fy -> fz +NOT iz -> ja +c LSHIFT 1 -> t +dy RSHIFT 5 -> eb +bp OR bq -> br +NOT h -> i +1 AND ds -> dt +ab AND ad -> ae +ap LSHIFT 1 -> bj +br AND bt -> bu +NOT ca -> cb +NOT el -> em +s LSHIFT 15 -> w +gk OR gq -> gr +ff AND fh -> fi +kf LSHIFT 15 -> kj +fp AND fv -> fx +lh OR li -> lj +bn RSHIFT 3 -> bp +jp OR ka -> kb +lw OR lv -> lx +iy AND ja -> jb +dy OR ej -> ek +1 AND bh -> bi +NOT kt -> ku +ao OR an -> ap +ia AND ig -> ii +NOT ey -> ez +bn RSHIFT 1 -> cg +fk OR fj -> fl +ce OR cd -> cf +eu AND fa -> fc +kg OR kf -> kh +jr AND js -> ju +iu RSHIFT 3 -> iw +df AND dg -> di +dl AND dn -> do +la LSHIFT 15 -> le +fo RSHIFT 1 -> gh +NOT gw -> gx +NOT gb -> gc +ir LSHIFT 1 -> jl +x AND ai -> ak +he RSHIFT 5 -> hh +1 AND lu -> lv +NOT ft -> fu +gh OR gi -> gj +lf RSHIFT 5 -> li +x RSHIFT 3 -> z +b RSHIFT 3 -> e +he RSHIFT 2 -> hf +NOT fx -> fy +jt AND jv -> jw +hx OR hy -> hz +jp AND ka -> kc +fb AND fd -> fe +hz OR ik -> il +ci RSHIFT 1 -> db +fo AND fz -> gb +fq AND fr -> ft +gj RSHIFT 2 -> gk +cg OR ch -> ci +cd LSHIFT 15 -> ch +jm LSHIFT 1 -> kg +ih AND ij -> ik +fo RSHIFT 3 -> fq +fo RSHIFT 5 -> fr +1 AND fi -> fj +1 AND kz -> la +iu AND jf -> jh +cq AND cs -> ct +dv LSHIFT 1 -> ep +hf OR hl -> hm +km AND kn -> kp +de AND dk -> dm +dd RSHIFT 5 -> dg +NOT lo -> lp +NOT ju -> jv +NOT fg -> fh +cm AND co -> cp +ea AND eb -> ed +dd RSHIFT 3 -> df +gr AND gt -> gu +ep OR eo -> eq +cj AND cp -> cr +lf OR lq -> lr +gg LSHIFT 1 -> ha +et RSHIFT 2 -> eu +NOT jh -> ji +ek AND em -> en +jk LSHIFT 15 -> jo +ia OR ig -> ih +gv AND gx -> gy +et AND fe -> fg +lh AND li -> lk +1 AND io -> ip +kb AND kd -> ke +kk RSHIFT 5 -> kn +id AND if -> ig +NOT ls -> lt +dw OR dx -> dy +dd AND do -> dq +lf AND lq -> ls +NOT kc -> kd +dy AND ej -> el +1 AND ke -> kf +et OR fe -> ff +hz RSHIFT 5 -> ic +dd OR do -> dp +cj OR cp -> cq +NOT dq -> dr +kk RSHIFT 1 -> ld +jg AND ji -> jj +he OR hp -> hq +hi AND hk -> hl +dp AND dr -> ds +dz AND ef -> eh +hz RSHIFT 3 -> ib +db OR dc -> dd +hw LSHIFT 1 -> iq +he AND hp -> hr +NOT cr -> cs +lg AND lm -> lo +hv OR hu -> hw +il AND in -> io +NOT eh -> ei +gz LSHIFT 15 -> hd +gk AND gq -> gs +1 AND en -> eo +NOT kp -> kq +et RSHIFT 5 -> ew +lj AND ll -> lm +he RSHIFT 3 -> hg +et RSHIFT 3 -> ev +as AND bd -> bf +cu AND cw -> cx +jx AND jz -> ka +b OR n -> o +be AND bg -> bh +1 AND ht -> hu +1 AND gy -> gz +NOT hn -> ho +ck OR cl -> cm +ec AND ee -> ef +lv LSHIFT 15 -> lz +ks AND ku -> kv +NOT ie -> if +hf AND hl -> hn +1 AND r -> s +ib AND ic -> ie +hq AND hs -> ht +y AND ae -> ag +NOT ed -> ee +bi LSHIFT 15 -> bm +dy RSHIFT 2 -> dz +ci RSHIFT 2 -> cj +NOT bf -> bg +NOT im -> in +ev OR ew -> ex +ib OR ic -> id +bn RSHIFT 2 -> bo +dd RSHIFT 2 -> de +bl OR bm -> bn +as RSHIFT 1 -> bl +ea OR eb -> ec +ln AND lp -> lq +kk RSHIFT 3 -> km +is OR it -> iu +iu RSHIFT 2 -> iv +as OR bd -> be +ip LSHIFT 15 -> it +iw OR ix -> iy +kk RSHIFT 2 -> kl +NOT bb -> bc +ci RSHIFT 5 -> cl +ly OR lz -> ma +z AND aa -> ac +iu RSHIFT 1 -> jn +cy LSHIFT 15 -> dc +cf LSHIFT 1 -> cz +as RSHIFT 3 -> au +cz OR cy -> da +kw AND ky -> kz +lx -> a +iw AND ix -> iz +lr AND lt -> lu +jp RSHIFT 5 -> js +aw AND ay -> az +jc AND je -> jf +lb OR la -> lc +NOT cn -> co +kh LSHIFT 1 -> lb +1 AND jj -> jk +y OR ae -> af +ck AND cl -> cn +kk OR kv -> kw +NOT cv -> cw +kl AND kr -> kt +iu OR jf -> jg +at AND az -> bb +jp RSHIFT 2 -> jq +iv AND jb -> jd +jn OR jo -> jp +x OR ai -> aj +ba AND bc -> bd +jl OR jk -> jm +b RSHIFT 1 -> v +o AND q -> r +NOT p -> q +k AND m -> n +as RSHIFT 2 -> at diff --git a/2015/day-07/inputs/test.txt b/2015/day-07/inputs/test.txt new file mode 100644 index 0000000..7c0c816 --- /dev/null +++ b/2015/day-07/inputs/test.txt @@ -0,0 +1,8 @@ +x OR y -> e +123 -> x +x LSHIFT 2 -> f +x AND y -> d +y RSHIFT 2 -> g +NOT x -> h +456 -> y +NOT y -> i diff --git a/2015/day-07/src/circuit.rs b/2015/day-07/src/circuit.rs new file mode 100644 index 0000000..835bfd2 --- /dev/null +++ b/2015/day-07/src/circuit.rs @@ -0,0 +1,213 @@ +use std::collections::HashMap; + +type Value = u16; +type Ident = String; + +#[derive(Debug)] +enum Error { + VariableNotFound, + InvalidStack, +} + +type Result = std::result::Result; + +#[derive(Debug, Clone)] +enum Token { + Value(Value), + Ident(Ident), + Op(Op), +} + +#[derive(Debug, Clone)] +enum Op { + Assign, + And, + Or, + Lshift, + Rshift, + Not, +} + +use std::collections::VecDeque; + +#[derive(Default, Debug)] +pub struct Circuit { + variables: HashMap, + stack: Vec, + instructions: VecDeque>, + overrides: HashMap, + instruction_len: usize, +} + +impl Circuit { + pub fn add_instruction(&mut self, instruction: &str) { + let tokens = tokenize(instruction); + self.instructions.push_front(tokens); + } + + pub fn execute(&mut self) { + while let Some(tokens) = self.instructions.pop_front() { + self.execute_one(tokens); + } + } + + fn execute_one(&mut self, tokens: Vec) { + use self::Token::*; + use self::Op::*; + + self.instruction_len = tokens.len(); + + for token in tokens.clone() { + let result = match token { + Ident(_) | Value(_) => { + self.stack.push(token.clone()); + continue; + }, + Op(Assign) => self.op_assign(), + Op(Not) => self.op_not(), + Op(And) => self.binop(|a, b| a & b), + Op(Or) => self.binop(|a, b| a | b), + Op(Lshift) => self.binop(|a, b| a.overflowing_shl(b.into()).0), + Op(Rshift) => self.binop(|a, b| a.overflowing_shr(b.into()).0), + }; + + match result { + Err(Error::VariableNotFound) => { + self.instructions.push_back(tokens); + return; + }, + Err(e) => panic!("{:?}", e), + _ => () + } + } + } + + pub fn variable_override(&mut self, name: N, value: Value) + where N: Into + { + self.overrides.insert(name.into(), value); + } + + #[allow(dead_code)] + pub fn variables(&self) -> &HashMap { + &self.variables + } + + pub fn variable(&self, name: N) -> Option<&Value> + where N: AsRef + { + self.variables.get(name.as_ref()) + } + + fn op_assign(&mut self) -> Result<()> { + use self::Token::*; + + assert!(self.stack.len() == 2); + let lhs = self.stack.pop().unwrap(); + let rhs = self.stack.pop().unwrap(); + + if let Ident(id) = lhs { + let replace = if self.instruction_len == 3 { self.overrides.get(&id) } else { None }; + match (rhs, replace) { + (Value(_), Some(val)) => { self.variables.insert(id, *val); }, + (Value(val), None) => { self.variables.insert(id, val); }, + (Ident(id2), _) => { + let tmp = *self.variables.get(&id2) + .ok_or_else(|| Error::VariableNotFound)?; + self.variables.insert(id, tmp); + }, + _ => return Err(Error::InvalidStack) + } + } + + Ok(()) + } + + fn op_not(&mut self) -> Result<()> { + use self::Token::*; + + assert!(self.stack.len() == 1); + let token = self.stack.pop().unwrap(); + + match token { + Value(val) => { + self.stack.push(Value(!val)); + }, + Ident(id) => { + let val = self.variables.get(&id) + .ok_or_else(|| Error::VariableNotFound)?; + self.stack.push(Value(!val)); + }, + _ => return Err(Error::InvalidStack) + } + + Ok(()) + } + + fn binop(&mut self, fun: F) -> Result<()> + where F: Fn(Value, Value) -> Value + { + use self::Token::*; + + assert!(self.stack.len() == 2); + let rhs = self.stack.pop().unwrap(); + let lhs = self.stack.pop().unwrap(); + + match (lhs, rhs) { + (Ident(id1), Value(val)) => { + let a = *self.variables.get(&id1) + .ok_or_else(|| Error::VariableNotFound)?; + self.stack.push(Value(fun(a, val))); + }, + (Ident(id1), Ident(id2)) => { + let a = *self.variables.get(&id1) + .ok_or_else(|| Error::VariableNotFound)?; + let b = *self.variables.get(&id2) + .ok_or_else(|| Error::VariableNotFound)?; + self.stack.push(Value(fun(a, b))); + }, + (Value(val), Ident(id2)) => { + let b = *self.variables.get(&id2) + .ok_or_else(|| Error::VariableNotFound)?; + self.stack.push(Value(fun(val, b))); + }, + _ => return Err(Error::InvalidStack) + } + + Ok(()) + } +} + +fn tokenize(input: &str) -> Vec { + let mut tokens = Vec::new(); + let mut operator = None; + + for word in input.split(' ') { + let token = match word { + "->" => Token::Op(Op::Assign), + "AND" => Token::Op(Op::And), + "OR" => Token::Op(Op::Or), + "LSHIFT" => Token::Op(Op::Lshift), + "RSHIFT" => Token::Op(Op::Rshift), + "NOT" => Token::Op(Op::Not), + otherwise => match otherwise.parse::() { + Ok(val) => Token::Value(val), + Err(_) => Token::Ident(word.to_string()), + } + }; + + match token { + Token::Op(_) => { + operator = Some(token); + }, + _ => { + tokens.push(token); + if let Some(op) = operator.take() { + tokens.push(op); + } + } + } + } + + tokens +} diff --git a/2015/day-07/src/main.rs b/2015/day-07/src/main.rs new file mode 100644 index 0000000..479973b --- /dev/null +++ b/2015/day-07/src/main.rs @@ -0,0 +1,54 @@ +mod circuit; + +use std::{ + io::{self, BufRead}, + fs::File, +}; +use circuit::Circuit; + +const FILE_PATHS: &[&str] = &[ + "inputs/test.txt", + "inputs/puzzle.txt", +]; + +fn solve_part_1(file_path: &str) -> io::Result{ + let mut circuit = Circuit::default(); + + let file = io::BufReader::new(File::open(file_path)?); + for line in file.lines() { + circuit.add_instruction(&line?); + } + circuit.execute(); + let a = circuit.variable("a").copied().unwrap_or_default(); + println!("\ta: {:?}", a); + + Ok(a) +} + +fn solve_part_2(file_path: &str, a: u16) -> io::Result<()> { + let mut circuit = Circuit::default(); + + let file = io::BufReader::new(File::open(file_path)?); + for line in file.lines() { + circuit.add_instruction(&line?); + } + circuit.variable_override("b", a); + circuit.execute(); + + if let Some(a) = circuit.variable("a") { + println!("\ta: {:?}", a); + } + + Ok(()) +} + +fn main() -> io::Result<()> { + for file_path in FILE_PATHS { + println!("File: {}", file_path); + + let a = solve_part_1(file_path)?; + solve_part_2(file_path, a)?; + } + + Ok(()) +}