Seperti yang ditunjukkan dalam makalah "Sirkuit Monoton untuk Fungsi Mayoritas", adalah mungkin untuk membangun sirkuit boolean monoton untuk fungsi mayoritas pada variabel n dengan ukuran O (n ^ 3) dan kedalaman 5,3 log (n) + O (1).
Menurut XOR Satisfiability Solver Module untuk Integrasi DPLL oleh Tero Laitinen, kita membutuhkan klausa CNF untuk mengubah klausa XOR-SAT literal jika kita tidak ingin menambah jumlah literal. Jadi, saya mengerti bahwa biaya komputasi untuk mengubah ekspresi XOR-SAT menjadi CNF -SAT adalah...
Pembentukan baru-baru ini dari hubunganb s ( f) = O ( s ( f)4)bs(f)=HAI(s(f)4)bs(f)=O(s(f)^4) melewati Gotsman, Linial . Bisakah pendekatan yang sama mencapai atau apakah ada batasan penting untuk pendekatan tersebut?O ( s (