[1.6] 线性化非线性表达式1
需积分: 0 131 浏览量
2022-08-08
18:33:31
上传
评论
收藏 23KB DOCX 举报
Converting Non-linear Models into Linear Ones
“If-then” Logic (Implication)
Variable
𝑥,𝑧
∈
[
𝑎,𝑏
]
,𝑦
∈
{
0,1
}
Constant
𝑎,𝑏
∈
𝑅
𝑀
>
max
(
|
𝑎
|
,
|
𝑏
|
,𝑏
―
𝑎
)
Upper bound
Lower bound
Usage
𝑧
≤
𝑥
⋅
𝑦⇒
𝑧
≤
𝑥
+
𝑀
⋅
(1
―
𝑦)
𝑧
≤
𝑀
⋅
𝑦
𝑧
≥
𝑥
⋅
𝑦⇒
𝑧
≥
𝑥
―
𝑀
⋅
(1
―
𝑦)
𝑧
≥
―
𝑀
⋅
𝑦
Reference
http://math.stackexchange.com/questions/112159/what-are-the-
algorithms-for-integer-programming-in-which-constraints-are-
depende/112927#112927
Boolean Logic on Variables
Variable
𝑥,𝑦
∈
{
0,1
}
Constant
Upper bound
Lower bound
Usage
𝑦
=
𝑥
1
∧
𝑥
2
∧
…
∧
𝑥
𝑛
⇒0
≤
𝑛
𝑖
=
0
𝑥
𝑖
―
𝑛
⋅
𝑦
≤
𝑛
―
1
𝑦
=
𝑥
1
∨
𝑥
2
∨
…
∨
𝑥
𝑛
⇒0
≤
𝑛
⋅
𝑦
―
𝑛
𝑖
=
0
𝑥
𝑖
≤
𝑛
―
1
Reference
https://cs.stackexchange.com/questions/12102/express-boolean-logic-
operations-in-zero-one-integer-linear-programming-ilp
Boolean Logic on Constraints
Variable
𝑥
𝑖𝑗
∈
𝑅,
𝑧
𝑖
∈
{
0,1
}
Constant
𝑎
𝑖𝑗
,
𝑏
𝑖
∈
𝑅
𝑀
≥
max
i
𝑗
𝑎
𝑖𝑗
⋅
𝑥
𝑖𝑗
―
𝑏
𝑖
Upper bound
Lower bound
Usage
𝑖
𝑗
𝑎
𝑖𝑗
⋅
𝑥
𝑖𝑗
≤
𝑏
𝑖
⇒
𝑗
𝑎
𝑖𝑗
⋅
𝑥
𝑖𝑗
≤
𝑏
𝑖
+
𝑀
⋅
(
1
―
𝑧
𝑖
)
, ∀𝑖
𝑖
𝑧
𝑖
≥
1
Reference
乖巧是我姓名
- 粉丝: 26
- 资源: 343
最新资源
- python-leetcode面试题解之第421题数组中两个数的最大异或值.zip
- python-leetcode面试题解之第416题分割等和子集.zip
- python-leetcode面试题解之第414题第三大的数.zip
- python-leetcode面试题解之第412题Fizz-Buzz.zip
- python-leetcode面试题解之第409题最长回文串.zip
- python-leetcode面试题解之第408题有效单词缩写.zip
- python-leetcode面试题解之第405题数字转换为十六进制数.zip
- python-leetcode面试题解之第404题左叶子之和.zip
- python-leetcode面试题解之第401题二进制手表.zip
- python-leetcode面试题解之第400题第N位数字.zip
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
评论0