About: dbpedia-fr:Théorème

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

About: dbpedia-fr:Théorème_PCP Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:label	PCP-Theorem (de) PCP-теорема (uk) Théorème PCP (fr)
rdfs:comment	En théorie de la complexité, un domaine de l'informatique théorique, le théorème PCP (acronyme de l'anglais probabilistically checkable proof, qui peut se traduire en français par « preuve vérifiable en probabilité ») est une caractérisation de la classe NP dans le contexte d'un système de preuve interactive. Plus précisément, NP est la classe des problèmes de décision qui ont des preuves pouvant être vérifiées de façon probabiliste en ayant accès à un nombre constant de bits de la preuve et en utilisant un nombre logarithmique de bits aléatoires. (fr)
sameAs	dbr:PCP_theorem wikidata:Q1140200 dbpedia-de:PCP-Theorem dbpedia-he:משפט_PCP dbpedia-pt:Teorema_PCP dbpedia-ru:Теорема_PCP dbpedia-uk:PCP-теорема http://g.co/kg/m/08jszr http://ma-graph.org/entity/88606757
Wikipage page ID	7266087 (xsd:integer)
Wikipage revision ID	186786278 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorème_de_la_théorie_de_la_complexité dbpedia-fr:Acronymie Approximation algorithm Randomized algorithm Carsten Lund dbpedia-fr:Clause International Congress of Mathematicians dbpedia-fr:Démonstration_(logique_et_mathématique) dbpedia-fr:Forme_normale_conjonctive Theoretical computer science dbpedia-fr:Irit_Dinur László Lovász Madhu Sudan NP (complexity) Oded Goldreich Probabilistically checkable proof Zero-knowledge proof dbpedia-fr:Prix_Gödel dbpedia-fr:Problème_3-SAT dbpedia-fr:Problème_P_≟_NP dbpedia-fr:Problème_algorithmique dbpedia-fr:Problème_de_décision Rajeev Motwani dbpedia-fr:Sanjeev_Arora Shafi Goldwasser dbpedia-fr:Shmuel_Safra dbpedia-fr:Système_de_preuve_interactive Expander graph dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Théorème_de_Cook dbpedia-fr:Uriel_Feige Étienne Ghys dbpedia-fr:Mario_Szegedy dbpedia-fr:Ingo_Wegener
Link from a Wikipage to an external page	https://www.cs.umd.edu/~gasarch/pcp/ALMSS.pdf http://xrds.acm.org/article.cfm%3Faid=2090286 http://images.math.cnrs.fr/Verifier-une-preuve-la-conference,755.html https://web.archive.org/web/20110610101051/http:/www.cs.umd.edu/~gasarch/pcp/AS.pdf http://groups.csail.mit.edu/cis/pubs/shafi/1996-jacm.pdf http://www.cs.umd.edu/~gasarch/pcp/AS.pdf
page length (characters) of wiki page	15017 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorème_de_la_théorie_de_la_complexité
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Citation_bloc dbpedia-fr:Modèle:Confusion dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Complexity_Zoo dbpedia-fr:Modèle:Computational_Complexity_(Arora_et_Barak) dbpedia-fr:Modèle:Référence_Harvard
prov:wasDerivedFrom	wikipedia-fr:Théorème_PCP?oldid=186786278&ns=0
foaf:depiction
prop-fr:année	1996 (xsd:integer) 1998 (xsd:integer) 2007 (xsd:integer) 2010 (xsd:integer) 2012 (xsd:integer)
prop-fr:auteur	Dana Moshkovitz (fr)
prop-fr:doi	10 (xsd:double)
prop-fr:fin	P#pcp (fr)
prop-fr:journal	Journal of the ACM (fr)
prop-fr:lienAuteur	Irit Dinur (fr)
prop-fr:lireEnLigne	http://xrds.acm.org/article.cfm%3Faid=2090286
prop-fr:nom	Lund (fr) Motwani (fr) Sudan (fr) Ghys (fr) Arora (fr) PCP (fr) Feige (fr) Szegedy (fr) Lovász (fr) Goldwasser (fr) Dinur (fr) Safra (fr)
prop-fr:numéro	1 (xsd:integer) 2 (xsd:integer) 3 (xsd:integer)
prop-fr:pages	12 (xsd:integer) 70 (xsd:integer) 268 (xsd:integer) 501 (xsd:integer)

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, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software