EDIT (2012-09-05): Komentar Jeff dan Radu benar. Hasil yang dikutip tidak menjawab pertanyaan. Untuk memperluas komentar Radu, berikut adalah algoritma terkait oleh Bravyi yang memberikan algoritme untuk mengontrak tensor matchgate pada grafik dengan genus dengan run-time di mana adalah jumlah minimum tepi yang harus dihapus dari untuk membuatnya planar.g T = p o l y ( n ) + 2 2 g O ( m 3 ) m GGgT= p o l y( n ) + 22 gO ( m3)mG
Cai, Lu, dan Xia baru-baru ini membuktikan dikotomi berikut untuk masalah penghitungan #CSP:
Kami membuktikan teorema dikotomi kompleksitas dalam kerangka penghitungan masalah CSP. Fungsi kendala lokal mengambil input Boolean, dan dapat menjadi fungsi simetris bernilai nyata yang sewenang-wenang. Kami membuktikan bahwa, setiap masalah di kelas ini milik tepat tiga kategori:
(1) grafik yang dapat ditelusuri (yaitu, waktu polinomial yang dapat dihitung) pada grafik umum, atau
(2) grafik yang # P-hard pada grafik umum tetapi dapat ditelusur pada grafik planar , atau
(3) grafik yang # P-hard even pada grafik planar.
Kriteria klasifikasi adalah eksplisit.