人们认为计算几何学或图论中​​的哪些问题是


12

这是针对Robin Kothari先前关于多项式时间硬度结果的文章的后续问题。

具体来说,我有兴趣看到一些硬度证明来解决被认为具有大约下限的问题,并且我说是为了允许通过使用字长(例如3SUM通过Barab等人(通过Springer))。如果它简化了响应,我很乐意将问题保留在决策树模型中。Ω(n3)

罗宾的帖子,我了解杰夫·埃里克森的,其给出了一个下界5SUM(更准确地说,他表示ķ在-sum运行Ω ñ ķ / 2 ,一般时间)。Ω(n3)kΩ(nk/2)

是否存在使用此类归纳来推测计算几何或图论问题的三次下界的论文或其他参考文献?


这两个答案都对我有帮助,谢谢!同样,杰夫(Jeff)指向提摩西(Timothy)论文的指针也受到高度赞赏,这是非常不错的结果。
Bob Fraser

Answers:


13

我认为您正在寻找V. Vassilevska Williams和R. Williams 撰写的论文“ 路径,矩阵和三角形问题之间的亚三次等效性 ”。它的摘要包含以下图形问题的列表:

  • 加权有向图(APSP)上的所有对最短路径问题。
  • 检测加权图是否具有负总边缘权重的三角形。
  • n2.99
  • 加权有向图上的替换路径问题。
  • 在加权有向图中找到两个节点之间的第二条最短的简单路径。

根据摘要,本文涉及以下方面:

O(n3)


6
但也看到蒂莫西陈的subcubic APSP算法,不玩位游戏:springerlink.com/content/px2741688g4p4l18
Jeffε

9

然后,可以将对这些问题的简化作为起点来证明下界。例如,请参阅以下论文的第5节:http : //valis.cs.uiuc.edu/~sariel/papers/03/lms/lms.pdf。以及以下论文的第4和第5节:http : //valis.cs.uiuc.edu/~sariel/papers/08/expand_cover/expand_cover.pdf。我敢肯定还有其他例子-这只是我从事的论文,因此请记住他们使用了这样的论点。

55Ω(n5)

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.