alg/monoid/add_pair.hpp

• View this file on GitHub
• Last update: 2022-12-01 09:04:06+09:00
• Include: #include "alg/monoid/add_pair.hpp"

Required by

• alg/acted_monoid/cntsum_add.hpp
• alg/acted_monoid/cntsum_affine.hpp
• convex/slope_trick/slope_super.hpp

Verified with

• test/1_mytest/cf702_F.test.cpp
• test/1_mytest/cf702_F_splay.test.cpp
• test/1_mytest/mo_on_tree.test.cpp
• test/1_mytest/slope_super.test.cpp
• test/2_library_checker/data_structure/dynamic_point_rectangle_affine_rectangle_sum.test.cpp
• test/3_yukicoder/1919.test.cpp
• test/3_yukicoder/1919_2.test.cpp
• test/3_yukicoder/235.test.cpp
• test/3_yukicoder/255.test.cpp
• test/3_yukicoder/2627.test.cpp
• test/3_yukicoder/749.test.cpp

Code

#pragma once

template <typename E>
struct Monoid_Add_Pair {
  using value_type = pair<E, E>;
  using X = value_type;
  static constexpr X op(const X &x, const X &y) {
    return {x.fi + y.fi, x.se + y.se};
  }
  static constexpr X inverse(const X &x) { return {-x.fi, -x.se}; }
  static constexpr X unit() { return {0, 0}; }
  static constexpr bool commute = true;
};

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

template <typename E>
struct Monoid_Add_Pair {
  using value_type = pair<E, E>;
  using X = value_type;
  static constexpr X op(const X &x, const X &y) {
    return {x.fi + y.fi, x.se + y.se};
  }
  static constexpr X inverse(const X &x) { return {-x.fi, -x.se}; }
  static constexpr X unit() { return {0, 0}; }
  static constexpr bool commute = true;
};

Back to top page