车辆配置的MAX-SAT问题的求解方法、装置、终端及存储介质制造方法及图纸

本发明专利技术公开了一种车辆配置的MAX－SAT问题的求解方法、装置、终端及存储介质，所述方法包括：构造用于车辆生产配置的可建造性约束；计算所述可建造性约束对应的哈密顿量；对所述哈密顿量的期望进行优化，以确定满足所述可建造性约束的目标解。利用本发明专利技术实施例，能够将量子计算技术应用于车辆生产配置领域，发挥量子计算的并行加速优势，利用量子算法在车辆配置优化加速解决SAT、MAX－SAT问题，并填补相关技术的空白。技术的空白。技术的空白。

【技术实现步骤摘要】
车辆配置的MAX
‑
SAT问题的求解方法、装置、终端及存储介质


[0001]本专利技术属于量子计算
，特别是一种车辆配置的MAX
‑
SAT问题的求解方法、装置、终端及存储介质。

技术介绍

[0002]量子计算机是一类遵循量子力学规律进行高速数学和逻辑运算、存储及处理量子信息的物理装置。当某个装置处理和计算的是量子信息，运行的是量子算法时，它就是量子计算机。量子计算机因其具有相对普通计算机更高效的处理数学问题的能力，例如，能将破解RSA密钥的时间从数百年加速到数小时，故成为一种正在研究中的关键技术。
[0003]目前，随着量子计算的不断发展，越来越多的量子算法应运而生。在车辆配置优化需要解决SAT、MAX
‑
SAT问题，现有经典技术对于SAT、MAXSAT问题的解决是困难的，可以使用量子算法加速解决。可见，将量子计算的技术应用于车辆生产配置领域是一个亟需探索解决的问题。

技术实现思路

[0004]本专利技术的目的是提供一种车辆配置的MAX
‑
SAT问题的求解方法、装置、终端及存储介质，以解决现有技术中的不足，它能够将量子计算技术应用于车辆生产配置领域，发挥量子计算的并行加速优势，利用量子算法在车辆配置优化加速解决SAT、MAX
‑
SAT问题，并填补相关技术的空白。
[0005]本申请的一个实施例提供了一种车辆配置的MAX
‑
SAT问题的求解方法，所述方法包括：
[0006]构造用于车辆生产配置的可建造性约束；
[0007]计算所述可建造性约束对应的哈密顿量；
[0008]对所述哈密顿量的期望进行优化，以确定满足所述可建造性约束的目标解。
[0009]可选的，所述可建造性约束包括第一可建造性约束；所述构造用于车辆生产配置的可建造性约束，包括：
[0010]针对车辆的每一类型，根据所述类型对应的特征和第一特征规则，构造所述类型对应的第一可建造性约束。
[0011]可选的，所述可建造性约束还包括第二可建造性约束；所述方法还包括：
[0012]根据所述类型对应的特征之间的第二特征规则，构造所述类型对应的第二可建造性约束。
[0013]可选的，所述方法还包括：根据预设测试条件及其权重，构造所述车辆的预设测试条件对应的哈密顿量。
[0014]可选的，所述计算所述可建造性约束对应的哈密顿量，包括：
[0015]计算所述可建造性约束和所述预设测试条件对应的哈密顿量H：
[0016]H＝a*H
b
+H
t
[0017]其中，所述a为预设参数，所述H
b
为所述第一可建造性约束和所述第二可建造性约束对应的哈密顿量，所述H
t
由所述预设测试条件对应的哈密顿量确定。
[0018]可选的，所述H
b
＝
‑
(φ1+
…
+φ
i
+
…
+φ
n
)，所述i＝1
…
n，所述n为车辆数，所述所述为第一可建造性约束，所述g
i
为第二可建造性约束，所述所述w
l
为第l个预设测试条件test
l
的权重，所述ψ
l
为所述test
l
对应的哈密顿量，所述q为预设测试条件test的数量。
[0019]可选的，所述对所述哈密顿量的期望进行优化，以确定满足所述可建造性约束的目标解，包括：
[0020]利用QAOA或GM
‑
QAOA算法，将所述哈密顿量的期望优化至最值，以确定满足所述可建造性约束的目标解。
[0021]本申请的又一实施例提供了一种车辆配置的MAX
‑
SAT问题的求解装置，所述装置包括：
[0022]构造模块，用于构造用于车辆生产配置的可建造性约束；
[0023]计算模块，用于计算所述可建造性约束对应的哈密顿量；
[0024]确定模块，用于对所述哈密顿量的期望进行优化，以确定满足所述可建造性约束的目标解。
[0025]本申请的又一实施例提供了一种存储介质，所述存储介质中存储有计算机程序，其中，所述计算机程序被设置为运行时执行上述任一项所述的方法。
[0026]本申请的又一实施例提供了一种电子装置，包括存储器和处理器，所述存储器中存储有计算机程序，所述处理器被设置为运行所述计算机程序以执行上述任一项所述的方法。
[0027]可见，本专利技术提供的一种车辆配置的MAX
‑
SAT问题的求解方法，构造用于车辆生产配置的可建造性约束；计算所述可建造性约束对应的哈密顿量；对所述哈密顿量的期望进行优化，以确定满足所述可建造性约束的目标解，从而能够将量子计算技术应用于车辆生产配置领域，发挥量子计算的并行加速优势，利用量子算法在车辆配置优化加速解决SAT、MAX
‑
SAT问题，并填补相关技术的空白。
附图说明
[0028]图1为本专利技术实施例提供的一种车辆配置的MAX
‑
SAT问题的求解方法的计算机终端的硬件结构框图；
[0029]图2为本专利技术实施例提供的一种车辆配置的MAX
‑
SAT问题的求解方法的流程示意图；
[0030]图3为本专利技术实施例提供的一种车辆配置的MAX
‑
SAT问题的求解装置的结构示意图。
具体实施方式
[0031]下面通过参考附图描述的实施例是示例性的，仅用于解释本专利技术，而不能解释为对本专利技术的限制。
[0032]本专利技术实施例首先提供了一种车辆配置的MAX
‑
SAT问题的求解方法，可以应用于电子设备，如计算机终端，具体如普通电脑、量子计算机等。
[0033]下面以运行在计算机终端上为例对其进行详细说明。图1为本专利技术实施例提供的一种车辆配置的MAX
‑
SAT问题的求解方法的计算机终端的硬件结构框图。如图1所示，计算机终端可以包括一个或多个(图1中仅示出一个)处理器102(处理器102可以包括但不限于微处理器MCU或可编程逻辑器件FPGA等的处理装置)和用于存储数据的存储器104，可选地，上述计算机终端还可以包括用于通信功能的传输装置106以及输入输出设备108。本领域普通技术人员可以理解，图1所示的结构仅为示意，其并不对上述计算机终端的结构造成限定。例如，计算机终端还可包括比图1中所示更多或者更少的组件，或者具有与图1所示不同的配置。
[0034]存储器104可用于存储应用软件的软件程序以及模块，如本申请实施例中的车辆配置的MAX
‑
SAT问题的求解方法对应的程序指令/模块，处理器102通过运行存储在存储器104内的软件程序以及模块，从而执行各种功能应用以及数据处理，即实现本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种车辆配置的MAX－SAT问题的求解方法，其特征在于，所述方法包括：构造用于车辆生产配置的可建造性约束；计算所述可建造性约束对应的哈密顿量；对所述哈密顿量的期望进行优化，以确定满足所述可建造性约束的目标解。2.根据权利要求1所述的方法，其特征在于，所述可建造性约束包括第一可建造性约束；所述构造用于车辆生产配置的可建造性约束，包括：针对车辆的每一类型，根据所述类型对应的特征和第一特征规则，构造所述类型对应的第一可建造性约束。3.根据权利要求2所述的方法，其特征在于，所述可建造性约束还包括第二可建造性约束；所述方法还包括：根据所述类型对应的特征之间的第二特征规则，构造所述类型对应的第二可建造性约束。4.根据权利要求3所述的方法，其特征在于，所述方法还包括：根据预设测试条件及其权重，构造所述车辆的预设测试条件对应的哈密顿量。5.根据权利要求4所述的方法，其特征在于，所述计算所述可建造性约束对应的哈密顿量，包括：计算所述可建造性约束和所述预设测试条件对应的哈密顿量H：H＝a*H
b
+H
t
其中，所述a为预设参数，所述H
b
为所述第一可建造性约束和所述第二可建造性约束对应的哈密顿量，所述H
t
由所述预设测试条件对应的哈密顿量确定。6.根据权利要求5所述的方法，其特征在于，所述H
b
＝
‑
(φ1+
…
+φ
...

【专利技术属性】
技术研发人员：柴雅卉，袁野为，李叶，窦猛汉，
申请(专利权)人：本源量子计算科技合肥股份有限公司，
类型：发明
国别省市：