ACL (AtCoder Library) のNimによる実装です。 ACLで実装されているものはexpander含めてすべてNimに変換しています。 一部、Nim向けに使いやすくなるような仕様も追加しました。
Nim-ACLによるimport, includeをすべて展開します。コマンドは本家ACLのものと同じです。 Nim-ACLはatcoderのジャッジ環境では呼び出せませんがexpanderで展開することで、atcoderでもコンパイル可能なコードを生成することが可能です。 online-judge-tools, atcoder-toolsなどの自動提出機能のあるツールと合わせて展開と提出を同時に行うようにすると便利です。
usage: expander.py [-h] [-c] [-s] [--lib LIB] source
--lib LIB ライブラリへのパス(srcがあるディレクトリ)を表示します。本家ACLのものと同じです。
-s 展開した部分が一行で表示され、提出ソースコードが読みやすくなります。NimおよびNim-ACL利用者を増やすためにもこのオプションを有効にしていただけたら嬉しいです。
ACLにないがよく使いそうなライブラリを独自に実装しています。 例えば、グラフ関連の処理(ダイクストラ法等)や累積和ライブラリなどがあります。こちらもexpanderで展開可能です。 大体、以下のスタンスで実装していきます。
- 仕様等はACLのものに統一(例: segtreeにおけるmapping, composition等の名称を二分木等の名称でも統一)
- 内部の処理にACLで実装済みのアルゴリズムが必要になった場合はACLのものを用いる
- C++, python等の他の主要言語の標準ライブラリと同等かそれ以上の環境を提供する。特に他の言語で標準搭載であるがNimでは実装されていないものも実装する。例えばC++におけるset/multiset, map/multiset, bitset等が該当し、SortedSet/SortedMultiSet, SortedMap/SortedMultiMap, BitSetという名前で実装しました。
- これについては、どこまでやるかはちょっと悩みどころです。例えば、pythonのnumpyやC++のboostとかまでやろうとするとかなり大変そうです。
- 本家ACLほどの万全なサポートは行わないが、test, verifyはできるだけ書く
- READMEもできるだけ書く(英訳はできないかも)
- 将来ACLに実装された場合は順次そちらに置き換える
- online-judge-tools/verification-helperを参考にpip installする
- このドキュメントを参考にYUKICODER_TOKEN を取得し、環境変数を設定する。
export YUKICODER_TOKEN=xxx src/に移動する- すべてのverifyを通すには
oj-verify runを実行する。初回は遅いので-j N(Nは論理コア数)をつけ並列処理が有効にすると良い - 個別にveifyした場合は
oj-verify verify/crt_test.nimのようにpathを指定する
apple silicon上でverifyに失敗した場合
- apple siliconはonline-judge側でスタックサイズを大きくすることができません。
ulimit -s 65000の実行で多くのテストが成功するようになります
- 本ライブラリをコンパイルする際にはcppでのコンパイル、つまりnim cppが必要です。atcoderでもcppでコンパイルされています。nim cでは動きません。
- mathという名前の標準ライブラリがあるので、import atcoder/mathとimport mathはバッティングします。両方importしたい場合は後者をimport std/mathとしましょう。