1. 程式人生 > >淺析逆元、擴充套件歐幾里得、類歐幾里得和莫比烏斯反演(填坑ing)

淺析逆元、擴充套件歐幾里得、類歐幾里得和莫比烏斯反演(填坑ing)

逆元

一點沒有多大用的東西

  • 在數論裡面,我們不把倒數叫做倒數,而叫做逆元(純屬裝逼)

  • 逆元的作用很大,先來看點easy的栗子

某些性質

a+bamodp+bmodp(modp)
abamodpbmodp(modp)
abamodpbmodp(modp)
  • 前面三個都是對的(不需要證明是因為我不會證)

  • 但是

    (a÷b)modp((amodp)÷(bmodp))mo
    dp

(÷是整除)

  • 隨便舉個例子就知道它不成立

隨便搞一下

這是不是說我們對除法下的大數模操作就GG了?naive

  • 先來看一些小學級別的東東,首先
ax=1
  • 明顯x=1a,我再加一個modp的條件,變成了
ax1(modp)

那麼現在x不一定等於1a

  • 對於ax=1,我們把x看成1a,而ax1(modp)加了一個同餘p
  • 我們不把x看成倒數,這時的xa關於p逆元

注意:當且僅當(a,p)=1p為質數時,x才存在

其他東東

又是一個栗子

(3×5)mod7=13×51(mod7)
  • 在這裡,513的作用是一樣的(乘3再模7都是1),所以,5是3關於7的逆元

注意一點,除了α=5還有其他整數α滿足3α1(mod7),如19
連百度都說逆元唯一,但是逆元不是唯一的!!!(感謝同學指出)

逆元的卵用

  • 前面已經說了一些東東了,相信逆元很好懂

  • 我們不妨把x的逆元用inv(x)來表示,那麼對於除法——

    (a÷b)modp=(a×inv(b))modp=(amodp×inv(b)modp)modp

難搞的除法變成了乘法,水了很多

how to get 逆元?

way one

基礎數論裡面有兩條著名的定理:尤拉定理費馬小定理