有向平面图中可达性的并行算法

Chong，Han和Lam表明，使用处理器可以在时间内在EREW PRAM上解决无方向性st-connectivity 。 $O({\log}n)$ $O(m+n)$

有向平面图中st- 连通性的最著名并行算法是什么？

请说明运行时间，确定性/随机算法以及所使用的PRAM模型（假设处理器数量是多项式）。

这个问题与我以前的问题之一有关。我之前的问题是关于不一定是平面的一般有向图。

ds.algorithms graph-theory dc.parallel-comp

— 湿婆金塔利
source

我花了一些时间来回点击才能意识到差异是平面性。当您提到上一个问题时，您能否澄清一下？

— Suresh Venkat

我做了与Suresh相同的事情，并且我自由地编辑了最后一句话。当读者不知道与之相对时（在此情况下为“平面”），“一般”一词的含义不是很丰富。我希望你不介意…。

— 伊藤刚（Tsuyoshi Ito）

看到

高明阳 Klein，Philip N.（1993），《克服传递封闭的瓶颈：平面图有效率的并行算法》，J。Comput。系统科学 47（1993），no。3，459–500。

其定理10给出了一个确定性的算法CRCW -reachability在平面有向图具有的处理器和时间。在Google学者中搜索引用其论文的其他论文，但我没有看到其他人对此有任何改进。 $st$ $O(n)$ $O(\log^3 n)$

— 大卫·埃普斯坦
source