Examples of solving competitive programming problems with automata learning using AALpy
能動オートマトン学習を用いて解ける競技プログラミングの問題について、AALpy の学習結果を C++ のソースコードに変換するツール aalpy-compro とその使用例を公開するリポジトリです。
また、aalpy-compro には正規表現から等価な最小 DFA に変換する補助機能も含まれています。
これは能動オートマトン学習そのものではなく、オートマトンを扱うための別系統の機能です。
aalpy-compro はコンテスト中であってもある程度使いやすいように設計しているつもりです。
Caution
aalpy-compro を競技プログラミングのコンテスト中に使用しようとする場合は、使用したいコンテストのルールを事前に確認してください。
AALpy は AtCoder生成AI対策ルール - 20261014版 などで定義されている「生成 AI」にはあたらないとリポジトリの作成者 (@NotLeonian) は考えていますが、コンテスト中に使用したい場合はそのコンテストの生成 AI に関するルールを事前に確認するとともに、能動オートマトン学習および AALpy について事前に知っておくことを推奨します。
また、AtCoder Beginner Contest, AtCoder Regular Contest, AtCoder Grand Contest において aalpy-compro により生成されたソースコードを使用する場合、生成方法の明示のために提出コードにこのリポジトリの参照 URL も添付することを推奨します。
If you intend to use aalpy-compro during a competitive programming contest, please check the rules of the contest you plan to participate in beforehand.
The repository author (@NotLeonian) believes that AALpy does not fall under the category of “generative AI” as defined by rules such as the AtCoder Rules against Generative AI - Version 20261014; however, if you intend to use it during a contest, it is recommended that you check that contest’s rules regarding generative AI in advance and familiarize yourself beforehand with active automata learning and AALpy.
In addition, if you use source code generated by aalpy-compro in an AtCoder Beginner Contest, AtCoder Regular Contest, or AtCoder Grand Contest, it is recommended that you also include a reference URL to this repository in your submitted code to clarify how the code was generated.
uv 0.11.25 以上が必要です。
aalpy-compro は C++ のソースコードの一部を出力します。
使用者が適切に main 関数などを追記したうえで、 GCC または Clang でコンパイルすることを想定しています。
その際、コンパイルオプションで -std=gnu++17 を指定することを仮定しています。
したがって、-std=gnu++17 に対応しているバージョンの GCC または Clang を使用することを推奨します。
Warning
C++17 以上に対応していないジャッジ環境においては、生成されたコードの一部の記述を修正しないとコンパイルエラーになる可能性があります。
- uv 0.11.25 以上をインストールする（インストール済みの uv が古い場合はアップグレードする）。
- このリポジトリをクローンする。
- プロジェクトルートで
uv syncをする。
uv の設定によっては、uv python install 等の他のコマンドの実行も必要になるかもしれません。
uv run aalpy-compro ... を実行します（... の部分でコマンドライン引数を指定）。
venv 環境を使えば aalpy-compro コマンドを使用することも可能です（上級者向け）。
--kind common では、C++ の class DFA などが生成されます。
現状の仕様では、これによって生成されるソースコードをファイルの先頭に書かないとコンパイルエラーになります。
具体的な DFA を得るために、--kind learn による能動オートマトン学習または --kind regex による正規表現からの変換を使用できます。
このとき、使用者は --key に続けて、その DFA に対する他の DFA と被らないキーを指定する必要があります。
--kind learn では、能動オートマトン学習を行えます。
使用者はアルファベット alphabet および受理判定の関数 accepts が記述された Python のソースコードのパスを、--path に続けて与える必要があります。
また、使用者は学習に使用するオラクル（wp, random_wp, state_prefix のどれか 1 つ）を --oracle に続けて与えるか、学習中に受理判定などに使用する語の一覧を eq_words（語のリスト）または iter_eq_words（語が yield 文の返り値として列挙された関数）として --path に与えた Python のソースコード内に記述する必要があります。
--oracle オプションと eq_words または iter_eq_words の記述は両立できますが、eq_words と iter_eq_words の両方を記述することはできません。
さらに、--oracle wp とした場合、最小 DFA の状態数の上界を --max-states に続けて与える必要があります。
与えた値が実際の最小 DFA の状態数より小さい場合、aalpy_compro.errors.ConstraintViolationError により終了する（もしくは等価でない DFA が返る）可能性がありますが、大きすぎると実行に時間がかかる可能性があります。
Warning
受理判定関数の表す言語が本当に正規言語であり、さらに --oracle wp とし、かつ --max-states に実際の最小 DFA の状態数以上の値を設定した場合のみ、返ってくる DFA が学習したい正規言語と等価であることが保証できます。
そうでない場合、等価でない DFA を返す可能性があります。
基本的には --oracle wp を使用するとよいでしょう（その他は上級者向け）。
aalpy-compro では、語を表現するために各文字のリストなどではなく各文字のタプルを使用しています。
accepts や eq_words または iter_eq_words は、語が各文字のタプルとして表現されることを前提に実装する必要があります。
--kind regex では、正規表現から等価な最小 DFA への変換が行えます。
使用者はアルファベット alphabet および aalpy-compro の Regex クラス（または ComplementRegex クラス）による正規表現 regex が記述された Python のソースコードのパスを、--path に続けて与える必要があります。
なお、regex を定義するために aalpy_compro から Regex を import する必要があります（基本的には Regex のみで十分ですが、ComplementRegex の import も必要になるかもしれません）。
examples/ 内のソースコードおよびドキュメントを参考にしてください。
Python ソースコードのフォーマットと静的検査には以下のコマンドを使用できます。
uv run ruff format .
uv run ruff check .
uv run pyright
uv run mypy ./aalpy-compro
find examples -mindepth 1 -maxdepth 1 -type d -exec sh -c 'for dir in "$@"; do python_source=$(find "$dir" -type f -name "*.py" -print -quit) || exit; [ -n "$python_source" ] || continue; printf "%s\n" "$dir"; uv run mypy "$dir" || exit; done' sh {} +