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
| |
dbo:wikiPageLength
|
- 13178 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1985 (xsd:integer)
- 1989 (xsd:integer)
|
prop-fr:doi
| |
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
| |
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
| |
prop-fr:pages
| |
prop-fr:passage
| |
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
| |
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
| |
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 | |