SCIP Kısıtlama tamsayısı programlarını çözme
Şimdi İndirin

SCIP Sıralama ve Özet

SCIP Etiketler

tamsayı çözücü Çerçeve çözme listelemek SharePoint Kısıtlaması kısıtlama perde kısıtlaması tam sayıyı tanımla Tamsayı dönüştürücü tamsayı dizisi tamsayı kütüphanesi Tamsayı aritmetik Fifo tamsayı yığını kısıtlama programlama Kısıt Kütüphanesi Tam sayı Tamsayı hesaplama Tamsayı düzenle Evrensel Tamsayı Tamsayıyı metne dönüştürün tamsayı vektör Nesne Kısıtlama Dili Kısıtlama çözücü tamsayı yaratıcısı Tamsayı Programlama Çözücü tamsayı programlama çerçevesi kısıtlama tamsayı Tamsayılı programlama Tamsayı doğrusal programlama tamsayı doğrusal tamsayı hassasiyeti keyfi hassas tamsayı IP'den Tamsayıya IP'e tamsayı Tamsayı hesap makinesi İmzasız tamsayı kullanın İşaretsiz tam sayı Tam sayıya char Kısıtlama Yönetimi Yazılımı

SCIP Açıklama

SCIP şu anda en hızlı ticari olmayan karışık tamsayı programlama çözücüsünden biridir. Aynı zamanda kısıtlama tamsayı programlama ve şube-kesme fiyatı için bir çerçevedir. Çözüm işleminin toplam kontrolünü ve ayrıntılı bilgilerin çözücünün bağırsaklarına erişmesini sağlar. SCIP'yi, tamsayı programlama problemlerini çözmesinde size nasıl yardımcı olacağını görmeye çalışın. Ana Özellikler: Dallanma, kesme, fiyatlandırma ve yayılım için bir çerçevedir. birçok olası kullanıcı eklentisi boyunca oldukça esnektir: Kısıtlama işleyicileri, keyfi kısıtlamaları uygulamak için, Değişken vahşiciler, dinamik olarak problem değişkenleri oluşturacak, Domain Propagators, değişkenlerin etki alanlarına bağlı bağımsız yayılımları uygulamak için LP gevşemesinde kesim düzlemlerini uygulamak için ayırıcıları keser, LP gevşemesine ek olarak gevşeme ve ikili sınırlar sunmak için gevşetici, Primal sezgisel, problama ve dalış için özel destekle uygulanabilir çözümler aramak için, Düğüm seçicileri, aramayı yönlendirmek için, Sorunu SubProblems'e bölmek için dallanma kuralları, Kuruluşları çözmek için ön hazırlıklar, Dosya okuyucuları farklı giriş dosyası formatlarını ayrıştırmak için, Olay işleyicileri belirli olaylar hakkında bilgilendirilecek, örneğin, bir düğüm çözüldükten sonra, belirli bir değişken sınırlarını değiştirir veya yeni bir primal çözelti bulunur, Solver'in çıktısına ek sütunlar oluşturmak için işleyicileri görüntüleyin. Diyalog işleyicileri, dahil komut kabuğunu genişletmek için. Mevcut her birim bir eklenti olarak uygulanır, çoğu ek kullanıcı uzantısının ihtiyaçlarını karşılayacak kadar esnek bir arayüze yol açar. Dinamik bir kesim havuzu yönetimi dahildir. Kullanıcı, önceden belirlenmiş ve aktif problem değişkenlerini ifadelerde karıştırabilir: otomatik olarak ilgili aktif problem değişkenlerine dönüştürülürler. keyfi olarak düğüm başına birçok çocuk yaratılabilir ve farklı çocuklar keyfi olarak tanımlanabilir. Açık bir LP çözücü desteğine sahiptir. Şu anda destekliyor: CPLEX Gurobi Xpress-MP Mosek Solex QSOPT CLP. LP gevşemesinin her bir düğümde çözülmesi gerekmez (tamamen tamamen kapatılabilir, saf bir kısıtlama programlama çözücüyü taklit edebilir). Paralel veya interleaved olarak çalışan, ek dinlenme (örneğin, yarı öyliliğini, semideefinit rahatlama veya Lagrangian gevşeme) dahil edilebilir. Hassasiyetsiz alt problemlerden öğrenmek için çatışma analizi uygulanabilir. Dinamik bellek yönetimi, hata ayıklama modunda otomatik bellek sızıntısı tespiti ile çalışma sistemi aramalarının sayısını azaltır.

SCIP İlgili Yazılım