Tutorial: wprowadzenie do automatów klasycznych i kwantowych

Rozpoczynamy od omówienia problemów obliczeniowych i algorytmów. Definiujemy ogólną postać problemów decyzyjnych, a następnie wprowadzamy deterministyczny automat skończony (DFA) jako podstawowy decydent. Po przedstawieniu kilku przykładów DFA wraz z dyskusją ich ograniczeń, wprowadzamy ich warianty probabilistyczny i kwantowy. Przedstawiamy reprezentatywny algorytm dla każdego z tych wariantów, a następnie dyskusję na temat zalet kwantowych w ustawieniach automatów skończonych. Krótko omawiamy ostatnie implementacje algorytmów QFA na rzeczywistym sprzęcie kwantowym.

Dr Yakaryilmaz pracuje w Center for Quantum Computing Science, University of Latvia (https://quantum.lu.lv/). Jest on również jednym z założycieli organizacji QWOrld (https://qworld.net/), która promuje wykorzystanie obliczeń kwantowych.