摘要: 描述 该做法解决了一类“广义差分约束”问题(当然名字是我自己取的),除了可以解决常见的求解 \(A_1+c_1\geq A_2,A_2+c_2\geq A_3\dots\) 问题外,还可以求解形如“如果 \(A_1\geq c_1\),那么 \(A_2\geq c_2\)”这样涉及条件逻辑运算的问题 阅读全文
posted @ 2024-09-26 13:23 MessageBoxA 阅读(6) 评论(0) 推荐(0) 编辑