排序列表的近似和


21

最近,我研究了用于计算已排序的非负数列表的近似和的问题。对于任何固定的,一个ø (日志Ñ )时间近似方案已经导出,使得它提供了一个(1 + ε )的总和-近似。该文件发布在http://arxiv.org/abs/1112.0520上,该文件尚未完成。ϵ>0O(log⁡n)(1+ϵ)

我一直在寻找有关此问题的现有作品,但是我只得到了几篇与远程相关的论文,并引用了它们。这个问题以前研究过吗?如果有人知道有关此问题的任何现有研究,请告诉我。我将感谢您的帮助,并相应地更新引文。如果结果较旧,则纸张将被丢入垃圾桶。


2
感谢您分享本文!请问您有什么动力为什么要研究排序列表的近似和问题?我的意思是假设列表已排序是一个很强的假设。
— 戴乐

5
@DaiLe:大概是因为假设为问题增加了很多结构;试图找到未排序列表的近似总和显然很棘手,因为除了要检查的特定数字之外,您绝对没有其他有关列表的信息。
— 史蒂文·斯塔德尼基

2
@Bin:在并非全部为正的情况下,近似总和的下限似乎来自“ catch”,即没有很好的方法可以近似零。显然,这是标准的近似方案,但是按照最大分量的大小而不是结果总和的大小来衡量误差似乎更好。这只会使结果变得微不足道吗?
— 史蒂文·斯塔德尼基

4
在数学中,我们经常看到用于计算总和的公式,例如f(1)+ f(2)+…+ f(n),其中f(n)是一个函数。许多功能是单调的。例如,f(n)= n ^ k(log n)。很自然地要问,是否存在一种有效的方法来计算单调函数f(。)的此类和。当我写这篇论文时,我确实担心如果我在浪费时间做一些可能已经知道的事情。这就是为什么我来这个网站寻求帮助的相关参考,因为这里有很多专业人士。感谢您的评论。Bin Bin
— Bin Fu

@宾富:谢谢你的回答。这个假设是有道理的!
— 戴乐

Answers:



1

在阅读了Har-Peled的核心集论文的证明细节之后,现在我知道他的方法暗含了O(log n)时间算法,用于排序的非负数的近似和。核心集由排序列表中数字的子集组成,其位置仅取决于列表大小n和近似比epsilon。核心集中所有点的权重可在O(log n)时间中计算。因此,尽管没有在本文中明确声明,但它为排序列表的近似和带来了O(log n)时间算法。由于该算法隐藏在核心集构造的证明中,而不是Har-Peled论文所声称的定理中,因此在检查了论文的结果后,我没有看到这样的结论。

我通过删除包含O(log n)时间算法的第4节来修订我的论文。Har-Peled的论文在更新版本中被引用。仍然保留第一种算法,因为它具有O(log n)时间无法比拟的复杂性。例如,当输入排序列表中的数字在0到(log n)^ {O(1)}范围内时,它以O(log log n)时间运行。该算法基于二次区域搜索,这与核心集构造大不相同。时间下限也保持不变,但略有修改。

现在,我对这方面的作品有了更好的了解。在此,我非常感谢理论计算机科学同事在此网站上提供的专业帮助,它提供了出色的反馈。我的修改后的论文将在几天之内在同一存档站点中提供。我真诚地欢迎对可能会丢失的相关参考文献发表进一步的评论。

傅斌


4
啊 您指的是Har-Peled的十篇核心论文中的哪篇?核心组(带有两个e)与紧身胸衣(带有一个e)也不相同。一种是随机抽样;另一种是随机抽样。其他使用鲸鱼骨头。
— 杰夫斯

1
@Jɛff E:我认为他的意思是Sariel答复中提到的论文。
— 伊藤刚(Tsuyoshi Ito)

也许吧,但是当我发表评论时,该答案在页面上高于Sariel的答案。我添加了一个链接。
— 杰夫

我的更新版本现在可以在arxiv.org/abs/1112.0520上获得。
— Bin Bin

-3

O(log⁡n)O(log⁡n)

ε>00≤a1≤a2≤⋯≤an

an,an1+ε,an(1+ε)2,…,an(1+ε)k

for some k∈O(log⁡nε).

The main contribution of the approximate sum paper is an nontrivial O(log⁡n) time method to find a coreset of size O(log⁡n), which is different from the above construction. Thus, it brings an O(log⁡n) time algorithm.

With the above O(log⁡n) size coreset, one can do binary search for each point an⋅(1+ε)−j to determine its weight, which is the number of points between an⋅(1+ε)−j and an⋅(1+ε)−(j+1) in the sorted list. This implies a trivial O((log⁡n)2) time algorithm for the approximate sum problem.


1
Which of Har-Peled's ten coreset papers do you mean? Also, coreset ≠ corset!
— Jeffε

This should not be posted as an answer because it does not answer your question at all. It would be the best if it could be posted as a comment to Sariel’s answer, but it is too long for that. I would post it as an update to the question.
— Tsuyoshi Ito

Tsuyoshi: You are right. My comments should be put at the
— Bin Fu

comment area instead of the answer area. Sorry.
— Bin Fu

2
I dont think you understand my paper. What you wrote above is both wrong, and not what is in my paper.
— Sariel Har-Peled
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.