About: dbpedia-fr:Protocole

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Protocole_Arthur-Merlin Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	AM (Complexitat) (ca) Protocole Arthur-Merlin (fr)
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. (fr)
sameAs	dbr:Arthur–Merlin_protocol wikidata:Q4800823 dbpedia-ca:AM_(Complexitat) dbpedia-es:Protocolo_Arthur-Merlin dbpedia-ja:Arthur–Merlinプロトコル dbpedia-pt:Protocolo_de_Arthur-Merlin http://g.co/kg/m/030v3k
Wikipage page ID	8668988 (xsd:integer)
Wikipage revision ID	154249167 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:BPP_(complexité) category-fr:Théorie_de_la_complexité_des_algorithmes dbpedia-fr:Classe_de_complexité dbpedia-fr:Générateur_de_nombres_aléatoires Polynomial hierarchy dbpedia-fr:Hypothèse_de_Riemann_généralisée dbpedia-fr:IP_(complexité) László Babai NP (complexity) Oracle machine dbpedia-fr:P/poly dbpedia-fr:PP_(complexité) dbpedia-fr:PSPACE Zero-knowledge proof dbpedia-fr:Problème_de_décision dbpedia-fr:Problème_de_l'isomorphisme_de_graphes dbpedia-fr:Système_de_preuve_interactive dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) Sipser–Lautemann theorem
page length (characters) of wiki page	11117 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_de_la_complexité_des_algorithmes
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Complexité_algorithmique_(Perifel)
prov:wasDerivedFrom	wikipedia-fr:Protocole_Arthur-Merlin?oldid=154249167&ns=0
prop-fr:titreChapitre	Protocoles interactifs (fr)
prop-fr:numéroChapitre	10 (xsd:integer)
foaf:isPrimaryTopicOf	wikipedia-fr:Protocole_Arthur-Merlin
has 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. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:IP_(complexité) dbpedia-fr:Lemme_de_Schwartz-Zippel dbpedia-fr:Liste_de_classes_de_complexité dbpedia-fr:Problème_de_l'isomorphisme_de_graphes Russell Impagliazzo dbpedia-fr:Shlomo_Moran dbpedia-fr:Système_de_preuve_interactive Sipser–Lautemann theorem dbpedia-fr:Protocole_d'Arthur_et_Merlin
is Wikipage redirect of	dbpedia-fr:Protocole_d'Arthur_et_Merlin
is oa:hasTarget of	Ca labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Protocole_Arthur-Merlin

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software