alg/monoid/summax.hpp

• View this file on GitHub
• Last update: 2023-02-01 23:31:55+09:00
• Include: #include "alg/monoid/summax.hpp"

Required by

• alg/acted_monoid/summax_add.hpp
• alg/acted_monoid/summax_assign.hpp

Verified with

• test/1_mytest/dynamic_lazy_segtree.test.cpp
• test/1_mytest/dynamic_lazy_segtree_persistent.test.cpp
• test/1_mytest/kdtree_am.test.cpp
• test/1_mytest/kdtree_monoid.test.cpp
• test/1_mytest/summax_add.test.cpp
• test/1_mytest/summax_assign.test.cpp

Code

#pragma once

template <typename E>
struct Monoid_SumMax {
  using value_type = pair<E, E>;
  using X = value_type;
  static X op(X x, X y) { return {x.fi + y.fi, max(x.se, y.se)}; }
  static X from_element(E e) { return {e, e}; }
  static constexpr X unit() { return {E(0), -infty<E>}; }
  static constexpr bool commute = 1;
};

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

template <typename E>
struct Monoid_SumMax {
  using value_type = pair<E, E>;
  using X = value_type;
  static X op(X x, X y) { return {x.fi + y.fi, max(x.se, y.se)}; }
  static X from_element(E e) { return {e, e}; }
  static constexpr X unit() { return {E(0), -infty<E>}; }
  static constexpr bool commute = 1;
};

Back to top page