normal-forms पर टैग किए गए जवाब

मैं कैसे साबित कर सकता हूं कि CNF से DNF में रूपांतरण एनपी-हार्ड है? मैं इसका जवाब नहीं मांग रहा हूं, बस कुछ सुझाव हैं कि इसे कैसे साबित किया जाए।

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

आवेदन का क्रम: हमेशा फ़ंक्शन के मूल्यांकन से पहले किसी फ़ंक्शन के तर्कों का पूरी तरह से मूल्यांकन करें, जैसे - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ …

14 logic  lambda-calculus  normal-forms 

मैं समझता हूं कि संदर्भ-मुक्त व्याकरण का उपयोग संदर्भ-मुक्त भाषाओं का प्रतिनिधित्व करने के लिए किया जा सकता है। इसमें अस्पष्टताएं हो सकती हैं। हमारे पास चॉम्स्की और ग्रीबाच सामान्य रूप भी हैं। मैं उस की जरूरत को नहीं समझ सका। वे भाषाओं के सिद्धांत में महत्वपूर्ण क्यों हैं? मैंने …

12 formal-languages  context-free  formal-grammars  normal-forms 

धागे के संबंध में साबित होता है कि CNF से DNF में रूपांतरण एनपी-हार्ड (और संबंधित गणित धागा ) है: DNF से CNF तक, अन्य दिशा के बारे में कैसे? यह आसान है या कठिन? इस पत्र के पृष्ठ 2 पर , वे संकेत देते हैं कि दोनों दिशाएं समान …

10 complexity-theory  logic  satisfiability  normal-forms