Estem treballant per restaurar l'aplicació de Unionpedia a la Google Play Store
SortintEntrant
🌟Hem simplificat el nostre disseny per a una millor navegació!
Instagram Facebook X LinkedIn

Demostració provable per probabilitat

Índex Demostració provable per probabilitat

En teoria de la complexitat, un sistema de demostració provable per probabilitat (o PCP per les sigles en anglès probabilistically checkable proof) és un tipus de prova que pot ser comprovada per un algorisme probabilístic usant una quantitat fitada de aleatorietat i llegint una quantitat fitada de bits de la prova.

Taula de continguts

  1. 2 les relacions: Codis Reed-Muller, Irit Dinur.

Codis Reed-Muller

Matriu del codi Hadamard (32, 6, 16) per al codi Reed-Muller (1, 5) de la sonda espacial Mariner 9 de la NASA. Els codis Reed-Muller són codis de correcció d'errors que s'utilitzen en aplicacions de comunicacions sense fil, especialment en comunicacions a l'espai profund.

Veure Demostració provable per probabilitat і Codis Reed-Muller

Irit Dinur

Irit Dinur (en hebreu: אירית דינור) és una matemàtica israeliana.

Veure Demostració provable per probabilitat і Irit Dinur