ABC 353 / Convolution (予習)

May 12, 2024

ABC 353

ABC 353 に参加しました。何とかレーティングをキープできました。

A 問題

y+0 のように +0 を入れると read が整数型に推論される技を知りました:

main=interact$show.f.map read.words;f(_:h:x)=head$[i|(i,y)<-zip[2..]x,y+0>h]++[-1]

B 問題

% 演算子を定義し、関数呼び出し時の空白の数を減らしましょう:

main=interact$show.(0%).tail.map read.words
a%[_]=min 1a
a%(k:y:r)|a+y>k=1+0%(k:y:r)|0<1=(a+y)%(k:r)

C 問題

$A$ をソートします。 $\bmod$ と言わず $10^8$ を引くことにすれば、一括処理できます。

$i$ を固定したとき、和が $10^8$ を超え始める点を見つけるためには 2 分探索または尺取り法を使います。 Haskell で実装する尺取り法の必勝法……を考え始めることの検討を加速します。

D 問題

ゴリ押しするか簡単な解法を考え抜きます。

私はゴリ押ししました。日記もゴリ押しに一塩です。

E 問題

これは輪を通る弦の組み合わせの数をカウントする問題だと思いました。先頭の文字でグループ分けしつつ、 1 文字ずつ剥いて行けば解けます。

なお文字列ソートの計算量は $O(N L_1 (\log N + \log L_1))$ 程度らしいです。今回は文字列長の総和 $L \le 3 \cdot 10^5$ のため $N = L_1 = \sqrt L$ とすれば $O(L \log L)$ ？　速いですね〜 (読もう……)

G 問題

EDPC - Z と同じ問題に見えました。絶対値を外すため、 CHT に 2 本ずつ直線を追加していけば解けるはずです。 CHT は未習得の高度典型なので解けませんでした。

ところが絶対値を外して現れた式は、単なる 2 つの Max であってセグメント木 2 本に載ります。解けるべき問題でした。

なお CHT に似た何かがある？　みたいなので、 CHT に挑む時までに gksato さんの提出を読み込んでみようと思います。

G. ある市場(T, P)の以前に左で行われた市場の中で最善のもの、みたいなクエリが解けると良い。これは割と抽象化できるパターンだが言語化がむずい。
doEvent :: (Position, EventResult) -> (Position, EventContent) -> Maybe (Position, EventResult)
instance Ord Position (続)
— 符号/gksato (@Fine_sugar_hill) May 11, 2024

Convolution (予習)

高度典型: FFT/NTT/Convolution の勉強ノートです (未実装) 。

内容は誤りだらけです 。真剣に読まないでください。

三角基底による関数の展開

まずはフーリエ変換をエアプします。フーリエ解析―基礎と応用を参考にしました。

ボトムアップかつ天下り的に行きます。

冪級数展開 (Taylor 展開)

三角関数のように無限回微分できる関数は、冪級数の形に展開できることが知られています:

\begin{aligned} f(x) &= \sum \limits_{n=0}^{\infty} \frac {f^{(n)}(x_0)} {n!} (x - x_0)^{n} \bigg|_{x_0 = 0} \\ &= \sum \limits_{n=0}^{\infty} \frac {f^{(n)}(0)} {n!} x^{n} \end{aligned}

三角関数と指数関数を $x_0 = 0$ の回りで冪級数展開すると、オイラーの公式 $e^{ix} = \cos x + i \sin x$ が得られます。

三角基底 (複素三角基底？) $\{e^{ix}\}$ は完全直行基底であり、ある種の $f(x)$ が三角基底の線型結合で表せることが知られています。

フーリエ級数 (FS)

フーリエ変換の基本は周期関数です。周期 $T$ の周期関数 $f(x)$ は周期 $T, 2T, \dots$ の三角基底の線型結合で表せるものとします。係数 $c_n$ を複素フーリエ級数と呼びます:

\begin{aligned} f(x) &\sim \sum_{n=-\infty}^{\infty} c_n e^{i \frac {2 n \pi} {T} x} \\ :&= \sum_{n=-\infty}^{\infty} c_n e^{i \omega_n x} \end{aligned}

三角基底は直行基底であり、基底に対する成分 (フーリエ級数 $c_n$ ) は内積に比例します:

\begin{aligned} (f(x), e^{i\omega x}) &= (c_n e^{i \omega x}, e^{i \omega x}) \\ &= c_n (e^{i \omega x}, e^{i \omega x}) \\ &= c_n \| e^{i \omega x} \|^2 \\ &= c_n \int_{\frac{-T}{-2}}^{\frac{T}{2}} e^{i\omega x} e^{-i\omega x} \mathrm{d}x \\ &= c_n T \end{aligned}

$c_n$ を $f(x)$ に代入すると以下の形になります:

$f(x) = \sum_{n=-\infty}^{\infty} \frac {1} {T} (f(x), e^{i\omega_n x}) e^{i \omega_n x}$

フーリエ変換 (FT)

$T = \frac {2\pi} {\Delta \omega} \rightarrow \infty$ とすれば、非周期関数 $f(x)$ を連続な基底ベクトル $\{e^{i\omega x}\}_{\omega}$ で展開できます (逆フーリエ変換 (IFT)) 。

\begin{aligned} f(x) &= \sum_{n=-\infty}^{\infty} \frac {\Delta \omega} {2 \pi} (f(x), e^{i\omega_n x}) e^{i\omega_n x} \\ &= \int_{-\infty}^{\infty} \frac {\mathrm{d}\omega} {2 \pi} (f(x), e^{i\omega x}) e^{i\omega x} \\ :&= \int_{-\infty}^{\infty} \frac {\mathrm{d}\omega} {2 \pi} \mathcal{F}[f](\omega) e^{i\omega x} \end{aligned}

フーリエ変換 $\mathcal{F}[f](\omega) := (f(x), e^{i\omega x})$ は $f(x)$ の $e^{i\omega x}$ 成分に相当します。指数関数の微積分は簡単なので、 $\{e^{i\omega_n x}\}$ を基底としたのは幸先良さそうです。

三角基底による離散関数の展開

デジタル信号処理へ寄ります。ここからはビギナーズデジタルフーリエ変換および小野測器の計測コラムの em138 添付資料を参考にエアプします。

時間離散フーリエ変換

関数 $f(x)$ を $\tau$ の間隔で離散化し、離散関数 $f_{\tau}(x)$ を得ます。 $f(x)$ に周期的デルタ関数 $\delta_{\tau}(x)$ をかけることで、 $f(x)$ の離散化を表現します:

\begin{aligned} \delta_{\tau} (x) &:= \sum_{n \in \mathbb{Z}} \delta(x - n \tau) \\ f_{\tau}(x) &:= \delta_{\tau} (x) f(x) \end{aligned}

$f_{\tau}(x)$ のフーリエ変換も離散化されています:

\begin{aligned} \mathcal{F}[f_{\tau}](\omega) &= (f_{\tau}(x), e^{i\omega x}) \\ &= \int_{-\infty}^{\infty} f_{\tau}(x) e^{-i\omega x} \mathrm{d}x \\ &= \sum_{n \in \mathbb{N}} f(n \tau) e^{-i \omega n \tau} \end{aligned}

さらに時間が離散化されたことから位相に周期性が生じており、 $\mathcal{F}[f_{\tau}(x)](\omega)$ は周期 $\frac {2 \pi} {\tau}$ の周期関数になりました ( $\mathcal{F}[f_{\tau}](\omega) = \mathcal{F}[f_{\tau}](\omega + \frac {2 \pi} {\tau})$ )。

改めて $f_{\tau}(n \tau)$ を三角基底で展開すると、次の式を得ます:

\begin{aligned} f_{\tau}(n \tau) &= \int_{-\frac {\pi} {\tau}}^{\frac {\pi} {\tau}} \frac {\mathrm{d}\omega} {2 \pi} \mathcal{F}[f_{\tau}](\omega) e^{i\omega n \tau} \end{aligned}

離散フーリエ級数 (DFS)

時間信号 $x(t)$ の一部を時間幅 $T$ で切り取り、 $\tau$ の間隔で離散化したとします。この信号列を周期 $T$ の周期関数に拡張すると、やはり複素フーリエ級数の和の形に展開できます。

\begin{aligned} x(k \tau) &= \sum_{n \in \mathbb{Z}} c_n e^{i \omega_n k \tau} \\ &= \sum_{n \in \mathbb{Z}} c_n e^{i \frac {2n\pi} {T} k \tau} \end{aligned}

$n \in \mathbb{Z}$ とありますが、時間が離散化されたことによって位相が周期的になり、 $x(k \tau)$ は $\{e^{i\omega_n x}\}_{n \in [0, N - 1] \cap \mathbb{Z}}$ のみにより展開されるはずです。実際 $n \rightarrow n + rN$ に分解して確かめられます (天才だ……):

\begin{aligned} x(k \tau) &= \sum_{n \in [0, N - 1] \cap \mathbb{Z}} \sum_{r \in \mathbb{Z}} c_{n + rN} e^{i \omega_{n + rN} k \tau} \\ &= \sum_{n \in [0, N - 1] \cap \mathbb{Z}} e^{i \omega_{n} k \tau} \sum_{r \in \mathbb{Z}} c_{n + rN} \bigg|_{c_n = 0 (|n| > N)} \\ &= \sum_{n \in [0, N - 1] \cap \mathbb{Z}} e^{i \omega_{n} k \tau} c_n \end{aligned}

上記の 2 ~ 3 行で帯域制限を設け、 $x(t)$ が N 次の高調波成分までしか持たないとした場合、 $\sum_{r \in \mathbb{Z}} c_{n + rN} = c_n$ から非常に簡素な式に整理できました。 N 個 ( $N = \frac T {\tau}$ ) の信号 $\{x(n\tau)\}_n$ を整理すると、以下の行列で書けます: