Début
Numérotons les entrées de la base de données par 0, 1, ... ( N -1). Choisissez une observable, w , agissant sur H , avec N valeurs propres s distinctes dont les valeurs sont toutes connues.
Chacun des états propres de w encode une des entrées de la base de données, d’une manière que nous allons décrire.
Dénotez les états propres (en utilisant la notation bra-ket ) comme [0>,|1>,...,|n-1>] Ainsi comme on est dans une liste non trié et que chaque élément à une probabilité identique aux autres de sortir on peut imaginer le schéma suivant :
