Domande taggate «proof-complexity»

sistemi di prova proposizionale e corrispondenti teorie aritmetiche limitate

1
Usando la complessità di Kolmogorov per stabilire limiti inferiori della complessità delle prove?
La motivazione di questa domanda è il fatto che la maggior parte delle stringhe n-bit sono incomprimibili. Intuitivamente, possiamo proporre per analogia che la maggior parte delle prove per le tautologie sono incomprimibili alla dimensione polinomiale. Fondamentalmente, la mia intuizione è che alcune prove sono intrinsecamente casuali e non possono …
3
Limitazione teorica dei grafici alle prove nella teoria della complessità delle prove
La complessità della prova è un'area basilare della teoria della complessità computazionale. Uno scopo ultimo di quest'area è dimostrare , ovvero ogni prover non può fornire una prova di insoddisfazione di una determinata formula di input. NP≠coNPNP≠coNPNP\neq coNP Un grafico è uno dei modelli formali di prove. La mia domanda …
1
Prove in
In un discorso di Razborov, viene pubblicata una curiosa piccola affermazione. Se FACTORING è difficile, il piccolo teorema di Fermat non è dimostrabile in .S12S21S_{2}^{1} Che cos'è e perché le prove correnti non sono in S_ {2} ^ {1} ? S12S21S_{2}^{1}S12S21S_{2}^{1}
1
Limiti inferiori per Frege ed Extended Frege
Wikipedia [1] afferma che il limite inferiore più noto per dimensione delle prove di Frege è quadratico e che non ci sono limiti inferiori superlineari noti per il numero di linee di prove di Frege. Domande: 1) Qual è il limite inferiore più noto per il numero di righe di …
2
Intuizione dietro i sistemi di prova
Sto cercando di capire l'articolo su p-Optimal Proof Systems e Logic per PTIME . C'è una nozione chiamata sistemi di prova nel documento e non capisco l'intenzione: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Identifichiamo i problemi con sottoinsiemi di in .QQQΣ*Σ∗\Sigma^* Penso che l'intenzione sia quella …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.