首个超越经典算法的寻找MIS近似解的量子算法诞生

最近，由美国石溪大学的研究生余泓烨，麻省理工教授和李政道研究所所长维尔切克（Wilczek），和北京大学吴飙教授合作，提出了一个寻找MIS近似解的量子算法，这是首个提出超越经典算法的寻找最大独立集近似解的量子算法。

团队提出了一种基于量子非阿贝利绝热混合（non-Abelian adiabatic mixing）图的最大独立集的近似量子算法，在简并的基态的亚-希尔伯特空间中产生二次哈密​​顿量的量子退火。

对于稀疏和密集的随机图𝐺，数值模拟表明，该研究小组的算法平均能在低多项式时间内找到一个大小接近最大尺寸的独立集𝛼(𝐺)。相反，最好的经典算法在多项式时间内产生大小约为𝛼(𝐺)一半的独立集。

1.最大独立子集

图1 | 最大独立子集说明（来源：CPL）

找到一个图的最大独立子集（Maximum Independent Set, MIS）是一个NP-hard问题。图1中含有8个顶点（顶点与颜色无关）和7条边，它的MIS是{x2,x5,x6,x8}，含有4个顶点。

数学家发现，即使是寻找MIS的近似解，也是一个很难的问题。近似解是指尽力找一个独立集，越大越好，使得它的顶点数尽量接近MIS中的顶点数α(G)。

2.量子超经典一半

目前，已知最好的经典算法在多项式时间内找到的近似解，其顶点数平均只有α(G)的一半。对于有些类型的图，这个结论可以有的严格证明。