这些要求是否正确（可变关系）

Question

一本书中有这个示例，内容如下：

该系统应允许最长边（l）大于或等于12厘米但不大于75厘米的信封投寄。 最小边（w）必须大于或等于1厘米。 长度必须是宽度的两倍，并且必须大于或等于10厘米。 度量总是四舍五入到最接近的厘米。 我们可以将此要求重写为：

• 长度> = 12
• 长度<75
• 宽度> = 1
• 长– 2 x宽> = 10

我不明白最后一个要求（... l> = 10）与第一个要求（l> = 12）如何共存

我在这里想念什么吗？

Answer 1

在我的解释中，引用的文字和项目符号中的要求有两个区别：
-长度必须恰好是宽度的两倍，所以l = 2 xw
-长度必须> = 10

Answer 2

看完原文之后，很明显等式L - 2 W >= 10确实是作者的意图。 此约束是有道理的。

无论如何，还剩下两个“ bug”：

• 文字说明有误（应读为“长度必须大于宽度的两倍，且长度等于或大于10厘米”），

• 约束L >= 12在W >= 1和L - 2 W >= 10是隐式的。

以下两个表中的额外拼写错误将倾向于确认没有人是完美的。