PTIME'de olumsuzlama içermeyen monoton Boole ifadeleri için eşdeğerliğe karar verebilir misiniz?

PTIME veya coNP'de aşağıdaki sorun zor mu?

değişkenlerinde iki ve Boole ifadesi (yani, ifadeler tamamen ve yoluyla oluşturulur ). , değişkenlere yapılan tüm atamalar için aynı değere sahip olup olmadığına karar verin .e 2 x 1 , … , x n ∧ ∨ e 1 ≡ e $e_1$$e_2$$x_1,\dots,x_n$$\wedge$$\vee$$e_1 \equiv e_2$

Her iki ifade DNF'de verilecekse, ilk önce konjonktif cümleleri sözlükbilimsel olarak sıralayabildiğimiz ve karşılaştırabildiğimiz için sorun PTIME'dadır. Ancak DNF'ye keyfi bir ifade getirmek katlanarak patlayabilir. Benzer bir argüman ikili karar diyagramları için de geçerlidir.

Açıkçası, sorun coNP'de.

Ben adil bir miktar Googling vardı, ama herhangi bir cevap bulamadık.

Temel soru için özür dileriz.

[BHR84] 'ün sonuç 3.5 probleminin coNP-complete olduğunu gösterir.

PA Bloniarz, HB Hunt, III ve DJ Rosenkrantz. Sert denklik ve minimizasyon problemleri olan cebirsel yapılar. ACM Dergisi , 31 (4): 879–904, Ekim 1984. http://dx.doi.org/10.1145/1634.1639