This documentation is automatically generated by online-judge-tools/verification-helper
View the Project on GitHub maspypy/library
#include "alg/acted_monoid/summin_assign.hpp"
#include "alg/monoid/summin.hpp" #include "alg/monoid/assign.hpp" template <typename E, ll none_val> struct ActedMonoid_SumMin_Assign { using Monoid_X = Monoid_SumMin<E>; using Monoid_A = Monoid_Assign<ll, none_val>; using X = typename Monoid_X::value_type; using A = typename Monoid_A::value_type; static constexpr X act(const X& x, const A& a, const ll& size) { if (a == Monoid_A::unit()) return x; return {E(size) * a, a}; } };
#line 2 "alg/monoid/summin.hpp" template <typename E> struct Monoid_SumMin { using value_type = pair<E, E>; using X = value_type; static X op(X x, X y) { return {x.fi + y.fi, min(x.se, y.se)}; } static X from_element(E x) { return {x, x}; } static constexpr X unit() { return {E(0), infty<E>}; } static constexpr bool commute = true; }; #line 2 "alg/monoid/assign.hpp" template <typename X, int none_val> struct Monoid_Assign { using value_type = X; static X op(X x, X y) { return (y == X(none_val) ? x : y); } static constexpr X unit() { return X(none_val); } static constexpr bool commute = false; }; #line 3 "alg/acted_monoid/summin_assign.hpp" template <typename E, ll none_val> struct ActedMonoid_SumMin_Assign { using Monoid_X = Monoid_SumMin<E>; using Monoid_A = Monoid_Assign<ll, none_val>; using X = typename Monoid_X::value_type; using A = typename Monoid_A::value_type; static constexpr X act(const X& x, const A& a, const ll& size) { if (a == Monoid_A::unit()) return x; return {E(size) * a, a}; } };