CN112966456B - 一种提高量子计算效率的电路设计方法和系统 - Google Patents
一种提高量子计算效率的电路设计方法和系统 Download PDFInfo
- Publication number
- CN112966456B CN112966456B CN202110247207.9A CN202110247207A CN112966456B CN 112966456 B CN112966456 B CN 112966456B CN 202110247207 A CN202110247207 A CN 202110247207A CN 112966456 B CN112966456 B CN 112966456B
- Authority
- CN
- China
- Prior art keywords
- quantum
- result
- module
- state
- bits
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N10/00—Quantum computing, i.e. information processing based on quantum-mechanical phenomena
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
- Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Evolutionary Computation (AREA)
- General Engineering & Computer Science (AREA)
- Condensed Matter Physics & Semiconductors (AREA)
- Artificial Intelligence (AREA)
- Computational Mathematics (AREA)
- Geometry (AREA)
- Data Mining & Analysis (AREA)
- Mathematical Analysis (AREA)
- Mathematical Optimization (AREA)
- Pure & Applied Mathematics (AREA)
- Computing Systems (AREA)
- Mathematical Physics (AREA)
- Software Systems (AREA)
- Superconductor Devices And Manufacturing Methods Thereof (AREA)
- Optical Modulation, Optical Deflection, Nonlinear Optics, Optical Demodulation, Optical Logic Elements (AREA)
Abstract
本发明提供一种提高量子计算效率的电路设计方法,包括以下步骤:S1:将输入的n比特划分为两部分x1和x2;S2:对x1部分转化为量子叠加态并初始化;S3:利用Hadamard矩阵对初始化的x1部分进行映射;S4:对步骤S3的结果重复进行Grover迭代若干次;S5:在测量之前先对步骤S4的结果运行Hadamard矩阵;S6:对步骤S5的结果进行测量,若结果为非0,返回有解并终止;如果结果不为非0,且x1小于阈值,则对x1的量子叠加态进行更新,返回步骤S4;S7:返回无解并终止。本发明将原来的困难问题拆分为多个子问题来处理,避免了构建一个大规模的量子电路来解决困难问题,和之前的Grover算法相比,本发明改进的算法的查询复杂度将不再等于电路复杂度,电路复杂度可有原来的O(2n/2)降为O(2n/3)。
Description
技术领域
本发明涉及量子计算领域,更具体地,涉及一种提高量子计算效率的电路设计方法和系统。
背景技术
Grover算法为解决密码学中若干数学困难问题提供了二次加速,但庞大的电路规模阻碍了其实际应用。
Bernstein等人以Grover算法为基础提出量子左右分,其主要思想是分裂,关键是Grover算法中oracle的构建。原来Grover算法通过遍历n个整数的所有组合的叠加态来确定困难问题中的解,而新算法只遍历后面的2n/3个整数的所有组合的叠加态,从而只给出问题的部分解。剩下的整数则用于构建包含2n/3个组合的数据库,并在oracle中定义一个新的布尔函数f:{0,1}2n/3→{0,1}。在遍历后面的2n/3个整数的所有组合叠加态时,f搜索数据库,如果输入的某一叠加态中的某一向量与数据库中叠加态中的某一向量是解,则映射为1,反之,映射为0。与初始版本相比,新构建的oracle有一个额外的步骤,即搜索包含2n/3个项目的数据库。
量子计算机搜索经典数据库需要一个量子寻址方案。事实上,由于非结构化数据库的构建无法在线性复杂度下实现,所以量子算法不能用于数据库的搜索。因此,这些基于量子存储器的算法并不适合于实际的应用。
公开日为2019年07月05日,公开号为CN109978171A的中国专利公开了一种基于云计算的Grover量子仿真算法的优化方法,主要解决国内外量子算法仿真模拟的量子位较少,仿真效率较低的问题。本发明针对Grover量子搜索单次迭代酉运算进行优化,提出了一种既大幅节约存储空间又显著提高酉运算效率的优化算法,利用基于Hadoop的MapReduce并行计算模型的优势,在云计算集群上对大矩阵酉运算进行分布式处理;充分利用云计算平台提供的高性能并行计算能力,利用集群架构的优势构建多比特位量子并行计算模型,成功地提高了仿真算法效率。但该专利依然没有解决电路复杂的问题。
发明内容
本发明的首要目的是提供一种提高量子计算效率的电路设计方法,有效降低量子算法的电路复杂度。
本发明的进一步目的是提供一种提高量子计算效率的电路设计系统。
为解决上述技术问题,本发明的技术方案如下:
一种提高量子计算效率的电路设计方法,包括以下步骤:
S1:将输入的n比特划分为两部分x1和x2;
S2:对x1部分转化为量子叠加态并初始化;
S3:利用Hadamard矩阵对初始化的x1部分进行映射;
S4:对步骤S3的结果重复进行Grover迭代若干次;
S5:在测量之前先对步骤S4的结果运行Hadamard矩阵;
S6:对步骤S5的结果进行测量,若结果为非0,返回有解并终止;如果结果不为非0,且x1小于阈值,则对x1的量子叠加态进行更新,返回步骤S4;
S7:返回无解并终止。
优选地,步骤S1中将输入的n比特划分为两部分x1和x2,具体为:
将n比特的前2n/3比特定义为x2,后n/3比特定义为x1。
优选地,步骤S2中对x1部分转化为量子叠加态,具体为:
将x1按照从小到大的顺序以量子叠加态的形式|x1>依次输入,其中
优选地,步骤S2中,步骤S2中初始化后的输入状态为:
式中,状态|0>、|1>为经典比特0和1的量子形式,代表张量积。
优选地,步骤S3中,所述Hadamard矩阵为:
式中,为2n/3维的Hadamard矩阵,用于将电路中所有的状态/>转换为量子叠加态/>|x2>为x2部分的量子叠加态;H为2维的Hadamard矩阵,用于将状态|1>转换为量子叠加态/>
优选地,步骤S4中重复进行Grover迭代次。
优选地,所述Grover迭代,具体为:
利用算符对叠加态/>进行处理,当叠加态中包含解时,对解执行标记;
利用算符完成映射/>
优选地,步骤S6中,所述阈值为2n/3-1。
优选地,步骤S6中对x1的量子叠加态进行更新,具体为:
|x1>=|x1+1>。
优选地,包括:
划分模块,所述划分模块用于将输入的n比特划分为两部分x1和x2;
转化初始化模块,所述转化初始化模块用于对x1部分转化为量子叠加态并初始化;
映射模块,所述映射模块利用Hadamard矩阵对初始化的x1部分进行映射;
迭代模块,所述迭代模块用于对映射模块的结果重复进行Grover迭代若干次;
测量前模块,所述测量前模块用于在测量之前先对迭代模块的结果运行Hadamard矩阵;
测量模块,所述测量模块对测量前模块的结果进行测量,若结果为非0,返回有解并终止;如果结果不为非0,且x1小于阈值,则对x1的量子叠加态进行更新,返回迭代模块;
终止模块,所述终止模块用于返回无解并终止。
与现有技术相比,本发明技术方案的有益效果是:
本发明将原来的困难问题拆分为多个子问题来处理,避免了构建一个大规模的量子电路来解决困难问题,和之前的Grover算法相比,本发明改进的算法的查询复杂度将不再等于电路复杂度,电路复杂度可有原来的O(2n/2)降为O(2n/3),本发明改进的算法更贴合实际应用。
附图说明
图1为本发明的方法流程示意图。
图2为本发明的算法结构示意图。
图3位本发明的系统结构示意图。
具体实施方式
附图仅用于示例性说明,不能理解为对本专利的限制;
为了更好说明本实施例,附图某些部件会有省略、放大或缩小,并不代表实际产品的尺寸;
对于本领域技术人员来说,附图中某些公知结构及其说明可能省略是可以理解的。
下面结合附图和实施例对本发明的技术方案做进一步的说明。
实施例1
本实施例提供一种提高量子计算效率的电路设计方法,如图1和图2所示,包括以下步骤:
S1:将输入的n比特划分为两部分x1和x2;
S2:对x1部分转化为量子叠加态并初始化;
S3:利用Hadamard矩阵对初始化的x1部分进行映射;
S4:对步骤S3的结果重复进行Grover迭代若干次;
S5:在测量之前先对步骤S4的结果运行Hadamard矩阵;
S6:对步骤S5的结果进行测量,若结果为非0,返回有解并终止;如果结果不为非0,且x1小于阈值,则对x1的量子叠加态进行更新,返回步骤S4;
S7:返回无解并终止。
步骤S1中将输入的n比特划分为两部分x1和x2,具体为:
将n比特的前2n/3比特定义为x2,后n/3比特定义为x1。
步骤S2中对x1部分转化为量子叠加态,具体为:
将x1按照从小到大的顺序以量子叠加态的形式|x1>依次输入,其中
步骤S2中,步骤S2中初始化后的输入状态为:
式中,状态|0>、|1>为经典比特0和1的量子形式,代表张量积。
步骤S3中,所述Hadamard矩阵为:
式中,为2n/3维的Hadamard矩阵,用于将电路中所有的状态/>转换为量子叠加态/>|x2>为x2部分的量子叠加态;H为2维的Hadamard矩阵,用于将状态|1>转换为量子叠加态/>
步骤S4中重复进行Grover迭代次。
所述Grover迭代,具体为:
利用算符对叠加态/>进行处理,当叠加态中包含解时,对解执行标记;
利用算符完成映射/>
步骤S6中,所述阈值为2n/3-1。
步骤S6中对x1的量子叠加态进行更新,具体为:
|x1>=|x1+1>。
实施例2
一种提高量子计算效率的电路设计系统,如图3,实现实施例1所述提高量子计算效率的电路设计方法,包括:
划分模块,所述划分模块用于将输入的n比特划分为两部分x1和x2;
转化初始化模块,所述转化初始化模块用于对x1部分转化为量子叠加态并初始化;
映射模块,所述映射模块利用Hadamard矩阵对初始化的x1部分进行映射;
迭代模块,所述迭代模块用于对映射模块的结果重复进行Grover迭代若干次;
测量前模块,所述测量前模块用于在测量之前先对迭代模块的结果运行Hadamard矩阵;
测量模块,所述测量模块对测量前模块的结果进行测量,若结果为非0,返回有解并终止;如果结果不为非0,且x1小于阈值,则对x1的量子叠加态进行更新,返回迭代模块;
终止模块,所述终止模块用于返回无解并终止。
相同或相似的标号对应相同或相似的部件;
附图中描述位置关系的用语仅用于示例性说明,不能理解为对本专利的限制;
显然,本发明的上述实施例仅仅是为清楚地说明本发明所作的举例,而并非是对本发明的实施方式的限定。对于所属领域的普通技术人员来说,在上述说明的基础上还可以做出其它不同形式的变化或变动。这里无需也无法对所有的实施方式予以穷举。凡在本发明的精神和原则之内所作的任何修改、等同替换和改进等,均应包含在本发明权利要求的保护范围之内。
Claims (6)
1.一种提高量子计算效率的电路设计方法,其特征在于,包括以下步骤:
S1:将输入的n比特划分为两部分x1和x2;
S2:对x1部分转化为量子叠加态并初始化;
S3:利用Hadamard矩阵对初始化的x1部分进行映射;
S4:对步骤S3的结果重复进行Grover迭代若干次;
S5:在测量之前先对步骤S4的结果运行Hadamard矩阵;
S6:对步骤S5的结果进行测量,若结果为非0,返回有解并终止;如果结果不为非0,且x1小于阈值,则对x1的量子叠加态进行更新,返回步骤S4;
S7:返回无解并终止;
步骤S1中将输入的n比特划分为两部分x1和x2,具体为:
将n比特的前2n/3比特定义为x2,后n/3比特定义为x1;
步骤S2中对x1部分转化为量子叠加态,具体为:
将x1按照从小到大的顺序以量子叠加态的形式|x1>依次输入,其中
步骤S2中,步骤S2中初始化后的输入状态为:
式中,状态|0>、|1>为经典比特0和1的量子形式,代表张量积;
步骤S3中,所述Hadamard矩阵为:
式中,为2n/3维的Hadamard矩阵,用于将电路中所有的状态/>转换为量子叠加态/>|x2>为x2部分的量子叠加态;H为2维的Hadamard矩阵,用于将状态|1>转换为量子叠加态/>
2.根据权利要求1所述的提高量子计算效率的电路设计方法,其特征在于,步骤S4中重复进行Grover迭代次。
3.根据权利要求2所述的提高量子计算效率的电路设计方法,其特征在于,所述Grover迭代,具体为:
利用算符对叠加态/>进行处理,当叠加态/>中包含解时,对解执行标记;
利用算符完成映射/>
4.根据权利要求3所述的提高量子计算效率的电路设计方法,其特征在于,步骤S6中,所述阈值为2n/3-1。
5.根据权利要求4所述的提高量子计算效率的电路设计方法,其特征在于,步骤S6中对x1的量子叠加态进行更新,具体为:
|x1>=|x1+1>。
6.一种提高量子计算效率的电路设计系统,其特征在于,包括:
划分模块,所述划分模块用于将输入的n比特划分为两部分x1和x2;
转化初始化模块,所述转化初始化模块用于对x1部分转化为量子叠加态并初始化;
映射模块,所述映射模块利用Hadamard矩阵对初始化的x1部分进行映射;
迭代模块,所述迭代模块用于对映射模块的结果重复进行Grover迭代若干次;
测量前模块,所述测量前模块用于在测量之前先对迭代模块的结果运行Hadamard矩阵;
测量模块,所述测量模块对测量前模块的结果进行测量,若结果为非0,返回有解并终止;如果结果不为非0,且x1小于阈值,则对x1的量子叠加态进行更新,返回迭代模块;
终止模块,所述终止模块用于返回无解并终止。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110247207.9A CN112966456B (zh) | 2021-03-05 | 2021-03-05 | 一种提高量子计算效率的电路设计方法和系统 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110247207.9A CN112966456B (zh) | 2021-03-05 | 2021-03-05 | 一种提高量子计算效率的电路设计方法和系统 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN112966456A CN112966456A (zh) | 2021-06-15 |
CN112966456B true CN112966456B (zh) | 2023-08-25 |
Family
ID=76276755
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110247207.9A Active CN112966456B (zh) | 2021-03-05 | 2021-03-05 | 一种提高量子计算效率的电路设计方法和系统 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN112966456B (zh) |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109767004A (zh) * | 2019-01-21 | 2019-05-17 | 湖北师范大学 | 一种信息的一维量子卷积计算方法 |
CN109978171A (zh) * | 2019-02-26 | 2019-07-05 | 南京航空航天大学 | 一种基于云计算的Grover量子仿真算法优化方法 |
CN110162536A (zh) * | 2019-04-10 | 2019-08-23 | 深圳大学 | 一种量子搜索方法、系统、电子装置及存储介质 |
CN110309921A (zh) * | 2019-06-18 | 2019-10-08 | 浙江工业大学 | 一种基于Grover量子搜索算法的云制造调度方法 |
CN111291892A (zh) * | 2020-01-17 | 2020-06-16 | 深圳大学 | 一种量子并行搜索方法 |
CN111626422A (zh) * | 2020-05-11 | 2020-09-04 | 深圳大学 | 一种用于求解集合交集的量子系统和算法 |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP1380991A1 (en) * | 2002-07-08 | 2004-01-14 | STMicroelectronics S.r.l. | Method and relative quantum gate for running a Grover's or Deutsch-Jozsa's quantum algorithm |
US9152922B2 (en) * | 2009-12-16 | 2015-10-06 | At&T Intellectual Property I, L.P. | Methods, apparatus, and computer program products for quantum searching for multiple search targets |
-
2021
- 2021-03-05 CN CN202110247207.9A patent/CN112966456B/zh active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109767004A (zh) * | 2019-01-21 | 2019-05-17 | 湖北师范大学 | 一种信息的一维量子卷积计算方法 |
CN109978171A (zh) * | 2019-02-26 | 2019-07-05 | 南京航空航天大学 | 一种基于云计算的Grover量子仿真算法优化方法 |
CN110162536A (zh) * | 2019-04-10 | 2019-08-23 | 深圳大学 | 一种量子搜索方法、系统、电子装置及存储介质 |
CN110309921A (zh) * | 2019-06-18 | 2019-10-08 | 浙江工业大学 | 一种基于Grover量子搜索算法的云制造调度方法 |
CN111291892A (zh) * | 2020-01-17 | 2020-06-16 | 深圳大学 | 一种量子并行搜索方法 |
CN111626422A (zh) * | 2020-05-11 | 2020-09-04 | 深圳大学 | 一种用于求解集合交集的量子系统和算法 |
Non-Patent Citations (1)
Title |
---|
A Generic Variable Inputs Quantum Algorithm for 3-SAT Problem;Ping Wang et al.;《2020 IEEE International Conference on Advances in Electrical Engineering and Computer Applications (AEECA)》;20201006;第308-312页 * |
Also Published As
Publication number | Publication date |
---|---|
CN112966456A (zh) | 2021-06-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Ye et al. | Communication-computation efficient gradient coding | |
Cortese et al. | Loading classical data into a quantum computer | |
Nie et al. | An effective and efficient algorithm for K-means clustering with new formulation | |
Basak et al. | Accelerating Bayesian network parameter learning using Hadoop and MapReduce | |
CN111914378B (zh) | 一种单振幅量子计算模拟方法及装置 | |
Zayer et al. | A gpu‐adapted structure for unstructured grids | |
Jha et al. | A novel scalable kernelized fuzzy clustering algorithms based on in-memory computation for handling big data | |
Shi et al. | DFPS: Distributed FP-growth algorithm based on Spark | |
CN103064991A (zh) | 一种海量数据聚类方法 | |
US20200104425A1 (en) | Techniques for lossless and lossy large-scale graph summarization | |
CN112966456B (zh) | 一种提高量子计算效率的电路设计方法和系统 | |
Yang et al. | GPU acceleration of subgraph isomorphism search in large scale graph | |
Tamura et al. | Distributed Modified Extremal Optimization using Island Model for Reducing Crossovers in Reconciliation Graph. | |
Tseng | An adaptive approach to mining frequent itemsets efficiently | |
Wu | Data association rules mining method based on improved apriori algorithm | |
Sun et al. | Applying prefixed-itemset and compression matrix to optimize the MapReduce-based Apriori algorithm on Hadoop | |
Rahman et al. | Triple sparsification of graph convolutional networks without sacrificing the accuracy | |
Gerdt et al. | Some algorithms for calculating unitary matrices for quantum circuits | |
Wang et al. | A novel parallel algorithm for sparse tensor matrix chain multiplication via tcu-acceleration | |
Callard et al. | The aperiodic Domino problem in higher dimension | |
Liu et al. | Encoding and decoding algorithms for arbitrary dimensional Hilbert order | |
Sasao | Multiple-Valued Index Generation Functions: Reduction of Variables by Linear Transformation. | |
Song et al. | Large scale network embedding: A separable approach | |
Wang et al. | An efficient algorithm for enumerating maximal bicliques from a dynamically growing graph | |
Sun | A Combination of Prefixed-Itemset and Database Optimization to Improve Apriori Algorithm on Hadoop Cluster |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |