Gcd
クラス · モノイドの要件
template <class T>
struct Gcd;
概要
最大公約数モノイド
gcd(0, x) = x なので 0 が単位元。
テンプレートパラメータ
| 名前 | 説明 |
|---|---|
T |
要素の型 |
計算量
idは $O(1)$、opは $O(\log\min(lhs,rhs))$
静的メンバ関数
| 名前 | 説明 | 計算量 |
|---|---|---|
id |
単位元0を返す | $O(1)$ |
op |
最大公約数を返す | $O(\log\min(lhs,rhs))$ |
メンバ型
| 名前 | 説明 | 計算量 |
|---|---|---|
value_type |
値型 | 型エイリアスで実行時計算量はない |