English
Related papers

Related papers: Cell-probe Lower Bounds for Dynamic Problems via a…

200 papers

We show tight lower bounds for the entire trade-off between space and query time for the Approximate Near Neighbor search problem. Our lower bounds hold in a restricted model of computation, which captures all hashing-based approaches. In…

Data Structures and Algorithms · Computer Science 2016-08-22 Alexandr Andoni , Thijs Laarhoven , Ilya Razenshteyn , Erik Waingarten

We construct $n$-node graphs on which any $O(n)$-size spanner has additive error at least $+\Omega(n^{3/17})$, improving on the previous best lower bound of $\Omega(n^{1/7})$ [Bodwin-Hoppenworth FOCS '22]. Our construction completes the…

Data Structures and Algorithms · Computer Science 2024-04-30 Greg Bodwin , Gary Hoppenworth , Virginia Vassilevska Williams , Nicole Wein , Zixuan Xu

We introduce a simple time-triggered protocol to achieve communication-efficient non-Bayesian learning over a network. Specifically, we consider a scenario where a group of agents interact over a graph with the aim of discerning the true…

Systems and Control · Electrical Eng. & Systems 2019-09-05 Aritra Mitra , John A. Richards , Shreyas Sundaram

We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arithmetic. Each approach is explained using appropriate proof rules that…

Programming Languages · Computer Science 2007-05-23 Krzysztof R. Apt , Peter Zoeteweij

The conjectured hardness of Boolean matrix-vector multiplication has been used with great success to prove conditional lower bounds for numerous important data structure problems, see Henzinger et al. [STOC'15]. In recent work, Larsen and…

Data Structures and Algorithms · Computer Science 2017-11-15 Diptarka Chakraborty , Lior Kamma , Kasper Green Larsen

We show optimal lower bounds for spanning forest computation in two different models: * One wants a data structure for fully dynamic spanning forest in which updates can insert or delete edges amongst a base set of $n$ vertices. The sole…

Data Structures and Algorithms · Computer Science 2019-11-27 Jelani Nelson , Huacheng Yu

In this paper, we introduce a data-driven modeling approach for dynamics problems with latent variables. The state-space of the proposed model includes artificial latent variables, in addition to observed variables that can be fitted to a…

Optimization and Control · Mathematics 2024-06-19 Yushuang Luo , Xiantao Li , Wenrui Hao

Communication lower bounds have long been established for matrix multiplication algorithms. However, most methods of asymptotic analysis have either ignored the constant factors or not obtained the tightest possible values. Recent work has…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-27 Hussam Al Daas , Grey Ballard , Laura Grigori , Suraj Kumar , Kathryn Rouse

Extensions of previous linear regression models for interval data are presented. A more flexible simple linear model is formalized. The new model may express cross-relationships between mid-points and spreads of the interval data in a…

Statistics Theory · Mathematics 2012-10-23 Angela Blanco-Fernández , Marta García-Bárzana , Ana Colubi , Erricos J. Kontoghiorghes

Cellular systems are becoming more heterogeneous with the introduction of low power nodes including femtocells, relays, and distributed antennas. Unfortunately, the resulting interference environment is also becoming more complicated,…

Information Theory · Computer Science 2013-04-29 Robert W. Heath , Marios Kountouris , Tianyang Bai

The problem of cell association is considered for cellular users present in the field. This has become a challenging problem with the deployment of 5G networks which will share the sub-6 GHz bands with the legacy 4G networks. Instead of…

Signal Processing · Electrical Eng. & Systems 2019-10-31 Yinsong Wang , Hessam Mahdavifar , Kamran Entesari , Shahin Shahrampour

We continue the study of the communication complexity of gap cycle counting problems. These problems have been introduced by Verbin and Yu [SODA 2011] and have found numerous applications in proving streaming lower bounds. In the noisy gap…

Data Structures and Algorithms · Computer Science 2023-05-19 Sepehr Assadi , Janani Sundaresan

A multiplicity queue is a concurrently-defined data type which relaxes the conditions of a linearizable FIFO queue to allow concurrent Dequeue instances to return the same value. It would seem that this should allow faster implementations,…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-05-22 Anh Tran , Edward Talmage

We consider the distributed weight balancing problem in networks of nodes that are interconnected via directed edges, each of which is able to admit a positive integer weight within a certain interval, captured by individual lower and upper…

Systems and Control · Electrical Eng. & Systems 2019-07-10 Apostolos I. Rikos , Christoforos N. Hadjicostis

Balanced and swap-robust minimal trades, introduced in [1], are important for studying the balance and stability of server access request protocols under data popularity changes. Constructions of such trades have so far relied on paired…

Information Theory · Computer Science 2023-03-24 Jin Sima , Chao Pan , Olgica Milenkovic

A substring Q of a string S is called a shortest unique substring (SUS) for interval [s,t] in S, if Q occurs exactly once in S, this occurrence of Q contains interval [s,t], and every substring of S which contains interval [s,t] and is…

Discrete Mathematics · Computer Science 2017-02-21 Takuya Mieno , Shunsuke Inenaga , Hideo Bannai , Masayuki Takeda

In this paper, we propose a symbol interval optimization algorithm in molecular communication with drift. Proper symbol intervals are important in practical communication systems since information needs to be sent as fast as possible with…

Information Theory · Computer Science 2014-07-23 Na-Rae Kim , Andrew W. Eckford , Chan-Byoung Chae

We propose a theoretically-efficient and practical parallel batch-dynamic data structure for the closest pair problem. Our solution is based on a serial dynamic closest pair data structure by Golin et al., and supports batches of insertions…

Data Structures and Algorithms · Computer Science 2021-03-25 Yiqiu Wang , Shangdi Yu , Yan Gu , Julian Shun

Given a large data matrix $A\in\mathbb{R}^{n\times n}$, we consider the problem of determining whether its entries are i.i.d. with some known marginal distribution $A_{ij}\sim P_0$, or instead $A$ contains a principal submatrix $A_{{\sf…

Computational Complexity · Computer Science 2015-02-24 Yash Deshpande , Andrea Montanari

In this paper we study the problem of dynamically maintaining graph properties under batches of edge insertions and deletions in the massively parallel model of computation. In this setting, the graph is stored on a number of machines, each…

Data Structures and Algorithms · Computer Science 2019-08-07 David Durfee , Laxman Dhulipala , Janardhan Kulkarni , Richard Peng , Saurabh Sawlani , Xiaorui Sun
‹ Prev 1 3 4 5 6 7 10 Next ›