alg/monoid/add_array.hpp

• View this file on GitHub
• Last update: 2023-10-14 01:43:46+09:00
• Include: #include "alg/monoid/add_array.hpp"

Required by

• alg/acted_monoid/powersums_assign.hpp

Verified with

• test/yukicoder/1548.test.cpp

Code

#pragma once

template <typename E, int K>
struct Monoid_Add_Array {
  using value_type = array<E, K>;
  using X = value_type;
  static X op(X x, X y) {
    FOR(i, K) x[i] += y[i];
    return x;
  }
  static constexpr X unit() { return X{}; }
  static constexpr X inverse(X x) {
    for (auto& v: x) v = -v;
    return x;
  }
  static constexpr X power(X x, ll n) {
    for (auto& v: x) v *= E(n);
    return x;
  }
  static constexpr bool commute = 1;
};

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

template <typename E, int K>
struct Monoid_Add_Array {
  using value_type = array<E, K>;
  using X = value_type;
  static X op(X x, X y) {
    FOR(i, K) x[i] += y[i];
    return x;
  }
  static constexpr X unit() { return X{}; }
  static constexpr X inverse(X x) {
    for (auto& v: x) v = -v;
    return x;
  }
  static constexpr X power(X x, ll n) {
    for (auto& v: x) v *= E(n);
    return x;
  }
  static constexpr bool commute = 1;
};

Back to top page