algo

競技プログラミング用の C++23 ヘッダオンリーライブラリです。

すべての実装は lib/ 以下にあり、その正しさは competitive-verifier を用いて test/ のジャッジ（AtCoder / Library Checker / yukicoder / AOJ）で 継続的に検証されています。ドキュメントは GitHub Pages で公開しています。

使い方

include ルートは lib/ です。各ヘッダは lib/ からの相対パスで参照します。

#include "segtree/segment_tree.hpp"
#include "number_theory/modint.hpp"

コンパイル時に -I lib を指定してください。

g++ -std=c++23 -I lib your_solution.cpp

ライブラリ構成

ディレクトリ	内容
lib/algorithm/	二分探索・座標圧縮・累積和・ダブリング・Mo's algorithm・LIS・転倒数 など
lib/data_structure/	Fenwick Tree・Sparse Table・Union-Find・Wavelet Matrix・順序集合・Binary Trie・SWAG・領域木 など
lib/segtree/	セグメント木・遅延セグメント木・双対セグメント木・動的セグメント木・モノイド定義
lib/heap/	Binary / Fibonacci / Leftist / Skew / Radix / Interval ヒープ・削除可能 PQ・k 番目和
lib/persistent_ds/	永続・部分永続データ構造（配列・セグメント木・スタック/キュー・Union-Find）
lib/dp/	Convex Hull Trick・Li Chao Tree・Slope Trick・monotone minima
lib/number_theory/	modint・多倍長整数・分数・素数判定/列挙・篩・素因数分解・CRT・floor sum・mod 平方根 など
lib/combinatorics/	二項係数・スターリング数等の列挙・ベル数・分割数・offline binomial sum
lib/linalg/	行列・Berlekamp-Massey・きたまさ法（線形漸化式）
lib/convolution/	FFT・NTT・形式的冪級数・subset convolution・Garner
lib/graph/	Dijkstra・Bellman-Ford・SCC・2-SAT・最小全域木・functional graph・トポロジカルソート など
lib/flow/	最大流・下限付き最大流・最小費用流・Hopcroft-Karp
lib/tree/	HLD・LCA・重心分解・Euler Tour・Link-Cut Tree・全方位木 DP・Static Top Tree など
lib/string/	Suffix Array・Z-algorithm・KMP・Aho-Corasick・Rolling Hash（ハッシュ用整数）・回文木 など
lib/geometry/	2D / 3D 幾何・凸包・kd-tree
lib/random/	xorshift128・xoroshiro128・xoshiro128・SplitMix64
lib/internal/	他ヘッダから利用する内部ユーティリティ（bit vector・CSR・型特性 など）
lib/template/	提出用テンプレート（マクロ・高速入出力 など）

ビルド・テスト

構文チェックは次のコマンドで行えます。

g++ -std=c++23 -I lib -Wall -Wextra -fsyntax-only <test_file>

正しさは、ランダム入力に対する naive 実装との突き合わせで確認しています。 test/ 以下の *.test.cpp には先頭に検証用問題の URL を記述し、 competitive-verifier がジャッジに対して実行します。

verify で使用するコンパイラオプションは AtCoder の言語アップデート を参考にしています。

ドキュメント

公開 API の日本語リファレンスは GitHub Pages に cpprefjp 風の構成で公開しています。 ページはヘッダの Doxygen コメントだけから生成し、依存関係・検証結果・実装全文を ヘッダページに添えます。competitive-verifier は検証データの作成までを担当し、 ページの構造とテンプレートはこのリポジトリで管理します。

ページ	内容
reference/<category>/<header>	概要、インクルード、提供する型・関数の一覧、例、検証、依存関係、実装
reference/<category>/<header>/<name>	型 1 つ・関数 1 つの詳細（シグネチャ、パラメータ、戻り値、計算量、メンバ）

mise run docs        # docs/generated/ にページを生成する
mise run docs-check  # 網羅率・例のコンパイルと実行・リンクを検査する
mise run docs-site   # 検証結果なしでサイトのソースを _jekyll/ に組み立てる

生成物は docs/generated/ に作られ、Git 管理には含めません。リファレンスに手書きの Markdown ページは無く、文章を直すときはヘッダのコメントを編集します。書き方は docs/current/reference-style.md を参照してください。

開発方針（置き場所・命名・テスト・PR 運用など）は docs/INDEX.md から辿れます。

コーディング規約

• 言語は C++23。
• 全ヘッダ先頭に #pragma once。
• 標準ヘッダは明示的に include する（<bits/stdc++.h> に依存しない）。
• namespace は snake_case。
• SFINAE より concept、サイズ計算は std::bit_ceil、円周率は std::numbers::pi など C++20/23 の機能を優先する。
• Doxygen ドキュメントコメントは ///、通常の実装コメントは //。ブロックコメントは使わない。

ライセンス

This project is licensed under the MIT License.