2020-10

数理工学

ミニマックス定理の意味と初等的証明

競プロでも使うミニマックス定理 $\dis \red{\min_{x \in X} \max_{y\in Y} f(x,y) = \max_{y\in Y} \min_{x \in X} f(x,y)}$ の面白い証明を紹介します.

2020/10/29
数理工学

オンライン最適化とは? オンライン近接勾配法のリグレット上界

オンライン近接勾配法 $\dis x_t = \red{\argmin_{x\in \R^d} \Big\{ \inner{p_{t-1}}{x} + g(x) + \frac{\eta_t}{2}\|x - x_{t-1}\|^2 \Big\}} $ のリグレット上界を証明します.基礎から解説します.

2020/10/29
競プロメモ

AtCoder の問題の考察・解法メモ(ARC 級)

AtCoder の ARC 級コンテストの問題について,考察・解法のポイントをまとめます.ほぼ自分用メモです.随時更新します.

2021/01/10
競プロ解説

形式的冪級数(FPS)が使える AtCoder の問題リスト(随時更新)

考察に使える問題と,実装に使える問題の両方を集めています.一部の問題には簡単な解説もつけています.

2020/11/21
競プロ解説

TDPC: I – イウィ 解説

理解に時間がかかったので,既に多くの解説記事がありますが,自分が自然だと思う思考回路を書いておきます.

2021/03/03
タイトルとURLをコピーしました