2019/04/20 実装の誤りなどを修正しました。
2021/02/18 説明を大幅に変更しました。
概要
qiita.com
こちらの記事を読んで 値だけでなく一般の
値について拡張できそうだと思ったので、それを書きます。
値転倒数が伴う群
\begin{align}
G &= \mathbb{Z}^k \times \mathbb{Z} \\
(s_l, t_l) \cdot (s_r, t_r) &= (s, t) \\
s_i &= (s_l)_i + (s_r)_i \\
t &= t_l + t_r + \sum_{i > j} (s_l)_i (s_r)_j
\end{align}
このように定義すると、 は群になります。
\begin{align}
S &= \lbrace 0, 1, \cdots, k - 1 \rbrace
\end{align}
とすると、自由モノイド が定義されます。
このとき、以下に定義する写像 は
から
へのモノイド準同型です。
\begin{align}
f(a) &= (s, t) \\
s_i &= \# \lbrace j \mid a_j = i \rbrace \\
t &= \# \lbrace (i, j) \mid i < j, a_i > a_j \rbrace
\end{align}
の演算は
で行うことが出来るため、
を
で
に移して累積和を用いることで、
種類の値からなる列の連続部分列の転倒数を計算するクエリを高速に処理することが出来ます。
上の演算を行うアルゴリズム
積
\begin{align}
\sum_{i > j} (s_l)_i (s_r)_j
&= \sum_{i} (s_l)_i \sum_{j = 0}^{i - 1} (s_r)_j
\end{align}
であるため、 の部分を累積で計算すれば時間計算量は
となります。
単位元
単位元は です。
逆元
に対して、
と定義します。
の逆元
は以下の関係式から計算できます。
\begin{align}
(s, t)^{-1} &= (- s, - t^{\prime}) \\
( (0, 0, \cdots, 0) , t^{\prime}) &= (s, t) \cdot (- s, 0)
\end{align}
実装例
#include <array> template <int K> struct k_inv { std::array<int, K> s; int t; k_inv() : s(), t(0) {} k_inv(int c) : s(), t(0) { s[c] = 1; } friend k_inv operator+(const k_inv &l, const k_inv &r) { k_inv ret; for (int i = 0; i != K; i += 1) { ret.s[i] = l.s[i] + r.s[i]; } ret.t = l.t + r.t; int sum = 0; for (int i = 0; i != K; i += 1) { ret.t += l.s[i] * sum; sum += r.s[i]; } return ret; } k_inv operator-() const { k_inv ret; for (int i = 0; i != K; i += 1) { ret.s[i] = (*this).s[i]; } ret.t = -(ret + (*this)).t; return ret; } };