Add solution for 2015 day 07
This commit is contained in:
parent
711dd0e5aa
commit
eb95fec5d6
1
2015/day-07/.gitignore
vendored
Normal file
1
2015/day-07/.gitignore
vendored
Normal file
@ -0,0 +1 @@
|
||||
main
|
||||
339
2015/day-07/inputs/puzzle.txt
Normal file
339
2015/day-07/inputs/puzzle.txt
Normal file
@ -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
|
||||
8
2015/day-07/inputs/test.txt
Normal file
8
2015/day-07/inputs/test.txt
Normal file
@ -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
|
||||
213
2015/day-07/src/circuit.rs
Normal file
213
2015/day-07/src/circuit.rs
Normal file
@ -0,0 +1,213 @@
|
||||
use std::collections::HashMap;
|
||||
|
||||
type Value = u16;
|
||||
type Ident = String;
|
||||
|
||||
#[derive(Debug)]
|
||||
enum Error {
|
||||
VariableNotFound,
|
||||
InvalidStack,
|
||||
}
|
||||
|
||||
type Result<T, E = Error> = std::result::Result<T, E>;
|
||||
|
||||
#[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<Ident, Value>,
|
||||
stack: Vec<Token>,
|
||||
instructions: VecDeque<Vec<Token>>,
|
||||
overrides: HashMap<Ident, Value>,
|
||||
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<Token>) {
|
||||
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<N>(&mut self, name: N, value: Value)
|
||||
where N: Into<Ident>
|
||||
{
|
||||
self.overrides.insert(name.into(), value);
|
||||
}
|
||||
|
||||
#[allow(dead_code)]
|
||||
pub fn variables(&self) -> &HashMap<Ident,Value> {
|
||||
&self.variables
|
||||
}
|
||||
|
||||
pub fn variable<N>(&self, name: N) -> Option<&Value>
|
||||
where N: AsRef<str>
|
||||
{
|
||||
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<F>(&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<Token> {
|
||||
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::<Value>() {
|
||||
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
|
||||
}
|
||||
54
2015/day-07/src/main.rs
Normal file
54
2015/day-07/src/main.rs
Normal file
@ -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<u16>{
|
||||
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(())
|
||||
}
|
||||
Loading…
Reference in New Issue
Block a user