摘要:自谷歌宣布实现量子霸权后,用量子计算解决经典问题成为颇具价值的研究课题。开关函数最小化是电子设计自动化(EDA)和逻辑综合中的一个重要问题,大多数解决方案都是基于经典计算机的启发式算法,用量子处理器解决这个问题是一种很好的做法。在本文中,我们介绍了一种新的混合经典量子算法,该算法使用 Grover 算法和对称函数来最小化布尔开关函数的小不相交乘积和(DSOP)与乘积和(SOP)。我们的方法基于将任意图划分为正则图,这可以通过我们提出的基于 Grover 的量子搜索算法来解决。该量子算法的 Oracle 由布尔对称函数构建并用格图实现。通过分析和量子模拟器上的模拟证明,我们的方法可以找到这些问题的所有解。