group_op

関数 · ポテンシャル付き素集合データ構造（可換・非可換どちらの群でも可）

// (1)
template <multiplicative_group T>
T group_op(const T &a, const T &b);

// (2)
template <additive_group T>
T group_op(const T &a, const T &b);

概要

(1) 群 T の二項演算 a・b

• 計算量: T の乗算 1 回

(2) 群 T の二項演算 a・b

• 計算量: T の加算 1 回

関連項目

• additive_group — 加法的に書かれた可換群か（合成 +・逆元 単項 -・単位元 T(0)）
• multiplicative_group — 乗法的に書かれた群か（合成 *・逆元 .inv()・単位元 T()）
• group_identity — 群 T の単位元
• group_inv — 群 T の逆元 $a^{-1}$
• group — potentialized_union_find が扱える群
• potentialized_union_find — ポテンシャル付き素集合データ構造（可換・非可換どちらの群でも可）