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

UptoLike

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

q
0
q
k
q
k
a
i
, q
j
a
k(i,j)
, q
l(i,j)
, (R, L)
i = 0, 1, . . . , m; j = 0, 1, . . . , k
a
i
q
j
a
k(i,j)
,
q
l(i,j)
k l
x ω
0
ω
0
ω
0
y x
T [T ]
T !x A [T ], x
T !x A
0
n T : [T ] = n &T !n
T
0
n T
0
!n T : n = [T ] &T 6!n
A
0
A
0
T
0
T
0
![T
0
] T
0
6![T
0
] A
A
0
n
T x
n
f
T
(n) T
n f
T
T
F
F
                                                                                      


   &                  
      $ #                         q 
                                                                0
          )                                          $  
      #   $           
#    q     $         $  )   #  
                              k
     #     q     '    
                                                                       k
           )     %$  &     $  
   "              a , q −→ a
                                                                                       i j      k(i,j) , ql(i,j) , (R, L)
  # i = 0, 1, . . . , m; j = 0, 1, . . . , k  ('                                  
      $   '  a  #                            q    #    
                                                         i                          j
  $    a                       '        #                      
ql(i,j)              
                             k(i,j) ,
                                                                                  
 $      )           $  k l   %& 
       $        )       
     
                         
      #   x %  ω 0 ⊂ ω    '                                  ) 
                                                                               0
                      
       %  ω 0     y       $ %& $  x 
 ) )                   &   $           
)         $ '            ) 
   #     %&                         
     * '  $           %&                                   
   $   # %& $ (' )    '                                             
      %   %                                   #  '
   $             &      
 ( )    T      [T ]      #   )
)              '    )    
         T !x    '   A                              [T ], x   #
 T !x     '      )      )                              '   A
                                                                                                                         0
 # #    n   ∃T : [T ] = n &T !n         
)    T      n T !n     ∃T : n = [T ] &T 6!n  
                          0                             0
    )   )  A                              $   
                                                                               0
  '  A    &          )     
                     0
T0  ' T0 ![T0 ]                 T0 6![T0 ]            '   A
   A0         )                    $          ) $  
              '   $  
        )        n                                     
     $  $            
              )  '  
     '    )    T   #  x     # )
)             n   %      
   f (n)      '    T   #     
            $ n  & f      $ ' $ )  T 
            T
#
                             T
      '       %& F   $    '  
   $     '                                    F       ) $