QUBO: jak zapisać harmonogram fabryki w bitach

QUBO nie jest komputerem kwantowym. To sposób zapisania problemu jako minimalizacji funkcji kwadratowej zmiennych binarnych. Tę samą postać można rozwiązywać metodą klasyczną, hybrydową lub na wyżarzaczu.

Co oznacza nazwa?

Quadratic Unconstrained Binary Optimization używa zmiennych x_i ∈ {0,1}. Cel można zapisać jako min xᵀQx, gdzie diagonalne elementy macierzy opisują koszt wyboru, a pozostałe — interakcje między wyborami. Dokumentacja D-Wave wyjaśnia związek QUBO z modelem Isinga. „Bez ograniczeń” nie oznacza, że harmonogram może łamać wszystkie reguły; ograniczenia przenosi się zwykle do funkcji celu jako kary.

Mały przykład

Niech x_A=1 oznacza przydzielenie zadania do maszyny A, a x_B=1 do B. Warunek dokładnie jednej maszyny można zapisać karą P(x_A+x_B-1)^2. Rozwinięcie daje wyrazy liniowe i iloczyn x_Ax_B, więc mieści się w QUBO. Za zbyt małe P model może wybrać niewykonalny plan, bo oszczędność w innym koszcie przewyższy karę. Za zbyt duże P skala współczynników może utrudnić obliczenia. W realnej fabryce dochodzą czasy przezbrojenia, zasoby, kolejność operacji i niepewność danych.

Jak użyć w AI OS?

Agent może pobrać z ERP dane o zleceniach i przygotować kandydatów, lecz walidator deterministyczny musi sprawdzić każdy harmonogram przed publikacją. Porównaj Ocean SDK z klasycznym CP-SAT lub MILP. Zmierz jakość, czas i liczbę naruszeń na tych samych przypadkach. QUBO wybierz, gdy model jest naturalnie binarny, a eksperyment ma jasno zdefiniowaną bazę porównawczą. Dla złożonych ograniczeń CP-SAT może pozostać prostszy i dokładniejszy.