Запитання з тегом «proof-search»

2
Якщо P = NP, чи могли б ми отримати докази задуми Гольдбаха тощо?
Це наївне питання, поза моїм досвідом; вибачення заздалегідь. Концепція Гольдбаха та багато інших невирішених питань з математики можуть бути записані як короткі формули в предикатному обчисленні. Наприклад, праця Кука "Чи можуть комп'ютери звичайно виявляти математичні докази?" формулює цю гіпотезу як ∀ n [ ( n > 2 ∧ 2 | …

1
Теорема прямої суми про складність простору пункту роздільної здатності?
Резолюція - це схема доведення незадовільності CNF. Доказом дозволу є логічне вирахування порожнього пункту для початкових статей CNF. Зокрема, можна зробити висновок про будь-який початковий пункт, а з двох пунктів і можна також вивести пунктСпростування - це послідовність відрахувань, яка закінчується порожнім пунктом.A∨xA∨xA \lor xB∨¬xB∨¬xB \lor \neg{x}A∨BA∨BA \lor B Якщо …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.