Biarkan menjadi fungsi bernilai integer sehingga ada di . Apakah itu berarti ada di ? Adakah alasan untuk meyakini hal ini tidak mungkin selalu berlaku? Adakah referensi yang harus saya ketahui?2 F # P F # P
Agak mengherankan, situasi ini muncul (dengan konstanta yang jauh lebih besar), untuk fungsi yang mana adalah masalah terbuka lama. F ∈ ? # P
Catatan: Saya menyadari makalah M. Ogiwara, L. Hemachandra, Sebuah teori kompleksitas untuk sifat penutupan yang layak di mana masalah pembagian-by-2 terkait telah dipelajari (lihat Thm 3.13). Namun masalah mereka berbeda, karena mereka mendefinisikan divisi untuk semua fungsi melalui operator lantai. Itu memungkinkan mereka melakukan pengurangan cepat terhadap masalah paritas.