FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2947353914> ?p ?o ?g. }

• W2947353914 abstract "Proving that there are problems in $mathsf{P}^mathsf{NP}$ that require boolean circuits of super-linear size is a major frontier in complexity theory. While such lower bounds are known for larger complexity classes, existing results only show that the corresponding problems are hard on infinitely many input lengths. For instance, proving almost-everywhere circuit lower bounds is open even for problems in $mathsf{MAEXP}$. Giving the notorious difficulty of proving lower bounds that hold for all large input lengths, we ask the following question: Can we show that a large set of techniques cannot prove that $mathsf{NP}$ is easy infinitely often? Motivated by this and related questions about the interaction between mathematical proofs and computations, we investigate circuit complexity from the perspective of logic. Among other results, we prove that for any parameter $k geq 1$ it is consistent with theory $T$ that computational class ${mathcal C} not subseteq textit{i.o.}mathrm{SIZE}(n^k)$, where $(T, mathcal{C})$ is one of the pairs: $T = mathsf{T}^1_2$ and ${mathcal C} = mathsf{P}^mathsf{NP}$, $T = mathsf{S}^1_2$ and ${mathcal C} = mathsf{NP}$, $T = mathsf{PV}$ and ${mathcal C} = mathsf{P}$. In other words, these theories cannot establish infinitely often circuit upper bounds for the corresponding problems. This is of interest because the weaker theory $mathsf{PV}$ already formalizes sophisticated arguments, such as a proof of the PCP Theorem. These consistency statements are unconditional and improve on earlier theorems of [KO17] and [BM18] on the consistency of lower bounds with $mathsf{PV}$." @default.
• W2947353914 created "2019-06-07" @default.
• W2947353914 creator A5036648509 @default.
• W2947353914 creator A5069803587 @default.
• W2947353914 creator A5086921168 @default.
• W2947353914 date "2020-06-01" @default.
• W2947353914 modified "2023-09-25" @default.
• W2947353914 title "Consistency of circuit lower bounds with bounded theories" @default.
• W2947353914 cites W112858668 @default.
• W2947353914 cites W1489496002 @default.
• W2947353914 cites W1544916020 @default.
• W2947353914 cites W1563012911 @default.
• W2947353914 cites W1607926272 @default.
• W2947353914 cites W1973023438 @default.
• W2947353914 cites W1977921381 @default.
• W2947353914 cites W1981324778 @default.
• W2947353914 cites W1984477611 @default.
• W2947353914 cites W1989076199 @default.
• W2947353914 cites W1989978772 @default.
• W2947353914 cites W2011047736 @default.
• W2947353914 cites W2011612028 @default.
• W2947353914 cites W2029576333 @default.
• W2947353914 cites W2030202224 @default.
• W2947353914 cites W2054191060 @default.
• W2947353914 cites W2071204190 @default.
• W2947353914 cites W2087012565 @default.
• W2947353914 cites W2089546742 @default.
• W2947353914 cites W2091961944 @default.
• W2947353914 cites W2092429268 @default.
• W2947353914 cites W2107771176 @default.
• W2947353914 cites W2116335551 @default.
• W2947353914 cites W2123776260 @default.
• W2947353914 cites W2125894854 @default.
• W2947353914 cites W2126270200 @default.
• W2947353914 cites W2127883677 @default.
• W2947353914 cites W2151586869 @default.
• W2947353914 cites W2152454366 @default.
• W2947353914 cites W2169644995 @default.
• W2947353914 cites W2169748287 @default.
• W2947353914 cites W2170007444 @default.
• W2947353914 cites W2177219880 @default.
• W2947353914 cites W2184467059 @default.
• W2947353914 cites W2185541742 @default.
• W2947353914 cites W2296103289 @default.
• W2947353914 cites W2296506534 @default.
• W2947353914 cites W2574746104 @default.
• W2947353914 cites W2736246298 @default.
• W2947353914 cites W2767976260 @default.
• W2947353914 cites W2809266875 @default.
• W2947353914 cites W2888826740 @default.
• W2947353914 cites W2944371034 @default.
• W2947353914 cites W2948979199 @default.
• W2947353914 cites W2964143682 @default.
• W2947353914 cites W2964773335 @default.
• W2947353914 cites W641573107 @default.
• W2947353914 doi "https://doi.org/10.23638/lmcs-16(2:12)2020" @default.
• W2947353914 hasPublicationYear "2020" @default.
• W2947353914 type Work @default.
• W2947353914 sameAs 2947353914 @default.
• W2947353914 citedByCount "3" @default.
• W2947353914 countsByYear W29473539142022 @default.
• W2947353914 countsByYear W29473539142023 @default.
• W2947353914 crossrefType "journal-article" @default.
• W2947353914 hasAuthorship W2947353914A5036648509 @default.
• W2947353914 hasAuthorship W2947353914A5069803587 @default.
• W2947353914 hasAuthorship W2947353914A5086921168 @default.
• W2947353914 hasBestOaLocation W29473539142 @default.
• W2947353914 hasConcept C105605280 @default.
• W2947353914 hasConcept C108710211 @default.
• W2947353914 hasConcept C114614502 @default.
• W2947353914 hasConcept C118615104 @default.
• W2947353914 hasConcept C134306372 @default.
• W2947353914 hasConcept C154945302 @default.
• W2947353914 hasConcept C2524010 @default.
• W2947353914 hasConcept C2776436953 @default.
• W2947353914 hasConcept C2777212361 @default.
• W2947353914 hasConcept C311688 @default.
• W2947353914 hasConcept C33923547 @default.
• W2947353914 hasConcept C34388435 @default.
• W2947353914 hasConcept C39637292 @default.
• W2947353914 hasConcept C41008148 @default.
• W2947353914 hasConcept C77553402 @default.
• W2947353914 hasConceptScore W2947353914C105605280 @default.
• W2947353914 hasConceptScore W2947353914C108710211 @default.
• W2947353914 hasConceptScore W2947353914C114614502 @default.
• W2947353914 hasConceptScore W2947353914C118615104 @default.
• W2947353914 hasConceptScore W2947353914C134306372 @default.
• W2947353914 hasConceptScore W2947353914C154945302 @default.
• W2947353914 hasConceptScore W2947353914C2524010 @default.
• W2947353914 hasConceptScore W2947353914C2776436953 @default.
• W2947353914 hasConceptScore W2947353914C2777212361 @default.
• W2947353914 hasConceptScore W2947353914C311688 @default.
• W2947353914 hasConceptScore W2947353914C33923547 @default.
• W2947353914 hasConceptScore W2947353914C34388435 @default.
• W2947353914 hasConceptScore W2947353914C39637292 @default.
• W2947353914 hasConceptScore W2947353914C41008148 @default.
• W2947353914 hasConceptScore W2947353914C77553402 @default.
• W2947353914 hasLocation W29473539141 @default.
• W2947353914 hasLocation W29473539142 @default.
• W2947353914 hasLocation W29473539143 @default.

• next