TY - GEN
T1 - Give me some slack
T2 - 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018
AU - Basat, Ran Ben
AU - Einziger, Gil
AU - Friedman, Roy
N1 - Publisher Copyright:
© Ran Ben-Basat, Gil Einziger, and Roy Friedman.
PY - 2018/8/1
Y1 - 2018/8/1
N2 - Many networking applications require timely access to recent network measurements, which can be captured using a sliding window model. Maintaining such measurements is a challenging task due to the fast line speed and scarcity of fast memory in routers. In this work, we study the impact of allowing slack in the window size on the asymptotic requirements of sliding window problems. That is, the algorithm can dynamically adjust the window size between W and W(1+τ) where τ is a small positive parameter. We demonstrate this model’s attractiveness by showing that it enables efficient algorithms to problems such as Maximum and General-Summing that require Ω(W) bits even for constant factor approximations in the exact sliding window model. Additionally, for problems that admit sub-linear approximation algorithms such as Basic-Summing and Count-Distinct, the slack model enables a further asymptotic improvement. The main focus of the paper is on the widely studied Basic-Summing problem of computing the sum of the last W integers from {0, 1 . . ., R} in a stream. While it is known that Ω(W log R) bits are needed in the exact window model, we show that approximate windows allow an exponential space reduction for constant τ. Specifically, for τ = Θ(1), we present a space lower bound of Ω(log(RW)) bits. Additionally, we show an Ω(log (W/)) lower bound for RW additive approximations and a Ω(log (W/) + log log R) bits lower bound for (1 + ) multiplicative approximations. Our work is the first to study this problem in the exact and additive approximation settings. For all settings, we provide memory optimal algorithms that operate in worst case constant time. This strictly improves on the work of [14] for (1 + )-multiplicative approximation that requires O(−1 log (RW) log log (RW)) space and performs updates in O(log (RW)) worst case time. Finally, we show asymptotic improvements for the Count-Distinct, General-Summing and Maximum problems.
AB - Many networking applications require timely access to recent network measurements, which can be captured using a sliding window model. Maintaining such measurements is a challenging task due to the fast line speed and scarcity of fast memory in routers. In this work, we study the impact of allowing slack in the window size on the asymptotic requirements of sliding window problems. That is, the algorithm can dynamically adjust the window size between W and W(1+τ) where τ is a small positive parameter. We demonstrate this model’s attractiveness by showing that it enables efficient algorithms to problems such as Maximum and General-Summing that require Ω(W) bits even for constant factor approximations in the exact sliding window model. Additionally, for problems that admit sub-linear approximation algorithms such as Basic-Summing and Count-Distinct, the slack model enables a further asymptotic improvement. The main focus of the paper is on the widely studied Basic-Summing problem of computing the sum of the last W integers from {0, 1 . . ., R} in a stream. While it is known that Ω(W log R) bits are needed in the exact window model, we show that approximate windows allow an exponential space reduction for constant τ. Specifically, for τ = Θ(1), we present a space lower bound of Ω(log(RW)) bits. Additionally, we show an Ω(log (W/)) lower bound for RW additive approximations and a Ω(log (W/) + log log R) bits lower bound for (1 + ) multiplicative approximations. Our work is the first to study this problem in the exact and additive approximation settings. For all settings, we provide memory optimal algorithms that operate in worst case constant time. This strictly improves on the work of [14] for (1 + )-multiplicative approximation that requires O(−1 log (RW) log log (RW)) space and performs updates in O(log (RW)) worst case time. Finally, we show asymptotic improvements for the Count-Distinct, General-Summing and Maximum problems.
KW - Lower bounds
KW - Network measurements
KW - Statistics
KW - Streaming
UR - http://www.scopus.com/inward/record.url?scp=85053215152&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.MFCS.2018.34
DO - 10.4230/LIPIcs.MFCS.2018.34
M3 - Conference contribution
AN - SCOPUS:85053215152
SN - 9783959770866
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018
A2 - Potapov, Igor
A2 - Worrell, James
A2 - Spirakis, Paul
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Y2 - 27 August 2018 through 31 August 2018
ER -