比浏览器更快的访问！
25 关系: 卢卡斯-莱默检验法，同餘，合数，多項式，多項式時間，布雷迪·哈蘭，广义黎曼猜想，亨德里克·倫斯特拉，二項式係數，二进制，互質，确定性算法，算法，米勒-拉宾检验，素数，索菲熱爾曼質數，猜想，計算複雜性理論，費馬數，费马小定理，指數時間，有限域，最大公因數，施普林格科学+商业媒体，数学年刊。
卢卡斯-莱默检验法
数学中，卢卡斯-莱默检验法（Lucas–Lehmer primality test）是检验梅森数的素性检验，是由爱德华·卢卡斯于1878年完善，随后于1930年代将其改进。 因特网梅森素数大搜索用这个检验法找到了不少很大的素数，最近几个最大的素数就是这个项目发现的。由于梅森数比随机选择的整数更有可能是素数，因此他们认为这是一个极有用的方法。.
新！!: AKS質數測試和卢卡斯-莱默检验法 · 查看更多 »
同餘
数学上，同余（congruence modulo，符號：≡）是數論中的一種等價關係。當两个整数除以同一个正整数，若得相同-zh-hans:余数; zh-hant:餘數;-，则二整数同余。同餘是抽象代數中的同餘關係的原型。最先引用同余的概念与「≡」符号者为德國数学家高斯。.
新！!: AKS質數測試和同餘 · 查看更多 »
合数
合數（也稱為合成數）是因數除了1和其本身外具有另一因數的正整數（定義為包含1和本身的因數大於或等於3個的正整數）。依照定義，每一個大於1的整數若不是質數，就會是合數。而0與1則被認為不是質數，也不是合數。例如，整數14是一個合數，因為它可以被分解成2 × 7。 起初105个合数为：4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21, 22, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 38, 39, 40, 42, 44, 45, 46, 48, 49, 50, 51, 52, 54, 55, 56, 57, 58, 60, 62, 63, 64, 65, 66, 68, 69, 70, 72, 74, 75, 76, 77, 78, 80, 81, 82, 84, 85, 86, 87 88, 90, 91, 92, 93, 94, 95, 96, 98, 99, 100, 102, 104, 105, 106, 108, 110, 111, 112, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 128, 129, 130, 132, 133, 134, 135, 136, 138, 140,141,142,143,144,145,146,147,148,150.
新！!: AKS質數測試和合数 · 查看更多 »
多項式
多项式（Polynomial）是代数学中的基础概念，是由称为未知数的变量和称为系数的常数通过有限次加减法、乘法以及自然数幂次的乘方运算得到的代数表达式。多项式是整式的一种。未知数只有一个的多项式称为一元多项式；例如x^2-3x+4就是一个一元多项式。未知数不止一个的多项式称为多元多项式，例如就是一個三元多项式。 可以写成只由一项构成的多项式也称为单项式。如果一项中不含未知数，则称之为常数项。 多项式在数学的很多分支中乃至许多自然科学以及工程学中都有重要作用。.
新！!: AKS質數測試和多項式 · 查看更多 »
多項式時間
多項式時間（Polynomial time）在計算複雜度理論中，指的是一個問題的計算時間m(n)不大於問題大小n的多項式倍數。任何抽象機器都擁有一複雜度類，此類包括可於此機器以多項式時間求解的問題。 以數學描述的話，則可說m(n).
新！!: AKS質數測試和多項式時間 · 查看更多 »
布雷迪·哈蘭
布雷迪·約翰·哈蘭（Brady Haran，）是位生於澳大利亞的獨立獨立影片製作者。他主要在YouTube製作教育影片，及在BBC裏製作紀錄片。他有很多個YouTube頻道，截至2016年2月26日，哈蘭總共有16個頻道，當中主要的有「數字狂」（Numberphile）和「元素影片」（Periodic Videos）。.
新！!: AKS質數測試和布雷迪·哈蘭 · 查看更多 »
广义黎曼猜想
黎曼猜想是数学中最重要的猜想之一，描述了黎曼ζ函数非平凡零点的分布规律。而其中黎曼ζ函数可以用各种整体L函数（global L-function）替代，由此得到黎曼猜想不同类型的推广。这些推广的猜想描述的是不同L函数非平凡零点分布的规律。许多数学家相信这些猜想是正确的。不过其中仅有部分函数域情形下的推广得到了证明。 整体L函数可以与椭圆曲线、数域（此时称为戴德金ζ函数）、马斯形式（Maass form）或狄利克雷特征（此时称为狄利克雷L函数）相联系。其中，描述戴德金ζ函数的黎曼猜想被称为扩展黎曼猜想（extended Riemann hypothesis，ERH），而描述狄利克雷L函数的黎曼猜想则被称为广义黎曼猜想（generalized Riemann hypothesis，GRH）。（也有许多数学家用“广义黎曼猜想”用作对各种整体L函数推广的总称，而非单指狄利克雷L函数下的情形。）.
新！!: AKS質數測試和广义黎曼猜想 · 查看更多 »
亨德里克·倫斯特拉
亨德里克·倫斯特拉（Hendrik Lenstra，）是一位荷蘭籍數學家。.
新！!: AKS質數測試和亨德里克·倫斯特拉 · 查看更多 »
二項式係數
二項式係數在數學上是二項式定理中的係數族。其必然為正整數，且能以兩個非負整數為參數確定，此兩參數通常以n和k代表，並將二項式係數寫作\tbinom nk ，亦即是二項式冪(1 + x) n的多項式展式中，x k項的係數。如將二項式係數的n值順序排列成行，每行為k值由0至n列出，則構成帕斯卡三角形。 此數族亦常見於其他代數學領域中，尤其是組合數學。任何有n個元素的集合，由其衍生出擁有k個元素的子集，即由其中任意k個元素的組合，共有\tbinom nk個。故此\tbinom nk亦常讀作「n選取k」。二項式係數的特性使表達式\tbinom nk的定義不再局限於n和k均為非負整數及，然此等表達式仍被稱為二項式係數。 雖然此數族早已被發現（見帕斯卡三角形），但表達式\tbinom nk則是由安德烈亚斯·冯·厄廷格豪森於1826年始用。最早探討二項式係數的論述是十世紀的Halayudha寫的印度教典籍《Pingala的計量聖典》（chandaḥśāstra），及至約1150年，印度數學家Bhaskaracharya於其著作《Lilavati》Lilavati 第6節，第4章（見）。 中給出一個簡單的描述。 二項式係數亦有不同的符號表達方式，包括：C(n, k)、nCk、nCk、C^_，其中的C代表組合（combinations）或選擇（choices）。.
新！!: AKS質數測試和二項式係數 · 查看更多 »
二进制
在數學和數字電路中，二進制（binary）數是指用二進制記數系統，即以2為基數的記數系統表示的數字。這一系統中，通常用兩個不同的符號0（代表零）和1（代表一）來表示。以2為基數代表系統是二進位制的。數字電子電路中，邏輯門的實現直接應用了二進制，因此現代的計算機和依赖計算機的設備裡都用到二進制。每個數字稱為一個位元（二進制位）或比特（Bit，Binary digit的縮寫）。.
新！!: AKS質數測試和二进制 · 查看更多 »
互質
互质（英文：coprime，符號：⊥，又稱互素、relatively prime、mutually prime、co-prime）。在數論中，如果兩個或兩個以上的整數的最大公因數是 1，則稱它們為互质。依此定義：.
新！!: AKS質數測試和互質 · 查看更多 »
确定性算法
确定性算法（deterministic algorithm）是计算机算法的一类。如果以算法的每一步骤是否确定来分类，计算机算法可以分为确定性算法和随机化算法。 Category:演算法 Category:算法分析.
新！!: AKS質數測試和确定性算法 · 查看更多 »
算法
-- 算法（algorithm），在數學（算學）和電腦科學之中，為任何良定义的具體計算步驟的一个序列，常用於計算、和自動推理。精確而言，算法是一個表示爲有限長列表的。算法應包含清晰定義的指令用於計算函數。 算法中的指令描述的是一個計算，當其時能從一個初始狀態和初始輸入（可能爲空）開始，經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法，包含了一些隨機輸入。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，並在其后尝试定义或者中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數，阿隆佐·邱奇於1936年提出的λ演算，1936年的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺想法難以定義爲形式化算法的情況。.
新！!: AKS質數測試和算法 · 查看更多 »
米勒-拉宾检验
米勒-拉賓質數判定法是一种質數判定法則，利用随机化算法判断一个数是合数还是可能是素数。卡内基梅隆大学的计算机系教授Gary Lee Miller首先提出了基于广义黎曼猜想的确定性算法，由于广义黎曼猜想并没有被证明，其后由以色列耶路撒冷希伯來大學的Michael O. Rabin教授作出修改，提出了不依赖于该假设的随机化算法。.
新！!: AKS質數測試和米勒-拉宾检验 · 查看更多 »
素数
質--數（Prime number），又称素--数，指在大於1的自然数中，除了1和該数自身外，無法被其他自然数整除的数（也可定義為只有1與該數本身两个正因数的数）。大於1的自然數若不是質數，則稱之為合數。例如，5是個質數，因為其正因數只有1與5。而6則是個合數，因為除了1與6外，2與3也是其正因數。算術基本定理確立了質數於數論裡的核心地位：任何大於1的整數均可被表示成一串唯一質數之乘積。為了確保該定理的唯一性，1被定義為不是質數，因為在因式分解中可以有任意多個1（如3、1×3、1×1×3等都是3的有效因數分解）。 古希臘數學家歐幾里得於公元前300年前後證明有無限多個質數存在（欧几里得定理）。現時人們已發現多種驗證質數的方法。其中試除法比較簡單，但需時較長：設被測試的自然數為n，使用此方法者需逐一測試2與\sqrt之間的整數，確保它們無一能整除n。對於較大或一些具特別形式（如梅森數）的自然數，人們通常使用較有效率的演算法測試其是否為質數（例如277232917-1是直至2017年底為止已知最大的梅森質數）。雖然人們仍未發現可以完全區別質數與合數的公式，但已建構了質數的分佈模式（亦即質數在大數時的統計模式）。19世紀晚期得到證明的質數定理指出：一個任意自然數n為質數的機率反比於其數位（或n的對數）。 許多有關質數的問題依然未解，如哥德巴赫猜想（每個大於2的偶數可表示成兩個素數之和）及孿生質數猜想（存在無窮多對相差2的質數）。這些問題促進了數論各個分支的發展，主要在於數字的解析或代數方面。質數被用於資訊科技裡的幾個程序中，如公鑰加密利用了難以將大數分解成其質因數之類的性質。質數亦在其他數學領域裡形成了各種廣義化的質數概念，主要出現在代數裡，如質元素及質理想。.
新！!: AKS質數測試和素数 · 查看更多 »
索菲熱爾曼質數
#重定向 索菲·熱爾曼質數.
新！!: AKS質數測試和索菲熱爾曼質數 · 查看更多 »
猜想
數學中的猜想是在根據不完全資訊下的結論及命题，是不知其真假的數學敘述，它可能為真，暫時未被證明或反證 。某些猜想會稱為「假設」，尤其是當它是針對某些問題提出的答案。 像黎曼猜想（目前仍然是猜想）或是費馬最後定理（以往是猜想，一直到1995年才得證）都對數學歷史帶來許多的進展，而且為了證明這些猜想，也發展了新的數學領域。 當猜想被證明後，它便會成為定理。猜想只要未成為定理，數學家都要小心在邏輯結構之中使用這些猜想。猜想主要因為類比推理和偶然發現的巧合而出現。數學家通常會使用不完全歸納法，來測試自己的猜想。例如費馬曾經根據首四個費馬數是素數，便猜想所有費馬數都是素數（此猜想已被推翻）。.
新！!: AKS質數測試和猜想 · 查看更多 »
計算複雜性理論
计算复杂性理论（Computational complexity theory）是理论计算机科学和数学的一个分支，它致力于将可计算问题根据它们本身的复杂性分类，以及将这些类别联系起来。一个可计算问题被认为是一个原则上可以用计算机解决的问题，亦即这个问题可以用一系列机械的数学步骤解决，例如算法。 如果一个问题的求解需要相当多的资源（无论用什么算法），则被认为是难解的。计算复杂性理论通过引入数学计算模型来研究这些问题以及定量计算解决问题所需的资源（时间和空间），从而将资源的确定方法正式化了。其他复杂性测度同样被运用，比如通信量（应用于通信复杂性），电路中门的数量（应用于电路复杂性）以及中央处理器的数量（应用于并行计算）。计算复杂性理论的一个作用就是确定一个能或不能被计算机求解的问题的所具有的实际限制。 在理论计算机科学领域，与此相关的概念有算法分析和可计算性理论。两者之间一个关键的区别是前者致力于分析用一个确定的算法来求解一个问题所需的资源量，而后者则是在更广泛意义上研究用所有可能的算法来解决相同问题。更精确地说，它尝试将问题分成能或不能在现有的适当受限的资源条件下解决这两类。相应地，在现有资源条件下的限制正是区分计算复杂性理论和可计算性理论的一个重要指标：后者关心的是何种问题原则上可以用算法解决。.
新！!: AKS質數測試和計算複雜性理論 · 查看更多 »
費馬數
費馬數是以数学家费马命名一组自然数，具有形式： 其中n为非负整数。 若2n + 1是素数，可以得到n必须是2的幂。（若n.
新！!: AKS質數測試和費馬數 · 查看更多 »
费马小定理
费马小定理是数论中的一个定理：假如a是一个整数，p是一个質数，那么a^p - a 是p的倍数，可以表示为 如果a不是p的倍数，这个定理也可以写成 这个书写方式更加常用。（符号的应用请参见同餘。）.
新！!: AKS質數測試和费马小定理 · 查看更多 »
指數時間
在計算複雜度理論中，指數時間指的是一個問題求解所需要的計算時間m(n)，依輸入--的大小n而呈指數成長（即輸入--的數量依線性成長，所花的時間將會以指數成長）。 以數學術語來說，便是若存在 k > 1，則此m（n）.
新！!: AKS質數測試和指數時間 · 查看更多 »
有限域
在数学中，有限域（finite field）或伽罗瓦域（Galois field，为纪念埃瓦里斯特·伽罗瓦命名）是包含有限个元素的域。与其他域一样，有限域是进行加减乘除运算都有定义并且满足特定规则的集合。有限域最常见的例子是当 为素数时，整数对 取模。 有限域的元素个数称为它的序。 有限域在许多数学和计算机科学领域的基础，包括数论、代数几何、伽羅瓦理論、有限幾何學、密码学和编码理论。.
新！!: AKS質數測試和有限域 · 查看更多 »
最大公因數
数学中，兩個或多個整數的最大公因數（greatest common factor，hcf）指能够整除这些整数的最大正整数（这些整数不能都为零）。例如8和12的最大公因数为4。最大公因数也称最大公约数（greatest common divisor，gcd）。 整数序列a的最大公因数可以記為(a_1, a_2, \dots, a_n)或\gcd(a_1, a_2, \dots, a_n)。 求兩個整數最大公因數主要的方法：.
新！!: AKS質數測試和最大公因數 · 查看更多 »
施普林格科学+商业媒体
施普林格科学+商业媒体（Springer Science+Business Media）或施普林格（Springer，），在柏林成立，是一个总部位于德国的世界性出版公司，它出版教科书、学术参考书以及同行评论性杂志，专--于科学、技术、数学以及医学领域。在科学、技术与医学领域中，施普林格是最大的书籍出版者，以及第二大世界性杂志出版者（最大的是爱思唯尔）。施普林格拥有超过60个出版社，每年出版1,900种杂志，5,500种新书，营业额为9.24亿欧元（2006年），雇有超过5,000名员工 。施普林格在柏林、海德堡、多德雷赫特（位于荷兰）与纽约设有主办事处。施普林格亚洲总部设在香港。2005年8月，施普林格在北京成立代表处。.
新！!: AKS質數測試和施普林格科学+商业媒体 · 查看更多 »
数学年刊
数学年刊（Annals of Mathematics）是普林斯顿大学和普林斯顿高等研究院办的数学期刊。.
新！!: AKS質數測試和数学年刊 · 查看更多 »
