量子科技中心_量科网

布尔多项式分解问题在经典计算与量子计算技术中均具有重要应用。该团队针对ESOP和SOP表达式开发了新型分解算法，旨在优化AND计数。AND计数是决定用经典电路与量子电路实现可逆函数所需AND门与Toffoli门数量的关键因素。该团队开发的第一类算法为图形化方法：将布尔分解问题转化为用双团覆盖二分图的问题，因此优化覆盖二分图所需双团数量可减少因子数量，从而降低AND计数。第二类算法为代数方法，源自多元霍纳方法。该团队将所提算法与EXORCISM-4和EPOEM2等现有流行方法在最多12变量的随机函数上进行了性能比较。观察表明，该团队的多元霍纳方法速度显著更快，而基于双团的方法实现了最大程度的AND计数缩减。事实上，与EXORCISM-4相比，该团队基于双团的方法可将AND计数降低高达5倍。