格罗弗算法（英語：Grover's algorithm）是一種量子算法，於1996年由電腦科學家洛夫·格罗弗提出。假設現在有一個未知的函數，格罗弗算法只需測試此未知的函數 O ( N ) {\displaystyle O({\sqrt {N}})} 次，其中 N {\displaystyle N}...

後量子密碼學的動力之一，因為目前記錄的資料可能在未來都仍是敏感資料。 目前量子計算的攻擊主要是針對公鑰演算法，大部份目前使用的對稱密鑰加密以及散列函數比較可以抵擋量子電腦的攻擊。量子的格罗弗算法確實可以加速對於對稱加密的攻擊，但密鑰長度加倍即可有效抵抗此攻擊。後量子的對稱密碼學和現行的對稱密碼學差異不大。...

最著名的演算法是用於因式分解的蕭爾演算法以及用於搜索非結構化數據庫，或無序列表的格罗弗算法。蕭爾演算法比最著名的經典分解算法（普通數域篩選法）運行得快得多（呈指數級）。對於相同的任務，格羅弗演算法的查詢複雜度跟經典演算法相比有平方的加速。 量子计算 量子編程 量子图灵机 秀尔算法 量子比特 量子信息科学 量子计算优越性 Nielsen...

洛夫·庫瑪爾·格羅弗（英語：Lov Kumar Grover，1961年—）是一名印度裔美國電腦科學家。他是用於量子計算的格羅弗資料庫搜索算法的發起人。格羅弗於1996年的算法贏得了聲譽，是為量子計算提出的第二個主要算法（繼1994年的秀爾演算法之後），2017年終於在可擴展的物理量子系統中實現。格羅弗的算法已經成為眾多科普文章的主題。...

杰弗里·埃弗里斯特·辛顿，FRS（英語：Geoffrey Everest Hinton，1947年12月6日—），又译杰弗里·欣顿，英国出生的加拿大计算机学家和心理学家，多伦多大学教授。以其在類神經網路方面的贡献闻名。辛顿是反向传播算法和对比散度算法（Contrastive...

机成了熱門話題。此外，对于广泛使用的非结构化搜索，1996年提出的格罗弗算法让量子计算机也能加速处理这类问题。 除了理論之外，也有不少學者著力於利用各種量子系統來實現量子计算机。 傳統计算机即按一定算法变换输入信号序列的机器，其算法由计算机的内部逻辑电路实现。...

勒文海姆-斯科伦定理。 相继式演算中的切消定理。 保罗·约瑟夫·科恩（Paul Cohen）在1963年证明的连续统假设的独立性。 数理逻辑的重要著作有戈特洛布·弗雷格（Gottlob Frege）的《概念文字》（Begriffsschrift）、伯特兰·罗素的《数学原理》（Principia Mathematica）等。...

戴克斯特拉算法（英語：Dijkstra's algorithm），又稱迪杰斯特拉算法、Dijkstra算法，是由荷兰计算机科学家艾茲赫尔·戴克斯特拉在1956年发现的算法，并于3年后在期刊上发表。戴克斯特拉算法使用类似廣度优先搜索的方法解决赋权图的单源最短路径问题。 该算法...

匈牙利算法是一种在多项式时间内求解任务分配问题的组合优化算法，并推动了后来的原始对偶方法（英语：primal-dual methods）。美国数学家哈罗德·W·库恩于1955年提出该算法。此算法之所以被称作匈牙利算法，是因为算法很大一部分是基于以前匈牙利数学家科尼格·德內什（英语：Dénes...

本福特定律：最早是由西蒙·紐康在1881年提出。 三次方程的卡尔达诺公式：解法的思路来自塔塔利亚。 欧拉数e：雅各布·伯努利第一個注意到此常數。 RSA加密算法：RSA是1977年由罗纳德·李维斯特（Ron Rivest）、阿迪·萨莫尔（Adi Shamir）和伦纳德·阿德曼（Leonard...

为自然对数）。目前已经发现一种精确的量子二分查找算法，在最坏情况下的查询次数为 4 log 605 ⁡ n ≈ 0.433 log 2 ⁡ n {\textstyle 4\log _{605}n\approx 0.433\log _{2}n} 。相比之下，格罗弗算法是用于搜索无序列表的最优量子算法，所需的查询次数为 O (...

羅傑·彭罗斯是科學家莱昂内尔·彭罗斯與瑪格麗特·利斯的兒子，為數學家奥利弗·彭罗斯（英语：Oliver Penrose）與西洋棋大師乔纳森·彭罗斯的兄弟。 他因證明黑洞的形成符合廣義相對論的預測而获得2020年诺贝尔物理学奖。 罗杰·彭罗斯生於英格兰埃塞克斯的科爾切斯特，是瑪格麗特·利斯（Margaret...

{N}})} 。這一結果表明格羅弗算法是最優的，並表明量子計算機不能在多項式時間內僅使用證明人解決NP完全的問題。 2005年，瓦茲拉尼和他的兄弟維傑·瓦茲拉尼（英语：Vijay Vazirani）獲選為計算機協會會士，烏梅什因其對理論計算機科學和量子計算的貢獻，維傑則因其在近似算法...

transform and its Applications (量子傅立葉變換) Chapter 6: Grover's algorithm (格羅弗算法) Chapter 7: Quantum Computers: Physical Realization (量子計算機：物理實現) Chapter...

辗转相除法是历史上第一个整数关系算法（英语：integer relation algorithm），即寻找两個可通約實數的整数关系的算法。近年来，出现了一些新颖的整数关系算法，如埃拉曼·弗格森（英语：Helaman Ferguson）和福尔卡德于1979年发表的弗格森-福尔卡德算法（Ferguson–Forcade...

算法。得知此事后，互利的CEO盖文·贝尔森（Gavin Belson，马特·罗斯饰演）提出要以四百万美元的价格收购魔笛手。与此同时，皮特·格雷戈里承诺向魔笛手投资二十万美元，占股百分之五，这使得魔笛手的也达到了四百万美元，与贝尔森的出价相同。格...

佩尔·埃里克·罗格·马丁-洛夫（瑞典語：Per Erik Rutger Martin-Löf，1942年5月8日—），瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗...

模式搜索，收敛特性优于Nelder–Mead法（启发式算法，带单纯形），下详。 镜像下降 除了（有限终止）算法与（收敛）迭代法，还有启发式算法，是指任何不能保证（数学上）找到解，但某些实际情况中有用的算法。一些著名的启发式算法： 差分进化算法 动态松弛法 进化算法 遗传算法 随机重启的爬山算法 模因算法...

高斯连接积分（纽结理论） 确定星期几的高斯算法 高斯复活节算法 高斯括号——在WolframMathWorld （页面存档备份，存于互联网档案馆）上有描述 高斯模运算 高斯整数，通常写为Z[i] 高斯素数 高斯对数（也称为加减对数） 高斯-克吕格坐标系 高斯网格 高斯光学 高斯最小约束原理 对于轨道力学中的轨道确定：...

杰弗里·格里麦特（1999）渗流 (第二版) （页面存档备份，存于互联网档案馆） 斯普林格出版社 D.本·亚伯拉罕, S.哈夫林（2000）分形和无序系统中的扩散与反应 （页面存档备份，存于互联网档案馆），剑桥大学出版社 波罗巴思·贝拉；莱尔顿·奥利弗 (2006) 渗流，剑桥大学出版社，...

Taflove）与莫里斯·E·布罗德温（Morris E. Brodwin）也改正了本错误，并进一步推广了余树江的成果。1980年，本算法被命名为时域有限差分法。为了纪念余树江的贡献，本算法有时也称为“余氏算法”（Yee's method），其基本运算单元“余氏网格”（Yee's cell）也是以他的姓氏命名的。...

1995年，美國數學家斯坦·瓦格纳（英语：Stan Wagon）和斯坦利·拉比諾維茨（Stanley Rabinowitz）发明了一种簡單的阀门算法，其運算速度類似arctan演算法，但速度比迭代算法慢。 贝利－波尔温－普劳夫公式（BBP）是另一條阀门算法，屬於一种位數萃取演算法（英语：digit...

数学中，弗洛尔同调是一种研究辛几何与低维拓扑的工具。弗洛尔同调是有限维莫尔斯同调的无穷维类似物，是一种新颖的不变量。安德烈斯·弗洛尔先后提出了多种构造： 在证明辛几何的阿诺德猜想时，提出了弗洛尔同调的第一个版本，现在称作拉格朗日弗洛尔同调； 为辛流形的拉格朗日子流形提出了密切相关的理论；...

弗拉基米爾·納烏莫維奇·瓦普尼克（俄語：Владимир Наумович Вапник，英語：Vladimir Naumovich Vapnik，1936年12月6日—）是一名俄裔美國計算機科學家、研究人員和學者。他是統計學習的VC理論的主要開發者之一，也是支持向量機方法和支持向量聚類算法的共同發明者。...

东尼·霍尔，英国计算机科学家，1980年图灵奖得主，快速排序算法发明者 尼古拉·布哈林，马列主义理论家和作家、国际共产主义运动活动家 安东·契诃夫，作家，短篇小说巨匠 米哈伊尔·莱蒙托夫，作家、诗人 弗拉基米尔·索洛维约夫，哲学家、神学家、神秘主义者 维萨里昂·别林斯基，思想家、文学评论家...

罗切斯特（1956）等人模拟了一台 IBM 704计算机上的抽象神经网络的行为。 弗兰克·罗森布拉特（英语：Frank Rosenblatt）创造了感知机。这是一种模式识别算法，用简单的加减法实现了两层的计算机学习网络。罗...

image），又稱总和面积表（英語：summed area table，簡稱SAT），是一个快速且有效的对一个网格的矩形子区域中计算和的数据结构和算法。 积分图是于1984年由富兰克林·克罗引入计算机图形学领域，在20年后用于维奥拉-琼斯目标检测框架。富兰克林在設計积分图時主要是為Mipmap設計，...

Edmonds）共同開發了埃德蒙茲-卡普演算法，用於解決網路上的最大流問題。1972年，他發表一篇在複雜性理論中具有里程碑意義的論文《組合問題中的可減少性》，其中他證明了21個NP-完全問題。 1973年，他和約翰·霍普克羅夫特發表了霍普克洛夫特-卡普算法，這是已知的在二分圖中尋找最大勢匹配的最快方法。...

際象棋特級大師、前國際象棋世界冠軍加里·基莫维奇·卡斯帕罗夫與另一位棋手佛雷德利·弗里德爾（英语：Frederic Friedel）根據遊戲算法的描述，開發了全新版本的Turochamp，並把它視為娛樂象徵。他們開發的最初版本無法重現圖靈和格連尼的棋局，因此二人諮詢了數位電腦象棋專家以及和圖靈同時...

解释过去的SVM模型。为识别模型用于进行预测的特征而对支持向量机模型做出事后解释是在生物科学中具有特殊意义的相对较新的研究领域。 原始SVM算法是由蘇聯數學家弗拉基米尔·瓦普尼克和亞歷克塞·澤范蘭傑斯于1963年发明的。1992年，伯恩哈德·E·博瑟（Bernhard E. Boser）、伊莎贝尔·M·盖昂（Isabelle...

132}是佩爾方程「x2-2y2 = -1」的其中一個解答。) 印度數學家斯里尼瓦瑟·拉马努金發現了π的很多其他表示方式。他與戈弗雷·哈罗德·哈代一起工作了很多年。 如果要計算π小數點後很多位，計算者通常會使用高斯-勒让德算法，波尔温公式（英语：Borwein's algorithm），和1976年發明的薩拉明 - 布倫特公式。...