Запитання з тегом «normal-forms»

Як я можу довести, що перетворення від 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))→ (λх.х2(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 \ \rightarrow \ 9 Нормальний порядок: вираз буде зменшено …

14 logic  lambda-calculus  normal-forms 

Я розумію, що без контексту граматики можна використовувати для представлення без контекстних мов. У нас також є нормальні форми, такі як Хомський і Грайбах нормальної форми. Я не міг зрозуміти необхідності цього. Чому вони важливі в теорії мов? Усі підручники, про які я згадував, розповідають про ці звичайні форми, але …

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

Щодо потоку Доведення, що перетворення з CNF в DNF є NP-Hard (і пов'язаної з ним математичної нитки ): Як щодо іншого напрямку, від DNF до CNF? Легко чи важко? На сторінці 2 цього документу вони, начебто, натякають, що обидва напрямки однаково важкі, коли кажуть: " Ми зацікавлені в максимальному розмірі …

10 complexity-theory  logic  satisfiability  normal-forms