alg/acted_monoid/min_max.hpp

• View this file on GitHub
• Last update: 2023-02-02 02:12:17+09:00
• Include: #include "alg/acted_monoid/min_max.hpp"

Depends on

• alg/monoid/max.hpp
• alg/monoid/min.hpp

Verified with

• test/mytest/min_max.test.cpp

Code

#include "alg/monoid/max.hpp"
#include "alg/monoid/min.hpp"

template <typename E>
struct ActedMonoid_Min_Max {
  using Monoid_X = Monoid_Min<E>;
  using Monoid_A = Monoid_Max<E>;
  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) {
    return max(x, a);
  }
};

#line 2 "alg/monoid/max.hpp"

template <typename E>
struct Monoid_Max {
  using X = E;
  using value_type = X;
  static constexpr X op(const X &x, const X &y) noexcept { return max(x, y); }
  static constexpr X unit() { return -infty<E>; }
  static constexpr bool commute = true;
};
#line 2 "alg/monoid/min.hpp"

template <typename E>
struct Monoid_Min {
  using X = E;
  using value_type = X;
  static constexpr X op(const X &x, const X &y) noexcept { return min(x, y); }
  static constexpr X unit() { return infty<E>; }
  static constexpr bool commute = true;
};
#line 3 "alg/acted_monoid/min_max.hpp"

template <typename E>
struct ActedMonoid_Min_Max {
  using Monoid_X = Monoid_Min<E>;
  using Monoid_A = Monoid_Max<E>;
  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) {
    return max(x, a);
  }
};

Back to top page