Квантовые вычисления. Ожигов Ю.С. - 48 стр.

UptoLike

Составители: 

f
| i
| 0 0 0 i
f
| 0 0 0 i
| 0 0 1 i
f
| 1 0 1 i
| 1 0 1 i
f
| 1 1 1 i
| 1 0 0 i
f
| 1 0 0 i
i
i
σ
i
i = 1, 2, . . . , M,
|δ
1
δ
2
. . . δ
M
δ
M+1
. . . δ
2M
σ0i |δ
1
δ
2
. . . δ
2M
σσi |σ0i |σσi,
|σ
1
σ
2
. . . σ
M
0
M+1
σi
σ
1
, σ
2
, . . . , σ
M
(|0 . . . |0i
O
(
X
j
λ
j
|e
j
i
O
|p(e
j
)i))
O
. . .
O
(
X
j
(λ
j
|e
j
i
O
|p(e
j
)i))
O
γ)
.
M n
x
1
1
2
M
M = log
1
γ
(|0 . . . 0γi)
p p
p
z
1
, z
2
, . . . , z
q
x
1
x
2
x
3
. . . Q
k1
x
k1
Q
k
x
k
p(z
1
, z
2
, . . . , z
q
, x
1
, . . . , x
k
).
Q
1
, Q
2
{∃, ∀}
| z
1
. . . z
q
0 . . . 0 i . . . | z
1
. . . z
q
0 . . . 0 γi
                                                                                                        


                                              f     
|                  
                     i   

                                                                      f
                                                       | 0 0 0 i −→ | 0 0 0 i
                                                                      f
                                                       | 0 0 1 i −→ | 1 0 1 i
                                                                      f
                                                       | 1 0 1 i −→ | 1 1 1 i
                                                                      f
                                                       | 1 0 0 i −→ | 1 0 0 i
      '        )       
                   )   i  
                                                              
                                                                                         i $ 
 $                         σ  i = 1, 2, . . . , M,     
                                                                    i
|δ1 δ2 . . . δM δM+1 . . . δ2M σ0i       |δ1 δ2 . . . δ2M σσi    |σ0i −→ |σσi,  &  
                                        |σ σ . . . σ 0M+1 σi 
                                                                               1 2       M

        $                     
         σ , σ , . . . , σ        
                                                                            1   2         M

                                                                                                                                 
                              OX          O            O     OX           O            O
              (|0 . . . |0i    ( λj |ej i   |p(ej )i))   ...  ( (λj |ej i   |p(ej )i))   γ) .
                                    j                                               j

   M    #   n   '$               )  $   
  #  # #       $       x  $ $        
        1 − 1                 $  
                                     2M
 )    M = log 1      &           γ       
                                         
         $  (|0 . . . 0γi) 
                       


                                       
                                                      

       
    '   
      #'()')                                              p         
        '         
                                            $       p
                                                                           p



  
                                           
                                                       

  %                                                                 % 
      z , z , . . . , z   
                        1 2            q


                               ∀x1 ∃x2 ∀x3 . . . Qk−1 xk−1 Qk xk p(z1 , z2 , . . . , zq , x1 , . . . , xk ).                     

 Q , Q ∈ {∃, ∀} 

!) #)')                                                                               
    1   2


                                                                                                              

                                        | z1 . . . zq 0 . . . 0i −→ . . . −→ | z1 . . . zq 0 . . . 0γi