Un sistema de demostración interactivo (IP) es un concepto en teoría de la complejidad computacional que modela cómputos como el intercambio de mensajes entre dos partes. Las partes son el verificador y el demostrador, quienes interactúan por intercambio de mensajes para demostrar la pertenencia o no de una palabra dada a un lenguaje. El demostrador dispone de todos los recursos que necesite pero el verificador tiene un poder de cómputo acotado.

rdfs:comment
  • Un sistema de demostración interactivo (IP) es un concepto en teoría de la complejidad computacional que modela cómputos como el intercambio de mensajes entre dos partes. Las partes son el verificador y el demostrador, quienes interactúan por intercambio de mensajes para demostrar la pertenencia o no de una palabra dada a un lenguaje. El demostrador dispone de todos los recursos que necesite pero el verificador tiene un poder de cómputo acotado. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • IP (clase de complejidad) (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageID
  • 83394 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1630 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 8 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 77391278 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of