[논문 리뷰] Online Algorithms for Multi-Level Aggregation

Marcin Bieńkowski, Martin Böhm외 8명|arXiv (Cornell University)|2015. 07. 09.

Optimization and Search Problems참고 문헌 37인용 수 9

한 줄 요약

이 논문은 깊이가 임의로 고정된 D인 트리에서 다중레벨집합문제(MLAP)에 대한 첫 번째 상수 경쟁률을 갖는 온라인 알고리즘을 제시한다. 이 알고리즘은 O(D⁴2^D)의 경쟁률을 달성하며, 도착 지연 시간 등 다양한 대기비용 함수를 처리할 수 있다. 이는 불연속성 함수를 연속 함수로 변환하는 스트레치 불변 시뮬레이션 기법을 도입하여, 기존의 온라인 전략을 변환된 인스턴스에 적용함으로써 경쟁 성능을 유지할 수 있도록 한다.

ABSTRACT

In the Multi-Level Aggregation Problem (MLAP), requests arrive at the nodes of an edge-weighted tree T, and have to be served eventually. A service is defined as a subtree X of T that contains its root. This subtree X serves all requests that are pending in the nodes of X, and the cost of this service is equal to the total weight of X. Each request also incurs waiting cost between its arrival and service times. The objective is to minimize the total waiting cost of all requests plus the total cost of all service subtrees. MLAP is a generalization of some well-studied optimization problems; for example, for trees of depth 1, MLAP is equivalent to the TCP Acknowledgment Problem, while for trees of depth 2, it is equivalent to the Joint Replenishment Problem. Aggregation problem for trees of arbitrary depth arise in multicasting, sensor networks, communication in organization hierarchies, and in supply-chain management. The instances of MLAP associated with these applications are naturally online, in the sense that aggregation decisions need to be made without information about future requests. Constant-competitive online algorithms are known for MLAP with one or two levels. However, it has been open whether there exist constant competitive online algorithms for trees of depth more than 2. Addressing this open problem, we give the first constant competitive online algorithm for networks of arbitrary (fixed) number of levels. The competitive ratio is O(D^4*2^D), where D is the depth of T. The algorithm works for arbitrary waiting cost functions, including the variant with deadlines. We include several additional results in the paper. We show that a standard lower-bound technique for MLAP, based on so-called Single-Phase instances, cannot give super-constant lower bounds (as a function of the tree depth). This result is established by giving an online algorithm with optimal competitive ratio 4 for such instances on arbitrary trees. We also study the MLAP variant when the tree is a path, for which we give a lower bound of 4 on the competitive ratio, improving the lower bound known for general MLAP. We complement this with a matching upper bound for the deadline setting.

연구 동기 및 목표

• 깊이가 2를 초과하는 트리에서 MLAP에 대해 상수 경쟁률을 갖는 온라인 알고리즘이 존재하는지 여부라는 열린 문제를 해결하기 위해.
• 도착 지연 시간을 포함한 임의의 대기비용 함수에 대해 작동하는 일반적인 온라인 알고리즘을 개발하기 위해.
• 왼쪽 연속 대기비용 함수를 갖는 인스턴스를 동일한 경쟁률을 유지하면서 연속 함수로 변환하는 감소 기법을 확립하기 위해.
• 이전의 하한 분석에서 널리 사용된 싱글페즈 인스턴스가 트리 깊이에 따라 초수렴 하한을 유도할 수 없다는 것을 증명하기 위해.
• 경로 형태의 MLAP에 대해 날카로운 하한을 제공하여, 경쟁률 하한이 4임을 보이고, 도착 지연 설정에서 이를 충족하는 상한이 존재함을 보여주기 위해.

제안 방법

• 온라인 알고리즘의 스트레치 불변 성질을 도입하여, 삽입된 간격 간격으로 시간축을 늘려도 알고리즘의 동작이 영향을 받지 않도록 보장한다.
• 불연속성 지점에 일정한 값의 간격을 삽입하여 왼쪽 연속 대기비용 함수를 연속 함수로 변환하는 변환을 구축한다.
• 연속 비용을 갖는 변환된 인스턴스에서 온라인 알고리즘 A를 시뮬레이션하며, 시간 이동 기반의 시뮬레이션을 사용해 원래 인스턴스와 일관성을 유지한다.
• 비용 보존 및 스케줄 일치성 덕분에, 원래 인스턴스에서 실행되는 시뮬레이션된 알고리즘 B가 알고리즘 A의 경쟁률 R을 그대로 이어받음을 증명한다.
• 기본으로 OnlTree 알고리즘을 사용하며, 스트레치 불변 변환을 통해 왼쪽 연속 비용을 처리하도록 확장한다.
• MLAP-D(도착 지연) 변형을 왼쪽 연속 비용을 갖는 MLAP로 감소시키기 위해, 도착 지연 이후의 대기비용을 무한대로 설정하고, 이를 큰 유한값 ℓ*ₐ로 대체한다.

실험 결과

연구 질문

• RQ1 일반 설정에서의 이전 불가능성 결과에도 불구하고, 깊이 D > 2인 트리에서 MLAP에 대해 상수 경쟁률을 갖는 온라인 알고리즘을 설계할 수 있는가?
• RQ2 일반적으로 하한을 유도하는 데 사용되는 싱글페즈 인스턴스는 트리 깊이에 따라 초수렴 하한을 유도할 수 있는가?
• RQ3 왼쪽 연속 대기비용 함수를 갖는 MLAP을 연속 비용 함수를 갖는 MLAP로 변환할 수 있는 변환 기법이 존재하는가? 이때 경쟁률은 유지되어야 한다.
• RQ4 특히 도착 지연 설정에서, 경로 형태의 MLAP(즉, 깊이 2 트리)에 대해 최적의 경쟁률은 무엇인가?
• RQ5 오프라인 MLAP에서 사용된 원형-쌍대 프레임워크를 스트레치 불변성 같은 구조적 불변성 특성을 통해 온라인 설정에 적응시킬 수 있는가?

주요 결과

• 이 논문은 깊이가 임의로 고정된 D인 트리에서 MLAP에 대해 첫 번째 상수 경쟁률 온라인 알고리즘을 제시하며, 경쟁률은 O(D⁴2^D)이다.
• 이전에 제안된 싱글페즈 인스턴스가 트리 깊이에 따라 초수렴 하한을 유도할 수 없음을 증명하기 위해, 이러한 인스턴스에 대해 최적의 4-경쟁률 온라인 알고리즘을 구성하였다.
• 오프라인 싱글페즈 인스턴스는 다항식 시간 내에 최적으로 해결 가능하며, 이는 일반 MLAP 인스턴스의 난이도와 대비된다.
• 경로 형태의 MLAP에 대해 경쟁률 하한이 4임을 입증하였으며, 이는 도착 지연 설정에서 이를 충족하는 상한이 존재함으로써 날카로운 하한임을 보여준다.
• 도착 지연이 있는 MLAP에 대해 2-근사 오프라인 알고리즘을 제시하였으며, 이는 이전의 근사 인자보다 향상된 결과이다.
• MLAP-D를 왼쪽 연속 비용을 갖는 MLAP로의 감소가 경쟁률을 유지함을 보였으며, 이는 도착 지연 인스턴스에 연속 비용 알고리즘을 적용할 수 있도록 한다.