algorithm - TopCoder 中的示例违反了约束

Question

我正在尝试理解问题 DivFreed2在 TopCoder 上:

它具体规定了数组

• 数组的长度为n。
• 每个元素都是 1 到 k 之间的整数，包括 1 和 k。
• 只要 A 和 B 是数组的两个连续元素(按此顺序)，我们就有 (A <= B) 或 (A mod B != 0)。

我的问题是关于第一个例子的第三个约束:

2
2
Returns: 3
The three arrays Hero likes are {1,1}, {1,2}, and {2,2}.

答案不应该是 4 吗？数组 {2,1} 发生了什么？ 可以根据上述约束生成 3 个数组，但还有第四个数组可以生成，即 {2,1}。问题中没有写到我们只能拥有唯一的数字组合。 为什么我们不将 {2,1} 包含在可能有效的数组列表中？

所有问题都规定了数字排列的约束。

我在这里遗漏了什么吗？一组数字是否表示唯一组合？

Answer 1

嗯，2 > 1，并且 2 % 1 == 0，因此

!(2 <= 1) && !(2 % 1 != 0)

因此 {2, 1} 不是解决方案。