alg/monoid/max.hpp

View this file on GitHub
Last update: 2026-08-30 21:27:49+09:00
Include: #include "alg/monoid/max.hpp"

Required by

alg/acted_monoid/max_add.hpp
alg/acted_monoid/max_assign.hpp
alg/acted_monoid/max_max.hpp
alg/acted_monoid/max_min.hpp
alg/acted_monoid/min_max.hpp
graph/minimum_spanning_tree.hpp

Verified with

test/1_mytest/max_assign.test.cpp
test/1_mytest/max_max.test.cpp
test/1_mytest/max_min.test.cpp
test/1_mytest/min_max.test.cpp
test/1_mytest/range_add_range_max.test.cpp
test/2_library_checker/tree/mst.test.cpp
test/3_yukicoder/1117.test.cpp
test/3_yukicoder/1625.test.cpp
test/3_yukicoder/1625_2.test.cpp
test/3_yukicoder/1790.test.cpp
test/3_yukicoder/1826.test.cpp
test/3_yukicoder/1826_2.test.cpp
test/3_yukicoder/2026.test.cpp
test/3_yukicoder/2242.test.cpp
test/3_yukicoder/2295.test.cpp
test/3_yukicoder/2859.test.cpp
test/3_yukicoder/686.test.cpp
test/4_aoj/GRL_2_A.test.cpp

Code

// require: all values x satisfy x >= -infty<E>
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 id() { return -infty<E>; }
  static constexpr bool commute = true;
};

#line 1 "alg/monoid/max.hpp"
// require: all values x satisfy x >= -infty<E>
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 id() { return -infty<E>; }
  static constexpr bool commute = true;
};