Konstruowanie macierzy unitarnych dla kwantowego algorytmu decyzyjnego

Jarosaw Adam Miszczak

Joanna Wiśniewska

W poniższym artykule podniesiony został problem modelowania funkcji logicznych za pomocą kwantowych obwodów unitarnych bez korzystania z tzw. kwantowych bitów pomocniczych. Podano algorytm opisujący tworzenie postaci macierzowej operatora kwantowego, za pomocą którego można wyznaczyć wartość funkcji logicznych n zmiennych, a także wskazano, w jaki sposób skonstruować sieć znanych bramek kwantowych realizującą działanie wspomnianego operatora.

Jacek Gruber, Dawid Iwanicki, Monika Jacak +2 more

Krzysztof Giaro, Marcin Kamiński

Celem tej pracy jest prezentacja kwantowego modelu obliczen. Szczegolny nacisk polozono na zagadnienia matematyczne i informatyczne. Zadbano o wyjaśnienie podstaw teoretycznych, podanie pelnych dowodow poprawności algorytmow kwantowych oraz szacowanie zlozoności obliczeniowej.

Marcin Sobota

Marcin Sobota