下載本文檔
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)
文檔簡介
1、在計算機程序設(shè)計中通常都有MOD運算,它的含義是 取得兩個整數(shù)相除后結(jié)果的余數(shù)。例如:7 mod 3 = 1 因為7 除以 3 商2余1。余數(shù)1即執(zhí)行MOD運算后的結(jié)果 模p運算給定一個正整數(shù)p,任意一個整數(shù)n,一定存在等式 n = kp + r 其中k、r是整數(shù),且 0 r < p,稱呼k為n除以p的商,r為n除以p的余數(shù)。對于正整數(shù)p和整數(shù)a,b,定義如下運算: 取模運算:a mod p 表示a除以p的余數(shù)。 模p加法:(a + b) mod p ,其結(jié)果是a+b算術(shù)和除以p的余數(shù),也就是說,(a+b) = kp +r,則 (a+b) mod p = r。 模p減法:(a-
2、b) mod p ,其結(jié)果是a-b算術(shù)差除以p的余數(shù)。 模p乘法:(a × b) mod p,其結(jié)果是 a × b算術(shù)乘法除以p的余數(shù)。 可以發(fā)現(xiàn),模p運算和普通的四則運算有很多類似的規(guī)律,如: 簡單的證明其中第一個公式: (a+b) mod p + c) mod p = (a + (b+c) mod p) mod p假設(shè)a = k1*p + r1b = k2*p + r2c = k3*p + r3a+b = (k1 + k2) p + (r1 + r2)如果(r1 + r2) >= p ,則(a+b) mod p = (r1 + r2) -p否則(a+b) mod
3、p = (r1 + r2)再和c進行模p和運算,得到結(jié)果為 r1 r2 + r3 的算術(shù)和除以p的余數(shù)。對右側(cè)進行計算可以得到同樣的結(jié)果,得證。 模p相等如果兩個數(shù)a、b滿足a mod p = b mod p,則稱他們模p相等,記做 a b mod p可以證明,此時a、b滿足 a = kp + b,其中k是某個整數(shù)。對于模p相等和模p乘法來說,有一個和四則運算中迥然不同得規(guī)則。在四則運算中,如果c是一個非0整數(shù),則 ac = bc 可以得出 a =b但是在模p運算中,這種關(guān)系不存在,例如: (3 x 3) mod 9 = 0(6 x 3) mod 9 = 0但是3 mod 9 = 3
4、6 mod 9 =6定理(消去律):如果gcd(c,p) 1 ,則 ac bc mod p 可以推出 a b mod p證明:因為ac bc mod p所以ac = bc + kp,也就是c(a-b) = kp因為c和p沒有除1以外的公因子,因此上式要成立必須滿足下面兩個條件中的一個1) c能整除k2) a = b如果2不成立,則c|kp因為c和p沒有公因子,因此顯然c|k,所以k = ck'因此c(a-b)kp可以表示為c(a-b) =ck'p因此a-b = k'p,得出a b mod p如果a = b,則a b mod p 顯然成立得證歐拉函數(shù)歐拉函數(shù)是數(shù)論中很重要
5、的一個函數(shù),歐拉函數(shù)是指:對于一個正整數(shù)n,小于n且和n互質(zhì)的正整數(shù)的個數(shù),記做:(n),其中(1)被定義為1,但是并沒有任何實質(zhì)的意義。定義小于n且和n互質(zhì)的數(shù)構(gòu)成的集合為Zn,稱呼這個集合為n的完全余數(shù)集合。顯然,對于素數(shù)p,(p)= p -1.對于兩個素數(shù)p、q,他們的乘積n = pq 滿足(n) =(p-1)(q-1)證明:對于質(zhì)數(shù)p,q,滿足(n) =(p-1)(q-1)考慮n的完全余數(shù)集Zn = 1,2,.,pq -1而不和n互質(zhì)的集合由下面三個集合的并構(gòu)成:1) 能夠被p整除的集合p,2p,3p,.,(q-1)p 共計q-1個2) 能夠被q整除的集合q,2q,3q,.,(p-1)
6、q 共計p-1個3) 很顯然,1、2集合中沒有共同的元素,因此Zn中元素個數(shù) pq - (p-1 + q- 1 + 1) = (p-1)(q-1) 歐拉定理對于互質(zhì)的整數(shù)a和n,有a(n) 1 mod n 證明:首先證明下面這個命題:對于集合Zn=x1,x2,.,x(n),考慮集合S = ax1 mod n,ax2mod n,.,ax(n) mod n則S = Zn1) 由于a,n互質(zhì),xi 也與n互質(zhì),則axi 也一定于p互質(zhì),因此任意xi, axi mod n 必然是Zn的一個元素2) 對于Zn中兩個元素xi 和xj,如果xi xj則axi mod n axi mod n,這個由
7、a、p互質(zhì)和消去律可以得出。所以,很明顯,S=Zn既然這樣,那么(ax1 × ax2×.×ax(n))mod n= (ax1 mod n × ax2 mod n × . × ax(n mod n)mod n= (x1 × x2 × . × x(n)mod n考慮上面等式左邊和右邊左邊等于(a(n) × (x1 × x2 × . × x(n))mod n) mod n右邊等于x1 × x2 × . × x(n))mod n而x1 × x2 × . × x(n))mod n和p互質(zhì)根據(jù)消去律,可以從等式兩邊約去,就得到:a(n) 1 mod n推論:對于互質(zhì)的數(shù)a、n,滿足a(n)+1) a mod n 費馬定理 a是不能被質(zhì)數(shù)p整除的正整數(shù),則有a<S
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025版智能便利店技術(shù)授權(quán)及門店運營合同4篇
- 個人財務(wù)規(guī)劃服務(wù)合同2024
- 2025年水電設(shè)施智能化改造安裝合同4篇
- 二零二五版光盤復(fù)制與創(chuàng)意設(shè)計及制作合同3篇
- 三方協(xié)作2024年勞務(wù)分包協(xié)議模板版A版
- 2025版民爆物品安全評估與風(fēng)險管理合同模板4篇
- 2024通信工程智能化設(shè)備采購及安裝服務(wù)協(xié)議3篇
- 2025年度腳手架安裝與拆卸工程承包合同范本4篇
- 校園心理劇在學(xué)生群體中的運用
- 小學(xué)科學(xué)課程資源的創(chuàng)新利用與教育效果
- 2025年度房地產(chǎn)權(quán)證辦理委托代理合同典范3篇
- 柴油墊資合同模板
- 湖北省五市州2023-2024學(xué)年高一下學(xué)期期末聯(lián)考數(shù)學(xué)試題
- 城市作戰(zhàn)案例研究報告
- 【正版授權(quán)】 ISO 12803:1997 EN Representative sampling of plutonium nitrate solutions for determination of plutonium concentration
- 道德經(jīng)全文及注釋
- 2024中考考前地理沖刺卷及答案(含答題卡)
- 多子女贍養(yǎng)老人協(xié)議書范文
- 彩票市場銷售計劃書
- 骨科抗菌藥物應(yīng)用分析報告
- 支付行業(yè)反洗錢與反恐怖融資
評論
0/150
提交評論