noshi91のメモ

データ構造のある風景

2021-02-08から1日間の記事一覧

{x | b^x = a (mod m)} の構造

概要 が与えられて の構造を観察します。 結論 について、次のうちいずれかが成り立ちます。 証明 とすると、中国剰余定理から 。 を 1 つ固定して考えると、 のとき、 は存在しないか、一意に定まる。 のとき、 の形の条件が付く。 のとき、 は存在しないか…