ac-library-rb 0.5.0

data/document_ja/fenwick_tree.md

@@ -0,0 +1,83 @@
+# Fenwick Tree
+
+**別名** BIT(Binary Indexed Tree)
+
+長さ `N` の配列に対し、
+
+- 要素の `1` 点変更
+- 区間の要素の総和
+
+を `O(logN)` で求めることが出来るデータ構造です。
+
+## 特異メソッド
+
+### new(n) -> FenwickTree
+### new(ary) -> FenwickTree
+
+```rb
+fw = FenwickTree.new(arg)
+```
+
+引数は、`Integer` または `Array` です。
+
+1. 引数が `Integer` クラスの `n` のとき、長さ `n` の全ての要素が `0` で初期化された配列を作ります。
+2. 引数が長さ `n` の `Array` クラスの配列 `a` のとき、`a` で初期化された配列を作ります。
+
+配列の添字は、0-based indexです。
+
+**計算量**
+
+`O(n)` (引数が`Array`でも同じです)
+
+## add(pos, x)
+
+```rb
+fw.add(pos, x)
+```
+
+`a[pos] += x`を行います。
+
+`pos`は、0-based indexです。
+
+**制約** `0 ≦　pos < n`
+**計算量** `O(logn)`
+
+## sum(l, r) ->Integer
+
+```rb
+fw.sum(l, r)
+```
+
+`a[l] + a[l - 1] + ... + a[r - 1]`を返します。
+
+引数は、半開区間です。
+
+実装として、内部で`_sum(r) - _sum(l)`を返しています。
+
+**制約** `0 ≦　l ≦ r ≦ n`
+**計算量** `O(logn)`
+
+## _sum(pos) -> Integer
+
+```rb
+fw._sum(pos)
+```
+
+`a[0] + a[1] + ... + a[pos - 1]`を返します。
+
+**計算量** `O(logn)`
+
+## Verified
+
+- [AtCoder ALPC B \- Fenwick Tree](https://atcoder.jp/contests/practice2/tasks/practice2_b)
+  [ACコード(17074108)]https://atcoder.jp/contests/practice2/submissions/17074108 (1272ms)
+- [F \- Range Xor Query](https://atcoder.jp/contests/abc185/tasks/abc185_f)
+  FenwickTree(BIT)をxorに改造するだけでも解けます。
+  [ACコード(821ms)](https://atcoder.jp/contests/abc185/submissions/18769200)。FenwickTree(BIT)のxor改造版です。
+
+
+## 開発者、内部実装を読みたい人向け
+
+本家ACLライブラリの実装は、内部の配列も0-based indexですが、
+
+本ライブラリは定数倍改善のため、内部の配列への添字が1-based indexです。

data/document_ja/index.md

@@ -0,0 +1,89 @@
+# index
+
+`lib`ディレクトリにコードがあります。
+
+現状、この中から探してもらって、コピペして使って下さい。
+
+左の列から、コード本体、ドキュメントです。
+
+(ドキュメントのGはGitHubにあるという意味で、HackMDに移す計画があるためです)
+
+| C  | D |   |
+| :--- | :--- | --- |
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/fenwick_tree.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/fenwick_tree.md)   |FenwickTree(BIT)|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/segtree.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/segtree.md) |Segtree|
+| [○](https://github.com/universato/ac-library-rb/blob/master/lib/lazy_segtree.rb) | [○G](https://github.com/universato/ac-library-rb/blob/master/document_ja/lazy_segtree.md)   |LazySegtree|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/priority_queue.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/priority_queue.md)  |PriorityQueue|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/suffix_array.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/string.md)  |suffix_array|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/lcp_array.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/string.md)  |lcp_array|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/z_algorithm.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/string.md)  |z_algorithm|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/pow_mod.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/math.md)  |pow_mod|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/inv_mod.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/math.md)  |inv_mod|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/crt.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/math.md)  |crt(中国剰余定理)|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/floor_sum.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/math.md) |floor_sum|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/convolution.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/convolution.md) |convolution|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/modint.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/modint.md) |ModInt|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/dsu.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/dsu.md) |DSU(UnionFind)|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/max_flow.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/max_flow.md) |MaxFlow|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/min_cost_flow.rb) |[◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/min_cost_flow.md)  |MinCostFlow|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/scc.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/scc.md) |SCC(強連結成分)|
+| [◎](https://github.com/universato/ac-library-rb/blob/master/lib/two_sat.rb) | [◎G](https://github.com/universato/ac-library-rb/blob/master/document_ja/two_sat.md) |TwoSat|
+
+## 実装コードへのリンク(GitHub)
+
+上の表の別形式です。
+
+### データ構造
+
+- [fenwick_tree.rb](https://github.com/universato/ac-library-rb/blob/master/lib/fenwick_tree.rb)
+- [segtree.rb](https://github.com/universato/ac-library-rb/blob/master/lib/segtree.rb)
+- [lazy_segtree.rb](https://github.com/universato/ac-library-rb/blob/master/lib/lazy_segtree.rb)
+- [priority_queue.rb](https://github.com/universato/ac-library-rb/blob/master/lib/priority_queue.rb)
+- String
+  - [suffix_array.rb](https://github.com/universato/ac-library-rb/blob/master/lib/suffix_array.rb)
+  - [lcp_array.rb](https://github.com/universato/ac-library-rb/blob/master/lib/lcp_array.rb)
+  - [z_algorithm.rb](https://github.com/universato/ac-library-rb/blob/master/lib/z_algorithm.rb)
+
+### 数学
+
+- math
+  - [pow_mod.rb](https://github.com/universato/ac-library-rb/blob/master/lib/pow_mod.rb)
+  - [inv_mod.rb](https://github.com/universato/ac-library-rb/blob/master/lib/inv_mod.rb)
+  - [crt.rb](https://github.com/universato/ac-library-rb/blob/master/lib/crt.rb)
+  - [floor_sum.rb](https://github.com/universato/ac-library-rb/blob/master/lib/floor_sum.rb)
+- [convolution.rb](https://github.com/universato/ac-library-rb/blob/master/lib/convolution.rb)
+- [modint.rb](https://github.com/universato/ac-library-rb/blob/master/lib/modint.rb)
+
+### グラフ
+
+- [dsu.rb](https://github.com/universato/ac-library-rb/blob/master/lib/dsu.rb)
+- [max_flow.rb](https://github.com/universato/ac-library-rb/blob/master/lib/max_flow.rb)
+- [min_cost_flow.rb](https://github.com/universato/ac-library-rb/blob/master/lib/min_cost_flow.rb)
+- [scc.rb](https://github.com/universato/ac-library-rb/blob/master/lib/scc.rb)
+- [two_sat.rb](https://github.com/universato/ac-library-rb/blob/master/lib/two_sat.rb)
+
+## アルファベット順(辞書順)
+
+<details>
+<summary>アルファベット順(辞書順)の一覧</summary>
+
+[convolution.rb](https://github.com/universato/ac-library-rb/blob/master/lib/convolution.rb)
+[crt.rb](https://github.com/universato/ac-library-rb/blob/master/lib/crt.rb)
+[dsu.rb](https://github.com/universato/ac-library-rb/blob/master/lib/dsu.rb)
+[fenwick_tree.rb](https://github.com/universato/ac-library-rb/blob/master/lib/fenwick_tree.rb)
+[floor_sum.rb](https://github.com/universato/ac-library-rb/blob/master/lib/floor_sum..rb)
+[inv_mod.rb](https://github.com/universato/ac-library-rb/blob/master/lib/inv_mod.rb)
+[lazy_segtree.rb](https://github.com/universato/ac-library-rb/blob/master/lib/lazy_segtree.rb)
+[lcp_array.rb](https://github.com/universato/ac-library-rb/blob/master/lib/lcp_array.rb)
+[max_flow.rb](https://github.com/universato/ac-library-rb/blob/master/lib/max_flow.rb)
+[min_cost_flow.rb](https://github.com/universato/ac-library-rb/blob/master/lib/min_cost_flow.rb)
+[modint.rb](https://github.com/universato/ac-library-rb/blob/master/lib/modint.rb)
+[pow_mod.rb](https://github.com/universato/ac-library-rb/blob/master/lib/pow_mod.rb)
+[priority_queue.rb](https://github.com/universato/ac-library-rb/blob/master/lib/priority_queue.rb)
+[scc.rb](https://github.com/universato/ac-library-rb/blob/master/lib/scc.rb)
+[segtree.rb](https://github.com/universato/ac-library-rb/blob/master/lib/segtree.rb)
+[suffix_array.rb](https://github.com/universato/ac-library-rb/blob/master/lib/suffix_array.rb)
+[two_sat.rb](https://github.com/universato/ac-library-rb/blob/master/lib/two_sat.rb)
+[z_algorithm.rb](https://github.com/universato/ac-library-rb/blob/master/lib/z_algorithm.rb)
+
+</details>

data/document_ja/lazy_segtree.md

@@ -0,0 +1,135 @@
+# LazySegtree
+
+遅延評価セグメントツリーです。
+
+この命名には批判があって、遅延伝播セグメントツリーの方が良いという意見も根強いです。
+
+宗教戦争を避けるために、遅延セグ木と呼ぶのがいいかもしれません。
+
+## 特異メソッド
+
+### new(v, e, id, op, mapping, composition)
+
+```ruby
+seg = LazySegtree.new(v, e, id, op, mapping, compositon)
+```
+
+第1引数は、`Integer`または`Array`です。
+
+- 第1引数が`Integer`の`n`のとき、長さ`n`・初期値`e`のセグメント木を作ります。
+- 第1引数が長さ`n`の`Array`の`a`のとき、`a`をもとにセグメント木を作ります。
+
+第2引数`e`は、単位元です。ブロックで二項演算`op(x, y)`を定義することで、モノイドを定義する必要があります。
+
+**計算量** `O(n)`
+
+## インスタンスメソッド
+
+### set(pos, x)
+
+```ruby
+seg.set(pos, x)
+```
+
+`a[pos]`に`x`を代入します。
+
+**計算量** `O(logn)`
+
+
+### get(pos)  -> 単位元eと同じクラス
+
+```ruby
+seg.get(pos)
+```
+
+`a[pos]`を返します。
+
+**計算量** `O(1)`
+
+
+### prod(l, r) -> 単位元eと同じクラス
+
+```ruby
+seg.prod(l, r)
+```
+
+`op(a[l], ..., a[r - 1])` を返します。
+
+**制約** `0 ≦ l ≦ r ≦ n`
+
+**計算量** `O(logn)`
+
+### all_prod -> 単位元eと同じクラス
+
+```ruby
+seg.all_prod
+```
+
+`op(a[0], ..., a[n - 1])` を返します。
+
+**計算量** `O(1)`
+
+### apply(pos, val)
+
+```ruby
+seg.apply(pos, val)
+```
+
+本家コードで引数が3つのとき実装について、当ライブラリでは`range_apply`という名称で実装しています。実行時間を計測して問題なさそうなら、`apply`メソッドに2引数と3引数の両方に対応できるようにします。
+
+**制約** `0 ≦ pos < n`
+
+**計算量** `O(log n)`
+
+### range_apply(l, r, val)
+
+```ruby
+seg.range_apply(l, r, val)
+```
+
+**制約** `0 ≦ l ≦ r ≦ n`
+
+**計算量** `O(log n)`
+
+### max_right
+
+[TODO] 暇な誰かが書く。
+
+### min_left
+
+[TODO] コード側の実装ができていないです。
+
+## Verified
+
+問題のリンクです。コードはないですが、Verified済みです。
+- [AIZU ONLINE JUDGE DSL\_2\_F RMQ and RUQ](http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DSL_2_F)
+- [AIZU ONLINE JUDGE DSL\_2\_G RSQ and RAQ](http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DSL_2_G)
+
+以下の問題は、Rubyでは実行時間が厳しくTLEになりACできてないです。
+- [ALPC: K \- Range Affine Range Sum](https://atcoder.jp/contests/practice2/tasks/practice2_k)
+- [ALPC: L \- Lazy Segment Tree](https://atcoder.jp/contests/practice2/tasks/practice2_l)
+
+## 参考リンク
+
+- 当ライブラリ
+  - [当ライブラリの実装コード lazy_segtree.rb](https://github.com/universato/ac-library-rb/blob/master/lib/lazy_segtree.rb)
+  - [当ライブラリのテストコード lazy_segtree_test.rb](https://github.com/universato/ac-library-rb/blob/master/test/lazy_segtree_test.rb)
+- 本家ライブラリ
+  - [本家ライブラリのドキュメント lazysegtree.md(GitHub)](https://github.com/atcoder/ac-library/blob/master/document_ja/lazysegtree.md)
+  - [本家のドキュメント appendix.md(GitHub)](https://github.com/atcoder/ac-library/blob/master/document_ja/appendix.md)
+  - [本家ライブラリの実装コード lazysegtree.hpp(GitHub)](https://github.com/atcoder/ac-library/blob/master/atcoder/lazysegtree.hpp)
+  - [本家ライブラリのテストコード lazysegtree_test.cpp(GitHub)](https://github.com/atcoder/ac-library/blob/master/test/unittest/lazysegtree_test.cpp)
+- セグメントツリーについて
+  - [セグメント木をソラで書きたいあなたに \- hogecoder](https://tsutaj.hatenablog.com/entry/2017/03/29/204841)
+  - [遅延評価セグメント木をソラで書きたいあなたに \- hogecoder](https://tsutaj.hatenablog.com/entry/2017/03/30/224339)
+- AtCooderLibrary(ACL)のLazySegtreeについて
+  - [使い方 \- ARMERIA 2020/9/22](https://betrue12.hateblo.jp/entry/2020/09/22/194541)
+  - [チートシート \- ARMERIA 2020/9/23](https://betrue12.hateblo.jp/entry/2020/09/23/005940)
+  - [ACLPC: K–Range Affine Range Sumの解説 \|optのブログ 2020/9/27](https://opt-cp.com/cp/lazysegtree-aclpc-k/)
+  - [ACL 基礎実装例集 \- buyoh\.hateblo\.jp 2020/9/27](https://buyoh.hateblo.jp/entry/2020/09/27/190144)
+
+## 本家ライブラリとの違い
+
+### `ceil_pow2`ではなく、`bit_length`
+
+本家C++ライブラリは独自定義の`internal::ceil_pow2`関数を用いてますが、本ライブラリではRuby既存のメソッド`Integer#bit_length`を用いています。そちらの方が計測した結果、高速でした。

data/document_ja/math.md

@@ -0,0 +1,116 @@
+# Math
+
+数学的アルゴリズムの詰め合わせです。
+
+- `pow_mod`
+- `inv_mod`
+- `crt`
+- `floor_sum`
+
+## pow_mod
+
+```ruby
+pow_mod(x, n, m)
+```
+
+`(x**n) % m` を返します。
+
+Rubyには、もともと `Integer#pow` があるため、そちらを利用した方がいいです。
+
+基本的に、`pow_mod(x, n, m)` は、 `x.pow(n, m)`と等しいです。
+
+ただ、Ruby 2.7.1の時点で、`Integer#pow` は、`x.pow(0, 1)`で「mod 1」なのに `1` を返す小さなバグがあります。
+
+**制約**
+
+- 引数`n`, `m`は、整数。
+- `0 ≦ n`, `1 ≦ m`
+
+**計算量**
+
+- `O(log n)`
+
+## inv_mod
+
+```ruby
+inv_mod(x, n, m)
+```
+
+`xy ≡ 1 (mod m)` なる `y` のうち、`0 ≦ y < m` を満たすものを返します。
+
+mが素数のとき、フェルマーの小定理より `x.pow(m - 2, m)` を使えます。
+
+**制約**
+
+- `gcd(x, m) = 1`, `1 ≦ m`
+
+**計算量**
+
+- `O(log m)`
+
+### Verified
+- [ABC186 E - Throne](https://atcoder.jp/contests/abc186/tasks/abc186_e)
+  [ACコード(59ms) 2020/12/20](https://atcoder.jp/contests/abc186/submissions/18898186)
+
+## crt(r, m) -> [rem , mod] or [0, 0]
+
+中国剰余定理
+Chinese remainder theorem
+
+同じ長さ`n`の配列`r`, `m`を渡したとき、
+
+`x ≡ r[i] (mod m[i]), ∀i ∈ {0, 1, …… n - 1}`
+
+を解きます。答えが存在するとき、`x ≡ rem(mod)`という形で書け、
+
+答えが存在するとき、`[rem ,mod]`を返します。
+
+答えがないとき、`[0, 0]`を返します。
+
+### Verified
+
+問題
+- [No\.187 中華風 \(Hard\) \- yukicoder](https://yukicoder.me/problems/no/187)
+
+## floor_sum(n, m, a, b)
+
+$\sum_{i = 0}^{n - 1} \mathrm{floor}(\frac{a \times i + b}{m})$
+
+`Σ[k = 0 → n - 1] floow((a * i + b) / m)`
+
+を計算量を工夫して計算して返します。
+
+**計算量**
+
+- `O(log(n + m + a + b))`
+
+### Verified
+
+[ALPC: C \- Floor Sum](https://atcoder.jp/contests/practice2/tasks/practice2_c)
+ - [ACコード 426ms 2020/9/14](https://atcoder.jp/contests/practice2/submissions/16735215)
+
+## 参考リンク
+
+- 当ライブラリ
+  - 当ライブラリの実装コード
+    - [当ライブラリの実装コード pow_mod.rb](https://github.com/universato/ac-library-rb/blob/master/lib/pow_mod.rb)
+    - [当ライブラリの実装コード inv_mod.rb](https://github.com/universato/ac-library-rb/blob/master/lib/inv_mod.rb)
+    - [当ライブラリの実装コード crt.rb](https://github.com/universato/ac-library-rb/blob/master/lib/crt.rb)
+    - [当ライブラリの実装コード floor_sum.rb](https://github.com/universato/ac-library-rb/blob/master/lib/floor_sum.rb)
+  - テストコード
+    - [当ライブラリのテストコード pow_mod_test.rb](https://github.com/universato/ac-library-rb/blob/master/test/pow_mod.rb)
+    - [当ライブラリのテストコード inv_mod_test.rb](https://github.com/universato/ac-library-rb/blob/master/test/inv_mod.rb)
+    - [当ライブラリのテストコード crt_test.rb](https://github.com/universato/ac-library-rb/blob/master/test/crt.rb)
+    - [当ライブラリのテストコード floor_sum_test.rb](https://github.com/universato/ac-library-rb/test/master/lib/floor_sum.rb)
+- 本家ライブラリ
+  - [本家ライブラリの実装コード math.hpp](https://github.com/atcoder/ac-library/blob/master/atcoder/math.hpp)
+  - [本家ライブラリの実装コード internal_math.hpp](https://github.com/atcoder/ac-library/blob/master/atcoder/internal_math.hpp)
+  - [本家ライブラリのテストコード math_test.cpp](https://github.com/atcoder/ac-library/blob/master/test/unittest/math_test.cpp)
+  - [本家ライブラリのドキュメント math.md](https://github.com/atcoder/ac-library/blob/master/document_ja/math.md)
+  - [Relax the constraints of floor\_sum? · Issue \#33 · atcoder/ac\-library](https://github.com/atcoder/ac-library/issues/33)
+
+## Q&A
+
+### ファイルは個別なの?
+
+本家側に合わせて`math`ファイルなどにまとめてもいいかもしれないです。

data/document_ja/max_flow.md

@@ -0,0 +1,129 @@
+# MaxFlow
+
+最大フロー問題を解くライブラリです。
+
+## 特異メソッド
+
+### new(n = 0) -> MaxFlow
+
+```ruby
+graph = Maxflow.new(10)
+```
+
+n頂点0辺のグラフを作ります。
+
+頂点の番号は、0-based indexです。
+
+## インスタンスメソッド
+
+### add_edge(from, to, cap) -> Integer
+
+```ruby
+graph.add_edge(0, 1, 5)
+```
+
+頂点`from`から頂点`to`への最大容量`cap`, 流量`0`の辺を追加します。
+
+返り値は、0-based indexで何番目に追加された辺かを返します。
+
+### flow(start, to, flow_limit = 1 << 64) -> Integer
+
+```ruby
+(1) graph.flow(0, 3)
+(2) graph.flow(0, 3, flow_limit)
+```
+
+**エイリアス** `max_flow`, `flow`
+
+### min_cut(start) -> Array(boolean)
+
+```ruby
+graph.min_cut(start)
+```
+
+返り値は、長さ`n`の配列。
+
+返り値の`i`番目の要素には、頂点`start`から`i`へ残余グラフで到達可能なときに`true`が入り、そうでない場合に`false`が入る。
+
+**計算量** `O(n + m)` ※ `m`は辺数
+
+### get_edge(i) -> [from, to, cap, flow]
+
+```ruby
+graph.get_edge(i)
+graph.edge(i)
+graph[i]
+```
+
+辺の状態を返します。
+
+**計算量** `O(1)`
+
+**エイリアス** `get_edge`, `edge`, `[]`
+
+### edges -> Array([from, to, cap, flow])
+
+```ruby
+graph.edges
+```
+
+全ての辺の情報を含む配列を返します。
+
+**計算量** `O(m)` ※`m`は辺数です。
+
+#### `edges`メソッドの注意点
+
+`edges`メソッドは全ての辺の情報を生成するため、`O(m)`です。
+
+生成コストがあるため、`get_edge(i)`を用いる方法や、`edges = graph.edges`と一度別の変数に格納する方法も考慮してください。
+
+### change_edge(i, new_cap, new_flow)
+
+`i`番目に変更された辺の容量、流量を`new_cap`, `new_flow`に変更します。
+
+**制約** `0 ≦ new_fow ≦ new_cap`
+
+**計算量** `O(1)`
+
+## Verified
+
+[ALPC: D \- Maxflow](https://atcoder.jp/contests/practice2/tasks/practice2_d)
+- [ACコード 211ms 2020/9/17](https://atcoder.jp/contests/practice2/submissions/16789801)
+- [ALPC: D解説 \- Qiita](https://qiita.com/magurofly/items/bfaf6724418bfde86bd0)
+
+## 参考リンク
+
+- 当ライブラリ
+  - [当ライブラリの実装コード max_flow.rb(GitHub)](https://github.com/universato/ac-library-rb/blob/master/lib/max_flow.rb)
+  - [当ライブラリのテストコード max_flow_test.rb(GitHub)](https://github.com/universato/ac-library-rb/blob/master/test/max_flow_test.rb)
+- 本家ライブラリ
+  - 本家のコード
+    - [本家の実装コード maxflow.hpp(GitHub)](https://github.com/atcoder/ac-library/blob/master/atcoder/maxflow.hpp)
+    - [本家のテストコード maxflow_test.cpp(GitHub)](https://github.com/atcoder/ac-library/blob/master/test/unittest/maxflow_test.cpp)
+  - 本家ドキュメント
+    - [本家のドキュメント maxflow.md(GitHub)](https://github.com/atcoder/ac-library/blob/master/document_ja/maxflow.md)
+    - [本家のドキュメント appendix.md(GitHub)](https://github.com/atcoder/ac-library/blob/master/document_ja/appendix.md)
+
+## Q&A
+
+### `flow`メソッドの`flow_limit`のデフォルトは 何故`1 << 64`
+
+記憶になく、深い意味はないです。
+`Float::MAX`や`Float::INFINITY`でも良さそうですが、遅くならないでしょうか。
+
+### 辺にStructは使わないの
+
+Structを使った方がコードがスリムになって上級者ぽくもあり見栄えは良いです。
+
+しかし、計測した結果、Strucだと遅いので、配列を使用しています。
+
+### `_`始まりの変数の意図は
+
+ちょっと紛らわしいのですが、別々に2種類の意図があります。
+
+1. `_e`や`_re`は、本家ACLコードと一緒に読みやすいように、変数名を合わせています。
+2.  `_rev`は、`each`で回す都合上吐き出すけれど使わないので、「使わない」という意図で`_`始まりにしています。
+
+```ruby
+@g[q].each do |(to, _rev, cap)|
+```