主頁 > 移動端開發 > 簡單數論總結(整除)

簡單數論總結(整除)

2020-10-19 08:15:52 移動端開發

數論經典問題

  • 整除的幾個性質
  • 數論小常識
  • 模運算的分配率
  • 模運算的放縮性

整除的幾個性質

  1. 傳遞性:如果 a ∣ b a|b ab b ∣ c b|c bc,則 a ∣ c a|c ac
    證明:
    ∵ a ∣ b ∵a|b ab ∴ ∴ a × x = b ( x ∈ Z a×x=b(x∈Z a×x=b(xZ x ≠ 0 ) x≠0) x?=0)
    ∵ b ∣ c ∵b|c bc ∴ ∴ b × y = c ( y ∈ Z b×y=c(y∈Z b×y=c(yZ y ≠ 0 ) y≠0) y?=0)
    ∴ ∴ 即證: a ∣ a × x × y a|a×x×y aa×x×y
    顯然成立,得證

  2. a ∣ b a|b ab a ∣ c a|c ac可化為對于任意的整數 x x x y y y,有 a ∣ ( b x + c y ) a|(bx+cy) a(bx+cy)
    證明:
    a s = b as=b as=b ( s ≠ 0 , s ∈ Z ) (s≠0,s∈Z) (s?=0,sZ)
    a t = c at=c at=c ( t ≠ 0 , t ∈ Z ) (t≠0,t∈Z) (t?=0,tZ)
    ∴ b x + c y = a s x + a t y = a ( s x + t y ) ∴bx+cy=asx+aty=a(sx+ty) bx+cy=asx+aty=a(sx+ty)
    ∴ ∴ 即證: a ∣ a ( s x + t y ) a|a(sx+ty) aa(sx+ty)
    顯然成立,得證

  3. m m m不為 0 0 0,則 a ∣ b a|b ab等價于 m a ∣ m b ma|mb mamb
    證明:
    額……這個就不證了吧

  4. 設整數 x , y x,y x,y滿足下式: a x + b y = 1 ax+by=1 ax+by=1,且 a ∣ n a|n an b ∣ n b|n bn,那么 ( a b ) ∣ n (ab)|n (ab)n
    證明 ( a b ) ∣ n (ab)|n (ab)n
    a s = n as=n as=n ( s ≠ 0 , s ∈ Z ) (s≠0,s∈Z) (s?=0,sZ)
    b t = n bt=n bt=n ( t ≠ 0 , t ∈ Z ) (t≠0,t∈Z) (t?=0,tZ)
    欲證: ( a b ) ∣ n (ab)|n (ab)n
    即證: n a b ∈ Z \frac{n}{ab}∈Z abn?Z
    ∵ n a b = n × 1 a b = n × a x + b y a b = n × ( x b + y a ) = n × x b + n × y a = t x + s y ∵\frac{n}{ab}=n×\frac{1}{ab}=n×\frac{ax+by}{ab}=n×(\frac{x}{b}+\frac{y}{a})=\frac{n×x}{b}+\frac{n×y}{a}=tx+sy abn?=n×ab1?=n×abax+by?=n×(bx?+ay?)=bn×x?+an×y?=tx+sy
    ∴ ∴ n a b ∈ Z \frac{n}{ab}∈Z abn?Z,得證

  5. b = q ? d + c b=q*d+c b=q?d+c,那么 d ∣ b d|b db的充要條件是 d ∣ c d|c dc
    自己證吧,我不想打了……(提示: b = q d + x d = ( q + x ) d , ( x ≠ 0 , x ∈ Z ) b=qd+xd=(q+x)d,(x≠0,x∈Z) b=qd+xd=(q+x)d,(x?=0,xZ)


數論小常識

較簡單,就不解釋了,
在這里插入圖片描述


模運算的分配率

對于整數 a a a b b b,其中 b b b不為 0 0 0,求 a a a除以 b b b的余數,稱為 a a a b b b,記為 a % b a\%b a%b.
模運算的性質:

分配率:模運算對加、減、乘具有分配率

假設對整數 a , b , m 1 , m 2 , n a, b, m1, m2,n a,b,m1,m2,n

  1. a = k 1 × n + m 1 a=k1×n+m1 a=k1×n+m1
  2. b = k 2 ? n + m 2 b=k2*n+m2 b=k2?n+m2

因此 ( a × b ) % n = ( a % n ) ? ( b % n ) = m 1 × m 2 (a×b)\%n=(a\%n)*(b\%n)=m1×m2 (a×b)%n=(a%n)?(b%n)=m1×m2


模運算的放縮性

在這里插入圖片描述

  1. 證明:
    a = b × s + c a=b×s+c a=b×s+c
    ∴ a × d = ( b × s + c ) × d ∴a×d=(b×s+c)×d a×d=(b×s+c)×d
    ∴ b × d × s + c × d = a × d ∴b×d×s+c×d=a×d b×d×s+c×d=a×d
    則原式顯然成立
  2. 證明:
    a = b × s + c a=b×s+c a=b×s+c
    b d × s + c d = a d \frac{b}{d}×s+\frac{c}{d}=\frac{a}{d} db?×s+dc?=da?
    ∴ ( b d , a b , s ∈ Z ) ∴(\frac{b}{d},\frac{a}{b},s∈Z) (db?,ba?,sZ)
    ∴ a c ∈ Z ∴\frac{a}{c}∈Z ca?Z

附加第三個式子:

a b % c = a % ( b × c ) b \frac{a}{b}\%c=\frac{a\%(b×c)}{b} ba?%c=ba%(b×c)?

證明:
由縮放性1的性質可得:在兩邊同時乘上 b b b可以發現,兩式子相同……


運用:快速冪
例子可見本人博客,


轉載請註明出處,本文鏈接:https://www.uj5u.com/yidong/179721.html

標籤:其他

上一篇:北郵 python 問題 C: 排隊前進

下一篇:關于在win 10上成功創建一個Django專案時遇到django-admin的手動配置環境變數問題。

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 【從零開始擼一個App】Dagger2

    Dagger2是一個IOC框架,一般用于Android平臺,第一次接觸的朋友,一定會被搞得暈頭轉向。它延續了Java平臺Spring框架代碼碎片化,注解滿天飛的傳統。嘗試將各處代碼片段串聯起來,理清思緒,真不是件容易的事。更不用說還有各版本細微的差別。 與Spring不同的是,Spring是通過反射 ......

    uj5u.com 2020-09-10 06:57:59 more
  • Flutter Weekly Issue 66

    新聞 Flutter 季度調研結果分享 教程 Flutter+FaaS一體化任務編排的思考與設計 詳解Dart中如何通過注解生成代碼 GitHub 用對了嗎?Flutter 團隊分享如何管理大型開源專案 插件 flutter-bubble-tab-indicator A Flutter librar ......

    uj5u.com 2020-09-10 06:58:52 more
  • Proguard 常用規則

    介紹 Proguard 入口,如何查看輸出,如何使用 keep 設定入口以及使用實體,如何配置壓縮,混淆,校驗等規則。

    ......

    uj5u.com 2020-09-10 06:59:00 more
  • Android 開發技術周報 Issue#292

    新聞 Android即將獲得類AirDrop功能:可向附近設備快速分享檔案 谷歌為安卓檔案管理應用引入可安全隱藏資料的Safe Folder功能 Android TV新主界面將顯示電影、電視節目和應用推薦內容 泄露的Android檔案暗示了傳說中的谷歌Pixel 5a與折疊屏新機 谷歌發布Andro ......

    uj5u.com 2020-09-10 07:00:37 more
  • AutoFitTextureView Error inflating class

    報錯: Binary XML file line #0: Binary XML file line #0: Error inflating class xxx.AutoFitTextureView 解決: <com.example.testy2.AutoFitTextureView android: ......

    uj5u.com 2020-09-10 07:00:41 more
  • 根據Uri,Cursor沒有獲取到對應的屬性

    Android: 背景:呼叫攝像頭,拍攝視頻,指定保存的地址,但是回傳的Cursor檔案,只有名稱和大小的屬性,沒有其他諸如時長,連ID屬性都沒有 使用 cursor.getInt(cursor.getColumnIndexOrThrow(MediaStore.Video.Media.DURATIO ......

    uj5u.com 2020-09-10 07:00:44 more
  • Android連載29-持久化技術

    一、持久化技術 我們平時所使用的APP產生的資料,在記憶體中都是瞬時的,會隨著斷電、關機等丟失資料,因此android系統采用了持久化技術,用于存盤這些“瞬時”資料 持久化技術包括:檔案存盤、SharedPreference存盤以及資料庫存盤,還有更復雜的SD卡記憶體儲。 二、檔案存盤 最基本存盤方式, ......

    uj5u.com 2020-09-10 07:00:47 more
  • Android Camera2Video整合到自己專案里

    背景: Android專案里呼叫攝像頭拍攝視頻,原本使用的 MediaStore.ACTION_VIDEO_CAPTURE, 后來因專案需要,改成了camera2 1.Camera2Video 官方demo有點問題,下載后,不能直接整合到專案 問題1.多次拍攝視頻崩潰 問題2.雙擊record按鈕, ......

    uj5u.com 2020-09-10 07:00:50 more
  • Android 開發技術周報 Issue#293

    新聞 谷歌為Android TV開發者提供多種新功能 Android 11將自動填表功能整合到鍵盤輸入建議中 谷歌宣布Android Auto即將支持更多的導航和數字停車應用 谷歌Pixel 5只有XL版本 搭載驍龍765G且將比Pixel 4更便宜 [圖]Wear OS將迎來重磅更新:應用啟動時間 ......

    uj5u.com 2020-09-10 07:01:38 more
  • 海豚星空掃碼投屏 Android 接收端 SDK 集成 六步驟

    掃碼投屏,開放網路,獨占設備,不需要額外下載軟體,微信掃碼,發現設備。支持標準DLNA協議,支持倍速播放。視頻,音頻,圖片投屏。好點意思。還支持自定義基于 DLNA 擴展的操作動作。好像要收費,沒體驗。 這里簡單記錄一下集成程序。 一 跟目錄的build.gradle添加私有mevan倉庫 mave ......

    uj5u.com 2020-09-10 07:01:43 more
最新发布
  • 歡迎頁輪播影片

    如圖,引導開始,球從上落下,同時淡入文字,然后文字開始輪播,最后一頁時停止,點擊進入首頁。 在來看看效果圖。 重力球先不講,主要歡迎輪播簡單實作 首先新建一個類 TextTranslationXGuideView,用于影片展示 文本是類似的,最后會有個圖片箭頭影片,布局很簡單,就是一個 TextVi ......

    uj5u.com 2023-04-20 08:40:31 more
  • 【FAQ】關于華為推送服務因營銷訊息頻次管控導致服務通訊類訊息

    一. 問題描述 使用華為推送服務下發IM訊息時,下發訊息請求成功且code碼為80000000,但是手機總是收不到訊息; 在華為推送自助分析(Beta)平臺查看發現,訊息發送觸發了頻控。 二. 問題原因及背景 2023年1月05日起,華為推送服務對咨詢營銷類訊息做了單個設備每日推送數量上限管理,具體 ......

    uj5u.com 2023-04-20 08:40:11 more
  • 歡迎頁輪播影片

    如圖,引導開始,球從上落下,同時淡入文字,然后文字開始輪播,最后一頁時停止,點擊進入首頁。 在來看看效果圖。 重力球先不講,主要歡迎輪播簡單實作 首先新建一個類 TextTranslationXGuideView,用于影片展示 文本是類似的,最后會有個圖片箭頭影片,布局很簡單,就是一個 TextVi ......

    uj5u.com 2023-04-20 08:39:36 more
  • 【FAQ】關于華為推送服務因營銷訊息頻次管控導致服務通訊類訊息

    一. 問題描述 使用華為推送服務下發IM訊息時,下發訊息請求成功且code碼為80000000,但是手機總是收不到訊息; 在華為推送自助分析(Beta)平臺查看發現,訊息發送觸發了頻控。 二. 問題原因及背景 2023年1月05日起,華為推送服務對咨詢營銷類訊息做了單個設備每日推送數量上限管理,具體 ......

    uj5u.com 2023-04-20 08:39:13 more
  • iOS從UI記憶體地址到讀取成員變數(oc/swift)

    開發除錯時,我們發現bug時常首先是從UI顯示發現例外,下一步才會去定位UI相關連的資料的。XCode有給我們提供一系列debug工具,但是很多人可能還沒有形成一套穩定的除錯流程,因此本文嘗試解決這個問題,順便提出一個暴論:UI顯示例外問題只需要兩個步驟就能完成定位作業的80%: 定位例外 UI 組 ......

    uj5u.com 2023-04-19 09:16:23 more
  • FIDE重磅更新!性能飛躍!體驗有禮!

    FIDE 開發者工具重構升級啦!實作500%性能提升,誠邀體驗! 一直以來不少開發者朋友在社區反饋,在使用 FIDE 工具的程序中,時常會遇到諸如加載不及時、代碼預覽/渲染性能不如意的情況,十分影響開發體驗。 作為技術團隊,我們深知一件趁手的開發工具對開發者的重要性,因此,在2023年開年,FinC ......

    uj5u.com 2023-04-19 09:16:15 more
  • 游戲內嵌社區服務開放,助力開發者提升玩家互動與留存

    華為 HMS Core 游戲內嵌社區服務提供快速訪問華為游戲中心論壇能力,支持玩家直接在游戲內瀏覽帖子和交流互動,助力開發者擴展內容生產和觸達的場景。 一、為什么要游戲內嵌社區? 二、游戲內嵌社區的典型使用場景 1、游戲內打開論壇 您可以在游戲內繪制論壇入口,為玩家提供沉浸式發帖、瀏覽、點贊、回帖、 ......

    uj5u.com 2023-04-19 09:15:46 more
  • iOS從UI記憶體地址到讀取成員變數(oc/swift)

    開發除錯時,我們發現bug時常首先是從UI顯示發現例外,下一步才會去定位UI相關連的資料的。XCode有給我們提供一系列debug工具,但是很多人可能還沒有形成一套穩定的除錯流程,因此本文嘗試解決這個問題,順便提出一個暴論:UI顯示例外問題只需要兩個步驟就能完成定位作業的80%: 定位例外 UI 組 ......

    uj5u.com 2023-04-19 09:14:53 more
  • FIDE重磅更新!性能飛躍!體驗有禮!

    FIDE 開發者工具重構升級啦!實作500%性能提升,誠邀體驗! 一直以來不少開發者朋友在社區反饋,在使用 FIDE 工具的程序中,時常會遇到諸如加載不及時、代碼預覽/渲染性能不如意的情況,十分影響開發體驗。 作為技術團隊,我們深知一件趁手的開發工具對開發者的重要性,因此,在2023年開年,FinC ......

    uj5u.com 2023-04-19 09:14:08 more
  • 游戲內嵌社區服務開放,助力開發者提升玩家互動與留存

    華為 HMS Core 游戲內嵌社區服務提供快速訪問華為游戲中心論壇能力,支持玩家直接在游戲內瀏覽帖子和交流互動,助力開發者擴展內容生產和觸達的場景。 一、為什么要游戲內嵌社區? 二、游戲內嵌社區的典型使用場景 1、游戲內打開論壇 您可以在游戲內繪制論壇入口,為玩家提供沉浸式發帖、瀏覽、點贊、回帖、 ......

    uj5u.com 2023-04-19 09:08:34 more