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

Пропозиційні системи доказів та відповідні обмежені арифметичні теорії

1
НП проти ко-НП та логіка другого порядку
Припустимо, що NP = co-NP і поліном обмежує довжину доказу незадовільності для екземпляра 3-CNF . Тоді чи є результати, за якою формою може бути якийсь доказ незадовільності для довжини ? Тобто, чи повинен такий доказ використовувати, наприклад, повну силу логіки другого порядку над нескінченними структурами (я знаю, що пропозиція довести …

1
Використовуючи складність Колмогорова для встановлення нижньої межі складності доказу?
Мотивацією цього питання є той факт, що більшість n-бітових рядків є нестислимими. Інтуїтивно, ми можемо запропонувати за аналогією, що більшість доказів тавтологій є нестислимими для розмірів поліномів. В основному, моя інтуїція полягає в тому, що деякі докази за своєю суттю є випадковими і їх неможливо стиснути. Чи є хороша посилання …

3
Теоретичне обмеження графіка на докази в теорії складності доказу
Доказовий складність є найбільш базовою областю теорії складності обчислень. Кінцевою метою цієї області є доведення , тобто будь-який довідник не може дати доказ незадовільності заданої формули введення. NП≠ c o NПNП≠cоNПNP\neq coNP Графік є однією з формальних моделей доказів. Моє питання щодо подальшого обмеження цієї моделі. Доказ представлений як DAG. …

1
Докази в
У розмові Розборова викладено цікаве невелике твердження. Якщо ФАКТОРИНГ важкий, то мала теорема Ферма не є доказовою у S12S21S_{2}^{1} . Що таке S12S21S_{2}^{1} і чому поточні докази відсутні в S12S21S_{2}^{1} ?

4
Простий випадок SAT, який не є простим для вирішення дерева
Чи існують природні формули із CNF - бажано тієї, яка раніше вивчалася в літературі - з такими властивостями:ССC - простий випадок SAT, наприклад, Рог або 2-CNF, тобто членство в C можна перевірити в поліномічний час, а формули F ∈ C можна перевірити на відповідність у поліномному часі.СCCСCCЖ∈ CF∈CF\in C Невідомі …

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

1
Нижні межі для Фреге і розширені Фреге
У Вікіпедії [1] зазначено, що найвідоміша нижня межа розмірів доказів Фреге є квадратичною, а також немає відомих надлінійних нижніх меж для кількості ліній доказів Фреге. Запитання: 1) Яка найвідоміша нижня межа для кількості ліній розширених доказів Фреге? 2) Яка найвідоміша нижня межа для розміру розширених доказів Фреге? Це все ще …

2
Інтуїція за системами перевірки
Я намагаюся витримати документ про p-Optimal Proof Systems and Logic for PTIME . У статті є поняття під назвою систем доказування, і я не розумію: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Ми виявляємо проблеми з підмножинами QQQ в Σ∗Σ∗\Sigma^*. Я думаю, інтуїція полягає в тому, що …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.