Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
P is not equal to NP
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Social Sciences, Department of Informatics and Media.
2017 (English)Report (Other academic)
Abstract [en]

SAT is not in P is proved, in a first-order theory, with a new single finite axiom of Turing’s theory of computing. So, P is not equal to NP.

Place, publisher, year, edition, pages
2017. , 5 p.
Series
Research report / Uppsala University, Department of Information Science, ISSN 1403-7572Research report / Uppsala University, Department of Information Science, ISSN 1403-7572
Keyword [en]
P is not equal to NP Complexity
National Category
Computer and Information Science
Research subject
Computing Science
Identifiers
URN: urn:nbn:se:uu:diva-321597OAI: oai:DiVA.org:uu-321597DiVA: diva2:1094016
Available from: 2017-05-09 Created: 2017-05-09 Last updated: 2017-05-09Bibliographically approved

Open Access in DiVA

fulltext(331 kB)55 downloads
File information
File name FULLTEXT01.pdfFile size 331 kBChecksum SHA-512
d21198ef27114025fef6298872a48b8bac8a84dd62360de9b0b4a10a3d37067ce5c2d6803745d396713257083dde5bde4ee065232367be4097d916c85a5f5702
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Tärnlund, Sten-Åke
By organisation
Department of Informatics and Media
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 55 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 790 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf