Apa kompleksitas masalah kesetaraan untuk pohon keputusan baca-sekali?


11

Pohon keputusan baca-sekali didefinisikan sebagai berikut:

  • dan F a l s e -baca sekali pohon keputusan.TrueFalse
  • Jika dan B adalah pohon keputusan baca-sekali dan x adalah variabel yang tidak terjadi di A dan B , maka ( x A ) ( ˉ xB ) juga merupakan pohon keputusan baca-sekali.ABxAB(xA)(x¯B)

Apa kompleksitas masalah kesetaraan untuk pohon keputusan baca-sekali?

  • Input: Dua baca-sekali pohon keputusan dan B .AB
  • Output: Apakah ?AB

Motivasi:

Masalah ini muncul ketika saya melihat masalah kesetaraan bukti (permutasi aturan) dari sebuah fragmen Linear Logic.


Tidak bisakah Anda menggunakan diagram keputusan biner yang diperkecil? Sunting: err mungkin tidak, variabel Anda tidak dipesan ...
Sylvain

@ Kaveh Tidak, itu terjadi dalam teori bukti: Saya melihat masalah kesetaraan bukti (permutasi aturan) dari sebuah fragmen Logika Linear. Intinya adalah masalah boolean ini. Karena saya bukan spesialis, saya pikir saya akan bertanya apakah ini pertanyaan yang mudah diketahui / mudah. Karenanya, ya saya mengarang nama itu karena saya tidak tahu apa-apa.
Marc

1
@ Mark, umumnya ide yang bagus untuk menjelaskan mengapa Anda tertarik pada masalah. Saya mengedit pertanyaan. Silakan lihat untuk memastikan itu baik-baik saja. (Juga menghapus komentar saya sebelumnya karena tidak diperlukan lagi.)
Kaveh

@ Kaveh Ya, maaf soal itu. Saya mengedit reformulasi Anda untuk membuatnya lebih dekat dengan argumen asli saya (saya tidak dapat segera mengetahui apakah Anda baik-baik saja sehingga tampaknya lebih mudah untuk melakukan ini)
Marc

Jawaban:


5

Saya menemukan solusi parsial. Masalahnya adalah di L.

Negasi dari setara dengan ( ˉ AB ) ( A ˉ B ) yang setara dengan F a l s e IFF baik ( ˉ AB ) dan ( A ˉ B ) adalah.AB(A¯B)(AB¯)False(A¯B)(AB¯)

Membaca-sekali pohon keputusan untuk dapat diperoleh dari pohon keputusan read-sekali untuk A dengan beralih T r u e dan F a l s e di A . Ini bisa dilakukan di ruang log.A¯ATrueFalseA

A¯BFalseAB¯Truexx¯False

Jadi masalahnya setidaknya di L.


AC0


EDIT2: itu dia, http://iml.univ-mrs.fr/~bagnol/drafts/mall_bdd.pdf

Jadi masalahnya memang Logspace-complete.


x.A+x¯.B(x¯+A¯).(x+B¯)x.A¯+x¯.B¯+A¯.B¯

1
x.A¯+x¯.B¯

1
xx¯1L

1
Cara yang lebih mudah untuk menyatakan ini adalah: Setiap jalur adalah istilah minimum atau maksimum tergantung pada label daunnya. Kami memeriksa apakah mereka memiliki ketentuan min yang sama. Kami dapat menghitung min-term dalam ruang log dan memeriksa apakah dua min-term yang sama adalah dalam ruang log.
Kaveh

2
NC1AC0AC0

2

ϕ

011{x,y¯,z}{x,y¯,z}{x,y,z}{x,z}y{x,y¯,z,t}{x,y,z}

{x1,,xn}ixi{x,xi,xj},{x,xj¯}{x,xi},{x,xi¯,xj¯}i<jxxixjji

P


1
x,y,zx,y¯,zx,y,z¯

Ah ya lupa itu, saya menambahkan perbaikan berharap itu berfungsi sekarang.
Denis

Jangan lupa untuk mengklaim $ juta Anda jika berhasil :)
Marc

L
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.