ymzhu385的博客

三维装箱问题（3D Bin Packing Problem, 3D-BPP）是一个经典的组合优化问题。它涉及到在有限的三维空间内如何有效地放置不同尺寸的物品，以最大化容器的利用率或最小化所需的容器数量。具体来说，就是将一系列具有不同形状和大小的物品最优地填充到一个或多个容器中，使得容器的空间利用率最大，并且满足所有装载约束条件。

本文将介绍指派问题常见算法——匈牙利算法、KM算法（两种形式）、MILP建模。

本文将介绍常见MIP求解器的示例：Gurobi、SCIP、Highs。

在过去的几十年里，出现了两种主要的约束处理方案——一种基于 **conditioning** 或者 **search**,，另一种基于 **inference** 或者 **derivation**.。约束满足的 **search** 采用深度优先回溯的形式，而 **inference** 则通过变量消除和树聚类算法或有界局部一致性强制来执行。与人类解决问题的技术相比，**conditioning** 类似于猜测(一个变量的值)，或者通过假设进行推理。然后将问题划分为子问题，以变量子集的实例化为条件，每个子

本文以综述为主，将从常见的多种整数规划建模，如DFJ模型、MTZ模型等，使用Gurobi、Cplex、SCIP、Or-Tools、Cbc等常见求解器，并和常见的启发式LKH等给出性能分析报告，并浅谈其优缺点。

之前一直想跟大家分享一下，这两篇SCIP官方文献，也全网搜了许多文档、视频、论文等。大部分教程抽象程度较高，需要具备大量的基础知识才能看明白，于是写一篇尽可能0基础上手的分享，希望能帮到也在从事相关行业的你。2023新年FLAG：SCIP两篇文章分享更新计划完成！！！——@小猪快跑。

之前一直想跟大家分享一下`列生成（Column generation）`，也全网搜了许多文档、视频、论文等。大部分教程抽象程度较高，需要具备大量的基础知识才能看明白，于是写一篇尽可能0基础上手的分享，希望能帮到也在从事相关行业的你。......

Cbc（Coin或branch and cut）是一个开源的混合整数线性规划求解器，用C++编写。它可以用作可调用库或使用独立的可执行文件。它可以通过各种建模系统、包等以多种方式使用。Clp（Coin或线性规划）是一个开源线性规划求解器。它主要是用来作为一个可调用的库，但也有一个基本的、独立的可执行版本。本文将介绍如何用CLion（CMake）构建工程并能debug源码。......

OR-Tools 是一个用于优化的开源软件套件，专为解决世界上最棘手的车辆路线规划、流程、整数和线性规划以及约束规划问题而调整。【由于OR-Tools更新后源码构建的方法也略有不同，现在更新到OR-Tools v9.6——@小猪快跑】