Matches in SemOpenAlex for { <https://semopenalex.org/work/W2142853640> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2142853640 abstract "This paper demonstrates that P not= NP. The way was to generalize the traditional definitions of the classes P and NP, to construct an artificial problem (a generalization to SAT: The XG-SAT, much more difficult than the former) and then to demonstrate that it is in NP but not in P (where the classes P and NP are generalized and called too simply P and NP in this paper, and then it is explained why the traditional classes P and NP should be fixed and replaced by these generalized ones into Theory of Computer Science). The demonstration consists of: 1. Definition of Restricted Type X Program; 2. Definition of the General Extended Problem of Satisfiability of a Boolean Formula - XG-SAT; 3. Generalization to classes P and NP; 4. Demonstration that the XG-SAT is in NP; 5. Demonstration that the XG-SAT is not in P; 6. Demonstration that the Baker-Gill-Solovay Theorem does not refute the proof; 7. Demonstration that the Razborov-Rudich Theorem does not refute the proof; 8. Demonstration that the Aaronson-Wigderson Theorem does not refute the proof." @default.
- W2142853640 created "2016-06-24" @default.
- W2142853640 creator A5032144307 @default.
- W2142853640 date "2009-07-23" @default.
- W2142853640 modified "2023-09-27" @default.
- W2142853640 title "P != NP Proof" @default.
- W2142853640 cites W1537682426 @default.
- W2142853640 cites W1555624314 @default.
- W2142853640 cites W1579225579 @default.
- W2142853640 cites W1994584977 @default.
- W2142853640 cites W2002089154 @default.
- W2142853640 cites W2052328598 @default.
- W2142853640 cites W2753533763 @default.
- W2142853640 cites W2912080987 @default.
- W2142853640 cites W3004540582 @default.
- W2142853640 cites W3145128584 @default.
- W2142853640 cites W45689951 @default.
- W2142853640 cites W2947762340 @default.
- W2142853640 cites W301824129 @default.
- W2142853640 hasPublicationYear "2009" @default.
- W2142853640 type Work @default.
- W2142853640 sameAs 2142853640 @default.
- W2142853640 citedByCount "2" @default.
- W2142853640 countsByYear W21428536402017 @default.
- W2142853640 crossrefType "posted-content" @default.
- W2142853640 hasAuthorship W2142853640A5032144307 @default.
- W2142853640 hasConcept C105605280 @default.
- W2142853640 hasConcept C108710211 @default.
- W2142853640 hasConcept C114614502 @default.
- W2142853640 hasConcept C118539577 @default.
- W2142853640 hasConcept C118615104 @default.
- W2142853640 hasConcept C134306372 @default.
- W2142853640 hasConcept C171988527 @default.
- W2142853640 hasConcept C177148314 @default.
- W2142853640 hasConcept C199360897 @default.
- W2142853640 hasConcept C2524010 @default.
- W2142853640 hasConcept C2780801425 @default.
- W2142853640 hasConcept C33923547 @default.
- W2142853640 hasConcept C41008148 @default.
- W2142853640 hasConcept C6943359 @default.
- W2142853640 hasConceptScore W2142853640C105605280 @default.
- W2142853640 hasConceptScore W2142853640C108710211 @default.
- W2142853640 hasConceptScore W2142853640C114614502 @default.
- W2142853640 hasConceptScore W2142853640C118539577 @default.
- W2142853640 hasConceptScore W2142853640C118615104 @default.
- W2142853640 hasConceptScore W2142853640C134306372 @default.
- W2142853640 hasConceptScore W2142853640C171988527 @default.
- W2142853640 hasConceptScore W2142853640C177148314 @default.
- W2142853640 hasConceptScore W2142853640C199360897 @default.
- W2142853640 hasConceptScore W2142853640C2524010 @default.
- W2142853640 hasConceptScore W2142853640C2780801425 @default.
- W2142853640 hasConceptScore W2142853640C33923547 @default.
- W2142853640 hasConceptScore W2142853640C41008148 @default.
- W2142853640 hasConceptScore W2142853640C6943359 @default.
- W2142853640 hasLocation W21428536401 @default.
- W2142853640 hasOpenAccess W2142853640 @default.
- W2142853640 hasPrimaryLocation W21428536401 @default.
- W2142853640 hasRelatedWork W1531053217 @default.
- W2142853640 hasRelatedWork W1769830549 @default.
- W2142853640 hasRelatedWork W1793599134 @default.
- W2142853640 hasRelatedWork W2080139332 @default.
- W2142853640 hasRelatedWork W2085310804 @default.
- W2142853640 hasRelatedWork W248039429 @default.
- W2142853640 hasRelatedWork W2524078459 @default.
- W2142853640 hasRelatedWork W2548391377 @default.
- W2142853640 hasRelatedWork W2548856372 @default.
- W2142853640 hasRelatedWork W2626569379 @default.
- W2142853640 hasRelatedWork W2952463263 @default.
- W2142853640 hasRelatedWork W3019448069 @default.
- W2142853640 hasRelatedWork W3023658669 @default.
- W2142853640 hasRelatedWork W3112732671 @default.
- W2142853640 hasRelatedWork W3164639875 @default.
- W2142853640 hasRelatedWork W42931805 @default.
- W2142853640 hasRelatedWork W54566029 @default.
- W2142853640 hasRelatedWork W599692955 @default.
- W2142853640 hasRelatedWork W753286845 @default.
- W2142853640 hasRelatedWork W985167470 @default.
- W2142853640 isParatext "false" @default.
- W2142853640 isRetracted "false" @default.
- W2142853640 magId "2142853640" @default.
- W2142853640 workType "article" @default.