Yöntem kanıt kaydı

Deterministic Integer Programming

Deterministic Integer Programming (DIP) is a mathematical optimization approach that finds the best solution to problems where some or all decision variables must take integer values, given fully known (deterministic) objective and constraint data. It is the classical, non-stochastic form of integer programming, foundational to operations research and combinatorial optimization since the late 1950s.

Sources recorded, not reviewed

Kaynak kayıt

Alıntılar, yöntemin kaynak kaydından harfi harfine kopyalanmıştır. Bunlardan herhangi bir düzeyde doğrulama çıkarımı yapılmamıştır.

Taksonomik yöntem kaydı · process-pipeline / simulation

Gomory, R. E. (1958). Outline of an algorithm for integer solutions to linear programs. Bulletin of the American Mathematical Society, 64(5), 275-278. · DOI 10.1090/S0002-9904-1958-10224-4
Wolsey, L. A. (1998). Integer Programming. Wiley-Interscience, New York. · ISBN 9780471283669

Tam yöntemi aç

Derlenmiş iddialar

Her biri kendi değerlendirmesiyle birlikte kanıt defterine kaydedilmiş iddialar.

Henüz derlenmiş iddia yok

Bu görünüm, defterde hiç iddia olmadığında bir iddia değerlendirmesi icat etmez.

İlgili yöntemler

Yöntem grafiğinden oluşturulmuştur ve makine tarafından önerilen ilişkiler olarak gösterilir — herhangi bir kanıt iddiası çıkarımı yapılmamıştır.

Same method familyBranch and Boundmachine-suggested · Relational suggestion, not evidence.Same method familyDynamic Programmingmachine-suggested · Relational suggestion, not evidence.Same method familyLinear Programmingmachine-suggested · Relational suggestion, not evidence.Taxonomic bucketMixed-Integer Programmingmachine-suggested · Relational suggestion, not evidence.Taxonomic bucketStochastic Integer Programmingmachine-suggested · Relational suggestion, not evidence.