运筹系列86:MIP问题的建模tips

2023-10-19 19:44

本文主要是介绍运筹系列86:MIP问题的建模tips,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1. Either-or constraint

添加辅助变量y。
比如
Either 3 x 1 + 2 x 2 ≤ 18 3x_1+2x_2 \le 18 3x1+2x218
or x 1 + 4 x 2 ≤ 16 x_1+4x_2 \le 16 x1+4x216

可以用

3 x 1 + 2 x 2 ≤ 18 + M y 3x_1+2x_2 \le 18+My 3x1+2x218+My
x 1 + 4 x 2 ≤ 16 + M ( 1 − y ) x_1+4x_2 \le 16+M(1-y) x1+4x216+M(1y)
来代替。

2. k out of N constraints must hold

类似上面,添加辅助变量 y 1 y_1 y1 y N y_N yN

f 1 ( . . . ) ≤ d 1 f_1(...)\le d_1 f1(...)d1

f N ( . . . ) ≤ d N f_N(...)\le d_N fN(...)dN

变为

f 1 ( . . . ) ≤ d 1 + M y 1 f_1(...)\le d_1+My_1 f1(...)d1+My1

f N ( . . . ) ≤ d N + M y N f_N(...)\le d_N+My_N fN(...)dN+MyN
Σ 1 N y i = N − k , y i \Sigma_1^N y_i=N-k, y_i Σ1Nyi=Nk,yi binary.

3. functions with N possible values

f ( x ) ∈ ( d 1 , . . . , d N ) f(x)\in (d_1,...,d_N) f(x)(d1,...,dN)

添加辅助变量 y 1 y_1 y1 y N y_N yN
f ( x ) = Σ d i y i f(x)=\Sigma d_iy_i f(x)=Σdiyi
Σ y i = 1 \Sigma y_i=1 Σyi=1 (mutally exclusive alternatives)

4. fixed-charge problem

f ( x ) = { k + c x , x > 0 0 , x = 0 f(x)=\begin {equation} \begin{cases} k+cx, x>0\\ 0,x=0\\ \end{cases} \end {equation} f(x)={k+cx,x>00,x=0
可以变为
f ( x ) = c x + k y f(x)=cx+ky f(x)=cx+ky
x ≤ M y x\le My xMy
y y y binary.

5. 综合例子

在这里插入图片描述
在这里插入图片描述

如果没有题目中的两个restriction,那么模型为:
在这里插入图片描述
接下来我们看约束1,要求 x 1 , x 2 , x 3 x_1,x_2,x_3 x1,x2,x3最多只能有2个,因此添加 y 1 + y 2 + y 3 ≤ 2 y_1+y_2+y_3\le 2 y1+y2+y32的约束。
然后是约束2,要求两座工厂二选一,因此添加Either-or变量 y 4 y_4 y4,最终模型为:
在这里插入图片描述

这篇关于运筹系列86:MIP问题的建模tips的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/241962

相关文章

线上Java OOM问题定位与解决方案超详细解析

《线上JavaOOM问题定位与解决方案超详细解析》OOM是JVM抛出的错误,表示内存分配失败,:本文主要介绍线上JavaOOM问题定位与解决方案的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录一、OOM问题核心认知1.1 OOM定义与技术定位1.2 OOM常见类型及技术特征二、OOM问题定位工具

Vue3绑定props默认值问题

《Vue3绑定props默认值问题》使用Vue3的defineProps配合TypeScript的interface定义props类型,并通过withDefaults设置默认值,使组件能安全访问传入的... 目录前言步骤步骤1:使用 defineProps 定义 Props步骤2:设置默认值总结前言使用T

Web服务器-Nginx-高并发问题

《Web服务器-Nginx-高并发问题》Nginx通过事件驱动、I/O多路复用和异步非阻塞技术高效处理高并发,结合动静分离和限流策略,提升性能与稳定性... 目录前言一、架构1. 原生多进程架构2. 事件驱动模型3. IO多路复用4. 异步非阻塞 I/O5. Nginx高并发配置实战二、动静分离1. 职责2

解决升级JDK报错:module java.base does not“opens java.lang.reflect“to unnamed module问题

《解决升级JDK报错:modulejava.basedoesnot“opensjava.lang.reflect“tounnamedmodule问题》SpringBoot启动错误源于Jav... 目录问题描述原因分析解决方案总结问题描述启动sprintboot时报以下错误原因分析编程异js常是由Ja

MySQL 表空却 ibd 文件过大的问题及解决方法

《MySQL表空却ibd文件过大的问题及解决方法》本文给大家介绍MySQL表空却ibd文件过大的问题及解决方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考... 目录一、问题背景:表空却 “吃满” 磁盘的怪事二、问题复现:一步步编程还原异常场景1. 准备测试源表与数据

解决Nginx启动报错Job for nginx.service failed because the control process exited with error code问题

《解决Nginx启动报错Jobfornginx.servicefailedbecausethecontrolprocessexitedwitherrorcode问题》Nginx启... 目录一、报错如下二、解决原因三、解决方式总结一、报错如下Job for nginx.service failed bec

SysMain服务可以关吗? 解决SysMain服务导致的高CPU使用率问题

《SysMain服务可以关吗?解决SysMain服务导致的高CPU使用率问题》SysMain服务是超级预读取,该服务会记录您打开应用程序的模式,并预先将它们加载到内存中以节省时间,但它可能占用大量... 在使用电脑的过程中,CPU使用率居高不下是许多用户都遇到过的问题,其中名为SysMain的服务往往是罪魁

MySQ中出现幻读问题的解决过程

《MySQ中出现幻读问题的解决过程》文章解析MySQLInnoDB通过MVCC与间隙锁机制在可重复读隔离级别下解决幻读,确保事务一致性,同时指出性能影响及乐观锁等替代方案,帮助开发者优化数据库应用... 目录一、幻读的准确定义与核心特征幻读 vs 不可重复读二、mysql隔离级别深度解析各隔离级别的实现差异

C++ vector越界问题的完整解决方案

《C++vector越界问题的完整解决方案》在C++开发中,std::vector作为最常用的动态数组容器,其便捷性与性能优势使其成为处理可变长度数据的首选,然而,数组越界访问始终是威胁程序稳定性的... 目录引言一、vector越界的底层原理与危害1.1 越界访问的本质原因1.2 越界访问的实际危害二、基

Python多线程应用中的卡死问题优化方案指南

《Python多线程应用中的卡死问题优化方案指南》在利用Python语言开发某查询软件时,遇到了点击搜索按钮后软件卡死的问题,本文将简单分析一下出现的原因以及对应的优化方案,希望对大家有所帮助... 目录问题描述优化方案1. 网络请求优化2. 多线程架构优化3. 全局异常处理4. 配置管理优化优化效果1.