Pohon keputusan baca-sekali didefinisikan sebagai berikut:
- dan F a l s e -baca sekali pohon keputusan.
- Jika dan B adalah pohon keputusan baca-sekali dan x adalah variabel yang tidak terjadi di A dan B , maka ( x ∧ A ) ∨ ( ˉ x ∧ B ) juga merupakan pohon keputusan baca-sekali.
Apa kompleksitas masalah kesetaraan untuk pohon keputusan baca-sekali?
- Input: Dua baca-sekali pohon keputusan dan B .
- Output: Apakah ?
Motivasi:
Masalah ini muncul ketika saya melihat masalah kesetaraan bukti (permutasi aturan) dari sebuah fragmen Linear Logic.