[NOTE]Discrete Optimization by Prof. Pascal Van Hentenryck

最新推荐文章于 2025-04-09 15:06:01 发布
原创 最新推荐文章于 2025-04-09 15:06:01 发布 · 336 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文是对于Pascal Van Hentenryck教授在Coursera上离散优化课程的笔记，重点涵盖了线性规划的基础，如如何找到最优解，矩阵形式与判别式的应用。此外，还讨论了分支与切割（Branch & Cut）与列生成（Column Generation）方法，强调了更好的线性松弛模型对于求解混合整数规划（MIP）的重要性，以及切割平面（Cutting Plane）策略在改善LP松弛问题中的角色。

楔子

春节假期无意点开了Prof. Pascal Van Hentenryck在Coursera上的课程，本想简单重温一下关于线性规划的基础部分，结果发现教授讲的太好了，简单明了，非常清晰，禁不住多看了几眼。。。

先放链接，推荐大家看看。然后简单记一些随笔，不看也罢。BTW看视频的好处在于不至于陷在细节里，像这个视频，老师讲的很好，能够帮助快速get到大体框架。

课程链接：https://www.coursera.org/learn/discrete-optimization

 

Linear Programming

Steps

  1. we know opt solutions are on the vertices
  2. we are able to find the first vertex (BFS)
  3. we know how to move to better BFS
  4. we know how to test optimility

About matrix form and 判别式：

注意欣赏红框里的骚操作。。。

最终\pi b = c_BA_B^{-1}b恰好是对偶问题最优解的obj，对偶solution就是pi，也称Simplex Multiplier，在结束之前是dual

最低0.47元/天 解锁文章
Discrete Optimization (Coursera) 学习笔记 Week 1 introduction （开个帖子）
ZJ_11701的博客
06-03 558
Week 1 Introduction 这位教授Pascal Van Hentenryck 真的算是优化领域神级别的人物了吧？截一张Google scholar的图大家感受一下… 居然在Coursera上看到了他开的课：Discrete Optimization。试听了几节后，发现讲得很有激情，而且深入浅出。遂决定花暑假跟完这一门课。 这门课每周花两三个小时介绍基础概念，然后得花十几个小时写作业（coding）… 一开始以为Coursera上的课的作业应该不会太难，然后第一次作业(knapsack)我就被
Discrete Optimization课程笔记(5)—混合整数规划
weixin_45526117的博客
12-20 4632
MIP模型，分支定界，割平面法，切割类型，分支割平面，big-M，覆盖切割，最大独立集
coursera课程discrete optimization课程笔记
weixin_42196339的博客
06-17 570
这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入 欢迎使用Ma...
约束编程的发展与实践：Pascal Van Hentenryck的研究回顾
最新发布
weixin_31620365的博客
04-09 409
本文回顾了Pascal Van Hentenryck在约束编程领域的研究历程和重要贡献。文章从其个人经历出发，探讨了在研究中发现缺失环节、构建系统、以应用为驱动、实践先行、追求声明式理想以及与优秀团队合作的重要性。同时，文中通过 CHIP 项目等具体案例，阐述了如何通过理论与实践相结合的方式推动约束编程的发展。
约束编程的发展历程与核心理念
weixin_29935511的博客
03-31 475
本文介绍了约束编程的过去、现在和未来，并通过Pascal Van Hentenryck的研究经历和他在该领域取得的成就，深入探讨了约束编程作为声明式算法学的重要性和实用价值。文章强调了在研究中找到缺失环节、构建系统、以应用为驱动、实践后进行清理和追求声明式理想的重要性。
离散优化的精确求解方法
咔咔响
03-19 2738
在上一篇我们列举了各式各样的整数与组合规划模型。一些是含离散约束的线性规划，一些是含整数变量的线性规划，还有一些是连续与整数组合的非线性规划。这些模型的求解方法也极为丰富，今天我们介绍精确优化（exact optimal）方法。传送门：离散优化模型1全枚举法求解如果一个模型只有少数离散变量，最有效的求解方法往往也是最直接的：列举出所有可能。这个称为全枚举法（total enumeration），它...
整数优化matlab代码Integer_Discrete Optimization.zip
12-25
1.版本：matlab2019a，内含运行结果，不会运行可私信 2.领域：基础教程 3.内容：整数优化matlab代码Integer_Discrete Optimization.zip 4.适合人群：本科，硕士等教研学习使用
IR Discrete MOSFET - Power.IntLib.intlib
11-18
IR Discrete MOSFET - Power.IntLib.intlib
信号处理之压缩算法：离散小波变换 (Discrete Wavelet Transform).zip
08-09
信号处理压缩算法
【搜索+可达】【Neurify】Efficient Formal Safety Analysis of Neural Networks
swallowblank的博客
01-04 564
1 introduction 在过去的几年中，神经网络的重大进步导致它们在关键领域（包括医疗保健，自动驾驶汽车和安全性）的部署不断增加。但是，最近的工作表明，尽管神经网络取得了巨大的成功，但它们经常会犯下危险的错误，尤其是对于罕见的极端情况输入。例如，大多数先进的神经网络已经显示出可以通过向常规输入中添加人类难以察觉的微扰来专门设计的对抗输入产生不正确的输出[36、14]。类似地，最新技术的神经网络已显示出照明或输入图像方向上看似微小的变化会引起严重的错误预测[29，30，37]。这样的错误可能造成灾难性的
relaxation（松弛法）定义理解
热门推荐
Nicola.Zhang
06-21 1万+
举例说明，例如我们可以从某个机场坐飞机达到若干个机场，然后从这些机场出发，我们又需做火车前往若干个城镇。现在假设我们手里有飞行时间表（list 或者 dict），而 A[u] 表示的是从当前位置出发，我们到达 u 机场所需的时间。类似地，我们用 B[u][v] 来表示坐火车从 u 机场到达 v 城镇所需的时间（B 自然为 list of lists 或 dict）。下面我们从到达各镇的路径中随机选...
Numerical Optimization Ch13. Linear Programming: The Simplex Method
Learner Hu's roam
01-31 1219
第十三章: 线性规划之单纯形法
利用CMD 批处理 实现自动更改ip
tangwing的专栏
06-22 3572
<br />最近由于总需要在教固定ip和动态获取ip这两种网络环境下切换，所以干脆写了个批处理的脚本，自动实现切换功能。不废话了，贴代码：<br /> <br />@echo off :head echo "Usage:Input 0 to change ip setting to auto mode; 1 changes ip setting to wwc mode." set /p option= Please input your choice: if %option% EQU 0 (
MLE、MAP、贝叶斯估计、MCMC、EM
tangwing的专栏
10-31 1620
机器学习中的MLE、MAP、贝叶斯估计 - 李文哲的文章 - 知乎 https://zhuanlan.zhihu.com/p/37215276 上面这篇文章对所提到的三种方法做了清晰的对比。总结图： 另外文中总结：几点重要的Take-aways： 每一个模型定义了一个假设空间，一般假设空间都包含无穷的可行解； MLE不考虑先验（prior)，MAP和贝叶斯估计则考虑先验（prior）； MLE、MAP是选择相对最好的一个模型（point estimation）， 贝叶斯方法则是通过观测数据来估
循序渐进学unix——上机记录（六）,exec
tangwing的专栏
12-24 1470
本次上机记录的主题是如何执行外部程序。Unix下有一组名为execxx()的函数： #include unistd.h> extern char **environ; int execl(const char *path, const char *arg, ...); int execlp(const char *file, const char *arg, ...); int ex
C++ 中的异常处理要点
tangwing的专栏
03-23 1023
catch 异常时，C++不会通过相关“转换构造函数”来强行匹配，但可用父类匹配子类在catch中尽量使用引用，以免出现“切割”及不必要的拷贝catch(...) 可以捕获一切，{throw;}可以将异常再次抛出没有catch可用时，或异常由析构函数抛出时，系统调用terminate(), 进而调用abort()终止程序。可通过set_terminate()替换terminate函数要确保构造函数
清除句中回车的小工具
tangwing的专栏
05-02 988
    最近在网上找了基本txt格式的电子书下来看，感觉很不爽，因为回车换行总是出现在句子中间。可能作者是从网页上复制下来的，总之我需要想办法把这些多余的空行删掉。一个小程序如下：package file;import java.io.*;/** * * @author Lane_Shang */public class EnterCleaner {
An Casual Overview of Reinforcement Learning
tangwing的专栏
02-14 639
强化学习概览 This overview is largely based on this article:https://medium.com/@SmartLabAI/reinforcement-learning-algorithms-an-intuitive-overview-904e2dff5bbc. Model-based vs Model free Model: world...
Forecasting (一)：introduction
tangwing的专栏
11-09 635
本篇文章希望对demand forecasting涉及的技术进行框架性的整理。首先参考的是供应链及库存相关的著作，一般其中都会有关于forecasting的一章。 References Waters, D. (2003).Inventory control and management 2nd. John Wiley & Sons. (偏OM) Axsäter, S. (2015).Inventory control(Vol. 225) 3rd. Springer. (更新，信息更多些)...
spaces.Discrete和spaces.Box的区别
05-18
`spaces.Discrete` 和 `spaces.Box` 是 OpenAI Gym 中常用的两种观测空间。它们的主要区别在于： 1. `Discrete` 观测空间包含离散的状态，通常用于表示分类问题，例如动作选择。它的取值范围是 `[0, n-1]`（其中 `n` 是状态的数量）。 2. `Box` 观测空间包含连续的状态，通常用于表示回归问题。它的取值范围是一个连续的空间，可以是任意大小的向量。 举个例子，假设你正在开发一个游戏 AI，你需要让 AI 学会玩弹球游戏。在这种情况下，你可能需要使用 `Box` 观测空间来表示弹球的位置、速度、角度等连续状态。而对于动作空间，你可能需要使用 `Discrete` 观测空间来表示 AI 可以选择的不同动作，例如移动左、移动右、不移动等。 总的来说，`Discrete` 和 `Box` 观测空间的选择取决于你正在解决的问题的特性。如果你的问题需要处理离散的状态，那么使用 `Discrete` 观测空间更为合适；如果你的问题需要处理连续的状态，那么使用 `Box` 观测空间更为合适。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值