主頁 >  其他 > 數論篇1——素數問題

數論篇1——素數問題

2020-09-29 18:34:12 其他

素數的判定

試除法

(1)普通

復雜度:$O(n)$

bool prime(int x){//判斷x是不是質數,是回傳true,不是回傳false 
    if(x <= 1) return false; 
    for(int i = 2; i < x; i ++){
        if(x % i == 0) return false;
    }
    return true;
}

(2)改進

復雜度:$O(\sqrt{n})$

bool prime(int x){
    if(x <= 1) return false; 
    for(int i = 2; i <= sqrt(x); i ++){
        if(x % i == 0) return false;
    }
    return true;
}
//用乘法可以避免根號的誤差
bool prime(int x){
    if(x <= 1) return false; 
    for(int i = 2; i * i <= x; i ++){
        if(x % i == 0) return false;
    }
    return true;
}

 根據題目不同,有可能你需要先預處理出 $1\sim N$這$N$個數是否是素數,就是俗稱的打表,再用上面的這些方法,復雜度就是$O(\sqrt{n})$,如果$N$特別大,就比較慢了,

埃式篩

原理:質數的倍數都不是質數

比如$2$是質數,那么$4,6,8,10,12...$都不是質數

然后看$3$是質數,那么$6,9,12,15,18,21...$都不是質數

然后看$4$,$4$已經被$2$標記為合數了,所以跳過

然后看$5$這樣一直回圈下去,

時間復雜度:$O(nloglogn)$

const int N = 100000 + 5;
bool P[N];
int total,prime[N];//就往大了開,反正不用的不算記憶體

void AiSieve() {
    for (int i = 2; i < N; i++) {
        if (!P[i]) {
            prime[total++] = i;
            for (int j = i * 2; j < N; j += i) {
                P[j] = true;
            }
        }
    }
}

線性素數篩選(歐拉篩)

在埃氏篩法的思想上,這個方法可以保證每個合數都被它最小的質因數篩去,所以一個數只會經過一次,

比如$12$,既是$2$的倍數,也是$3$的倍數,在埃氏篩中,會被$2$和$3$篩選兩次,而在歐拉篩中$12$只會被$6*2$篩選,而不會被$4*3$篩選,

時間復雜度為$O(n)$,其實對于埃氏篩,$loglogn$非常小,我們能碰到的問題級別,區別其實不太大(loglog(10^10) ≈ 5.2),把埃篩看成線性也無妨,畢竟好寫,很大,差了好幾倍,

核心思想:

紅色標注的地方是整個演算法的靈魂,保證每個合數被它最小的質因數篩去,

$i\ \%\ prime[j]==0$,就是如果出現 $prime[j]\ |\ i$,
那么一定有

$prime[j]\ |\ i*prime[j+1],prime[j]\ |\ i*prime[j+2]\ ...\ prime[j]\ |\ i*prime[tot-1]$

舉個例子,對著上面的來,i = 6時,(此時小于$6$的質數都被裝進prime里)

$6\ \%\ 2==0$,說明$2\ |\ 6$

那么一定有

$2\ |\ 6*3$,$2\ |\ 6*5$

也就是說$18$和$30$都有最小質因數$2$,$18=9*2,\ 30=15*2$,所以跳出回圈,保證每個合數被它最小的質因數篩去,

const int N = 100000 + 5;
bool M[N];//prime[i]表示i是不是質數 
int prime[N], tot;//p[N]用來存質數 
void EulerSieve() {
    for (int i = 2; i < N; i++) {
        M[i] = true;
    }
    for (int i = 2; i < N; i++) {
        if (M[i]) prime[tot++] = i;//把質數存起來 
        for (int j = 0; j < tot && i * prime[j] < N; j++) {
            M[i * prime[j]] = false;
            if (i % prime[j] == 0) break;
        }
    }
}

 拓展應用

上述演算法的除去打素數表,我們可以根據演算法的思想做一些別的事情,

(1)埃氏篩,獲取$1\sim N$數的所有素因子

const int N = 100000 + 5;
vector<int> prime_factor[N];
void get_prime_factor() {
    for (int i = 2; i < N; i++) {
        if (prime_factor[i].size() == 0) {//如果i是質數 
            for (int j = i; j < N; j += i) {
                prime_factor[j].push_back(i);
            }
        }
    }
}

(2)埃氏篩,獲取1~N數的所有素因數分解

const int N = 100000 + 5;
vector<int> prime_factor[N];
void factorization() {
    for (int i = 2; i < N; i++) {
        if (prime_factor[i].size() == 0) {//如果i是質數 
            for (int j = i; j < N; j += i) {
                int temp = j;
                while (temp >= i) {
                    if (temp % i == 0) {
                        prime_factor[j].push_back(i);
                        temp /= i;
                    }
                    else break;
                }
            }
        }
    }
}

Miller - Rabin素數測驗

本段落參考:http://www.matrix67.com/blog/archives/234

費馬小定理:

若$p$是質數,且$gcd(a,p) = 1$,那么$a^{p-1}mod\ p=1$

根據逆反命題的等價性,不滿足$2^{(n-1)} mod\ n = 1$的$n$一定不是素數;如果滿足的話則多半是素數,那么如果我只計算$2^{(n-1)} mod\ n$的值,那么素性判斷出錯的概率有多少?在前10億個自然數中共有50847534個素數,而滿足$2^{(n-1)} mod\ n = 1$的合數n有5597個,這樣算下來,演算法出錯的可能性約為0.00011,這個概率太高了,我們剛才只考慮了$a=2$的情況,對于式子$a^{(n-1)} mod\ n$,取不同的a可能導致不同的結果,一個合數可能在$a=2$時通過了測驗,但$a=3$時的計算結果卻排除了素數的可能,于是,人們擴展了偽素數的定義,稱滿足$a^{(n-1)} mod\ n = 1$的合數n叫做以a為底的偽素數,前10億個自然數中同時以2和3為底的偽素數只有1272個,這個數目不到剛才的$\frac{1}{4}$,這告訴我們如果同時驗證$a=2$和$a=3$兩種情況,演算法出錯的概率降到了0.000025,容易想到,選擇用來測驗的a越多,演算法越準確,通常我們的做法是,隨機選擇若干個小于待測數的正整數作為底數a進行若干次測驗,只要有一次沒有通過測驗就可以判定不是素數,這就是費馬素性測驗,

    但是居然就有這樣的合數,假設為n,它可以通過所有a(小于n,且滿足$(gcd,n)=1$的數)的測驗(這個說法不準確,詳見我在地核樓層的回復),而且第一個這樣極端的偽素數小得驚人,僅僅是一個三位數,561,前10億個自然數中這樣的數有600多個,

    Miller和Rabin兩個人的作業讓Fermat素性測驗邁出了革命性的一步,建立了傳說中的Miller-Rabin素性測驗演算法,新的測驗基于下面的定理:

二次探測定理:

若$p$為質數,$x^{2}\equiv 1(mod\ )p$,則有$x\equiv (mod\ p)$或$x\equiv p-1(mod\ p)$

演算法描述:

 

    Miller-Rabin素性測驗同樣是不確定演算法,我們把可以通過以a為底的Miller-Rabin測驗的合數稱作以a為底的強偽素數,第一個以2為底的強偽素數為2047,第一個以2和3為底的強偽素數則大到1 373 653,對于大數的素性判斷,目前Miller-Rabin演算法應用最廣泛,一般底數仍然是隨機選取,但當待測數不太大時,選擇測驗底數就有一些技巧了,比如,如果被測數小于4 759 123 141,那么只需要測驗三個底數2, 7和61就足夠了,當然,你測驗的越多,正確的范圍肯定也越大,如果你每次都用前7個素數(2, 3, 5, 7, 11, 13和17)進行測驗,所有不超過341 550 071 728 320的數都是正確的,如果選用2, 3, 7, 61和24251作為底數,那么$10^16$內唯一的強偽素數為46 856 248 255 981,這樣的一些結論使得Miller-Rabin演算法在OI中非常實用,通常認為,Miller-Rabin素性測驗的正確率可以令人接受,隨機選取k個底數進行測驗演算法的失誤率大概為$4^{-k}$,

完整代碼:

#include <iostream>
#include <math.h>
#include <time.h>
using namespace std;
int prime[5] = { 2, 3, 7, 61,24251 };

long long quickPower(long long down, long long e, long long mod) {
    long long a = down, res = 1;
    while (e) {
        if (e & 1)
            res = ((res % mod) * (a % mod)) % mod;
        a = ((a % mod) * (a % mod)) % mod;
        e >>= 1;
    }
    return res;
}
bool MillerRabin(long long p) {
    if (p == 1 || p == 0)return false;
    for (int i = 0; i < 5; i++) {
        if (p == prime[i])return true;
        if (p % prime[i] == 0 || p < prime[i])return false;
        int a = i, e = p - 1;
        if (p % prime[i] == 0 || e & 1)return false;
        while (!(e & 1)) {
            int res = quickPower(a, e, p);
            if (res == 1)
                e /= 2;
            else if (res == p - 1)
                return true;
            else 
                return false;
        }
    }
    return true;
}

int main() {
    long long N;
    while (cin >> N) {
        if (MillerRabin(N)) {
            cout << "Y" << endl;
        }
        else
            cout << "N" << endl;
    }
}

 素數的一些神奇性質

(1)所有大于$2$的素數都可以唯一地表示成兩個平方數之差,

證明如下:

(2)麥森數

如果$2^{p}-1$是素數,其中指數$p$一定也是素數,

證明如下:

原命題的逆否命題為:如果$p$不是素數,則$2^{p}-1$不是素數,

如果p不是素數,可以假設 $p=m\cdot n$

 $2^p-1=(2^m)^{n}-1=(x-1)(x^{n-1}+x^{n-2}+...+1), x=2^m$

 逆否命題成立,原命題成立,

拓展:

求$2^{p}-1$的位數,$2^{p}-1$和$2^{p}$的位數是相同的,因為$2^{p}$最后一個一定不為$0$,可以直接求$2^{p}$的位數,設$k=2^{p}$,根據$10^n$的位數為$n+1$,只要想辦法把$k=2^{p}$中的底數$2$轉換成$10$,指數$+1$就是位數了,根據$10^{log_{10}{2}}=2$,于是$k=(10^{log_{10}{2}})^p$,把$p$乘進去就是$k=10^{p\cdot log_{10}{2}}$,所以位數就是$p\cdot log_{10}{2}+1$(cmath中自帶log10()函式)

(3)當$n$為大于$2$的整數時,$2^{n}+1$和$2^{n}-1$兩個數中,如果其中一個數是素數,那么另一個數一定是合數,

證明如下:

$2^n$一定不能被$3$整除

如果$ (2 ^ {n} \% 3 == 1)$,則一定有:$2 ^{ n} - 1 \% 3 == 0$;

如果 $(2 ^ {n} \% 3 == 2)$,則一定有:$2 ^{ n} + 1 \% 3 == 0$;

也就是說,$2^{n}+1$和$2^{n}-1$中至少有一個是合數,

(4)大于$3$的素數一定是$6$的倍數$ ±1 $

證明如下:

素數$±1$必然是偶數,一定可以被2整除

素數除以$3$,如果余$1$,減$1$后余$0$,;如果余$2$,加$1$后余$0$,即可以素數$±1$后被$3$整除

結合上面兩行,素數$±1$,一定可以被$6$整除

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

標籤:其他

上一篇:用js刷劍指offer(復雜鏈表的復制)

下一篇:演算法天天練334:字串翻轉

標籤雲
其他(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)

熱門瀏覽
  • 網閘典型架構簡述

    網閘架構一般分為兩種:三主機的三系統架構網閘和雙主機的2+1架構網閘。 三主機架構分別為內端機、外端機和仲裁機。三機無論從軟體和硬體上均各自獨立。首先從硬體上來看,三機都用各自獨立的主板、記憶體及存盤設備。從軟體上來看,三機有各自獨立的作業系統。這樣能達到完全的三機獨立。對于“2+1”系統,“2”分為 ......

    uj5u.com 2020-09-10 02:00:44 more
  • 如何從xshell上傳檔案到centos linux虛擬機里

    如何從xshell上傳檔案到centos linux虛擬機里及:虛擬機CentOs下執行 yum -y install lrzsz命令,出現錯誤:鏡像無法找到軟體包 前言 一、安裝lrzsz步驟 二、上傳檔案 三、遇到的問題及解決方案 總結 前言 提示:其實很簡單,往虛擬機上安裝一個上傳檔案的工具 ......

    uj5u.com 2020-09-10 02:00:47 more
  • 一、SQLMAP入門

    一、SQLMAP入門 1、判斷是否存在注入 sqlmap.py -u 網址/id=1 id=1不可缺少。當注入點后面的引數大于兩個時。需要加雙引號, sqlmap.py -u "網址/id=1&uid=1" 2、判斷文本中的請求是否存在注入 從文本中加載http請求,SQLMAP可以從一個文本檔案中 ......

    uj5u.com 2020-09-10 02:00:50 more
  • Metasploit 簡單使用教程

    metasploit 簡單使用教程 浩先生, 2020-08-28 16:18:25 分類專欄: kail 網路安全 linux 文章標簽: linux資訊安全 編輯 著作權 metasploit 使用教程 前言 一、Metasploit是什么? 二、準備作業 三、具體步驟 前言 Msfconsole ......

    uj5u.com 2020-09-10 02:00:53 more
  • 游戲逆向之驅動層與用戶層通訊

    驅動層代碼: #pragma once #include <ntifs.h> #define add_code CTL_CODE(FILE_DEVICE_UNKNOWN,0x800,METHOD_BUFFERED,FILE_ANY_ACCESS) /* 更多游戲逆向視頻www.yxfzedu.com ......

    uj5u.com 2020-09-10 02:00:56 more
  • 北斗電力時鐘(北斗授時服務器)讓網路資料更精準

    北斗電力時鐘(北斗授時服務器)讓網路資料更精準 北斗電力時鐘(北斗授時服務器)讓網路資料更精準 京準電子科技官微——ahjzsz 近幾年,資訊技術的得了快速發展,互聯網在逐漸普及,其在人們生活和生產中都得到了廣泛應用,并且取得了不錯的應用效果。計算機網路資訊在電力系統中的應用,一方面使電力系統的運行 ......

    uj5u.com 2020-09-10 02:01:03 more
  • 【CTF】CTFHub 技能樹 彩蛋 writeup

    ?碎碎念 CTFHub:https://www.ctfhub.com/ 筆者入門CTF時時剛開始刷的是bugku的舊平臺,后來才有了CTFHub。 感覺不論是網頁UI設計,還是題目質量,賽事跟蹤,工具軟體都做得很不錯。 而且因為獨到的金幣制度的確讓人有一種想去刷題賺金幣的感覺。 個人還是非常喜歡這個 ......

    uj5u.com 2020-09-10 02:04:05 more
  • 02windows基礎操作

    我學到了一下幾點 Windows系統目錄結構與滲透的作用 常見Windows的服務詳解 Windows埠詳解 常用的Windows注冊表詳解 hacker DOS命令詳解(net user / type /md /rd/ dir /cd /net use copy、批處理 等) 利用dos命令制作 ......

    uj5u.com 2020-09-10 02:04:18 more
  • 03.Linux基礎操作

    我學到了以下幾點 01Linux系統介紹02系統安裝,密碼啊破解03Linux常用命令04LAMP 01LINUX windows: win03 8 12 16 19 配置不繁瑣 Linux:redhat,centos(紅帽社區版),Ubuntu server,suse unix:金融機構,證券,銀 ......

    uj5u.com 2020-09-10 02:04:30 more
  • 05HTML

    01HTML介紹 02頭部標簽講解03基礎標簽講解04表單標簽講解 HTML前段語言 js1.了解代碼2.根據代碼 懂得挖掘漏洞 (POST注入/XSS漏洞上傳)3.黑帽seo 白帽seo 客戶網站被黑帽植入劫持代碼如何處理4.熟悉html表單 <html><head><title>TDK標題,描述 ......

    uj5u.com 2020-09-10 02:04:36 more
最新发布
  • 2023年最新微信小程式抓包教程

    01 開門見山 隔一個月發一篇文章,不過分。 首先回顧一下《微信系結手機號資料庫被脫庫事件》,我也是第一時間得知了這個訊息,然后跟蹤了整件事情的經過。下面是這起事件的相關截圖以及近日流出的一萬條資料樣本: 個人認為這件事也沒什么,還不如關注一下之前45億快遞資料查詢渠道疑似在近日復活的訊息。 訊息是 ......

    uj5u.com 2023-04-20 08:48:24 more
  • web3 產品介紹:metamask 錢包 使用最多的瀏覽器插件錢包

    Metamask錢包是一種基于區塊鏈技術的數字貨幣錢包,它允許用戶在安全、便捷的環境下管理自己的加密資產。Metamask錢包是以太坊生態系統中最流行的錢包之一,它具有易于使用、安全性高和功能強大等優點。 本文將詳細介紹Metamask錢包的功能和使用方法。 一、 Metamask錢包的功能 數字資 ......

    uj5u.com 2023-04-20 08:47:46 more
  • vulnhub_Earth

    前言 靶機地址->>>vulnhub_Earth 攻擊機ip:192.168.20.121 靶機ip:192.168.20.122 參考文章 https://www.cnblogs.com/Jing-X/archive/2022/04/03/16097695.html https://www.cnb ......

    uj5u.com 2023-04-20 07:46:20 more
  • 從4k到42k,軟體測驗工程師的漲薪史,給我看哭了

    清明節一過,盲猜大家已經無心上班,在數著日子準備過五一,但一想到銀行卡里的余額……瞬間心情就不美麗了。最近,2023年高校畢業生就業調查顯示,本科畢業月平均起薪為5825元。調查一出,便有很多同學表示自己又被平均了。看著這一資料,不免讓人想到前不久中國青年報的一項調查:近六成大學生認為畢業10年內會 ......

    uj5u.com 2023-04-20 07:44:00 more
  • 最新版本 Stable Diffusion 開源 AI 繪畫工具之中文自動提詞篇

    🎈 標簽生成器 由于輸入正向提示詞 prompt 和反向提示詞 negative prompt 都是使用英文,所以對學習母語的我們非常不友好 使用網址:https://tinygeeker.github.io/p/ai-prompt-generator 這個網址是為了讓大家在使用 AI 繪畫的時候 ......

    uj5u.com 2023-04-20 07:43:36 more
  • 漫談前端自動化測驗演進之路及測驗工具分析

    隨著前端技術的不斷發展和應用程式的日益復雜,前端自動化測驗也在不斷演進。隨著 Web 應用程式變得越來越復雜,自動化測驗的需求也越來越高。如今,自動化測驗已經成為 Web 應用程式開發程序中不可或缺的一部分,它們可以幫助開發人員更快地發現和修復錯誤,提高應用程式的性能和可靠性。 ......

    uj5u.com 2023-04-20 07:43:16 more
  • CANN開發實踐:4個DVPP記憶體問題的典型案例解讀

    摘要:由于DVPP媒體資料處理功能對存放輸入、輸出資料的記憶體有更高的要求(例如,記憶體首地址128位元組對齊),因此需呼叫專用的記憶體申請介面,那么本期就分享幾個關于DVPP記憶體問題的典型案例,并給出原因分析及解決方法。 本文分享自華為云社區《FAQ_DVPP記憶體問題案例》,作者:昇騰CANN。 DVPP ......

    uj5u.com 2023-04-20 07:43:03 more
  • msf學習

    msf學習 以kali自帶的msf為例 一、msf核心模塊與功能 msf模塊都放在/usr/share/metasploit-framework/modules目錄下 1、auxiliary 輔助模塊,輔助滲透(埠掃描、登錄密碼爆破、漏洞驗證等) 2、encoders 編碼器模塊,主要包含各種編碼 ......

    uj5u.com 2023-04-20 07:42:59 more
  • Halcon軟體安裝與界面簡介

    1. 下載Halcon17版本到到本地 2. 雙擊安裝包后 3. 步驟如下 1.2 Halcon軟體安裝 界面分為四大塊 1. Halcon的五個助手 1) 影像采集助手:與相機連接,設定相機引數,采集影像 2) 標定助手:九點標定或是其它的標定,生成標定檔案及內參外參,可以將像素單位轉換為長度單位 ......

    uj5u.com 2023-04-20 07:42:17 more
  • 在MacOS下使用Unity3D開發游戲

    第一次發博客,先發一下我的游戲開發環境吧。 去年2月份買了一臺MacBookPro2021 M1pro(以下簡稱mbp),這一年來一直在用mbp開發游戲。我大致分享一下我的開發工具以及使用體驗。 1、Unity 官網鏈接: https://unity.cn/releases 我一般使用的Apple ......

    uj5u.com 2023-04-20 07:40:19 more