En théorie de la complexité, la conjecture de Berman-Hartmanis est une conjecture non résolue qui prétend que tous les langages NP-complets se ressemblent. Plus précisément, la conjecture prétend qu'il existe un isomorphisme calculable en temps polynomial entre tous langages NP-complets. La conjecture doit son nom à Leonard C. Berman et Juris Hartmanis.

Property Value
dbo:abstract
  • En théorie de la complexité, la conjecture de Berman-Hartmanis est une conjecture non résolue qui prétend que tous les langages NP-complets se ressemblent. Plus précisément, la conjecture prétend qu'il existe un isomorphisme calculable en temps polynomial entre tous langages NP-complets. La conjecture doit son nom à Leonard C. Berman et Juris Hartmanis. (fr)
  • En théorie de la complexité, la conjecture de Berman-Hartmanis est une conjecture non résolue qui prétend que tous les langages NP-complets se ressemblent. Plus précisément, la conjecture prétend qu'il existe un isomorphisme calculable en temps polynomial entre tous langages NP-complets. La conjecture doit son nom à Leonard C. Berman et Juris Hartmanis. (fr)
dbo:namedAfter
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 11008475 (xsd:integer)
dbo:wikiPageLength
  • 2254 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 182044731 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En théorie de la complexité, la conjecture de Berman-Hartmanis est une conjecture non résolue qui prétend que tous les langages NP-complets se ressemblent. Plus précisément, la conjecture prétend qu'il existe un isomorphisme calculable en temps polynomial entre tous langages NP-complets. La conjecture doit son nom à Leonard C. Berman et Juris Hartmanis. (fr)
  • En théorie de la complexité, la conjecture de Berman-Hartmanis est une conjecture non résolue qui prétend que tous les langages NP-complets se ressemblent. Plus précisément, la conjecture prétend qu'il existe un isomorphisme calculable en temps polynomial entre tous langages NP-complets. La conjecture doit son nom à Leonard C. Berman et Juris Hartmanis. (fr)
rdfs:label
  • Berman–Hartmanis conjecture (en)
  • Conjecture de Berman-Hartmanis (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of