Yanıtlar:
Sınırlama-memnuniyet problemlerini (#CSP) saymak, birçok fiziksel modelin bölüm fonksiyonlarını ve kuantum durumları / devreleri klasik olarak simüle eden birçok konuyu değerlendirmek, temel olarak # P-tam problemi olan tensör ağlarını daraltır. İyi bir genel bakış için aşağıdaki belgelere bakın:
Itai Arad, Zeph Landau, Kuantum hesabı ve tensör ağlarının değerlendirilmesi
Cai, Lu, Xia Holografik Algoritmalar ile Kibritler Hassas İzlenebilir Düzlemsel # CSP Yakalar
Fiziksel modellere bağlantı için özellikle ikincisinin tanıtımına bakın.
Allan Sly geçtiğimiz günlerde MAX-CUT'un sert çekirdek kafes gazının Gibbs dağılımından Bethe kafesindeki benzersiz faz geçişinin ötesinde örneklemeye (rastgele bir azalma altında) azaldığını kanıtladı . Bu türden daha az sıkı sonuçlar (azalmanın, tam olarak teklik geçiş eşiğinden ziyade teklik olmayan bölge içindeki parametrelerle örnekleme olduğu) oldukça uzun süredir iyi bilinmektedir: örneğin bakınız [LV97] ve [DFJ02] .
Ayrıca, Schuch, Cirac ve Verstraete tarafından, ters poli boşluklu 1D sistemlerinin bile zemin durumlarını bulmanın NP-zor olduğunu, zemin durumunun bir matris ürün durumu olacağına dair söz verdiğimiz halde gösteren çalışmalar da var - bkz. Http: // arxiv .org / abs / 0802.3351 . Doğru hatırlıyorsam, azaltma keyfi bir NP doğrulayıcı ile başlar, ancak MAX-2-SAT gibi belirli bir sorun için gerekli değildir.