Warsztaty stacjonarne "Kwantowe wyżarzanie kombinatorycznych problemów optymalizacyjnych" - Poznań

Termin: 17-18 stycznia 2026, godz. 10:00–16:00
Miejsce: Collegium Mathematicum , sala 16/17 i A1-22/23.
Ul. Uniwersytetu Poznańskiego 4
61-614 Poznań
Wejście jest od strony lasu, tzw. wejście A.
Rodzaj: Warsztaty stacjonarne · brak materiałów
Oryginał: https://akademia.iitis.pl/event/20/

Program

17 stycznia 2026

10:00–16:00 Wyżarznie kombinatorycznych problemów optymalizacyjnych - podstawy

Bartłomiej Gardas, Tomasz Śmierzchalski sala 16/17 i A1-22/23.

Klasyczny model Isinga: kodowanie / zmienne, znaczenie, stany nisko-energetyczne.
Interpretacja fizyczna modelu Isinga: znaczenie odziaływań i pól magnetycznych.
Model QUBO: znaczenie, przykłady, równoważność z modelem Isinga.
Kodowanie dyskretnych problemów optymalizacyjnych za pomocą QUBO / Isinga.
Algorytm wyczerpującego przeszukiwania (Brute-Force): certyfikacja, ograniczenia.
Analiza złożoności problemu poszukiwania stanu podstawowego: trudności i wyzwania.
Podejście heurystycznie: przegląd klasycznych algorytmów inspirowanych fizycznie.
Kwantowanie modelu Isinga: kwantowy model Isinga z poprzecznym polem.
Związek pomiędzy klasycznym a kwantowym modelem Isinga: problem własny a sortowanie.
Twierdzenie adiabatyczne w mechanice kwantowej oraz kwantowe wyżarzanie.
Kwantowy procesor wyżarzający D-Wave: opis, dostępne topologie, osadzanie problemów.

18 stycznia 2026

10:00–16:00 Wyżarznie kombinatorycznych problemów optymalizacyjnych - DWave

Bartłomiej Gardas, Tomasz Śmierzchalski sala 16/17 i A1-22/23.

Rozwiązywanie modelu Isinga z wykorzystaniem kwantowego wyżarzania.
Praktyczne wykorzystanie biblioteki D-Wave Ocean.
Implementacja algorytmu wyczerpującego przeszukiwania.
Implementacja algorytmu typu "Branch & Bound".
Implementacja algorytmu symulowanej bifurkacji.
Implementacja algorytmu symulowanego wyżarzania.
Implementacja algorytmu równoległego wyżarzania.
Wykorzystanie procesorów graficznych (GPU) w algorytmach heurystycznych.
Analiza porównawcza algorytmów dla wybranych instancji problemów Isinga.

Kopia danych z systemu Indico (https://akademia.iitis.pl/event/20/), stan na 1 września 2026. Nagrania wideo, ze względu na rozmiar, są udostępniane z Zenodo (DOI: 10.5281/zenodo.22231106) — oznaczono je etykietą „Zenodo”.