Dualitas diri monoton
Untuk fungsi boolean f= f( x1, x2, . . . , xn) , itu ganda adalah fd= f¯( x1¯, x2¯, . . . , xn¯) . Mengingat f( x1, x2, . . . , xn)diwakili oleh rumus CNF, kita harus memutuskan apakah f= fd .
Masalah ini ada di dalam co-NP [ catatan2n ], yaitu, dapat di decidable dengan O ( log2n / logcatatann ) langkah nondeterministic. Dengan demikian, ia memiliki algoritma waktu kuasi-polinomial ( O ( ncatatann / logcatatann)), dan karenanya tidak mungkin co-NP-hard.
Masih terbuka apakah masalah ini dalam P atau tidak. Rincian lebih lanjut dapat ditemukan di makalah 2008 " Aspek komputasi dualisasi monoton: Sebuah survei singkat " oleh Thomas Eiter, Kazuhisa Makino, dan Georg Gottlob.