Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294698643> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4294698643 abstract "There have been many attempts to solve the P versus NP problem. However, with a new proof method, P not equal NP can be proved. A time limit is set for an arbitrary Turing machine and an input word is rejected on a timeout. The time limit goes toward infinity. Due to the halting problem, whether a word is accepted can only be determined at runtime. It can be shown by Rice's theorem, if a finite set of words are to be checked, they all have to be tested by brute force." @default.
- W4294698643 created "2022-09-06" @default.
- W4294698643 creator A5085954006 @default.
- W4294698643 date "2021-08-19" @default.
- W4294698643 modified "2023-10-14" @default.
- W4294698643 title "Separation of P and NP" @default.
- W4294698643 doi "https://doi.org/10.48550/arxiv.2108.09269" @default.
- W4294698643 hasPublicationYear "2021" @default.
- W4294698643 type Work @default.
- W4294698643 citedByCount "0" @default.
- W4294698643 crossrefType "posted-content" @default.
- W4294698643 hasAuthorship W4294698643A5085954006 @default.
- W4294698643 hasBestOaLocation W42946986431 @default.
- W4294698643 hasConcept C105795698 @default.
- W4294698643 hasConcept C11413529 @default.
- W4294698643 hasConcept C114614502 @default.
- W4294698643 hasConcept C118615104 @default.
- W4294698643 hasConcept C134306372 @default.
- W4294698643 hasConcept C151201525 @default.
- W4294698643 hasConcept C177264268 @default.
- W4294698643 hasConcept C199360897 @default.
- W4294698643 hasConcept C2524010 @default.
- W4294698643 hasConcept C29248071 @default.
- W4294698643 hasConcept C31691690 @default.
- W4294698643 hasConcept C33923547 @default.
- W4294698643 hasConcept C41008148 @default.
- W4294698643 hasConcept C45374587 @default.
- W4294698643 hasConcept C7321624 @default.
- W4294698643 hasConcept C90805587 @default.
- W4294698643 hasConceptScore W4294698643C105795698 @default.
- W4294698643 hasConceptScore W4294698643C11413529 @default.
- W4294698643 hasConceptScore W4294698643C114614502 @default.
- W4294698643 hasConceptScore W4294698643C118615104 @default.
- W4294698643 hasConceptScore W4294698643C134306372 @default.
- W4294698643 hasConceptScore W4294698643C151201525 @default.
- W4294698643 hasConceptScore W4294698643C177264268 @default.
- W4294698643 hasConceptScore W4294698643C199360897 @default.
- W4294698643 hasConceptScore W4294698643C2524010 @default.
- W4294698643 hasConceptScore W4294698643C29248071 @default.
- W4294698643 hasConceptScore W4294698643C31691690 @default.
- W4294698643 hasConceptScore W4294698643C33923547 @default.
- W4294698643 hasConceptScore W4294698643C41008148 @default.
- W4294698643 hasConceptScore W4294698643C45374587 @default.
- W4294698643 hasConceptScore W4294698643C7321624 @default.
- W4294698643 hasConceptScore W4294698643C90805587 @default.
- W4294698643 hasLocation W42946986431 @default.
- W4294698643 hasOpenAccess W4294698643 @default.
- W4294698643 hasPrimaryLocation W42946986431 @default.
- W4294698643 hasRelatedWork W1599846817 @default.
- W4294698643 hasRelatedWork W2026699771 @default.
- W4294698643 hasRelatedWork W2415681638 @default.
- W4294698643 hasRelatedWork W247209993 @default.
- W4294698643 hasRelatedWork W2595921241 @default.
- W4294698643 hasRelatedWork W2950806687 @default.
- W4294698643 hasRelatedWork W3159741022 @default.
- W4294698643 hasRelatedWork W4293872491 @default.
- W4294698643 hasRelatedWork W4294698643 @default.
- W4294698643 hasRelatedWork W4287023014 @default.
- W4294698643 isParatext "false" @default.
- W4294698643 isRetracted "false" @default.
- W4294698643 workType "article" @default.