Re: Preuve de transfert

Bonjour,

Le 14/07/2022 17:11, Julien Arlandis a écrit :

 
Alice, Bob et Charlie disposent d'un canal de communication pour
transférer des informations.
Le but de l'exercice est de trouver un protocole qui permet à Alice et
Bob de prouver à Charlie que Alice a bien transféré une information de
taille N1 à Bob (N1 étant le nombre de bits) et pour cela Bob et Alice
ne peuvent transférer à Charlie qu'une information de taille inférieure
à N2.
 
On considère que N1 = 10^12, et N2 = 10^6.
 
Quel protocole Charlie va t-il imposer à Bob et Alice ?

J'ai l'impression qu'il manque plein d'informations dans l'énoncé du
problème.

Par exemple :
- est-ce que Charlie connaît l'information qu'Alice est censée avoir
  transféré à Bob ?
- s'il ne la connaît pas au départ, est-ce un problème s'il en découvre
  une partie lors de sa vérification ?
- la taille N2 est-elle la somme totale des bits échangés entre Charlie
  et Alice ou Bob ? Ou bien est-ce que c'est le nombre de bits transmis
  par Charlie à Alice, et celui transmis en réponse d'Alice à Charlie,
  et même chose avec Bob ?
- lorsque l'un des trois compères envoie quelque chose sur le canal
  d'information, est-ce que c'est accessible par les deux autres, ou
  bien chaque conversation est-elle privée à deux personnes seulement ?
- peut-il y avoir une longue série de questions-réponses (jusqu'à N2
  questions et/ou réponses) ou est-ce que c'est une question suivie
  d'une réponse, ou alors encore autre chose ?
- peut-il y avoir une information commune aux protagonistes, de taille
  N2 ou davantage, avant que ne commence la phase de vérification − par
  exemple un dictionnaire, ou peut-être les décimales de pi ?
- peut-on faire appel à des éléments physiques à la fois aléatoires et
  contrôlés, par exemple avec des paires de particules intriquées ?

Voilà pour commencer. ;-)


P.-S. : j'attends toujours ta réponse sur fr.sci.electronique


--
Olivier Miakinen