रीड-वन डिसीजन ट्री के लिए समतुल्यता समस्या की जटिलता क्या है?


11

एक बार पढ़ने वाले निर्णय के पेड़ को इस प्रकार परिभाषित किया गया है:

  • और एफ एल एस पढ़े-एक बार निर्णय लेने वाले पेड़ हैं।TrueFalse
  • अगर और बी कर रहे हैं पढ़ने के लिए एक बार निर्णय वृक्ष और एक्स में होने वाली नहीं एक चर रहा है एक और बी , तो ( एक्स एक ) ( ˉ एक्सबी ) भी एक पढ़ने के एक बार निर्णय का पेड़ है।ABxAB(xA)(x¯B)

रीड-वन डिसीजन ट्री के लिए समतुल्यता समस्या की जटिलता क्या है?

  • इनपुट: दो पढ़े-लिखे निर्णय पेड़ और बीAB
  • आउटपुट: Is ?AB

प्रेरणा:

यह समस्या तब सामने आई जब मैं लीनियर लॉजिक के एक टुकड़े के सबूत तुल्यता समस्या (नियमों का क्रमांकन) देख रहा था।


क्या आप कम द्विआधारी निर्णय आरेख का उपयोग नहीं कर सकते हैं? संपादित करें: जब तक शायद नहीं, आपके चर का आदेश नहीं दिया जाता है ...
सिल्वेन

@ केव नोप, यह प्रूफ थ्योरी में होता है: मैं लीनियर लॉजिक के एक टुकड़े के सबूत समतुल्यता समस्या (नियमों का क्रमांकन) देख रहा हूं। इस बूलियन समस्या के लिए नीचे फोड़े। जैसा कि मैं कोई विशेषज्ञ नहीं हूं, मुझे लगा कि अगर मैं यह अच्छी तरह से जानता / आसान सवाल करता तो मैं पूछता। इसलिए, हाँ, मैंने नाम बना लिया क्योंकि मुझे कोई बेहतर पता नहीं है।
मार्क

1
@ मैर्क, आमतौर पर यह समझाने का एक अच्छा विचार है कि आप किसी समस्या में क्यों रुचि रखते हैं। मैंने प्रश्न संपादित किया। कृपया यह सुनिश्चित करने के लिए एक नज़र रखें कि यह ठीक है। (इसके अलावा मेरी पिछली टिप्पणियों को हटा दें क्योंकि उन्हें अब कोई ज़रूरत नहीं है।)
केवह

@Kaveh हाँ, इसके बारे में क्षमा करें। मैंने इसे आपके मूल तर्क के करीब लाने के लिए आपके सुधार को संपादित किया (यदि आपका समय ठीक था तो मैं तुरंत यह पता नहीं लगा सकता था कि ऐसा करना आसान था)
मार्क

जवाबों:


5

मुझे एक आंशिक समाधान मिला। समस्या एल में है।

का निषेध के बराबर है ( ˉ एकबी ) ( एक ˉ बी ) जो के बराबर है एफ एक एल एस दोनों iff ( ˉ एकबी ) और ( एक ˉ बी ) कर रहे हैं।AB(A¯B)(AB¯)False(A¯B)(AB¯)

पढ़ने के लिए एक बार के लिए निर्णय वृक्ष के लिए पढ़ने के एक बार निर्णय वृक्ष से प्राप्त किया जा सकता एक स्विचन द्वारा टी आर यू और एफ एक एल एस में एक । यह लॉग स्पेस में किया जा सकता है।A¯ATrueFalseA

यह जाँचने के लिए को equivlent है एफ एक एल एस (और के लिए इसी तरह एकˉ बी ) हम सभी के जोड़े के माध्यम से चलाने टी आर यू पत्ते, हर एक पेड़ से एक है, और देखें कि क्या उन्होंने संगत कर रहे हैं (कि कोई वहाँ है एक्स पथ में से एक और पर ˉ एक्स दूसरे पर)। यह के बराबर है एफ एक एल एस iff हम कोई संगत जोड़ी पाते हैं। यह लॉग स्पेस में किया जा सकता है।A¯BFalseAB¯Truexx¯False

तो समस्या कम से कम एल में है।


AC0


EDIT2: वहाँ यह है, http://iml.univ-mrs.fr/~bagnol/drafts/mall_bdd.pdf

तो समस्या वास्तव में लॉगस्पेस-पूर्ण है।


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

1
x.A¯+x¯.B¯

1
xx¯1L

1
यह बताने का एक आसान तरीका है: प्रत्येक पथ अपने पत्ते के लेबल के आधार पर एक न्यूनतम अवधि या अधिकतम अवधि है। हम जाँचते हैं कि क्या उनके पास समान मिनिमम-शर्तें हैं। हम लॉग-स्पेस में मिनिमम-टर्म्स को एन्यूमरेट कर सकते हैं और चेक कर सकते हैं कि क्या दो मिनिमम-टर्म्स समान हैं।
केवह

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¯

आह हाँ भूल गया कि, मैं एक फिक्स जोड़ रहा हूँ उम्मीद है कि यह अब काम करता है।
डेनिस

अगर यह काम करता है तो आप अपने मिलियन डॉलर का दावा करना न भूलें :)
Marc

L
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.