Wikidata facts
- Instance of
- complexity class
- Named after
- interactive proof system
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Français
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.
Abstract from DBpedia / Wikipedia · CC BY-SA