Цілочисельне програмування

Постановка

min cᵀx, Ax ≤ b, x ∈ ℤ^k × ℝ^{n−k}. Бінарні/цілочисельні змінні моделюють логіку й дискретні рішення.

Алгоритми розв'язування

Branch-and-Bound

Розбиття простору, оцінка вузлів через LP-релаксацію, відсікання.

Розрізи

Гоморі, клік-розрізи, покращення релаксації для швидшої збіжності.

Евристики

Початкові фідери, локальні пошуки, мікс із точними методами.

Моделювання

Булеві змінні для логічних імплікацій (Big-M з обережністю).

Потокові моделі, маршрутизація, планування.

Релаксації Лагранжа/Лагр. множники.

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Spirograph і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.