量子NP——一篇综述

我们描述Kitaev于1999年的结果，其中他定义了复杂度类QMA——即NP类的量子类比，并表明3-SAT的一个自然推广，即局域哈密顿量，是QMA完全的。该结果建立在SAT的古典Cook-Levin NP完全性证明之上，但在若干根本方面与之不同，我们对此予以强调。此结果引发了与量子复杂度、算法及纠缠相关的一大批开放问题，我们在本综述末尾列出。本综述源自Naveh为Aharonov于2001年在特拉维夫大学开设的量子计算课程所整理讲义的扩充。