This documentation is automatically generated by online-judge-tools/verification-helper
View the Project on GitHub ei1333/library
#include "math/fft/subset-zeta-moebius-transform.hpp"
/** * @brief Subset Zeta/Moebius Transform (下位集合のゼータ/メビウス変換) */ template< typename T > void subset_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 + i] += f[j + k]; } } } } template< typename T > void subset_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 + i] -= f[j + k]; } } } }
#line 1 "math/fft/subset-zeta-moebius-transform.hpp" /** * @brief Subset Zeta/Moebius Transform (下位集合のゼータ/メビウス変換) */ template< typename T > void subset_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 + i] += f[j + k]; } } } } template< typename T > void subset_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 + i] -= f[j + k]; } } } }