Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288283913> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4288283913 abstract "We will find a lower bound on the recognition complexity of the theories that are nontrivial relative to some equivalence relation (this relation may be equality), namely, each of these theories is consistent with the formula, whose sense is that there exist two non-equivalent elements. However, at first, we will obtain a lower bound on the computational complexity for the first-order theory of Boolean algebra that has only two elements. For this purpose, we will code the long-continued deterministic Turing machine computations by the relatively short-length quantified Boolean formulae; the modified Stockmeyer and Meyer method will appreciably be used for this simulation. Then, we will transform the modeling formulae of the theory of this Boolean algebra to the simulation ones of the first-order theory of the only equivalence relation in polynomial time. Since the computational complexity of these theories is not polynomial, we obtain that the class $mathbf{P}$ is a proper subclass of $mathbf{PSPACE}$ (Polynomial Time is a proper subset of Polynomial Space). Keywords: Computational complexity, the theory of equality, the coding of computations, simulation by means formulae, polynomial time, polynomial space, lower complexity bound" @default.
- W4288283913 created "2022-07-28" @default.
- W4288283913 creator A5011116563 @default.
- W4288283913 date "2019-07-10" @default.
- W4288283913 modified "2023-10-17" @default.
- W4288283913 title "The complexity of the first-order theory of pure equality" @default.
- W4288283913 doi "https://doi.org/10.32523/2077-9879-2022-13-1-44-68" @default.
- W4288283913 hasPublicationYear "2019" @default.
- W4288283913 type Work @default.
- W4288283913 citedByCount "0" @default.
- W4288283913 crossrefType "posted-content" @default.
- W4288283913 hasAuthorship W4288283913A5011116563 @default.
- W4288283913 hasBestOaLocation W42882839131 @default.
- W4288283913 hasConcept C113709454 @default.
- W4288283913 hasConcept C11413529 @default.
- W4288283913 hasConcept C118615104 @default.
- W4288283913 hasConcept C121332964 @default.
- W4288283913 hasConcept C122806257 @default.
- W4288283913 hasConcept C131583701 @default.
- W4288283913 hasConcept C134026603 @default.
- W4288283913 hasConcept C134306372 @default.
- W4288283913 hasConcept C156103551 @default.
- W4288283913 hasConcept C169699857 @default.
- W4288283913 hasConcept C179799912 @default.
- W4288283913 hasConcept C184596265 @default.
- W4288283913 hasConcept C197685441 @default.
- W4288283913 hasConcept C2780069185 @default.
- W4288283913 hasConcept C29248071 @default.
- W4288283913 hasConcept C311688 @default.
- W4288283913 hasConcept C33923547 @default.
- W4288283913 hasConcept C39637292 @default.
- W4288283913 hasConcept C45374587 @default.
- W4288283913 hasConcept C62520636 @default.
- W4288283913 hasConcept C77553402 @default.
- W4288283913 hasConcept C84114770 @default.
- W4288283913 hasConcept C90119067 @default.
- W4288283913 hasConcept C92043244 @default.
- W4288283913 hasConceptScore W4288283913C113709454 @default.
- W4288283913 hasConceptScore W4288283913C11413529 @default.
- W4288283913 hasConceptScore W4288283913C118615104 @default.
- W4288283913 hasConceptScore W4288283913C121332964 @default.
- W4288283913 hasConceptScore W4288283913C122806257 @default.
- W4288283913 hasConceptScore W4288283913C131583701 @default.
- W4288283913 hasConceptScore W4288283913C134026603 @default.
- W4288283913 hasConceptScore W4288283913C134306372 @default.
- W4288283913 hasConceptScore W4288283913C156103551 @default.
- W4288283913 hasConceptScore W4288283913C169699857 @default.
- W4288283913 hasConceptScore W4288283913C179799912 @default.
- W4288283913 hasConceptScore W4288283913C184596265 @default.
- W4288283913 hasConceptScore W4288283913C197685441 @default.
- W4288283913 hasConceptScore W4288283913C2780069185 @default.
- W4288283913 hasConceptScore W4288283913C29248071 @default.
- W4288283913 hasConceptScore W4288283913C311688 @default.
- W4288283913 hasConceptScore W4288283913C33923547 @default.
- W4288283913 hasConceptScore W4288283913C39637292 @default.
- W4288283913 hasConceptScore W4288283913C45374587 @default.
- W4288283913 hasConceptScore W4288283913C62520636 @default.
- W4288283913 hasConceptScore W4288283913C77553402 @default.
- W4288283913 hasConceptScore W4288283913C84114770 @default.
- W4288283913 hasConceptScore W4288283913C90119067 @default.
- W4288283913 hasConceptScore W4288283913C92043244 @default.
- W4288283913 hasLocation W42882839131 @default.
- W4288283913 hasLocation W42882839132 @default.
- W4288283913 hasOpenAccess W4288283913 @default.
- W4288283913 hasPrimaryLocation W42882839131 @default.
- W4288283913 hasRelatedWork W1504200807 @default.
- W4288283913 hasRelatedWork W2002952819 @default.
- W4288283913 hasRelatedWork W2005440350 @default.
- W4288283913 hasRelatedWork W2018805361 @default.
- W4288283913 hasRelatedWork W2173966285 @default.
- W4288283913 hasRelatedWork W2403781283 @default.
- W4288283913 hasRelatedWork W2956865288 @default.
- W4288283913 hasRelatedWork W3186305678 @default.
- W4288283913 hasRelatedWork W4288283913 @default.
- W4288283913 hasRelatedWork W4294266235 @default.
- W4288283913 isParatext "false" @default.
- W4288283913 isRetracted "false" @default.
- W4288283913 workType "article" @default.