This HTML5 document contains 43 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n18http://g.co/kg/m/
n12http://fr.dbpedia.org/resource/P/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n8http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n21http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Protocole_Arthur-Merlin
rdfs:label
Protocole Arthur-Merlin AM (Complexitat)
rdfs:comment
En théorie de la complexité, un protocole Arthur-Merlin est un système de preuve interactive dans lequel on impose que les lancers de pièces du vérificateur soient publics (c'est-à-dire également connus du démonstrateur). Cette notion a été introduite par László Babai en 1985. Godwasser et Sipser ont prouvé en 1986 que tous les langages avec preuves interactives de longueur arbitraire avec aléatoire privé peuvent aussi être décidés par des preuves interactives avec aléatoire public.
owl:sameAs
dbpedia-ca:AM_(Complexitat) dbpedia-pt:Protocolo_de_Arthur-Merlin dbpedia-es:Protocolo_Arthur-Merlin dbr:Arthur–Merlin_protocol wikidata:Q4800823 n18:030v3k dbpedia-ja:Arthur–Merlinプロトコル
dbo:wikiPageID
8668988
dbo:wikiPageRevisionID
154249167
dbo:wikiPageWikiLink
dbpedia-fr:Oracle_(machine_de_Turing) dbpedia-fr:Preuve_à_divulgation_nulle_de_connaissance dbpedia-fr:PSPACE n12:poly dbpedia-fr:PP_(complexité) dbpedia-fr:NP_(complexité) dbpedia-fr:BPP_(complexité) dbpedia-fr:Classe_de_complexité dbpedia-fr:László_Babai dbpedia-fr:Système_de_preuve_interactive dbpedia-fr:Hiérarchie_polynomiale dbpedia-fr:Hypothèse_de_Riemann_généralisée dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Problème_de_l'isomorphisme_de_graphes category-fr:Théorie_de_la_complexité_des_algorithmes dbpedia-fr:IP_(complexité) dbpedia-fr:Problème_de_décision dbpedia-fr:Théorème_de_Sipser-Gács-Lautemann dbpedia-fr:Générateur_de_nombres_aléatoires
dbo:wikiPageLength
11117
dct:subject
category-fr:Théorie_de_la_complexité_des_algorithmes
prop-fr:wikiPageUsesTemplate
n8:Complexité_algorithmique_(Perifel) n8:Portail n8:Palette n8:Références n21:Référence
prov:wasDerivedFrom
wikipedia-fr:Protocole_Arthur-Merlin?oldid=154249167&ns=0
prop-fr:titreChapitre
Protocoles interactifs
prop-fr:numéroChapitre
10
foaf:isPrimaryTopicOf
wikipedia-fr:Protocole_Arthur-Merlin
dbo:abstract
En théorie de la complexité, un protocole Arthur-Merlin est un système de preuve interactive dans lequel on impose que les lancers de pièces du vérificateur soient publics (c'est-à-dire également connus du démonstrateur). Cette notion a été introduite par László Babai en 1985. Godwasser et Sipser ont prouvé en 1986 que tous les langages avec preuves interactives de longueur arbitraire avec aléatoire privé peuvent aussi être décidés par des preuves interactives avec aléatoire public.