Berikut adalah beberapa konsekuensi teoretis dari kesetaraan FP = # P, meskipun tidak ada hubungannya dengan kecerdasan buatan. Asumsi FP = # P setara dengan P = PP , jadi izinkan saya menggunakan notasi terakhir.
Jika P = PP, maka kita memiliki P = BQP : perhitungan kuantum polinomial-waktu dapat disimulasikan oleh perhitungan polinomial-waktu klasik dan deterministik. Ini adalah konsekuensi langsung dari BQP⊆PP [ADH97, FR98] (dan dari hasil sebelumnya BQP⊆P PP [BV97]). Di atas pengetahuan saya, P = BQP tidak diketahui mengikuti dari asumsi P = NP. Situasi ini berbeda dari kasus perhitungan acak ( BPP ): karena BPP⊆NP NP [Lau83], persamaan P = BPP mengikuti dari P = NP.
Konsekuensi lain dari P = PP adalah bahwa model perhitungan Blum-Shub-Smale atas real dengan konstanta rasional sama dengan mesin Turing dalam arti tertentu. Lebih tepatnya, P = PP menyiratkan P = BP (P ℝ 0 ); yaitu, jika bahasa L ⊆ {0,1} * dapat dipilih oleh program bebas-konstan di atas real dalam waktu polinomial, maka L dapat ditentukan oleh mesin Turing polinomial waktu. (Di sini "BP" adalah singkatan dari "Boolean part" dan tidak ada hubungannya dengan BPP.) Ini mengikuti dari BP (P ℝ 0 ) ⊆ CH [ABKM09]. Lihat kertas untuk definisi. Masalah penting dalam BP (P ℝ 0 ) adalah masalah jumlah akar kuadratdan kawan-kawan (mis. “Diberikan bilangan bulat k dan satu set titik koordinat bilangan bulat yang terbatas di pesawat, apakah ada pohon spanning dengan panjang total paling banyak k ?”) [Tiw92].
Demikian pula untuk argumen kedua, masalah komputasi bit tertentu dalam x y ketika bilangan bulat positif x dan y diberikan dalam biner akan berada dalam P jika P = PP.
Referensi
[ABKM09] Eric Allender, Peter Bürgisser, Johan Kjeldgaard-Pedersen dan Peter Bro Miltersen. Pada kompleksitas analisis numerik. Jurnal SIAM tentang Komputer , 38 (5): 1987–2006, Januari 2009. http://dx.doi.org/10.1137/070697926
[ADH97] Leonard M. Adleman, Jonathan DeMarrais dan Ming-Deh A. Huang. Komputasi kuantum. Jurnal SIAM tentang Komputasi , 26 (5): 1524–1540, Oktober 1997. http://dx.doi.org/10.1137/S0097539795293639
[BV97] Ethan Bernstein dan Umesh Vazirani. Teori kompleksitas kuantum. Jurnal SIAM tentang Komputasi , 26 (5): 1411–1473, Oktober 1997. http://dx.doi.org/10.1137/S0097539796300921
[FR98] Lance Fortnow dan John Rogers. Keterbatasan kompleksitas pada perhitungan kuantum. Jurnal Ilmu Komputer dan Sistem , 59 (2): 240–252, Oktober 1999. http://dx.doi.org/10.1006/jcss.1999.1651
[Lau83] Clemens Lautemann. BPP dan hierarki waktu polinomial. Information Processing Letters , 17 (4): 215–217, November 1983. http://dx.doi.org/10.1016/0020-0190(83)90044-3
[Tiw92] Prasoon Tiwari. Masalah yang lebih mudah diselesaikan pada RAM aljabar unit-cost. Journal of Complexity , 8 (4): 393–397, Desember 1992. http://dx.doi.org/10.1016/0885-064X(92)90003-T