day14: replace RE parser with nom consuming parser
Almost 100x speedup on parsing phase avoiding RE compile, saves ~60ms
This commit is contained in:
parent
33615b015f
commit
28a88e1aa7
164
src/day14.rs
164
src/day14.rs
@ -1,12 +1,26 @@
|
|||||||
use aoc_runner_derive::aoc;
|
use aoc_runner_derive::aoc;
|
||||||
use colored::Colorize;
|
use colored::Colorize;
|
||||||
use grid::{AsCoord2d, Coord2d, Grid};
|
use grid::{AsCoord2d, Grid};
|
||||||
use regex::Regex;
|
use misc::CustomWrapped;
|
||||||
use std::str::FromStr;
|
use nom::{
|
||||||
|
bytes::complete::tag,
|
||||||
|
character::complete::digit1,
|
||||||
|
combinator::{map_res, opt, recognize},
|
||||||
|
sequence::{preceded, separated_pair},
|
||||||
|
IResult,
|
||||||
|
};
|
||||||
|
use std::{fmt::Display, str::FromStr};
|
||||||
|
|
||||||
|
type Coord = (CustomWrapped<i64>, CustomWrapped<i64>);
|
||||||
struct Robot {
|
struct Robot {
|
||||||
pos: Coord2d,
|
pos: Coord,
|
||||||
vel: Coord2d,
|
vel: (i64, i64),
|
||||||
|
}
|
||||||
|
|
||||||
|
struct Robots {
|
||||||
|
robots: Vec<Robot>,
|
||||||
|
width: i64,
|
||||||
|
height: i64,
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug, Eq, PartialEq)]
|
#[derive(Debug, Eq, PartialEq)]
|
||||||
@ -17,52 +31,37 @@ enum Quadrant {
|
|||||||
SE = 3,
|
SE = 3,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl FromStr for Robot {
|
fn nom_i64(input: &str) -> IResult<&str, i64> {
|
||||||
type Err = Box<dyn std::error::Error>;
|
let (i, number) = map_res(recognize(preceded(opt(tag("-")), digit1)), |s| i64::from_str(s))(input)?;
|
||||||
fn from_str(s: &str) -> Result<Self, Self::Err> {
|
Ok((i, number))
|
||||||
let re = Regex::new(r"p=(\d+),(\d+) v=([+-]?\d+),([+-]?\d+)").unwrap();
|
|
||||||
match re.captures(s) {
|
|
||||||
Some(c) => Ok(Self {
|
|
||||||
pos: (
|
|
||||||
c.get(1).unwrap().as_str().parse::<i64>().unwrap(),
|
|
||||||
c.get(2).unwrap().as_str().parse().unwrap(),
|
|
||||||
)
|
|
||||||
.to_coord(),
|
|
||||||
vel: (
|
|
||||||
c.get(3).unwrap().as_str().parse::<i64>().unwrap(),
|
|
||||||
c.get(4).unwrap().as_str().parse().unwrap(),
|
|
||||||
)
|
|
||||||
.to_coord(),
|
|
||||||
}),
|
|
||||||
None => panic!(),
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
fn nom_i64_pair(input: &str) -> IResult<&str, (i64, i64)> {
|
||||||
|
let (i, pair) = separated_pair(nom_i64, tag(","), nom_i64)(input)?;
|
||||||
|
Ok((i, pair))
|
||||||
}
|
}
|
||||||
|
|
||||||
impl Robot {
|
impl Robot {
|
||||||
fn step(&mut self, bounds: (i64, i64)) {
|
fn from_str(s: &str, bounds: (i64, i64)) -> Self {
|
||||||
let mut candidate_new_pos = ((self.pos.x() + self.vel.x()), (self.pos.y() + self.vel.y()));
|
let (s, pos) = preceded(tag("p="), nom_i64_pair)(s).unwrap();
|
||||||
if candidate_new_pos.0 < 0 {
|
let (_, vel) = preceded(tag(" v="), nom_i64_pair)(s).unwrap();
|
||||||
// if pos goes negative, add the upper bound
|
Self {
|
||||||
candidate_new_pos.0 += bounds.0;
|
pos: (CustomWrapped::new(pos.0, bounds.0), CustomWrapped::new(pos.1, bounds.1)),
|
||||||
|
vel,
|
||||||
}
|
}
|
||||||
if candidate_new_pos.1 < 0 {
|
|
||||||
candidate_new_pos.1 += bounds.1;
|
|
||||||
}
|
}
|
||||||
candidate_new_pos.0 %= bounds.0;
|
fn step(&mut self, count: i64) {
|
||||||
candidate_new_pos.1 %= bounds.1;
|
self.pos.0 += self.vel.x() * count;
|
||||||
|
self.pos.1 += self.vel.y() * count;
|
||||||
self.pos = candidate_new_pos.to_coord();
|
|
||||||
}
|
}
|
||||||
fn quad(&self, bounds: (i64, i64)) -> Option<Quadrant> {
|
fn quad(&self, bounds: (i64, i64)) -> Option<Quadrant> {
|
||||||
let splits = (bounds.0 / 2, bounds.1 / 2);
|
let splits = (bounds.0 / 2, bounds.1 / 2);
|
||||||
if self.pos.x() < splits.0 && self.pos.y() < splits.1 {
|
if self.pos.0 < splits.0 && self.pos.1 < splits.1 {
|
||||||
Some(Quadrant::NW)
|
Some(Quadrant::NW)
|
||||||
} else if self.pos.x() > splits.0 && self.pos.y() < splits.1 {
|
} else if self.pos.0 > splits.0 && self.pos.1 < splits.1 {
|
||||||
Some(Quadrant::NE)
|
Some(Quadrant::NE)
|
||||||
} else if self.pos.x() < splits.0 && self.pos.y() > splits.1 {
|
} else if self.pos.0 < splits.0 && self.pos.1 > splits.1 {
|
||||||
Some(Quadrant::SW)
|
Some(Quadrant::SW)
|
||||||
} else if self.pos.x() > splits.0 && self.pos.y() > splits.1 {
|
} else if self.pos.0 > splits.0 && self.pos.1 > splits.1 {
|
||||||
Some(Quadrant::SE)
|
Some(Quadrant::SE)
|
||||||
} else {
|
} else {
|
||||||
None
|
None
|
||||||
@ -70,49 +69,58 @@ impl Robot {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[allow(dead_code)]
|
impl Robots {
|
||||||
fn display(robots: &Vec<Robot>, bounds: (i64, i64)) {
|
fn from_vec(robots: Vec<Robot>, width: i64, height: i64) -> Self {
|
||||||
let grid = as_grid(robots, bounds);
|
Self { robots, width, height }
|
||||||
for row in 0..grid.height() {
|
|
||||||
for col in 0..grid.width() {
|
|
||||||
print!(
|
|
||||||
"{}",
|
|
||||||
if *grid.get(&(col, row)).unwrap() != 0 {
|
|
||||||
"█".green()
|
|
||||||
} else {
|
|
||||||
" ".color(colored::Color::Black)
|
|
||||||
}
|
}
|
||||||
);
|
fn as_grid(&self) -> Grid<usize> {
|
||||||
}
|
let mut grid = Grid::with_shape(self.width as usize, self.height as usize, 0usize);
|
||||||
println!();
|
for r in &self.robots {
|
||||||
}
|
grid.increment(&(r.pos.0.val, r.pos.1.val), 1usize);
|
||||||
}
|
|
||||||
|
|
||||||
fn as_grid(robots: &Vec<Robot>, bounds: (i64, i64)) -> Grid<usize> {
|
|
||||||
let mut grid = Grid::with_shape(bounds.0 as usize, bounds.1 as usize, 0);
|
|
||||||
for r in robots {
|
|
||||||
grid.increment(&r.pos, 1usize);
|
|
||||||
}
|
}
|
||||||
grid
|
grid
|
||||||
}
|
}
|
||||||
|
fn count_quads(&self) -> [u64; 4] {
|
||||||
fn parse(input: &str) -> Vec<Robot> {
|
|
||||||
input.lines().map(|l| l.parse().unwrap()).collect()
|
|
||||||
}
|
|
||||||
|
|
||||||
fn part1_impl(input: &str, width: i64, height: i64) -> u64 {
|
|
||||||
let mut robots = parse(input);
|
|
||||||
for _ in 0..100 {
|
|
||||||
for r in &mut robots {
|
|
||||||
r.step((width, height))
|
|
||||||
}
|
|
||||||
}
|
|
||||||
let mut counts = [0; 4];
|
let mut counts = [0; 4];
|
||||||
for r in robots {
|
for r in &self.robots {
|
||||||
if let Some(q) = r.quad((width, height)) {
|
if let Some(q) = r.quad((self.width, self.height)) {
|
||||||
counts[q as usize] += 1
|
counts[q as usize] += 1
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
counts
|
||||||
|
}
|
||||||
|
fn step(&mut self, count: i64) {
|
||||||
|
for robot in &mut self.robots {
|
||||||
|
robot.step(count)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Display for Robots {
|
||||||
|
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
|
||||||
|
let grid = self.as_grid();
|
||||||
|
for row in 0..grid.height() {
|
||||||
|
for col in 0..grid.width() {
|
||||||
|
if *grid.get(&(col, row)).unwrap() != 0 {
|
||||||
|
"█".green().fmt(f)?;
|
||||||
|
} else {
|
||||||
|
" ".color(colored::Color::Black).fmt(f)?;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
writeln!(f)?
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn parse(input: &str, width: i64, height: i64) -> Vec<Robot> {
|
||||||
|
input.lines().map(|l| Robot::from_str(l, (width, height))).collect()
|
||||||
|
}
|
||||||
|
|
||||||
|
fn part1_impl(input: &str, width: i64, height: i64) -> u64 {
|
||||||
|
let mut robots = Robots::from_vec(parse(input, width, height), width, height);
|
||||||
|
robots.step(100);
|
||||||
|
let counts = robots.count_quads();
|
||||||
counts.iter().product()
|
counts.iter().product()
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -125,13 +133,11 @@ pub fn part1(input: &str) -> u64 {
|
|||||||
pub fn part2(input: &str) -> u64 {
|
pub fn part2(input: &str) -> u64 {
|
||||||
let width = 101;
|
let width = 101;
|
||||||
let height = 103;
|
let height = 103;
|
||||||
let mut robots = parse(input);
|
let mut robots = Robots::from_vec(parse(input, width, height), width, height);
|
||||||
for i in 1.. {
|
for i in 1.. {
|
||||||
for r in &mut robots {
|
robots.step(1);
|
||||||
r.step((width, height))
|
|
||||||
}
|
|
||||||
// collect into lines
|
// collect into lines
|
||||||
let g = as_grid(&robots, (width, height));
|
let g = robots.as_grid();
|
||||||
if g.data
|
if g.data
|
||||||
.chunk_by(|a, b| *a != 0 && *b != 0)
|
.chunk_by(|a, b| *a != 0 && *b != 0)
|
||||||
.filter(|c| !c.is_empty() && c[0] != 0)
|
.filter(|c| !c.is_empty() && c[0] != 0)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user