[논문 리뷰] From Amortized to Worst Case Delay in Enumeration Algorithms

Florent Capelli, Yann Strozecki|arXiv (Cornell University)|2021. 08. 23.

Advanced Graph Theory Research참고 문헌 36인용 수 3

한 줄 요약

이 논문은 다항 시간 평균 지연을 갖는 순서 매기기 알고리즘을 다항 시간 최악 지연을 갖는 것으로 변환하는 것을 조사하며, 메모리 오버헤드를 줄이고 알려지지 않은 평균 지연에 적응할 수 있는 새로운 정규화 기법을 제안한다. 블랙박스 정규화로는 평균 지연에 비례하는 선형 최악 지연을 달성할 수 없음을 증명하며, 순서 유지에는 지수적 공간 또는 지수적 지연이 필요하다는 것을 보여준다.

ABSTRACT

In this paper, we introduce a technique we call geometric amortization for enumeration algorithms, which can be used to make the delay of enumeration algorithms more regular with little overhead on the space it uses. More precisely, we consider enumeration algorithms having incremental linear delay, that is, algorithms enumerating, on input x, a set A(x) such that for every t ≤ ♯ A(x), it outputs at least t solutions in time O(t⋅p(|x|)), where p is a polynomial. We call p the incremental delay of the algorithm. While it is folklore that one can transform such an algorithm into an algorithm with maximal delay O(p(|x|)), the naive transformation may use exponential space. We show that, using geometric amortization, such an algorithm can be transformed into an algorithm with delay O(p(|x|)log(♯A(x))) and space O(s log(♯A(x))) where s is the space used by the original algorithm. In terms of complexity, we prove that classes DelayP and IncP₁ with polynomial space coincide. We apply geometric amortization to show that one can trade the delay of flashlight search algorithms for their average delay up to a factor of O(log(♯A(x))). We illustrate how this tradeoff is advantageous for the enumeration of solutions of DNF formulas.

연구 동기 및 목표

• 다항 시간 평균 지연을 갖는 알고리즘이 체계적으로 다항 시간 최악 지연을 갖는 것으로 변환될 수 있는지 연구하는 것.
• 메모리 사용을 최소화하고 알려지지 않은 평균 지연에 적응할 수 있는 효율적인 정규화 기법을 설계하는 것.
• 평균 지연 알고리즘에 블랙박스 접근을 통해 달성 가능한 최악 지연의 기본 하한을 설정하는 것.
• 순서 매기기 알고리즘에서 공간, 지연, 순서 유지 간의 상호 교환 관계를 탐색하는 것.

제안 방법

• 레지스터 업데이트를 추적하기 위해 플래그 배열 U를 사용하는 레이지 복사 메커니즘을 제안하여, 일정한 오버헤드로 일정 시간 내에 복사 작업을 수행한다.
• 카운터 c와 지시어 I에 의해 쓰여진 레지스터의 인덱스를 추적하기 위한 배열 S를 도입하여, 변경된 레지스터에만 복사 작업을 제한한다.
• 각 복사 작업이 필요할 때만 트리거되는 존 기반 시뮬레이션을 사용하여, 동시에 활성화된 복사 메커니즘이 하나뿐이 되도록 보장한다.
• 기존의 전체 복사와 비교해, 현재까지 쓰여진 첫 rlast개의 레지스터만 복사하는 동적 복사 전략을 구현하여 작업 수를 줄인다.
• 큐를 사용한 버퍼 기반 정규화 방법을 적용하여 평균 지연을 최악 지연으로 변환하며, 특정 경우에 큐 크기가 유한하게 유지됨을 증명한다.
• 활성 복사 수를 제한하고, 항상 하나의 복사만 활성화되어 있음을 보여주는 복잡도 분석을 통해 변환의 효율성을 입증한다.

실험 결과

연구 질문

• RQ1 모든 다항 시간 평균 지연을 갖는 알고리즘을 블랙박스 접근만으로 다항 시간 최악 지연을 갖는 것으로 변환할 수 있는가?
• RQ2 이러한 변환을 달성하기 위해 필요한 최소 메모리 사용량은 얼마이며, 이를 입력 크기에 대해 다항식으로 유지할 수 있는가?
• RQ3 사전에 지연 함수를 알지 못한 채 알려지지 않은 평균 지연에 적응할 수 있는 정규화 기법을 설계할 수 있는가?
• RQ4 블랙박스 정규화의 최악 지연과 공간 복잡도 측면에서의 기본 한계는 무엇인가?
• RQ5 순서 유지가 지수적 공간이나 지수적 지연 없이 유지될 수 있는 조건는 무엇인가?

주요 결과

• 모든 블랙박스 정규화 기법은 평균 지연에 비례하는 선형 최악 지연을 달성할 수 없으며, 이는 기본 하한을 증명한다.
• 순서 매기기 순서를 유지하기 위해서는 지수적 공간 또는 지수적 최악 지연이 필요하며, 강력한 상호 교환 관계가 드러난다.
• 제안된 레이지 복사 메커니즘은 항상 하나의 복사만 활성화되어 있어, 일정한 오버헤드로 일정 시간 내에 복사 작업을 수행할 수 있다.
• 변환 과정은 다항 시간 및 다항 공간 복잡도를 유지하며, 큐 크기가 해답 수에 의해 유한하게 제한되어 실질적으로 지수적 공간을 피할 수 있다.
• 초기 이동 작업을 순서 매기기 이전에 실행함으로써 사전 처리를 처리할 수 있도록 방법을 조정할 수 있다.
• 결과적으로 평균 지연은 최악 지연보다 약한 것으로 간주되지만, 자원의 상당한 교환 관계 없이 서로를 효율적으로 변환할 수 있는 것은 아님을 보여준다.