Tutorial: wprowadzenie do automatów klasycznych i kwantowych

Prelegent: 

Abuzer Yakaryilmaz

Data: 

06/09/2022 - 11:30

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.

Historia zmian

Data aktualizacji: 05/12/2022 - 17:02; autor zmian: Jarosław Miszczak (miszczak@iitis.pl)

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.

Data aktualizacji: 05/12/2022 - 17:01; autor zmian: Jarosław Miszczak (miszczak@iitis.pl)

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.

Data aktualizacji: 05/12/2022 - 17:00; autor zmian: Jarosław Miszczak (miszczak@iitis.pl)

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.