This documentation is automatically generated by online-judge-tools/verification-helper
#include "math/fft/superset-zeta-moebius-transform.hpp"
/**
* @brief Superset Zeta/Moebius Transform (上位集合のゼータ/メビウス変換)
*/
template <typename T>
void superset_zeta_transform(vector<T> &f) {
const int n = (int)f.size();
assert((n & (n - 1)) == 0);
for (int i = 1; i < n; i <<= 1) {
for (int j = 0; j < n; j += i << 1) {
for (int k = 0; k < i; k++) {
f[j + k] += f[j + k + i];
}
}
}
}
template <typename T>
void superset_moebius_transform(vector<T> &f) {
const int n = (int)f.size();
assert((n & (n - 1)) == 0);
for (int i = 1; i < n; i <<= 1) {
for (int j = 0; j < n; j += i << 1) {
for (int k = 0; k < i; k++) {
f[j + k] -= f[j + k + i];
}
}
}
}
#line 1 "math/fft/superset-zeta-moebius-transform.hpp"
/**
* @brief Superset Zeta/Moebius Transform (上位集合のゼータ/メビウス変換)
*/
template <typename T>
void superset_zeta_transform(vector<T> &f) {
const int n = (int)f.size();
assert((n & (n - 1)) == 0);
for (int i = 1; i < n; i <<= 1) {
for (int j = 0; j < n; j += i << 1) {
for (int k = 0; k < i; k++) {
f[j + k] += f[j + k + i];
}
}
}
}
template <typename T>
void superset_moebius_transform(vector<T> &f) {
const int n = (int)f.size();
assert((n & (n - 1)) == 0);
for (int i = 1; i < n; i <<= 1) {
for (int j = 0; j < n; j += i << 1) {
for (int k = 0; k < i; k++) {
f[j + k] -= f[j + k + i];
}
}
}
}