一种针对量子退火器求解3-SAT问题的噪音优化方法技术

本发明专利技术公开了一种针对量子退火器求解3‑SAT问题的噪音优化方法，包括：将图着色数据转化3‑SAT问题，将每个三元子句转化为多个二元子句，同时根据多个二元子句目标函数构建初始总目标函数，以及每个变量的变量系数，将三元子句中最大的变量系数与所述三元子句包含的每个二元子句中最大的变量系数的比值作为对应二元子句目标函数最终系数，基于每个二元子句目标函数最终系数和对应的二元子句目标函数构建构建QUBO问题目标函数；将归一化QuBO问题目标函数输入至量子退火器得到目标函数值以及对应的解。利用该方法能够降低归一化步骤中引入的噪音。

【技术实现步骤摘要】

本专利技术属于量子计算机领域，具体涉及一种针对量子退火器求解3-sat问题的噪音优化方法。

技术介绍

1、布尔可满足性问题(sat)是存在于多个研究领域的非确定性多项式时间(np)完备问题。一个典型的sat问题由一组字句的合取组成，而这些字句都是一组变量的析取，其中如果每个字句都由3个变量组成，就称之为3-sat问题。3-sat问题是sat问题的一种重要类型，理论上所有的sat问题都可以转化成3-sat来求解。因此本专利技术重点关注3-sat这种类型。sat问题求解器的目标是找到一组变量的赋值，使得给定的一组布尔公式成立，sat实例的复杂性和规模都会影响求解器的能力和性能。

2、文献b.m.mccoy and t.t.wu,the two-dimensional ising model.harvarduniversity press，2013公开了量子退火算法通过将3-sat问题编码成最小化问题来进行求解，理论上具有低时间复杂度和高收敛速度的优点。文献d-wave 2000q(]c.c.mcgeoch,r.harris,s.p.reinhard本文档来自技高网...

【技术保护点】

1.一种针对量子退火器求解3-SAT问题的噪音优化方法，其特征在于，包括：

2.根据权利要求1所述的针对量子退火器求解3-SAT问题的噪音优化方法，其特征在于，所述将图着色数据转化为多个三元子句，包括：将图着色数据转化为布尔表达式，基于De Morgan法则将布尔表达式转化为3-SAT的多个三元子句。

3.根据权利要求1所述的针对量子退火器求解3-SAT问题的噪音优化方法，其特征在于，获得3-SAT问题集以及对应的有解或无解的标签，基于3-SAT问题集和标签通过贝叶斯模型得到有解或无解的概率分布，基于所述概率分布确定满足需求概率区间，所述满足需求概率区间包括第一满...

【技术特征摘要】

1.一种针对量子退火器求解3-sat问题的噪音优化方法，其特征在于，包括：

2.根据权利要求1所述的针对量子退火器求解3-sat问题的噪音优化方法，其特征在于，所述将图着色数据转化为多个三元子句，包括：将图着色数据转化为布尔表达式，基于de morgan法则将布尔表达式转化为3-sat的多个三元子句。

3.根据权利要求1所述的针对量子退火器求解3-sat问题的噪音优化方法，其特征在于，获得3-sat问题集以及对应的有解或无解的标签，基于3-sat问题集和标签通过贝叶斯模型得到有解或无解的概率分布，基于所述概率分布确定满足需求概率区间，所述满足需求概率区间包括第一满足需求概率区间、第二满足需求概率区间、不确定概率区间和不满足需求概率区间。

4.根据权利要求3所述的针对量子退火器求解3-sat问题的噪音优化方法，其特征在于，当目标函数值落入第一满足需求概率区间时，对应的3-sat问题有解，所述第一满足需求概率区间为[0,0]；当目标函数值落入第二满足需求概率区间时，对应的3-sat问题有解，所述第二满足需求概率区间为(0,4.5]；当目标函数值落入不确定概率区间时，对应的3-sat问题无法确定是否有解，所述不确定概率区间为(4.5,8]；当目标...

【专利技术属性】
技术研发人员：尹建伟，谭思危，于茗谦，卢丽强，尚永衡，
申请(专利权)人：浙江大学，
类型：发明
国别省市：