NC2中未知的NC问题


14

是否存在有趣的问题,而是否存在未知的问题?Cook在论文“快速并行算法的问题分类法”中提到,MIS仅存在于但此后已归结为。我想知道多对数深度并行算法是否还有其他问题,我们似乎一直坚持提高深度。NCNC2NC5NC2

为了进一步缩小范围,中是否存在未知的或?NC2AC1DET


1
看到这个问题和乔希的答案。
卡夫

我完全错过了卡夫-谢谢!答案的最后一段关于以及相应的层次崩溃,为N C的状态提供了有用的直觉。NL=coNLNC
xal

我实际上只是想知道您的最后一个问题;我认为将其作为一个单独的问题发布是值得的(因为从技术上讲这是一个不同的问题,并且与标题中的问题无关)。XAL,你将开放给张贴的问题在问题不知道是在ç 1d Ë Ť作为一个单独的问题?还有@Kaveh,您从程序角度看如何做?NC2(AC1DET)
Joshua Grochow

@Josh,我认为这样做没有任何问题。我们之前曾要求作者将问题分为几个单独的帖子。
卡夫

1
感谢您询问乔希,我在这里将问题分解:cstheory.stackexchange.com/q/39831/40340
xal

Answers:


13

免责声明:我不是快速并行算法的专家,因此我错过了将我提到的问题放入NC层次结构较低级别的最新结果的可能性是微不足道的。如果您发现确实如此,请告诉我,我将更新答案。

  • 深度优先搜索的并行算法报告讨论了各种图形上DFS的已知并行算法。第9-10页上给出的列表指示了NCNC2几种算法,例如平面无向图的DFS或RNCRNC2几种算法,例如用于一般无向图的DFS。

  • 随着快速搜索,我无法找到文件提高了已有的有限域上稀疏多元多项式插值的并行算法提出,这是NC3。但是,几本可能相关的论文却没有成立。

  • 在曲线图计算所有极大派系是NCNC2时极大团的数目被多项式界,根据本文

  • 对于一般(无向)图,最大路径问题似乎NC5中,我没有找到对基础图没有限制的更快的并行算法。

其他可能的候选对象可能包括用于在特定类型的图中找到完美匹配的算法,或者用于在任意图中找到最大树覆盖率的算法(例如,本文提到了并行时间O(log6n)中的随机多时算法。本文还提到了在并行时间O(log3n)解决计算机视觉应用中出现的CSP问题类别。


1
有趣!您是否知道这些更高层次的NC层次结构是否完整(或推测完整)?拥有如此自然的例子将是很好的。
约书亚·格罗夫

不幸的是,我对此一无所知,我上面列出的论文没有提及任何此类内容(据我所知)。所有这些都离我的专业领域很远。因为我发现OP的问题很有趣,所以我只是进行了文献搜索,但是我有限的知识并不能使我对这些问题的严重性有任何清楚的直觉。
Geoffroy Couteau '18年
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.