當 \(a,p\in \mathbb\) 且 \(p\) 為質數,且 \(a\not\equiv 0\pmod\) 時有:\(a^\equiv 1\pmod\)。
所以 \(a^b\equiv a^\pmod p\)。
當 \(a,m\in \mathbb\),且 \(\gcd(a,m)=1\) 時有: \(a^\equiv 1\pmod\)。
這裡 \(\varphi(x)\) 是數論中的尤拉函式。
所以 \(a^b\equiv a^\pmod m\)。
當 \(a,m\in \mathbb\) 時有:
\(a^b\equiv\left\a^b&,b<\varphi(m)\\a^&,b\ge\varphi(m)\end\right.\pmod m\)
ll gcd(ll x, ll y)
對於 \(ax+by=c\) 這個式子,求出 \(x,y\).
現推比較簡單:
\[\begin
&bx'+(a\bmod b)y'=c\\
&bx'+(a-a / b\cdot b)y'=c\\
&ay'+b(x'-a/b\cdot y')=c\\
\\&故\ x = y',\ y = x'-a/b\cdot y'
\end
\]
void exgcd(ll a, ll b, ll &x, ll &y)
exgcd(b, a % b, x, y);
ll t = x; x = y, y = t - a / b * y;
}
注意事項咕咕咕
個人認為比 crt 更加好理解和記憶。
假設有 \(n\) 個同餘方程:
\[x\equiv b_1\pmod\\
x\equiv b_2\pmod\\
\cdots\\
x\equiv b_n\pmod\\
\]可以直接使用 exgcd 將這些同餘方程合併:
\[b_1+k_1p_1=b_2+k_2p_2\pmod(p1,p2)}
\]根據這一點,用 exgcd 求出 \(k_1,k_2\) 即可將方程合併。
用於模數為質數,但是較小的時候,求組合數:
\[\binom=\binom\binom
\]當模數不是質數時,如果分解質因數,每個質因數的次數都為 \(1\),那麼分開做,再用 crt 合併即可。
否則要用到 exlucas。
咕咕咕
數論基礎題
十多天沒寫題了,來兩道基礎題練練手 全部51nod上面的 1240 莫比烏斯函式 基準時間限制 1 秒 空間限制 131072 kb 分值 0 難度 基礎題 莫比烏斯函式,由德國數學家和天文學家莫比烏斯提出。梅滕斯 mertens 首先使用 n miu n 作為莫比烏斯函式的記號。據說,高斯 gau...
數論學習筆記
這兩天一直再看數論方面的東西,心裡也想了很多的東西,湊著現在有時間,寫寫也整理一下思路,學習數論的第一感覺就是東西多,亂雜,性質定理公式太別多。但是思路理清楚,就好了。在這裡推薦和我一樣數論剛入門的人,看陳景潤寫的初等數論一書,我感覺寫的真不錯,看完後,思路感覺非常的清晰。當然東西也特別多,東西真是...
初等數論筆記
威爾遜 wilson 定理 當 p為質數時 p 1 p 1 1 modp 除了 1 和 p 1之外的數都可以和自己的逆元相乘得到么元 1 其逆定理為,若 p 1且 p 1 1 modp 則 p 為質數 當 p為質數,且 x 與 p互質時 xp 1 1 modp 當 x與 p互質時 x p 1 mod...