基于Grover算法的图着色问题求解 |
| |
引用本文: | 刘晓楠,刘正煜,谢浩山,赵晨言.基于Grover算法的图着色问题求解[J].计算机科学,2023(6):351-357. |
| |
作者姓名: | 刘晓楠 刘正煜 谢浩山 赵晨言 |
| |
作者单位: | 1. 数学工程与先进计算国家重点实验室(信息工程大学);2. 郑州大学计算机与人工智能学院 |
| |
基金项目: | 国家自然科学基金(61972413,61701539)~~; |
| |
摘 要: | Grover量子搜索算法是针对非结构化搜索问题设计的著名量子算法,可用于解决图着色、最短路径排序等问题,也可以有效破译密码系统。图着色问题是最著名的NP-完全问题之一,文中首先将图着色问题转化为数学上的无向图;然后采用布尔表达式将其转换为布尔可满足性问题,介绍了量子线路图解决布尔表达式的步骤原理以及图着色问题向布尔可满足性问题的转换过程;最后在IBMQ云平台上,对三节点的2-着色问题以及4-着色问题进行模拟仿真。实验结果验证了使用Grover算法求解图着色问题的可行性,在搜索空间为8的2-着色问题和搜索空间为64的4-着色问题中,分别以近82%和97%的成功概率搜索到目标项。文中使用Grover算法解决了4-着色问题,拓展了该算法在此问题领域上的实验规模,且改进了现有实验的量子线路,使量子位成本更低,结果的成功率更高,展示了Grover算法在大型搜索问题中显著的加速效果。
|
关 键 词: | Grover算法 图着色问题 量子线路 IBMQ 布尔可满足性问题 |
|
|