基于Grover算法的图着色问题求解

TP385; Grover量子搜索算法是针对非结构化搜索问题设计的著名量子算法,可用于解决图着色、最短路径排序等问题,也可以有效破译密码系统.图着色问题是最著名的NP-完全问题之一,文中首先将图着色问题转化为数学上的无向图;然后采用布尔表达式将其转换为布尔可满足性问题,介绍了量子线路图解决布尔表达式的步骤原理以及图着色问题向布尔可满足性问题的转换过程;最后在IBMQ云平台上,对三节点的2-着色问题以及4-着色问题进行模拟仿真.实验结果验证了使用Grover算法求解图着色问题的可行性,在搜索空间为8的2-着色问题和搜索空间为64的4-着色问题中,分别以近82％和97％的成功概率搜索到目标项.文中...

Full description

Bibliographic Details

Published in:	计算机科学 Vol. 50; no. 6; pp. 351 - 357
Main Authors:	刘晓楠, 刘正煜, 谢浩山, 赵晨言
Format:	Journal Article
Language:	Chinese
Published:	数学工程与先进计算国家重点实验室(信息工程大学),郑州450000%郑州大学计算机与人工智能学院 郑州450000 15.06.2023
Subjects:	图着色问题 布尔可满足性问题 Grover算法 量子线路 IBMQ
ISSN:	1002-137X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!