买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉清华大学;北京量子信息科学研究院申请的专利三取一形式SAT问题的量子求解方法、装置、电子设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119476516B 。

龙图腾网通过国家知识产权局官网在2026-01-06发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411513313.7，技术领域涉及：G06N10/60；该发明授权三取一形式SAT问题的量子求解方法、装置、电子设备及存储介质是由龙桂鲁;陆全枫;魏世杰;曾进峰设计研发完成，并于2024-10-28向国家知识产权局提交的专利申请。

本三取一形式SAT问题的量子求解方法、装置、电子设备及存储介质在说明书摘要公布了：本发明提供一种三取一形式SAT问题的量子求解方法、装置、电子设备及存储介质，涉及量子计算机技术领域。所述方法包括：将三取一形式SAT问题的解空间更新为目标解空间，得到目标2‑SAT问题，所述目标解空间对应放宽问题的解空间，所述放宽问题包括放宽约束条件的子句；获取所述目标2‑SAT问题对应的目标哈密顿量；根据所述目标哈密顿量，确定所述三取一形式SAT问题的解。所述方法通过有效地减少搜索空间的维度，降低SAT问题复杂度，从而加速收敛至基态，提升了三取一形式SAT问题的求解成功率。

本发明授权三取一形式SAT问题的量子求解方法、装置、电子设备及存储介质在权利要求书中公布了：1.一种三取一形式SAT问题的量子求解方法，其特征在于，包括： 将三取一形式SAT问题的解空间更新为目标解空间，得到目标2-SAT问题，所述目标解空间对应放宽问题的解空间，所述放宽问题包括放宽约束条件的子句； 获取所述目标2-SAT问题对应的目标哈密顿量； 根据所述目标哈密顿量，确定所述三取一形式SAT问题的解； 所述根据所述目标哈密顿量，确定所述三取一形式SAT问题的解，包括： 根据所述目标哈密顿量求解所述目标2-SAT问题的基态，得到目标基态，所述目标基态用于表征基态或者近似基态； 判断所述目标基态是否对应所述三取一形式SAT问题的一组目标解，若是，输出所述目标解，若不是，则返回上一步骤再次求解所述目标基态，若在重复预设次数后仍未得到所述目标解，则确定所述三取一形式SAT问题无解； 所述根据所述目标哈密顿量求解所述目标2-SAT问题的基态，得到目标基态，包括： 确定所述目标哈密顿量，所述目标哈密顿量是变分量子特征求解器中哈密顿量的负值； 通过评估所述目标哈密顿量的最大特征值是否等于零，确定所述目标基态，所述目标基态趋向于所述目标哈密顿量的最大特征值； 所述通过评估所述目标哈密顿量的最大特征值是否等于零，确定所述目标基态，包括： 获取第一量子电路，所述第一量子电路由交替的第一量子门序列和第二量子门序列构成，所述第一量子门序列和所述第二量子门序列是初始哈密顿量和目标哈密顿量的演化算符； 根据所述第一量子门序列和所述第二量子门序列，确定所述目标基态；或者， 所述通过评估所述目标哈密顿量的最大特征值是否等于零，确定所述目标基态，包括： 获取第二量子线路，所述第二量子线路对应的目标求解器的层数低于预设层数阈值； 通过优化所述目标求解器的目标数量个参数，得到目标函数，所述目标函数为最大化的所述目标哈密顿量，所述目标数量为二倍所述层数； 通过所述目标求解器测量所述第二量子线路输出态的所有量子比特的状态，得到所述目标基态； 所述将三取一形式SAT问题的解空间更新为目标解空间，得到目标2-SAT问题，包括： 将所述三取一形式SAT问题的子句的约束条件从初始条件更新为目标条件，得到放宽子句，所述初始条件为在一个子句中若三个变量中只有一个变量为1，则所述子句被认为是满足条件的，所述目标条件为在一个子句中若三个变量中1的个数为奇数，则所述子句被认为是满足条件的； 增加所述放宽子句的限制条件，得到所述目标2-SAT问题，所述限制条件包括同一子句中的两个问题不能同时为真。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人清华大学;北京量子信息科学研究院，其通讯地址为：100084 北京市海淀区清华园；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。