alg/monoid/summin.hpp

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

Required by

• alg/acted_monoid/summin_add.hpp
• alg/acted_monoid/summin_assign.hpp

Verified with

• test/mytest/summin_add.test.cpp
• test/mytest/summin_assign.test.cpp

Code

#pragma once

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/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;
};

Back to top page