Mastodawn

Paul Rubin Apr 13, 2024

Interesting historical anecdote about a MIP model ahead of its time. https://nathanbrixius.wordpress.com/2024/04/13/don-knuths-mip-64-years-later/ #integerprogramming

Don Knuth’s MIP, 64 years later

In 1960, the famed computer scientist Don Knuth wrote a technical paper in which he considered an integer programming model for minimizing memory access latency of an IBM 650. I’ve included a…

Nathan Brixius

Show thread

drmorr Sep 11, 2023

Attention everyone, we have a MIP! Repeat, we have a MIP! 😂

#mixedintegerprogramming #integerprogramming #mip

Paul Rubin May 7, 2023

Interesting post on #integerprogramming models for a particular problem. My intuition was that the second model would outperform the first. https://yetanothermathprogrammingconsultant.blogspot.com/2023/05/finding-common-patterns.html

Finding common patterns

In [1], the following problem is stated: Given a boolean matrix, with \(m\) rows and \(n\) columns, find the largest pattern of ones that i...

Paul Rubin Mar 17, 2023

Nice blog post on practical use of an #integerprogramming model, focusing more on the problem and decision making and less on the math: https://www.idinsight.org/article/effective-use-of-optimization-models-in-the-social-sector/ #orms

Effective use of optimization models in the social sector

IDinsight's Sid Ravinutala and Leah Mwai share how optimization models can be a reliable tool for resource-constrained policymakers.

Paul Rubin Feb 24, 2023

Latest YAMPC blog post on #integerprogramming : open source solver CBC solves binary optimization problem with 1,000 variables in way below one second.Take that, "NP Hard"! https://yetanothermathprogrammingconsultant.blogspot.com/2023/02/another-fast-mip-model-covering.html

Another fast MIP model: covering

In [1], the following problem is stated: There is a collection of \(n=1,000\) test questions. Each question covers a number of skills. Give...

Paul Rubin Jan 29, 2023

Interesting post on a small nonconvex #integerprogramming #optimization problem. One more reason why I avoid "nonconvex" with the same zeal that I avoid "politician". https://yetanothermathprogrammingconsultant.blogspot.com/2023/01/tiny-non-convex-quadratic-model-brings.html

Tiny non-convex quadratic model brings solvers to their knees

Here is a very small geometric problem: Given \(n\) points in 2d space, find the smallest triangle that contains all these points. Find the ...

Marcin Paprzycki Jan 18, 2023

Introducing a refined model for the Max-Min Modularity in: “An #IntegerProgramming Approach Reinforced by a Message-passing Procedure for Detecting Dense #AttributedSubgraphs“ by A. Ferdowsi. ACSIS Vol. 30 p. 569–576; http://tinyurl.com/dr3m3eke

Annals of Computer Science and Information Systems, Volume 30

Marcin Paprzycki Jan 17, 2023

Annals of Computer Science and Information Systems, Volume 30

Paul Rubin Jan 11, 2023

Blog post on MIP bounds (and gaps) -- useful teaching resource? https://yetanothermathprogrammingconsultant.blogspot.com/2023/01/mip-bounds.html #orms #integerprogramming

MIP Bounds

MIP (and related) solvers have a unique property: they provide a bound on the best possible integer solution at time \(t\). Together with ...

Paul Rubin Jan 2, 2023

Interesting comparison of modeling syntaxes. Should MIP modeling be "nudged" a bit in the direction of CP (letting the modeling language handle more common reformulations)? https://yetanothermathprogrammingconsultant.blogspot.com/2023/01/high-level-mip-modeling.html #orms #integerprogramming

High Level MIP Modeling

Most LP/MIP modeling tools stay close to what is the underpinning of a Mixed-Integer Programming problem: a system of linear equations (equ...