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 eksponensial. n k
Pertanyaan saya: Berapa biaya komputasi jika saya ingin membalik prosesnya? Berapa biaya komputasi untuk mengubah ekspresi CNF -SAT menjadi ekspresi XOR-SAT? Saya berasumsi bahwa dalam kasus ini hanya ekspresi -SAT dengan ekspresi XOR-SAT yang setara yang dipertimbangkan.k