2023-04-04 20:58:59 -07:00
|
|
|
#include <cstdint>
|
|
|
|
#include <iostream>
|
|
|
|
#include <sstream>
|
|
|
|
#include <string>
|
|
|
|
#include <unordered_map>
|
|
|
|
#include <variant>
|
|
|
|
#include <vector>
|
|
|
|
|
|
|
|
#include <boost/phoenix.hpp>
|
|
|
|
#include <boost/spirit/include/qi.hpp>
|
|
|
|
|
|
|
|
#include <doctest.h>
|
|
|
|
|
|
|
|
#include <aocpp/Overloaded.hpp>
|
|
|
|
#include <aocpp/Startup.hpp>
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
namespace phx = boost::phoenix;
|
|
|
|
namespace qi = boost::spirit::qi;
|
|
|
|
|
|
|
|
enum class Op { Add, Sub, Mul, Div };
|
|
|
|
|
|
|
|
struct Expr {
|
|
|
|
std::string lhs;
|
|
|
|
std::string rhs;
|
|
|
|
Op op;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct Entry {
|
|
|
|
std::string lvalue;
|
|
|
|
std::variant<std::int64_t, Expr> rvalue;
|
|
|
|
};
|
|
|
|
|
|
|
|
using Input = std::vector<Entry>;
|
|
|
|
|
|
|
|
// Input file grammar
|
|
|
|
template <typename It>
|
|
|
|
class Grammar : public qi::grammar<It, Input()> {
|
|
|
|
qi::rule<It, std::string()> variable;
|
|
|
|
qi::rule<It, Op()> op;
|
|
|
|
qi::rule<It, Expr()> expr;
|
|
|
|
qi::rule<It, std::variant<std::int64_t, Expr>()> rhs;
|
|
|
|
qi::rule<It, Entry()> line;
|
|
|
|
qi::rule<It, Input()> input;
|
|
|
|
|
|
|
|
public:
|
|
|
|
Grammar() : Grammar::base_type{input} {
|
|
|
|
using namespace qi::labels;
|
|
|
|
|
|
|
|
variable %= qi::as_string[+qi::alpha];
|
|
|
|
op = qi::string("+") [ _val = Op::Add ]
|
|
|
|
| qi::string("-") [ _val = Op::Sub ]
|
|
|
|
| qi::string("*") [ _val = Op::Mul ]
|
|
|
|
| qi::string("/") [ _val = Op::Div ];
|
|
|
|
expr = variable [phx::bind(&Expr::lhs, _val) = _1]
|
|
|
|
>> " "
|
|
|
|
>> op [phx::bind(&Expr::op, _val) = _1]
|
|
|
|
>> " "
|
|
|
|
>> variable [phx::bind(&Expr::rhs, _val) = _1];
|
|
|
|
rhs = expr [ _val = _1 ] | qi::long_long [ _val = _1 ];
|
|
|
|
line = variable [ phx::bind(&Entry::lvalue, _val) = _1]
|
|
|
|
>> ": "
|
|
|
|
>> rhs [ phx::bind(&Entry::rvalue, _val) = _1]
|
|
|
|
>> "\n";
|
|
|
|
input = *line;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
/// Parse the complete input stream according to the rules defined in 'Grammar'.
|
|
|
|
/// Throws: std::runtime_error on failed parse
|
|
|
|
auto Parse(std::istream & in) -> Input
|
|
|
|
{
|
|
|
|
auto result = Input{};
|
|
|
|
auto const content = std::string{std::istreambuf_iterator{in}, {}};
|
|
|
|
auto b = content.begin(); // updated on successful parse
|
|
|
|
auto const e = content.end();
|
|
|
|
|
|
|
|
if (!qi::parse(b, e, Grammar<decltype(b)>{}, result) || b != e) {
|
|
|
|
throw std::runtime_error{"Bad input file: " + content};
|
|
|
|
}
|
|
|
|
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto Eval(
|
2023-04-04 21:11:22 -07:00
|
|
|
std::unordered_map<std::string, double> & values,
|
2023-04-04 20:58:59 -07:00
|
|
|
std::unordered_map<std::string, Expr> const& exprs,
|
|
|
|
std::string const& var)
|
2023-04-04 21:11:22 -07:00
|
|
|
-> double
|
2023-04-04 20:58:59 -07:00
|
|
|
{
|
|
|
|
auto it = values.find(var);
|
|
|
|
if (it != values.end()) {
|
|
|
|
return it->second;
|
|
|
|
}
|
|
|
|
auto const& [lhs,rhs,op] = exprs.at(var);
|
|
|
|
auto const l = Eval(values, exprs, lhs);
|
|
|
|
auto const r = Eval(values, exprs, rhs);
|
2023-04-04 21:11:22 -07:00
|
|
|
double o;
|
2023-04-04 20:58:59 -07:00
|
|
|
switch (op) {
|
|
|
|
case Op::Add: o = l + r; break;
|
|
|
|
case Op::Sub: o = l - r; break;
|
|
|
|
case Op::Mul: o = l * r; break;
|
|
|
|
case Op::Div: o = l / r; break;
|
|
|
|
}
|
|
|
|
values.emplace(var, o);
|
|
|
|
return o;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto Part1(Input const& input) -> std::int64_t
|
|
|
|
{
|
2023-04-04 21:11:22 -07:00
|
|
|
std::unordered_map<std::string, double> values;
|
2023-04-04 20:58:59 -07:00
|
|
|
std::unordered_map<std::string, Expr> exprs;
|
|
|
|
for (auto const& entry : input) {
|
|
|
|
std::visit(overloaded {
|
|
|
|
[&](Expr const& expr) { exprs.emplace(entry.lvalue, expr); },
|
|
|
|
[&](std::int64_t val) { values.emplace(entry.lvalue, val); }
|
|
|
|
}, entry.rvalue);
|
|
|
|
}
|
|
|
|
return Eval(values, exprs, "root");
|
|
|
|
}
|
|
|
|
|
|
|
|
auto Part2(Input const& input) -> std::int64_t
|
|
|
|
{
|
2023-04-04 21:11:22 -07:00
|
|
|
std::unordered_map<std::string, double> values;
|
2023-04-04 20:58:59 -07:00
|
|
|
std::unordered_map<std::string, Expr> exprs;
|
|
|
|
for (auto const& entry : input) {
|
|
|
|
std::visit(overloaded {
|
|
|
|
[&](Expr const& expr) { exprs.emplace(entry.lvalue, expr); },
|
|
|
|
[&](std::int64_t val) { values.emplace(entry.lvalue, val); }
|
|
|
|
}, entry.rvalue);
|
|
|
|
}
|
|
|
|
|
|
|
|
exprs.at("root").op = Op::Sub;
|
|
|
|
|
2023-04-04 21:11:22 -07:00
|
|
|
auto eval = [&](double humn) -> double {
|
2023-04-04 20:58:59 -07:00
|
|
|
auto values_ = values;
|
|
|
|
values_.at("humn") = humn;
|
|
|
|
return Eval(values_, exprs, "root");
|
|
|
|
};
|
|
|
|
|
2023-04-04 21:11:22 -07:00
|
|
|
auto x0 = 10.0;
|
|
|
|
auto x1 = 20.0;
|
2023-04-04 20:58:59 -07:00
|
|
|
auto fx0 = eval(x0);
|
2023-04-04 21:11:22 -07:00
|
|
|
while (std::abs(x0 - x1) > 0.01) {
|
|
|
|
auto const fx1 = eval(x1);
|
|
|
|
auto const x2 = x1 - fx1 * (x1 - x0) / (fx1 - fx0);
|
2023-04-04 20:58:59 -07:00
|
|
|
x0 = x1;
|
|
|
|
x1 = x2;
|
2023-04-04 21:11:22 -07:00
|
|
|
fx0 = fx1;
|
2023-04-04 20:58:59 -07:00
|
|
|
}
|
|
|
|
|
2023-04-04 21:11:22 -07:00
|
|
|
return std::round(x1);
|
2023-04-04 20:58:59 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace
|
|
|
|
|
|
|
|
TEST_SUITE("2022-21 examples") {
|
|
|
|
TEST_CASE("documented example") {
|
|
|
|
auto in = std::istringstream{
|
|
|
|
"root: pppw + sjmn\n"
|
|
|
|
"dbpl: 5\n"
|
|
|
|
"cczh: sllz + lgvd\n"
|
|
|
|
"zczc: 2\n"
|
|
|
|
"ptdq: humn - dvpt\n"
|
|
|
|
"dvpt: 3\n"
|
|
|
|
"lfqf: 4\n"
|
|
|
|
"humn: 5\n"
|
|
|
|
"ljgn: 2\n"
|
|
|
|
"sjmn: drzm * dbpl\n"
|
|
|
|
"sllz: 4\n"
|
|
|
|
"pppw: cczh / lfqf\n"
|
|
|
|
"lgvd: ljgn * ptdq\n"
|
|
|
|
"drzm: hmdt - zczc\n"
|
|
|
|
"hmdt: 32\n"
|
|
|
|
};
|
|
|
|
auto const input = Parse(in);
|
|
|
|
CHECK(152 == Part1(input));
|
|
|
|
CHECK(301 == Part2(input));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
auto Main(std::istream & in, std::ostream & out) -> void
|
|
|
|
{
|
|
|
|
auto const input = Parse(in);
|
|
|
|
out << "Part 1: " << Part1(input) << std::endl;
|
|
|
|
out << "Part 2: " << Part2(input) << std::endl;
|
|
|
|
}
|