将困难问题简化为物理模型

我正在寻找计算机科学中的难题（NP或更难解决）的示例，这些问题可以简化为物理过程的模型。

例如，在伊辛模型中，可以将max-2-sat减少到能量最小化。我想找到更多此类减少的示例。

计算约束满足问题（#CSP），评估许多物理模型的划分函数以及经典模拟量子状态/电路中的许多主题，都是从根本上收缩张量网络，这是一个#P完全问题。要获得良好的概述，请参阅以下论文：

Itai Arad，Zeph Landau，量子计算和张量网络评估

Cai，Lu，Xia 具有Matchgates的全息算法可精确捕获可牵引平面#CSP

有关物理模型的连接，请参见后者的介绍。

艾伦·斯莱（Allan Sly）最近证明，从Bethe晶格上的唯一性相变开始，MAX-CUT会减少（在随机减少下）从硬核晶格气体的吉布斯分布采样。这种不太严格的结果（减少的结果是在非唯一性区域内而不是在唯一性转换阈值处进行参数采样）已经相当一段时间了：例如[LV97]和[DFJ02]。

Schuch，Cirac和Verstraete的工作还表明，即使我们被保证基态是矩阵乘积状态，即使找到具有逆多边形间隙的一维系统的基态也是NP-hard的-参见http：// arxiv .org / abs / 0802.3351。如果我没记错的话，简化是从一个任意的NP验证器开始的，但是对于像MAX-2-SAT这样的特定问题并不一定。