Ada beberapa masalah penghitungan yang melibatkan penghitungan banyak hal secara eksponensial (relatif terhadap ukuran input), namun memiliki algoritma deterministik tepat waktu polinomial waktu yang mengejutkan. Contohnya termasuk:
- Menghitung kecocokan sempurna dalam grafik planar ( algoritma FKT ), yang merupakan dasar untuk bagaimana algoritma holografik bekerja.
- Menghitung rentang pohon dalam grafik (melalui teorema pohon matriks Kirchhoff ).
Langkah kunci dalam kedua contoh ini adalah mengurangi masalah penghitungan untuk menghitung faktor penentu dari matriks tertentu. Penentu itu sendiri, tentu saja, sejumlah banyak hal secara eksponensial, namun secara mengejutkan dapat dihitung dalam waktu polinomial.
Pertanyaan saya adalah: apakah ada algoritma "pasti sangat efisien" tepat dan deterministik yang dikenal untuk menghitung masalah yang tidak mengurangi menghitung komputasi faktor penentu?