Saya mencari referensi tentang kompleksitas masalah penyeimbangan rumus Boolean . Khususnya,
- Apakah diketahui bahwa rumus Boolean dapat diseimbangkan dalam ?
- Apakah ada bukti sederhana keseimbangan Boolean yang menyeimbangkan berada di ?
Maksud "sederhana" yang saya maksud adalah bukti yang lebih sederhana daripada yang saya sebutkan di bawah ini, khususnya saya mencari bukti yang tidak bergantung pada evaluasi rumus Boolean yang ada di .
Latar Belakang
Di sini semua kelas kompleksitas yang disebutkan adalah yang seragam.
BFB (penyeimbangan rumus Boolean):
Diberikan rumus Boolean , Temukan rumus Boolean seimbang yang setara.
Saya tertarik dengan kerumitan masalah ini, khususnya bukti sederhana yang menunjukkan masalahnya ada di (atau bahkan atau ). Argumen penyeimbangan umum seperti yang didasarkan pada lemma Spira menerapkan modifikasi struktural berulang pada pohon formula yang tampaknya hanya memberikan . T C 0 N C 1 B F B ∈ N C 2
Saya punya bukti untuk , namun buktinya tidak sederhana dan tergantung pada bukti . B F E ∈ N C 1
BFE (evaluasi rumus Boolean)
Diberikan rumus Boolean dan tugas kebenaran untuk variabel di , Apakah memuaskan ( )?τ φ τ φ τ ⊨ φ
Diketahui dari hasil terkenal Sam Buss bahwa evaluasi rumus Boolean ( ) dapat dihitung dalam (lihat [Buss87] dan [BCGR92] ).N C 1 = A L o g T i m e
Maka (cukup mengejutkan, setidaknya bagi saya) bahwa penyeimbangan formula Boolean ( ) juga dalam :N C 1
Idenya adalah kita dapat melakukan hardcode di gerbang input untuk mendapatkan rumus yang setara dengan dan ini adalah operasi sintaksis yang sepenuhnya dapat dihitung dalam . Karena memiliki rumus seimbang, kami memperoleh rumus seimbang yang setara untuk . Dengan kata lain, algoritma ini adalah:B F E φ A C 0 B F E φ
Motivasi
Argumen yang lebih sederhana untuk berada di (atau atau bahkan ) akan memberikan bukti sederhana yang lebih sederhana karena mudah untuk melihat bahwa versi BFE yang seimbang dapat diselesaikan dalam dan kita dapat menyusunnya dengan dan hasilnya akan di .A C 0 T C 0 N C 1 B F E ∈ N C 1 B F B N C 1
Pertanyaan
- Apakah diketahui bahwa rumus Boolean dapat diseimbangkan dalam ( )?
- Apakah ada argumen yang lebih sederhana (mis. Tidak mengandalkan ) untuk ?