Grover_4bits_anime.nb

ket[0] = {1, 0} ; ket[1] = {0, 1} ;

$bitQ[x_] := If[VectorQ[x] && Dimensions[x] == {2}, True, False, False]$

$Clear[Tensor] Tensor[tensorList_CircleTimes] := Apply[Tensor, tensorList] Tensor[{ket_}] := ke ... Table[fm[[i, j]] tensor2, {j, Length[fm[[i]]]}]], {i, Length[fm]}]]] /;VectorQ[ketList, MatrixQ]$

WalshHadamardMatrix = 1/2^(1/2) (1 1 ) ; 1 -1

Clear[WalshHadamard] WalshHadamard[ket_] := WalshHadamardMatrix . ket /;bitQ[ket] WalshHadamar ... List] /; VectorQ[ketList, bitQ] WalshHadamard[ketList_CircleTimes] := Map[WalshHadamard, ketList]

$Clear[GroverSearchMain] GroverSearchMain[f_, BasicState_List, iteration_Integer] := Module[{Rf ... {n}]]] ; amplitude[k_Integer] := amplitude[k] = Uf . amplitude[k - 1] ; amplitude[iteration] ]$

$Clear[GroverSearchMainTrace] GroverSearchMainTrace[f_, BasicState_List, iteration_Integer] := ... e[k_Integer] := amplitude[k] = Uf . amplitude[k - 1] ; Table[amplitude[i], {i, 0, iteration}] ]$

stateX = {ket[0] (x) ket[0] (x) ket[0] (x) ket[0], ket[0] (x) ket[0] (x) ket[0] (x) ket[1], ket[0] (x) ket[0 ... list = GroverSearchMainTrace[f, stateX, 255] ; lastamplitude = GroverSearchMain[f, stateX, 255] ;

$RecursionLimit :: reclim : 最大再帰回数256を超えています．詳細

$<<Graphics`Graphics` Clear[GroverShowGraphics] GroverShowGraphics[amplitude_List] := Mo ... esOrigin -> {0, 0}] ; Do[ShowGraphics[i], {i, Dimensions[amplitude][[1]]}] ]/;MatrixQ[amplitude]$

$Clear[GroverSearchTrace] GroverSearchTrace[f_, Number_Integer, t_Integer] := Module[{n, stateX ... stateX = Table[ket[i, n], {i, 0, Num - 1}] ; i = 255 ; GroverSearchMainTrace[f, stateX, i] ]$

f[_] = 0 ; f[ket[7, 4]] = 1 ;

[Graphics:HTMLFiles/index_15.gif]

[Graphics:HTMLFiles/index_16.gif]

[Graphics:HTMLFiles/index_17.gif]

[Graphics:HTMLFiles/index_18.gif]

[Graphics:HTMLFiles/index_19.gif]

[Graphics:HTMLFiles/index_20.gif]

[Graphics:HTMLFiles/index_21.gif]

[Graphics:HTMLFiles/index_22.gif]

[Graphics:HTMLFiles/index_23.gif]

[Graphics:HTMLFiles/index_24.gif]

[Graphics:HTMLFiles/index_25.gif]

[Graphics:HTMLFiles/index_26.gif]

[Graphics:HTMLFiles/index_27.gif]

[Graphics:HTMLFiles/index_28.gif]

[Graphics:HTMLFiles/index_29.gif]

[Graphics:HTMLFiles/index_30.gif]

[Graphics:HTMLFiles/index_31.gif]

[Graphics:HTMLFiles/index_32.gif]

[Graphics:HTMLFiles/index_33.gif]

[Graphics:HTMLFiles/index_34.gif]

[Graphics:HTMLFiles/index_35.gif]

[Graphics:HTMLFiles/index_36.gif]

[Graphics:HTMLFiles/index_37.gif]

[Graphics:HTMLFiles/index_38.gif]

[Graphics:HTMLFiles/index_39.gif]

[Graphics:HTMLFiles/index_40.gif]

[Graphics:HTMLFiles/index_41.gif]

[Graphics:HTMLFiles/index_42.gif]

[Graphics:HTMLFiles/index_43.gif]

[Graphics:HTMLFiles/index_44.gif]

[Graphics:HTMLFiles/index_45.gif]

[Graphics:HTMLFiles/index_46.gif]

[Graphics:HTMLFiles/index_47.gif]

[Graphics:HTMLFiles/index_48.gif]

[Graphics:HTMLFiles/index_49.gif]

[Graphics:HTMLFiles/index_50.gif]

[Graphics:HTMLFiles/index_51.gif]

[Graphics:HTMLFiles/index_52.gif]

[Graphics:HTMLFiles/index_53.gif]

[Graphics:HTMLFiles/index_54.gif]

[Graphics:HTMLFiles/index_55.gif]

[Graphics:HTMLFiles/index_56.gif]

[Graphics:HTMLFiles/index_57.gif]

[Graphics:HTMLFiles/index_58.gif]

[Graphics:HTMLFiles/index_59.gif]

[Graphics:HTMLFiles/index_60.gif]

[Graphics:HTMLFiles/index_61.gif]

[Graphics:HTMLFiles/index_62.gif]

[Graphics:HTMLFiles/index_63.gif]

[Graphics:HTMLFiles/index_64.gif]

[Graphics:HTMLFiles/index_65.gif]

[Graphics:HTMLFiles/index_66.gif]

[Graphics:HTMLFiles/index_67.gif]

[Graphics:HTMLFiles/index_68.gif]

[Graphics:HTMLFiles/index_69.gif]

[Graphics:HTMLFiles/index_70.gif]

[Graphics:HTMLFiles/index_71.gif]

[Graphics:HTMLFiles/index_72.gif]

[Graphics:HTMLFiles/index_73.gif]

[Graphics:HTMLFiles/index_74.gif]

[Graphics:HTMLFiles/index_75.gif]

[Graphics:HTMLFiles/index_76.gif]

[Graphics:HTMLFiles/index_77.gif]

[Graphics:HTMLFiles/index_78.gif]

[Graphics:HTMLFiles/index_79.gif]

[Graphics:HTMLFiles/index_80.gif]

[Graphics:HTMLFiles/index_81.gif]

[Graphics:HTMLFiles/index_82.gif]

[Graphics:HTMLFiles/index_83.gif]

[Graphics:HTMLFiles/index_84.gif]

[Graphics:HTMLFiles/index_85.gif]

[Graphics:HTMLFiles/index_86.gif]

[Graphics:HTMLFiles/index_87.gif]

[Graphics:HTMLFiles/index_88.gif]

[Graphics:HTMLFiles/index_89.gif]

[Graphics:HTMLFiles/index_90.gif]

[Graphics:HTMLFiles/index_91.gif]

[Graphics:HTMLFiles/index_92.gif]

[Graphics:HTMLFiles/index_93.gif]

[Graphics:HTMLFiles/index_94.gif]

[Graphics:HTMLFiles/index_95.gif]

[Graphics:HTMLFiles/index_96.gif]

[Graphics:HTMLFiles/index_97.gif]

[Graphics:HTMLFiles/index_98.gif]

[Graphics:HTMLFiles/index_99.gif]

[Graphics:HTMLFiles/index_100.gif]

[Graphics:HTMLFiles/index_101.gif]

[Graphics:HTMLFiles/index_102.gif]

[Graphics:HTMLFiles/index_103.gif]

[Graphics:HTMLFiles/index_104.gif]

[Graphics:HTMLFiles/index_105.gif]

[Graphics:HTMLFiles/index_106.gif]

[Graphics:HTMLFiles/index_107.gif]

[Graphics:HTMLFiles/index_108.gif]

[Graphics:HTMLFiles/index_109.gif]

[Graphics:HTMLFiles/index_110.gif]

[Graphics:HTMLFiles/index_111.gif]

[Graphics:HTMLFiles/index_112.gif]

[Graphics:HTMLFiles/index_113.gif]

[Graphics:HTMLFiles/index_114.gif]

[Graphics:HTMLFiles/index_115.gif]

[Graphics:HTMLFiles/index_116.gif]

[Graphics:HTMLFiles/index_117.gif]

[Graphics:HTMLFiles/index_118.gif]

[Graphics:HTMLFiles/index_119.gif]

[Graphics:HTMLFiles/index_120.gif]

[Graphics:HTMLFiles/index_121.gif]

[Graphics:HTMLFiles/index_122.gif]

[Graphics:HTMLFiles/index_123.gif]

[Graphics:HTMLFiles/index_124.gif]

[Graphics:HTMLFiles/index_125.gif]

[Graphics:HTMLFiles/index_126.gif]

[Graphics:HTMLFiles/index_127.gif]

[Graphics:HTMLFiles/index_128.gif]

[Graphics:HTMLFiles/index_129.gif]

[Graphics:HTMLFiles/index_130.gif]

[Graphics:HTMLFiles/index_131.gif]

[Graphics:HTMLFiles/index_132.gif]

[Graphics:HTMLFiles/index_133.gif]

[Graphics:HTMLFiles/index_134.gif]

[Graphics:HTMLFiles/index_135.gif]

[Graphics:HTMLFiles/index_136.gif]

[Graphics:HTMLFiles/index_137.gif]

[Graphics:HTMLFiles/index_138.gif]

[Graphics:HTMLFiles/index_139.gif]

[Graphics:HTMLFiles/index_140.gif]

[Graphics:HTMLFiles/index_141.gif]

[Graphics:HTMLFiles/index_142.gif]

[Graphics:HTMLFiles/index_143.gif]

[Graphics:HTMLFiles/index_144.gif]

[Graphics:HTMLFiles/index_145.gif]

[Graphics:HTMLFiles/index_146.gif]

[Graphics:HTMLFiles/index_147.gif]

[Graphics:HTMLFiles/index_148.gif]

[Graphics:HTMLFiles/index_149.gif]

[Graphics:HTMLFiles/index_150.gif]

[Graphics:HTMLFiles/index_151.gif]

[Graphics:HTMLFiles/index_152.gif]

[Graphics:HTMLFiles/index_153.gif]

[Graphics:HTMLFiles/index_154.gif]

[Graphics:HTMLFiles/index_155.gif]

[Graphics:HTMLFiles/index_156.gif]

[Graphics:HTMLFiles/index_157.gif]

[Graphics:HTMLFiles/index_158.gif]

[Graphics:HTMLFiles/index_159.gif]

[Graphics:HTMLFiles/index_160.gif]

[Graphics:HTMLFiles/index_161.gif]

[Graphics:HTMLFiles/index_162.gif]

[Graphics:HTMLFiles/index_163.gif]

[Graphics:HTMLFiles/index_164.gif]

[Graphics:HTMLFiles/index_165.gif]

[Graphics:HTMLFiles/index_166.gif]

[Graphics:HTMLFiles/index_167.gif]

[Graphics:HTMLFiles/index_168.gif]

[Graphics:HTMLFiles/index_169.gif]

[Graphics:HTMLFiles/index_170.gif]

[Graphics:HTMLFiles/index_171.gif]

[Graphics:HTMLFiles/index_172.gif]

[Graphics:HTMLFiles/index_173.gif]

[Graphics:HTMLFiles/index_174.gif]

[Graphics:HTMLFiles/index_175.gif]

[Graphics:HTMLFiles/index_176.gif]

[Graphics:HTMLFiles/index_177.gif]

[Graphics:HTMLFiles/index_178.gif]

[Graphics:HTMLFiles/index_179.gif]

[Graphics:HTMLFiles/index_180.gif]

[Graphics:HTMLFiles/index_181.gif]

[Graphics:HTMLFiles/index_182.gif]

[Graphics:HTMLFiles/index_183.gif]

[Graphics:HTMLFiles/index_184.gif]

[Graphics:HTMLFiles/index_185.gif]

[Graphics:HTMLFiles/index_186.gif]

[Graphics:HTMLFiles/index_187.gif]

[Graphics:HTMLFiles/index_188.gif]

[Graphics:HTMLFiles/index_189.gif]

[Graphics:HTMLFiles/index_190.gif]

[Graphics:HTMLFiles/index_191.gif]

[Graphics:HTMLFiles/index_192.gif]

[Graphics:HTMLFiles/index_193.gif]

[Graphics:HTMLFiles/index_194.gif]

[Graphics:HTMLFiles/index_195.gif]

[Graphics:HTMLFiles/index_196.gif]

[Graphics:HTMLFiles/index_197.gif]

[Graphics:HTMLFiles/index_198.gif]

[Graphics:HTMLFiles/index_199.gif]

[Graphics:HTMLFiles/index_200.gif]

[Graphics:HTMLFiles/index_201.gif]

[Graphics:HTMLFiles/index_202.gif]

[Graphics:HTMLFiles/index_203.gif]

[Graphics:HTMLFiles/index_204.gif]

[Graphics:HTMLFiles/index_205.gif]

[Graphics:HTMLFiles/index_206.gif]

[Graphics:HTMLFiles/index_207.gif]

[Graphics:HTMLFiles/index_208.gif]

[Graphics:HTMLFiles/index_209.gif]

[Graphics:HTMLFiles/index_210.gif]

[Graphics:HTMLFiles/index_211.gif]

[Graphics:HTMLFiles/index_212.gif]

[Graphics:HTMLFiles/index_213.gif]

[Graphics:HTMLFiles/index_214.gif]

[Graphics:HTMLFiles/index_215.gif]

[Graphics:HTMLFiles/index_216.gif]

[Graphics:HTMLFiles/index_217.gif]

[Graphics:HTMLFiles/index_218.gif]

[Graphics:HTMLFiles/index_219.gif]

[Graphics:HTMLFiles/index_220.gif]

[Graphics:HTMLFiles/index_221.gif]

[Graphics:HTMLFiles/index_222.gif]

[Graphics:HTMLFiles/index_223.gif]

[Graphics:HTMLFiles/index_224.gif]

[Graphics:HTMLFiles/index_225.gif]

[Graphics:HTMLFiles/index_226.gif]

[Graphics:HTMLFiles/index_227.gif]

[Graphics:HTMLFiles/index_228.gif]

[Graphics:HTMLFiles/index_229.gif]

[Graphics:HTMLFiles/index_230.gif]

[Graphics:HTMLFiles/index_231.gif]

[Graphics:HTMLFiles/index_232.gif]

[Graphics:HTMLFiles/index_233.gif]

[Graphics:HTMLFiles/index_234.gif]

[Graphics:HTMLFiles/index_235.gif]

[Graphics:HTMLFiles/index_236.gif]

[Graphics:HTMLFiles/index_237.gif]

[Graphics:HTMLFiles/index_238.gif]

[Graphics:HTMLFiles/index_239.gif]

[Graphics:HTMLFiles/index_240.gif]

[Graphics:HTMLFiles/index_241.gif]

[Graphics:HTMLFiles/index_242.gif]

[Graphics:HTMLFiles/index_243.gif]

[Graphics:HTMLFiles/index_244.gif]

[Graphics:HTMLFiles/index_245.gif]

[Graphics:HTMLFiles/index_246.gif]

[Graphics:HTMLFiles/index_247.gif]

[Graphics:HTMLFiles/index_248.gif]

[Graphics:HTMLFiles/index_249.gif]

[Graphics:HTMLFiles/index_250.gif]

[Graphics:HTMLFiles/index_251.gif]

[Graphics:HTMLFiles/index_252.gif]

[Graphics:HTMLFiles/index_253.gif]

[Graphics:HTMLFiles/index_254.gif]

[Graphics:HTMLFiles/index_255.gif]

[Graphics:HTMLFiles/index_256.gif]

[Graphics:HTMLFiles/index_257.gif]

[Graphics:HTMLFiles/index_258.gif]

[Graphics:HTMLFiles/index_259.gif]

[Graphics:HTMLFiles/index_260.gif]

[Graphics:HTMLFiles/index_261.gif]

[Graphics:HTMLFiles/index_262.gif]

[Graphics:HTMLFiles/index_263.gif]

[Graphics:HTMLFiles/index_264.gif]

[Graphics:HTMLFiles/index_265.gif]

[Graphics:HTMLFiles/index_266.gif]

[Graphics:HTMLFiles/index_267.gif]

[Graphics:HTMLFiles/index_268.gif]

[Graphics:HTMLFiles/index_269.gif]

[Graphics:HTMLFiles/index_270.gif]

Created by Mathematica (February 3, 2005)