TODO: バグっているし読みづらいので書き直す TODO: 問題例追加 Editorial - AtCoder Regular Contest 132
を集合、 を要素数 の全順序有限集合 、 を写像とします。
この が写像族 の合成 で表し、さらに各 が写像族 の直積(すなわち (for )が成り立つ)で表すことを目指しましょう。
例
Hadamard 変換
が線形空間(加群)とします。 が に依存せず行列 であるものが Hadamard 変換です。 このとき は (ただし は集合の対称差)で定まる行列 になります。
Hadamard 変換は xor-convolution (symmetric-difference convolution) に利用することができます。 をベクトルとし、 ベクトル を で定義します。 このとき が成り立ち、xor-convolution は Hadamard 変換により各点積に写ることがわかります。さらに において が可逆であれば 行列 は可逆です。
ゼータ変換・メビウス変換
が線形空間(加群)とします。 が に依存せず行列 であるものが、ゼータ変換です。 このとき は で定まる行列 になります。
ゼータ変換は and-convolution に利用することができます。 をベクトルとし、 ベクトル を で定義します。 このとき が成り立ち、and-convolution はゼータ変換により各点積に写ることがわかります。さらに行列 は可逆であり、 逆変換はメビウス変換です。
また の代わりに を用いたものは反転束におけるゼータ変換であり、or-convolution に対応します。
離散フーリエ変換
が の 乗根を持つ整域(可換環に拡張したい場合は『コンピュータ代数ハンドブック』参照です。)であるとします。 このとき、 の との全単射による定まる全順序でいい感じに対応付けていい感じに bit-reverse すると、 が行列 (ただし はいい感じ)みたいにいい感じに表せます。私は疲れました。
謎アダマール変換もどき
本題です。こちらのユーザー解説に「アダマール変換に用いられるアダマール行列 と同様の再帰構造を持ち」とありますが、それはなんでしょう。 見た目は行列ですが、書いてある行列がそのまま当記事の形のバタフライ演算に分解するのは私にはできませんでした。
結論、 と定義すると、ユーザー解説の に対して、 が成り立ちます。
感想
が線形変換でないケースもあるのですね。泣きました。
[追記]意味がわからないよ! という方向け
一段落目からすでに厳しい香りがしている
— ねぼこ (@nebocco27) 2021年10月26日
申し訳ないです。特に新しくもないよく知られたこと(少なくとも私はライブラリがほぼこの形でした。)を、私が理解しやすいように形式的にお話してしまっただけで、要はこの関数に渡せる形にしましょうということです。
fn butterfly<T>(a: &mut [T], f: impl FnMut(usize, usize, &mut T, &mut T)) { let n = a.len(); assert!(n.is_power_of_two()); let lg = n.trailing_zeros() as usize; for i in 0..lg { for bs in (0..n).filter(|&bs| bs >> i & 1 == 0) { let (left, right) = a.split_at_mut(bs | 1 << i); f(i, bs, &mut left[bs], &mut right[0]) } } }
たとえば、ゼータ変換:
butterfly(&mut a, |_, _, x, y| *y ^= *x);
謎アダマール変換もどき:
fn transform(a: &mut [u32]) { butterfly(a, |i, _, x, y| { let z = *x + *y; let w = *x + (1 << i) - *y; *x = z; *y = w; }); }
Rust でも (*x, *y) = (*x + *y, *x + (1 << i) - *y)
がしたいなと言う気持ちになりますね。
離散フーリエ変換(bit-reverse 部分以外)とかアダマール変換もこの関数を呼び出すだけでできると思うのですがフーリエの方計算大変なのでまた気が向いたらで。