Algoritmus pro kvantové hledání

Abstract

V předložené práci studujeme Groverův algoritmus, který slibuje na kvantovém počítači vyhledávat v nesetříděné databázi v čase uměrné odmocnině z počtu položek. Po popsaní základních principů kvantových počítačů je uvedena jak původní Groverova formulace a důkaz algoritmu, tak i pozdější geometrický popis tohoto algoritmu. Také je poukázáno na vhodnost těchto popisů k výukovým učelům. Nakonec je zahrnut popis Groverova algoritmu v programovacím jazyce umožňujícím simulovat na klasických počítačích kvantové výpočty.

In this work we study Grover's algorithm for quantum computers. This algorithm promises to search in an unstructured database in time comparable with a square root of the number of objects. A description of basic quantum computer principles is followed by the original Grover's formulation and a proof of the algorithm, as well as a later geometrical description of the algorithm. We also mention their suitability for educational purposes. We also include a description of the Grover's algorithm in a programming language, which makes it possible to simulate a quantum computing on classical computers.