ICPC 2023 アジア地区予選 横浜大会で、本質的にラミナーマトロイドの最小重み基を求める問題が出題されたので、その復習をしていきます。 ラミナーマトロイド ラミナー族 集合 の部分集合族 は、以下の条件を満たすときにラミナー族と呼ばれます。 任意の …

SQLite のウィンドウ関数の使い方についてまとめます。 ウィンドウ関数の機能 SUM や MAX などの集約関数の後ろに OVER 句をつけることで、列の値全体を使った計算をすることができます。集約を行うグループごとに 1 行にまとめられるのではなく、各行のデー…