증분 위상 정렬과 강한 컴포넌트 유지
이 논문은 방향성 비순환 그래프에 새로운 간선을 추가하면서 위상 순서를 실시간으로 유지하고, 사이클이 생기면 즉시 탐지하는 알고리즘을 제시한다 기존 방법보다 희소 그래프에서 로그 요인을 개선한 O(√m) 평균 시간 복잡도를 달성한다 또한 강한 연결 요소와 그 위상 순서를 동시에 관리하는 확장 알고리즘도 동일한 복잡도로 제공한다
저자: Bernhard Haeupler, Siddhartha Sen, Robert E. Tarjan
논문은 먼저 증분 위상 정렬 문제와 강한 연결 요소 유지 문제를 명확히 정의한다 정점 집합은 초기 단계에서 고정되고, 간선은 빈 집합에서 시작한다 새로운 간선 (v,w) 를 삽입할 때 v가 w보다 뒤에 위치한다면 위상 순서가 깨지므로 이를 복구해야 한다 저자들은 기존 연구에서 사용된 단방향 혹은 양방향 탐색 방식을 일반화한다 양방향 탐색은 앞쪽 정점 집합(전방)과 뒤쪽 정점 집합(후방)을 동시에 확장하면서, 두 집합이 교차하거나 탐색이 멈추는 지점 s 를 찾는다 s 를 기준으로 전방에 속한 정점 X와 후방에 속한 정점 Y를 추출하고, X와 Y 각각에 대해 정적인 위상 정렬을 수행한다 그런 다음 기존 순서에서 X∪Y 를 제거하고 s 뒤에 Y의 순서 뒤에 X의 순서를 삽입한다 이 재배치가 사이클을 만들지 않으며, 새로운 간선 (v,w) 가 추가된 후에도 전체 정점 순서가 위상 순서를 만족함을 증명한다
시간 복잡도 분석에서는 탐색 과정에서 발생하는 “관련된 간선‑간선 쌍”을 카운트한다 두 간선 (u,x)와 (y,z)가 u
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기