[논문 리뷰] Frontier Space-Time Algorithms Using Only Full Memory

Petr Chmel, Aditi Dudeja외 3명|arXiv (Cornell University)|2026. 02. 24.

Complexity and Algorithms in Graphs인용 수 0

한 줄 요약

다항 시간 촉매 알고리즘을 사용하여 O(log n) 일반 공간과 서브선형 촉매 공간만으로 STCONN, Edit Distance, LCS, 및 Discrete Fréchet Distance를 해결하고, 비촉매 설정에서 알려진 최고의 공간-시간 경계에 대응한다.

ABSTRACT

We develop catalytic algorithms for fundamental problems in algorithm design that run in polynomial time, use only $\mathcal{O}(\log(n))$ workspace, and use sublinear catalytic space matching the best-known space bounds of non-catalytic algorithms running in polynomial time. First, we design a polynomial time algorithm for directed $s$-$t$ connectivity using $n \big/ 2^{Θ(\sqrt{\log n})}$ catalytic space, which matches the state-of-the-art time-space bounds in the non-catalytic setting [Barnes et al., 1998], and improves the catalytic space usage of the best known algorithm [Cook and Pyne, 2026]. Furthermore, using only $\mathcal{O}(\log(n))$ random bits we get a randomized algorithm whose running time nearly matches the fastest time bounds known for space-unrestricted algorithms. Second, we design polynomial time algorithms for the problems of computing Edit Distance, Longest Common Subsequence, and the Discrete Fréchet Distance, again using $n \big/ 2^{Θ(\sqrt{\log n})}$ catalytic space. This again matches non-catalytic time-space frontier for Edit Distance and Least Common Subsequence [Kiyomi et al., 2021].

연구 동기 및 목표

• 촉매 계산을 메모리의 사용이 거의 최대에 이르지만 끝에 메모리를 복구해야 하는 모델로 동기를 부여하고 형식화한다.
• 촉매 프레임워크 내에서 기본 문제(STCONN, ED, LCS, DFD)에 대해 서브선형 공간의 다항 시간 알고리즘을 설계한다.
• 이들 문제에 대해 촉매 공간 사용을 개선하여 비촉매 최적의 시간-공간 경계와 일치시키려 한다.
• 촉매 제약 하에서 대표 집합을 구성하고 흐름 기반 및 재귀적 기법을 활용하는 방법을 보여준다.

제안 방법

• 시간이 poly(n), 일반 공간 O(log n), 촉매 공간 n/2^{Omega(sqrt(log n))}인 STCONN에 대해 결정적 및 무작위 알고리즘을 개발한다.
• 문제 구조와 격자 구성처럼 그리드형 표현을 활용하여 STCONN 기법을 ED, LCS, DFD로 확장하고 촉매 공간을 서브선형으로 달성한다.
• Barnes 등 사람의 서브선형 비촉매 프레임워크와 Cook 및 Pyne의 촉매 흐름 기반 방법을 결합한 하이브리드 접근법을 사용한다.
• 서로대응 독립 해시 가족과 확장자를 이용해 표현 집합 U를 구성하여 희소하지만 연결 정보를 보존하는 그래프를 가능하게 한다.
• 촬매 메모리를 보존하면서 경로를 세기 위해 재귀적이고 색 분류 기반의 분해와 경로 개수 불변량을 사용한다.
• ED, LCS, DFD의 경우 격자 그래프 가중 도달 가능성으로 축약하고, 중국 나머지 표현을 사용하여 작은 소수에 대해 경로 수나 가중치를 구한다.

실험 결과

연구 질문

• RQ1 O(log n) 일반 공간을 사용하고 서브선형 촉매 공간으로 STCONN를 다항 시간 내에 해결할 수 있는가?
• RQ2 서브선형 촉매 공간 기법을 ED, LCS, DFD에 확장하되 촉매 공간이나 일반 공간이 폭발적으로 증가하지 않는가?
• RQ3 촉매 제약 하에서 연결 정보를 보존하기 위해 표현 집합을 어떻게 효율적으로 구성할 수 있는가?
• RQ4 흐름 기반, 재귀적, 모듈러 대수 기법을 촉매 한계 내에서 u–v 경로를 세기 위해 결합할 수 있는가?
• RQ5 이 촉매 모델에서 ED, LCS, DFD를 계산할 때의 정확한 시간-공간 교환 관계는 무엇인가?

주요 결과

• 정확히: n-정점 그래프에서 다항 시간, O(log n) 일반 공간, 촉매 공간 n/2^{Omega(sqrt(log n))}에서 작동하는 결정적 STCONN 알고리즘이 존재한다.
• O(log n) 난수 비트를 갖는 무작위 STCONN 알고리즘은 유사한 시간과 촉매 공간에서 작동하며, 한쪽 오류를 가지되 동일한 공간 한계 내에서 비결정화가 가능하다.
• ED, LCS, DFD에 대한 결정적 촉매 공간 알고리즘은 다항 시간, O(log n) 일반 공간, 촉매 공간 n/2^{Omega(sqrt(log n))}를 갖는다.
• DFD 알고리즘은 촉매 제약 하에서 다항 시간 O(n^{4+ε})를 다항적 범위의 정수 거리에서 달성한다.
• ED 및 LCS 방법은 격자 그래프 구성과 작은 소수 모듈로 경로 가중 수를 이용해 서브선형 촉매 공간을 활용하며, STCONN으로의 직접적 전면적 축약 없이도 환원 가능하게 한다.
• 대표 집합 구성은 쌍별 독립 해시 가족과 확장자 워크를 사용해 낮은 공간에서 높은 확률의 그래프 희소화가 가능하도록 보장한다.