Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951663923> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2951663923 abstract "The objective of this article is to formalize the definition of NP problems. We construct a mathematical model of discrete problems as independence systems with weighted elements. We introduce two auxiliary sets that characterize the solution of the problem: the adjoint set, which contains the elements from the original set none of which can be adjoined to the already chosen solution elements; and the residual set, in which every element can be adjoined to previously chosen solution elements. In a problem without lookahead, every adjoint set can be generated by the solution algorithm effectively, in polynomial time. The main result of the study is the assertion that the NP class is identical with the class of problems without lookahead. Hence it follows that if we fail to find an effective (polynomial-time) solution algorithm for a given problem, then we need to look for an alternative formulation of the problem in set of problems without lookahead." @default.
- W2951663923 created "2019-06-27" @default.
- W2951663923 creator A5065312706 @default.
- W2951663923 date "1999-03-16" @default.
- W2951663923 modified "2023-09-27" @default.
- W2951663923 title "Formalization of the class of problems solvable by a nondeterministic Turing machine" @default.
- W2951663923 hasPublicationYear "1999" @default.
- W2951663923 type Work @default.
- W2951663923 sameAs 2951663923 @default.
- W2951663923 citedByCount "0" @default.
- W2951663923 crossrefType "posted-content" @default.
- W2951663923 hasAuthorship W2951663923A5065312706 @default.
- W2951663923 hasConcept C105795698 @default.
- W2951663923 hasConcept C11413529 @default.
- W2951663923 hasConcept C134306372 @default.
- W2951663923 hasConcept C154945302 @default.
- W2951663923 hasConcept C155512373 @default.
- W2951663923 hasConcept C176181172 @default.
- W2951663923 hasConcept C177264268 @default.
- W2951663923 hasConcept C17744445 @default.
- W2951663923 hasConcept C199360897 @default.
- W2951663923 hasConcept C199539241 @default.
- W2951663923 hasConcept C200288055 @default.
- W2951663923 hasConcept C2777212361 @default.
- W2951663923 hasConcept C2780801425 @default.
- W2951663923 hasConcept C33923547 @default.
- W2951663923 hasConcept C35651441 @default.
- W2951663923 hasConcept C40422974 @default.
- W2951663923 hasConcept C41008148 @default.
- W2951663923 hasConcept C90119067 @default.
- W2951663923 hasConceptScore W2951663923C105795698 @default.
- W2951663923 hasConceptScore W2951663923C11413529 @default.
- W2951663923 hasConceptScore W2951663923C134306372 @default.
- W2951663923 hasConceptScore W2951663923C154945302 @default.
- W2951663923 hasConceptScore W2951663923C155512373 @default.
- W2951663923 hasConceptScore W2951663923C176181172 @default.
- W2951663923 hasConceptScore W2951663923C177264268 @default.
- W2951663923 hasConceptScore W2951663923C17744445 @default.
- W2951663923 hasConceptScore W2951663923C199360897 @default.
- W2951663923 hasConceptScore W2951663923C199539241 @default.
- W2951663923 hasConceptScore W2951663923C200288055 @default.
- W2951663923 hasConceptScore W2951663923C2777212361 @default.
- W2951663923 hasConceptScore W2951663923C2780801425 @default.
- W2951663923 hasConceptScore W2951663923C33923547 @default.
- W2951663923 hasConceptScore W2951663923C35651441 @default.
- W2951663923 hasConceptScore W2951663923C40422974 @default.
- W2951663923 hasConceptScore W2951663923C41008148 @default.
- W2951663923 hasConceptScore W2951663923C90119067 @default.
- W2951663923 hasLocation W29516639231 @default.
- W2951663923 hasOpenAccess W2951663923 @default.
- W2951663923 hasPrimaryLocation W29516639231 @default.
- W2951663923 hasRelatedWork W1507020421 @default.
- W2951663923 hasRelatedWork W1976048180 @default.
- W2951663923 hasRelatedWork W1983196506 @default.
- W2951663923 hasRelatedWork W1996004068 @default.
- W2951663923 hasRelatedWork W2017027749 @default.
- W2951663923 hasRelatedWork W2025543216 @default.
- W2951663923 hasRelatedWork W2051561298 @default.
- W2951663923 hasRelatedWork W2055767422 @default.
- W2951663923 hasRelatedWork W2064981447 @default.
- W2951663923 hasRelatedWork W2088181725 @default.
- W2951663923 hasRelatedWork W2141421279 @default.
- W2951663923 hasRelatedWork W2215324919 @default.
- W2951663923 hasRelatedWork W2249663488 @default.
- W2951663923 hasRelatedWork W2256206529 @default.
- W2951663923 hasRelatedWork W2336934783 @default.
- W2951663923 hasRelatedWork W2570115677 @default.
- W2951663923 hasRelatedWork W2741048150 @default.
- W2951663923 hasRelatedWork W2798653279 @default.
- W2951663923 hasRelatedWork W2990648384 @default.
- W2951663923 hasRelatedWork W3029285713 @default.
- W2951663923 isParatext "false" @default.
- W2951663923 isRetracted "false" @default.
- W2951663923 magId "2951663923" @default.
- W2951663923 workType "article" @default.