搜索结果: 1-1 共查到“数理逻辑与数学基础 Simulating”相关记录1条 . 查询时间(0.062 秒)
Simulating Undirected st-Connectivity Algorithms on Uniform JAGs and NNJAGs
Simulating Undirected st-Connectivity
2012/11/29
In a breakthrough result, Reingold showed that the Undirected st-Connectivity problem can be solved in O(log n) space. The next major challenge in this direction is whether one can extend it to direct...