MathOpt nedir?
MathOpt, doğrusal programlama problemleri (LP) veya karma tamsayı programlama problemleri (MIP'ler) gibi matematiksel optimizasyon problemlerini modellemeye ve çözmeye yönelik bir kitaplıktır. MathOpt; modellemeyi çözümlemeden ayırır. Böylece, kullanıcıların çözücüyü seçmek için bir sıralamayı (ve derleme bağımlılığını) değiştirerek çözüm yöntemleri arasında geçiş yapabilir.
2023 JuMP Konferans Sunumu'ndan MathOpt ile ilgili kısa bir tanıtım için bu videoyu izleyin.
MathOpt Özellikleri
MathOpt modelleri şunları içerebilir:
- tam sayı veya sürekli değişkenler
- doğrusal veya ikinci dereceden kısıtlar
- doğrusal veya ikinci dereceden hedefler
- birden çok hiyerarşik hedefe
- özel MIP kısıtlamaları (SOS, gösterge, daha fazlası)
- bazı konik kısıtlamalar (ikinci derece konisi, daha fazlası gelecek)
Modeller herhangi bir çözücüden bağımsız olarak tanımlanır ve çözücüler birbirinin yerine değiştirilebilir. MathOpt aşağıdaki çözücüleri destekler:
MathOpt, optimizasyon modelinizi oluşturmanız için C++ ve Python'da istemci kitaplıkları sağlar.
MathOpt, aşağıdakiler gibi birçok gelişmiş özelliği destekler:
- Infeasibility Analysis (Indeucible Infeasible Set veya IIS), yalnızca Gurobi
- Artımlı Çözme
- Geri Aramalar
- İkilik
- Primal ve Çift ışınlar
- İdeal olmayan asal ve çift çözümler
- Değişken ve kısıtlama silme işlemleri
- Hazır durumda başlatma (çözüm veya temel)
- Ayrıntılı fesih nedeni
- Dallara ayırma önceliği
- Kesinti
- Birçok çözücü bağımsız parametresi