Questions marquées «proof-complexity»

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...

J'essaie de comprendre le document sur les systèmes de preuve p-optimaux et la logique pour PTIME . Il y a une notion appelée systèmes de preuve dans le papier et je ne comprends pas l'intution: ... Nous identifions des problèmes avec des sous-ensembles de Q dans Σ ∗ .Σ={0,1}Σ={0,1}\Sigma =...

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 de...