我们考虑的情况下,$n$传感器节点观察数据流。节点连接到中央服务器,其任务是计算节点观察到的所有数据项的某个函数。在我们的例子中,节点观察到的数据项存在一个全序。我们的目标是计算$k$当前最低观测值或在概率为$(1-δ)$的情况下在$[(1-\varepsilon)k,(1+\varepsilon)k]$中具有秩的值。我们提出了这些问题的解决方案,在分布式监控模型的扩展,服务器可以发送广播消息到所有节点的单位成本。我们希望最小化多个时间步上的通信,其中在查询之间存在对节点值的$m$更新。结果由两个主要部分组成,每个部分可能是独立的兴趣:(1)回答Top-k和k-Select查询的协议。这些协议是无记忆的,因为它们在请求时收集所有信息。(2)一种动态数据结构,其为每个$k$跟踪接近于$k$的元素。我们描述了如何将这两个部分结合起来,以接收一个协议,在多个时间步长上回答所述查询。总的来说,对于Top- $k$查询,我们使用$O(k + \log m + \log \log n)$,对于$k$ -Select查询,我们使用预期的$O(\frac{1}{\varepsilon^2} \log \frac{1}δ + \log m + \log^2 \log n)$消息。如果$m$不太小,这些结果是渐近紧的.
英文摘要:
We consider the scenario of $n$ sensor nodes observing streams of data. The nodes are connected to a central server whose task it is to compute some function over all data items observed by the nodes. In our case, there exists a total order on the data items observed by the nodes. Our goal is to compute the $k$ currently lowest observed values or a value with rank in $[(1-\varepsilon)k,(1+\varepsilon)k]$ with probability $(1-δ)$. We propose solutions for these problems in an extension of the distributed monitoring model where the server can send broadcast messages to all nodes for unit cost. We want to minimize communication over multiple time steps where there are $m$ updates to a node's value in between queries. The result is composed of two main parts, which each may be of independent interest: (1) Protocols which answer Top-k and k-Select queries. These protocols are memoryless in the sense that they gather all information at the time of the request. (2) A dynamic data structure which tracks for every $k$ an element close to $k$.
We describe how to combine the two parts to receive a protocol answering the stated queries over multiple time steps. Overall, for Top-$k$ queries we use $O(k + \log m + \log \log n)$ and for $k$-Select queries $O(\frac{1}{\varepsilon^2} \log \frac{1}δ + \log m + \log^2 \log n)$ messages in expectation. These results are shown to be asymptotically tight if $m$ is not too small.
对于任何$ε\in (0,1)$,$(1+ε)$近似范围模式查询要求其在查询范围中的频率至多是比真实模式小的因子$(1+ε)$的元素的位置。针对这一问题,设计了一种支持$O(\lg(1/ε))$时间查询的$O(n/ε)$位数据结构.这是一个编码的数据结构,不需要访问输入序列,我们证明了空间成本是渐近最优的恒定$ε$。我们的解决方案改进了Greve等人(Cell Probe Lower Bounds and Approximations for Range Mode,ICALP'10)以前的最佳结果,通过将空间成本降低$\lg n$的因子,同时实现相同的查询时间。我们还设计了一个$O(n)$字的动态数据结构,回答查询在$O(\lg n /\lg\lg n)$时间,并支持插入和删除在$O(\lg n)$时间,任何常数$ε\in (0,1)$。这是关于动态近似范围模式的第一个结果;它也可以用于获得二维近似3边范围模式查询的第一个静态数据结构。我们还考虑了近似范围选择。对于任何$α\in (0,1/2)$,$α$ -近似范围选择查询要求其在查询范围中的排名在$[k - αs, k + αs]$中的元素的位置,其中$k$是由查询给出的排名,$s$是查询范围的大小。当$α$为常数时,我们设计了一种$O(n)$位编码数据结构,可以在常数时间内回答查询,并证明了这种空间代价是渐近最优的。Kriza…