[논문 리뷰] Dynamic Maintenance of Monotone Dynamic Programs and Applications

Monika Henzinger, Stefan Neumann외 2명|arXiv (Cornell University)|2023. 01. 01.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 동적 프로그래밍(DP)을 위한 새로운 데이터 구조를 제안하며, DP 테이블의 각 행에 대한 단조성(monotonicity)을 활용하여 정적 DP의 경우 근사 선형 시간 및 공간 복잡도를 달성하고, 동적 환경에서는 다항로그 시간 업데이트를 실현한다. 각 행을 단조적인 조각별 상수 함수로 표현함으로써, (min, +)-컨볼루션 및 반올림 연산을 효율적으로 수행할 수 있으며, 이는 k-균형 그래프 분할과 동시 소스 위치 지정 문제에 대해 최초로 하위다항식 업데이트 시간을 갖는 동적 알고리즘을 가능하게 하고, 지금까지 가장 빠른 완전 동적 0-1 배낭 문제 알고리즘을 제공한다.

ABSTRACT

Dynamic programming (DP) is one of the fundamental paradigms in algorithm design. However, many DP algorithms have to fill in large DP tables, represented by two-dimensional arrays, which causes at least quadratic running times and space usages. This has led to the development of improved algorithms for special cases when the DPs satisfy additional properties like, e.g., the Monge property or total monotonicity. In this paper, we consider a new condition which assumes (among some other technical assumptions) that the rows of the DP table are monotone. Under this assumption, we introduce a novel data structure for computing $(1+\varepsilon)$-approximate DP solutions in near-linear time and space in the static setting, and with polylogarithmic update times when the DP entries change dynamically. To the best of our knowledge, our new condition is incomparable to previous conditions and is the first which allows to derive dynamic algorithms based on existing DPs. Instead of using two-dimensional arrays to store the DP tables, we store the rows of the DP tables using monotone piecewise constant functions. This allows us to store length-$n$ DP table rows with entries in $[0,W]$ using only polylog$(n,W)$ bits, and to perform operations, such as $(\min,+)$-convolution or rounding, on these functions in polylogarithmic time. We further present several applications of our data structure. For bicriteria versions of $k$-balanced graph partitioning and simultaneous source location, we obtain the first dynamic algorithms with subpolynomial update times, as well as the first static algorithms using only near-linear time and space. Additionally, we obtain the currently fastest algorithm for fully dynamic knapsack.

연구 동기 및 목표

• 기존 동적 프로그래밍이 정사각형 크기의 테이블에 의존함에 따라 높은 시간 및 공간 복잡도를 겪는 문제를 해결한다.
• 항목이 변경될 때 다시 계산하지 않고도 효율적인 업데이트를 지원하는 동적 DP 알고리즘을 개발한다.
• 효율적인 데이터 구조 및 알고리즘을 가능하게 하는 새로운 구조적 조건인 DP 테이블 행의 단조성을 도입한다.
• k-균형 분할 및 동시 소스 위치 지정과 같은 핵심 NP-난이도 문제에 대해 하위다항식 업데이트 시간을 달성한다.
• 이전 작업보다 개선된 업데이트 시간을 갖는 최초의 완전 동적 배낭 문제 알고리즘을 제공한다.

제안 방법

• DP 테이블의 각 행을 단조적인 조각별 상수 함수로 표현함으로써, 행당 공간 사용량을 polylog(n, W) 비트로 줄인다.
• 이러한 함수들에 대한 (min, +)-컨볼루션 및 반올림 연산을 다항로그 시간 내에 지원하는 데이터 구조를 사용한다.
• 동적 그래프 문제의 근사 컷 스파르서라이저를 유지하기 위해 Räcke 트리를 활용한다.
• 기존의 비단조성 DP를 재정의된 상태 공간을 통해 단조성을 강제함으로써 단조화하는 기법을 적용한다.
• 일부 경우(예: 동시 소스 위치 지정)에서는 DP 공식을 반전시켜 역함수를 사용함으로써 단조성을 달성한다.
• 변경된 항목에서의 경로상에 있는 정점들에 국한하여 위상 정렬과 점진적 재계산을 사용해 동적 업데이트를 수행한다.

실험 결과

연구 질문

• RQ1 DP 테이블 행의 단조성이 하위다항식 업데이트 시간을 갖는 동적 알고리즘 설계에 활용될 수 있는가?
• RQ2 기존의 몽게(Monge) 또는 전체 단조성과 비교할 수 없는 새로운 동적 프로그래밍 구조적 조건이 존재하는가?
• RQ3 기존의 비단조성 DP는 단조 형태로 변환하여 동적 유지가 가능한가?
• RQ4 DP 함수의 역함수를 사용해 단조성을 달성하고 효율적인 동적 업데이트를 실현할 수 있는가?
• RQ5 이 기법은 배낭 문제, 그래프 분할, 소스 위치 지정과 같은 기본 문제에 실질적인 영향을 미칠 수 있는가?

주요 결과

• 제안된 데이터 구조는 정적 설정에서 (1 + ϵ)-근사 DP 해를 근사 선형 시간 및 공간 내에서 지원한다.
• 동적 업데이트의 경우, 항목 변경당 다항로그 시간 내에 업데이트 시간을 달성하여 이전 방법보다 크게 향상된다.
• 이중 기준 k-균형 그래프 분할과 동시 소스 위치 지정 문제에 대해 최초로 하위다항식 업데이트 시간을 갖는 동적 알고리즘이 도출된다.
• 이러한 문제들에 대해 이전의 정사각형 공간 복잡도 방법보다 개선된 근사 선형 시간 및 공간 복잡도를 사용하는 최초의 정적 알고리즘이 제시된다.
• 최근의 FSTTCS’21 논문(Eberle 등)보다 개선된 업데이트 시간을 갖는 개선된 완전 동적 배낭 문제 알고리즘이 확보된다.
• k-균형 분할을 위한 Feldmann 및 Foschini DP를 단조화하는 기법이 도입되어, 이전에는 불가능했던 동적 유지가 가능해졌다.