Questions marquées «proof-complexity»

systèmes de preuve propositionnelle et théories arithmétiques bornées correspondantes

1
Utiliser la complexité de Kolmogorov pour établir des limites inférieures de complexité de preuve?
La motivation de cette question est le fait que la plupart des chaînes de n bits sont incompressibles. Intuitivement, nous pouvons proposer par analogie que la plupart des preuves pour les tautologies sont incompressibles à la taille polynomiale. Fondamentalement, mon intuition est que certaines preuves sont intrinsèquement aléatoires et ne …
3
Représentation graphique des restrictions théoriques aux preuves dans la théorie de la complexité des preuves
La complexité de la preuve est l'un des domaines les plus élémentaires de la théorie de la complexité informatique. Un objectif ultime de ce domaine est de prouver , c'est-à-dire que tout prouveur ne peut pas fournir une preuve d'insatisfiabilité d'une formule d'entrée donnée. NP≠ c o NPNP≠coNPNP\neq coNP Un …
1
Preuves dans
Dans un discours de Razborov, une curieuse petite déclaration est publiée. Si la FACTORISATION est difficile, alors le petit théorème de Fermat n'est pas prouvable dans .S12S21S_{2}^{1} Qu'est-ce que et pourquoi les preuves actuelles ne figurent-elles pas dans ? S12S21S_{2}^{1}S12S21S_{2}^{1}
1
Limites inférieures pour Frege et Extended Frege
Wikipedia [1] déclare que la borne inférieure la plus connue pour la taille des preuves Frege est quadratique et qu'il n'y a pas de borne inférieure super-linéaire connue pour le nombre de lignes de preuves Frege. Des questions: 1) Quelle est la borne inférieure la plus connue pour le nombre …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.