Diberikan sirkuit boolean pada n variabel (yang menggunakan gerbang NOT, AND dan OR), apa cara paling efisien untuk mengekstrak rumus boolean yang diwakili oleh sirkuit? Apakah ada algoritma polytime untuk masalah ini?
10
Diberikan sirkuit boolean pada n variabel (yang menggunakan gerbang NOT, AND dan OR), apa cara paling efisien untuk mengekstrak rumus boolean yang diwakili oleh sirkuit? Apakah ada algoritma polytime untuk masalah ini?
Jawaban:
Pengantar Algoritma oleh Cormen et al. menjelaskan ini secara rinci, dalam bab tentang NP-Completeness.
sumber