En informatique théorique, et notamment en théorie de la complexité, la classe IP (une abréviation pour Interactive Polynomial time, c'est-à-dire « interactif en temps polynomial ») est la classe des problèmes de décision qui peuvent être résolus par un système de preuve interactive. Le concept de système de preuve interactive a été introduit pour la première fois en 1985 par Shafi Goldwasser, Silvio Micali et Charles Rackoff.

Property Value
dbo:abstract
  • En informatique théorique, et notamment en théorie de la complexité, la classe IP (une abréviation pour Interactive Polynomial time, c'est-à-dire « interactif en temps polynomial ») est la classe des problèmes de décision qui peuvent être résolus par un système de preuve interactive. Le concept de système de preuve interactive a été introduit pour la première fois en 1985 par Shafi Goldwasser, Silvio Micali et Charles Rackoff. (fr)
  • En informatique théorique, et notamment en théorie de la complexité, la classe IP (une abréviation pour Interactive Polynomial time, c'est-à-dire « interactif en temps polynomial ») est la classe des problèmes de décision qui peuvent être résolus par un système de preuve interactive. Le concept de système de preuve interactive a été introduit pour la première fois en 1985 par Shafi Goldwasser, Silvio Micali et Charles Rackoff. (fr)
dbo:namedAfter
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 7319346 (xsd:integer)
dbo:wikiPageLength
  • 13178 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 186523628 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1985 (xsd:integer)
  • 1989 (xsd:integer)
prop-fr:doi
  • 10.113700 (xsd:double)
prop-fr:fin
  • I#ip (fr)
  • I#ipp (fr)
  • I#qip (fr)
  • M#mip (fr)
  • I#ip (fr)
  • I#ipp (fr)
  • I#qip (fr)
  • M#mip (fr)
prop-fr:issn
  • 1095 (xsd:integer)
prop-fr:journal
  • SIAM Journal on Computing (fr)
  • SIAM Journal on Computing (fr)
prop-fr:lieu
  • Philadelphie (fr)
  • Providence (fr)
  • Philadelphie (fr)
  • Providence (fr)
prop-fr:lireEnLigne
  • http://portal.acm.org/citation.cfm?id=63434|consulté le= (fr)
  • http://portal.acm.org/citation.cfm?id=22192|consulté le= (fr)
  • http://portal.acm.org/citation.cfm?id=63434|consulté le= (fr)
  • http://portal.acm.org/citation.cfm?id=22192|consulté le= (fr)
prop-fr:nom
  • MIP (fr)
  • IP (fr)
  • Babai (fr)
  • Goldwasser (fr)
  • IIP (fr)
  • Micali (fr)
  • QIP (fr)
  • Rackoff (fr)
  • MIP (fr)
  • IP (fr)
  • Babai (fr)
  • Goldwasser (fr)
  • IIP (fr)
  • Micali (fr)
  • QIP (fr)
  • Rackoff (fr)
prop-fr:numéro
  • 1 (xsd:integer)
prop-fr:pages
  • 186 (xsd:integer)
prop-fr:passage
  • 291 (xsd:integer)
prop-fr:prénom
  • Charles (fr)
  • László (fr)
  • Silvio (fr)
  • Shafi (fr)
  • Charles (fr)
  • László (fr)
  • Silvio (fr)
  • Shafi (fr)
prop-fr:titre
  • The knowledge complexity of interactive proof systems (fr)
  • The knowledge complexity of interactive proof systems (fr)
prop-fr:titreChapitre
  • Trading group theory for randomness (fr)
  • The knowledge complexity of interactive proof-systems (fr)
  • Trading group theory for randomness (fr)
  • The knowledge complexity of interactive proof-systems (fr)
prop-fr:titreOuvrage
  • Proceedings of Seventeenth ACM Symposium on the Theory of Computation (fr)
  • Proceedings of Seventeenth ACM Symposium on the Theory of Computation (fr)
prop-fr:url
  • http://crypto.cs.mcgill.ca/~crepeau/COMP647/2007/TOPIC02/GMR89.pdf| éditeur=Society for Industrial and Applied Mathematics (fr)
  • http://crypto.cs.mcgill.ca/~crepeau/COMP647/2007/TOPIC02/GMR89.pdf| éditeur=Society for Industrial and Applied Mathematics (fr)
prop-fr:volume
  • 18 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • ACM (fr)
  • ACM (fr)
dct:subject
rdfs:comment
  • En informatique théorique, et notamment en théorie de la complexité, la classe IP (une abréviation pour Interactive Polynomial time, c'est-à-dire « interactif en temps polynomial ») est la classe des problèmes de décision qui peuvent être résolus par un système de preuve interactive. Le concept de système de preuve interactive a été introduit pour la première fois en 1985 par Shafi Goldwasser, Silvio Micali et Charles Rackoff. (fr)
  • En informatique théorique, et notamment en théorie de la complexité, la classe IP (une abréviation pour Interactive Polynomial time, c'est-à-dire « interactif en temps polynomial ») est la classe des problèmes de décision qui peuvent être résolus par un système de preuve interactive. Le concept de système de preuve interactive a été introduit pour la première fois en 1985 par Shafi Goldwasser, Silvio Micali et Charles Rackoff. (fr)
rdfs:label
  • IP (Complexitat) (ca)
  • IP (complexidade) (pt)
  • IP (complexité) (fr)
  • IP (Complexitat) (ca)
  • IP (complexidade) (pt)
  • IP (complexité) (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of