| Property |
Value |
| dbo:abstract
|
- En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages. Cela permet de définir des classes de complexité intéressantes, notamment la classe IP qui est le modèle utilisé dans le théorème PCP qui caractérise la classe NP. (fr)
- En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages. Cela permet de définir des classes de complexité intéressantes, notamment la classe IP qui est le modèle utilisé dans le théorème PCP qui caractérise la classe NP. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3505 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:auteur
|
- Antoine Chambert-Loir (fr)
- Antoine Chambert-Loir (fr)
|
| prop-fr:date
| |
| prop-fr:site
| |
| prop-fr:url
|
- http://images.math.cnrs.fr/Je-suis-daltonien-mais-je-m-en-sors.html?lang=fr|titre=Je suis daltonien, mais je m’en sors... (fr)
- http://images.math.cnrs.fr/Je-suis-daltonien-mais-je-m-en-sors.html?lang=fr|titre=Je suis daltonien, mais je m’en sors... (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages. Cela permet de définir des classes de complexité intéressantes, notamment la classe IP qui est le modèle utilisé dans le théorème PCP qui caractérise la classe NP. (fr)
- En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages. Cela permet de définir des classes de complexité intéressantes, notamment la classe IP qui est le modèle utilisé dans le théorème PCP qui caractérise la classe NP. (fr)
|
| rdfs:label
|
- IP (clase de complejidad) (es)
- Sistema de demostració interactiu (ca)
- Système de preuve interactive (fr)
- 交互式证明系统 (zh)
- 対話型証明系 (ja)
- IP (clase de complejidad) (es)
- Sistema de demostració interactiu (ca)
- Système de preuve interactive (fr)
- 交互式证明系统 (zh)
- 対話型証明系 (ja)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:namedAfter
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
