«normal-forms» 태그된 질문

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . CNF에서 DNF 로의 변환이 NP-Hard임을 어떻게 증명할 수 있습니까? 나는 대답을 요구하지 않고 그것을 증명하는 방법에 대한 몇 가지 제안 만합니다.

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) \ …

14 logic  lambda-calculus  normal-forms 

문맥이없는 문법은 문맥이없는 언어를 표현하는 데 사용될 수 있다는 것을 이해합니다. 또한 Chomsky 및 Greibach 일반 형식 과 같은 일반 형식이 있습니다. 나는 그 필요성을 이해할 수 없었다. 언어 이론에서 왜 중요한가? 내가 언급 한 모든 교과서는 이러한 일반적인 형태에 대해서는 말하지만 그 중요성에 대해서는 아무 것도 말하지 않았습니다.

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

스레드와 관련하여 CNF에서 DNF 로의 변환이 NP-Hard (및 관련 Math 스레드 ) 임을 증명하는 경우 : DNF에서 CNF까지의 다른 방향은 어떻습니까? 쉽지 않습니까? 이 백서의 2 페이지에서 " CNF 표현에서 DNF 표현으로 또는 그 반대로 변환 할 때 최대 크기의 폭발에 관심이 있습니다 "라고 말하면 두 방향 모두 똑같이 어렵다고 …

10 complexity-theory  logic  satisfiability  normal-forms