[논문 리뷰] Reachability and Distances under Multiple Changes

Samir Datta, Anish Mukherjee외 2명|arXiv (Cornell University)|2018. 01. 01.

Data Management and Algorithms참고 문헌 10인용 수 3

한 줄 요약

이 논문은 다이나믹술적술적복잡도를 확장하여, 방향성 그래프에서 도달 가능성과 거리가 산술(+, ×) 또는 다수 결정자 양자화를 사용하는 일阶논리로 다중 간선 변경 사항에 대해 유지될 수 있음을 보여준다. 도달 가능성은 O(log n / log log n)개의 노드에 영향을 주는 변경 사항에 대해 DynFO(+, ×)에 속함을 증명하였고, O(log^c n)개의 노드에 영향을 주는 변경 사항에 대해서는 다수 결정자와 함께 DynFO에 속함을 보였다. 이는 Sherman-Morrison-Woodbury 항등식을 통한 행렬 역행렬 계산과 FO+Maj에서의 행렬식 계산을 활용한다.

ABSTRACT

Recently it was shown that the transitive closure of a directed graph can be updated using first-order formulas after insertions and deletions of single edges in the dynamic descriptive complexity framework by Dong, Su, and Topor, and Patnaik and Immerman. In other words, Reachability is in DynFO. In this article we extend the framework to changes of multiple edges at a time, and study the Reachability and Distance queries under these changes. We show that the former problem can be maintained in DynFO(+, x) under changes affecting O({log n}/{log log n}) nodes, for graphs with n nodes. If the update formulas may use a majority quantifier then both Reachability and Distance can be maintained under changes that affect O(log^c n) nodes, for fixed c in N. Some preliminary results towards showing that distances are in DynFO are discussed.

연구 동기 및 목표

• . 이 논문은 단일 튜플 업데이트를 넘어서 다중 간선 변경 사항을 처리할 수 있도록 다이나믹술적술적복잡도 프레임워크를 확장하고자 한다.
• . 다수의 노드 또는 간선이 동시에 수정될 때 도달 가능성 및 거리 질의가 효율적으로 유지될 수 있는지 조사한다.
• . 도달 가능성 및 거리 질의가 DynFO(+, ×) 및 다수 결정자와 함께 사용되는 저복잡도 논리 클래스에서 유지 가능한 변경의 크기(영향을 받는 노드 수 기준)를 특성화하는 것을 목표로 한다.
• . 정적 복잡도(예: 도달 가능성에 대한 NL)와 다이나믹 복잡도 사이의 격차를 메우기 위해, 비상수 크기의 변경 사항에 대해서도 다이나믹 유지가 가능함을 보여주는 데 목적이 있다.
• . 또한 다이나믹 복잡도 분야에서 주요 열린 문제인 거리 유지가 DynFO에서 가능할 수 있는지 탐색한다.

제안 방법

• . 형식적 멱급수와 행렬 근사법을 사용하여 인접행렬의 역행렬을 표현함으로써 점진적 업데이트를 가능하게 한다.
• . 변경 이후 행렬 역행렬을 업데이트하기 위해 Sherman-Morrison-Woodbury 항등식을 적용하며, U, B, V 행렬을 사용하여 간선 업데이트를 저랭크 변형으로 분해한다.
• . 다항식 인코딩을 통한 도달 가능성 표현을 위해 Z[[x]]^n×n 내에서 n-근사 행렬 역행렬을 유지하며, 차수 n에서 잘라낸다.
• . 소형 행렬(크기 O(log^c n))의 행렬식 계산은 균일한 TC0를 통해 수행되며, 이는 FO+Maj(+, ×)와 동치이므로 다수 결정자 양자화를 활용할 수 있다.
• . 더 큰 변경 사항에 대해서는 균일한 NC1 내에서 행렬식을 계산하여, O(2^√(log n / log*n))개의 노드에 영향을 주는 변경 사항에 대해 DynNC1에서 결과를 도출한다.
• . 다이나믹 프로그램은 산술 및 다수 결정자로 구성된 일阶논리 공식을 사용하여 보조 관계를 업데이트함으로써, 지정된 논리 클래스 내에서 유지 가능성을 보장한다.

실험 결과

연구 질문

• RQ1 . O(log n / log log n)개의 노드에 영향을 주는 변경 사항에 대해 도달 가능성은 DynFO(+, ×)에서 유지될 수 있는가?
• RQ2 . O(log^c n)개의 노드에 영향을 주는 변경 사항에 대해, 다수 결정자가 포함된 DynFO에서 도달 가능성과 거리가 유지될 수 있는가? (모든 고정된 c ∈ N에 대해)
• RQ3 . 최단 거리를 FO+Maj(+, ×) 질의를 통해 추출할 수 있는 보조 데이터를 DynFO(+, ×)에서 유지할 수 있는가?
• RQ4 . 도달 가능성과 거리가 저복잡도 다이나믹 논리 클래스에서 유지 가능한 변경 사항의 최대 클래스(영향을 받는 노드 수 기준)는 무엇인가?
• RQ5 . 도달 가능성에 사용된 기법을 확장하여, 다이나믹 복잡도 분야에서 주요 열린 문제인 거리 유지가 DynFO에서 가능할 수 있는가?

주요 결과

• . O(log n / log log n)개의 노드에 영향을 주는 변경 사항에 대해 도달 가능성은 DynFO(+, ×)에서 유지될 수 있으며, 이는 이전 결과에서 단일 간선 업데이트로 국한된 것을 확장한 것이다.
• . 다수 결정자 양자화를 추가함으로써, O(log^c n)개의 노드에 영향을 주는 변경 사항에 대해 도달 가능성과 거리가 모두 DynFO에서 유지될 수 있다. (모든 고정된 c ∈ N에 대해)
• . 다항식 계수를 가진 k × k 행렬의 행렬식은 k ∈ O(log^c n)일 때 FO+Maj(+, ×)에서 계산 가능하며, 이는 이 논리에서 Sherman-Morrison-Woodbury 항등식의 활용을 가능하게 한다.
• . O(2^√(log n / log*n))개의 노드에 영향을 주는 변경 사항에 대해서는 도달 가능성과 거리가 DynNC1에서 유지될 수 있으며, 더 큰 변경 사항에 대한 확장성도 입증한다.
• . 이 논문은 도달 가능성 정보를 DynFO(+, ×)에서 유지할 수 있는 프레임워크를 제공하며, 최단 거리는 FO+Maj(+, ×) 질의를 통해 추출 가능하다. 이는 거리가 DynFO에 속한다는 것을 보여주는 길을 열어준다.
• . 결과적으로, 저복잡도 논리 클래스에서의 행렬 역행렬 및 행렬식 계산 기법이 비상수 크기의 변경 사항에 대한 도달 가능성 및 거리의 다이나믹 유지 가능성을 가능하게 한다.