Warsztaty stacjonarne "Kwantowe wyżarzanie kombinatorycznych problemów optymalizacyjnych" - Chorzów
Program
4 października 2025
10:00–16:00 Wyżarznie kombinatorycznych problemów optymalizacyjnych - podstawy
Bartłomiej Gardas, Tomasz Śmierzchalski
- 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.
5 października 2025
10:00–16:00 Wyżarznie kombinatorycznych problemów optymalizacyjnych - DWave
Bartłomiej Gardas, Tomasz Śmierzchalski
- 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/19/), 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”.