Reingold의 UST-CONN 알고리즘에 대한 시간 복잡도 분석

Omer Reingold 의 방향 이 지정되지 않은 st-connectivity 로그 공간 알고리즘 의 정확한 시간 복잡도는 얼마입니까?

cc.complexity-theory randomness

— 수레 쉬 벤 카트
소스

좀 더 구체적으로 설명하십시오. 질문을 충분히 자세하게 설명하고 적절하게 참고 문헌을 인용하십시오.

— MS Dousti

나는 그 질문이 아주 분명하다고 생각한다 : doi.acm.org/10.1145/1391289.1391291 이 논문이다.

— András Salamon

이 문제는 해당 지역에서 일하는 사람들에게는 분명한 것이지만 더 많은 사람들이 질문을 이해할 수 있도록 포스터에 더 많은 정보를 제공하도록 요청하는 것이 좋습니다.

— Robin Kothari

Reingold 알고리즘의 시간 복잡성은 Reingold의 논문이나 Arora-Barak 교과서에서 다루지 않는 것 같습니다. 시간 복잡도는 구성에 사용 된 정확한 확장 그래프와 "충분히 큰"것으로 선택된 일부 상수에 의존하기 때문에 분석이 다소 지루한 것으로 보입니다.

시간 복잡성에 대한 대략적인 아이디어를 얻으려면 그래프 주어진 Reingold 알고리즘 이 (암시 적으로) 확장 그래프 로 변환하고 길이가 모든 걸음을 가로지 릅니다 . 여기 표기법 가죽 몇 가지 매우 큰 상수. 그래프 일정 정도 보유 일부 충분히 큰 대 있다는 것을 의미 다소 큰 상수에 대한 이러한 각층 . 주제에 대한 강의 노트를 감추면 것 같습니다 . $G$ $G'$ $l = O(\log n)$ $O$ $G'$ $d = 2^b$ $b$ $d^l = O(n^c)$ $c$ $c \ge 10^9b$

— 제인 에이치 코호 넨
소스

다음에 답을 커뮤니티 위키로 표시하지 마십시오. 그렇지 않으면 답변에 대한 크레딧을 얻지 못합니다!

— Ryan Williams

누군가가 내 분석을 구체화하고 싶을지도 모른다는 생각을했지만 커뮤니티 위키에서 명성을 얻지 못한다는 것을 깨닫지 못했습니다. 오 잘

— Janne H. Korhonen