给定 O(1) 或 O(log N) 时间中的源集，有没有办法在数学上生成排序排列和数组的给定索引？

Question

给定一组大小为 N 且按升序排序的整数。为简单起见，这个数组“arr”如下：[a0, a1, a2, ..., aN]。我需要所有对 ai 和 aj 之和的数组，允许重复：[a0 + a0, a0 + a1, a0 + a2, ..., a1 + a0, a1 + a1, ... aN + aN]，大小 N^2。但是，我需要按排序顺序对其进行二进制搜索（在 O(log(N^2)) 时间内），而不必生成整个数组，这将花费 O(N^2 log(N^2)) 时间.由于二进制搜索只需要特定索引处的数组值，我想知道是否有一个数学函数来确定给定特定索引的排序排列和数组的值（例如，value(3) 将返回ak + am），允许我在不完整生成数组的情况下对数组进行二进制搜索？我在想这样的事情：

int value(int index) {
     return arr[index/N] + arr[index%N];
}

但这并没有考虑到arr[i] + arr[k] 的值可能大于arr[i+1] + arr[k-5]，例如，即使arr[i+1] > arr[i]。 TLDR；对于这种特殊的数组情况，有什么方法可以在少于 O(N) 的时间内进行分区？出于我自己的目的，我还可以接受一种在不到 O(N^2) 时间内生成整个排序数组的解决方案。

Answer 1

您将无法在少于O(N^2) 的时间内生成整个二维数组，因为您需要通过O(1) 将每个值附加/插入到您的数组中，并且有N^2 元素来执行此操作为了。这自动需要O(N^2) 工作。

但是，您可以在不构造完整数组的情况下进行查询。我高度怀疑您将无法击败O(n) 时间。我这么说的原因是因为我们可以在O(log n)时间查询排序列表的唯一原因是因为我们已经投入了先前的工作来对这些元素进行排序，这需要检查每个元素并做一些工作（因此，至少@ 987654328@)，我的直觉告诉我，我们在这里处于类似的情况，只是我们还没有完成必要的预计算。

现在，您可以按原样在O(n) 时间查询它。首先初始化两个指针——base 和count，其中base 指向列表中的第一个元素，count 指向最后一个元素。还将整数 total 初始化为 0。对于每个步骤，请执行以下操作：

• 将count 向后移动（朝向第一个元素），直到count 的值加上base 的值的总和小于查询值(*count + *base < query)。
• 将count（索引/偏移）添加到total
• 向前移动base
• 重复直到任一指针到达其远端（包括）之后

base 指针表示一个值，我们希望知道可以添加多少其他元素并且仍然小于查询值。指针count 表示可以添加到base 并且仍然小于查询值的最后一个元素，因此为每个base 添加count（索引）给我们元素对的总数那总和小于查询。总之，这是O(n)，因为我们只是在初始数组上迭代，每个方向最多一次。