Algorithms Associated with Streaming Data Problems
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Data Streams and Applications in Computer Science
Data Streams and Applications in Computer Science David P. Woodruff IBM Research Almaden [email protected] Abstract This is a short survey of my work in data streams and related appli- cations, such as communication complexity, numerical linear algebra, and sparse recovery. The goal is give a non-technical overview of results in data streams, and highlight connections between these different areas. It is based on my Presburger lecture award given at ICALP, 2014. 1 The Data Stream Model Informally speaking, a data stream is a sequence of data that is too large to be stored in available memory. The data may be a sequence of numbers, points, edges in a graph, and so on. There are many examples of data streams, such as internet search logs, network traffic, sensor networks, and scientific data streams (such as in astronomics, genomics, physical simulations, etc.). The abundance of data streams has led to new algorithmic paradigms for processing them, which often impose very stringent requirements on the algorithm’s resources. Formally, in the streaming model, there is a sequence of elements a1;:::; am presented to an algorithm, where each element is drawn from a universe [n] = f1;:::; ng. The algorithm is allowed a single or a small number of passes over the stream. In network applications, the algorithm is typically only given a single pass, since if data on a network is not physically stored somewhere, it may be impossible to make a second pass over it. In other applications, such as when data resides on external memory, it may be streamed through main memory a small number of times, each time constituting a pass of the algorithm. -
Implementing Signatures for Transactional Memory
Appears in the Proceedings of the 40th Annual IEEE/ACM Symposium on Microarchitecture (MICRO-40), 2007 Implementing Signatures for Transactional Memory Daniel Sanchez, Luke Yen, Mark D. Hill, Karthikeyan Sankaralingam Department of Computer Sciences, University of Wisconsin-Madison http://www.cs.wisc.edu/multifacet/logtm {daniel, lyen, markhill, karu}@cs.wisc.edu Abstract An important aspect of conflict detection is recording the addresses that a transaction reads (read set) and writes Transactional Memory (TM) systems must track the (write set) at some granularity (e.g., memory block or read and write sets—items read and written during a word). One promising approach is to use signatures, data transaction—to detect conflicts among concurrent trans- structures that can represent an unbounded number of el- actions. Several TMs use signatures, which summarize ements approximately in a bounded amount of state. Led unbounded read/write sets in bounded hardware at a per- by Bulk [7], several systems including LogTM-SE [31], formance cost of false positives (conflicts detected when BulkSC [8], and SigTM [17], have implemented read/write none exists). sets with per-thread hardware signatures built with Bloom This paper examines different organizations to achieve filters [2]. These systems track the addresses read/written hardware-efficient and accurate TM signatures. First, we in a transaction by inserting them into the read/write sig- find that implementing each signature with a single k-hash- natures, and clear both signatures as the transaction com- function Bloom filter (True Bloom signature) is inefficient, mits or aborts. Depending on the system, signatures must as it requires multi-ported SRAMs. -
Fast Candidate Generation for Real-Time Tweet Search with Bloom Filter Chains
Fast Candidate Generation for Real-Time Tweet Search with Bloom Filter Chains NIMA ASADI and JIMMY LIN, University of Maryland at College Park The rise of social media and other forms of user-generated content have created the demand for real-time search: against a high-velocity stream of incoming documents, users desire a list of relevant results at the time the query is issued. In the context of real-time search on tweets, this work explores candidate generation in a two-stage retrieval architecture where an initial list of results is processed by a second-stage rescorer 13 to produce the final output. We introduce Bloom filter chains, a novel extension of Bloom filters that can dynamically expand to efficiently represent an arbitrarily long and growing list of monotonically-increasing integers with a constant false positive rate. Using a collection of Bloom filter chains, a novel approximate candidate generation algorithm called BWAND is able to perform both conjunctive and disjunctive retrieval. Experiments show that our algorithm is many times faster than competitive baselines and that this increased performance does not require sacrificing end-to-end effectiveness. Our results empirically characterize the trade-off space defined by output quality, query evaluation speed, and memory footprint for this particular search architecture. Categories and Subject Descriptors: H.3.3 [Information Storage and Retrieval]: Information Search and Retrieval General Terms: Algorithms, Experimentation Additional Key Words and Phrases: Scalability, efficiency, top-k retrieval, tweet search, bloom filters ACM Reference Format: Asadi, N. and Lin, J. 2013. Fast candidate generation for real-time tweet search with bloom filter chains. -
Efficient Semi-Streaming Algorithms for Local Triangle Counting In
Efficient Semi-streaming Algorithms for Local Triangle Counting in Massive Graphs ∗ Luca Becchetti Paolo Boldi Carlos Castillo “Sapienza” Università di Roma Università degli Studi di Milano Yahoo! Research Rome, Italy Milan, Italy Barcelona, Spain [email protected] [email protected] [email protected] Aristides Gionis Yahoo! Research Barcelona, Spain [email protected] ABSTRACT Categories and Subject Descriptors In this paper we study the problem of local triangle count- H.3.3 [Information Systems]: Information Search and Re- ing in large graphs. Namely, given a large graph G = (V; E) trieval we want to estimate as accurately as possible the number of triangles incident to every node v 2 V in the graph. The problem of computing the global number of triangles in a General Terms graph has been considered before, but to our knowledge this Algorithms, Measurements is the first paper that addresses the problem of local tri- angle counting with a focus on the efficiency issues arising Keywords in massive graphs. The distribution of the local number of triangles and the related local clustering coefficient can Graph Mining, Semi-Streaming, Probabilistic Algorithms be used in many interesting applications. For example, we show that the measures we compute can help to detect the 1. INTRODUCTION presence of spamming activity in large-scale Web graphs, as Graphs are a ubiquitous data representation that is used well as to provide useful features to assess content quality to model complex relations in a wide variety of applica- in social networks. tions, including biochemistry, neurobiology, ecology, social For computing the local number of triangles we propose sciences, and information systems. -
Streaming Quantiles Algorithms with Small Space and Update Time
Streaming Quantiles Algorithms with Small Space and Update Time Nikita Ivkin Edo Liberty Kevin Lang [email protected] [email protected] [email protected] Amazon Amazon Yahoo Research Zohar Karnin Vladimir Braverman [email protected] [email protected] Amazon Johns Hopkins University ABSTRACT An approximate version of the problem relaxes this requirement. Approximating quantiles and distributions over streaming data has It is allowed to output an approximate rank which is off by at most been studied for roughly two decades now. Recently, Karnin, Lang, εn from the exact rank. In a randomized setting, the algorithm and Liberty proposed the first asymptotically optimal algorithm is allowed to fail with probability at most δ. Note that, for the for doing so. This manuscript complements their theoretical result randomized version to provide a correct answer to all possible by providing a practical variants of their algorithm with improved queries, it suffices to amplify the success probability by running constants. For a given sketch size, our techniques provably reduce the algorithm with a failure probability of δε, and applying the 1 the upper bound on the sketch error by a factor of two. These union bound over O¹ ε º quantiles. Uniform random sampling of ¹ 1 1 º improvements are verified experimentally. Our modified quantile O ε 2 log δ ε solves this problem. sketch improves the latency as well by reducing the worst-case In network monitoring [16] and other applications it is critical 1 1 to maintain statistics while making only a single pass over the update time from O¹ ε º down to O¹log ε º. -
Turnstile Streaming Algorithms Might As Well Be Linear Sketches
Turnstile Streaming Algorithms Might as Well Be Linear Sketches Yi Li Huy L. Nguyên˜ David P. Woodruff Max-Planck Institute for Princeton University IBM Research, Almaden Informatics [email protected] [email protected] [email protected] ABSTRACT Keywords In the turnstile model of data streams, an underlying vector x 2 streaming algorithms, linear sketches, lower bounds, communica- {−m; −m+1; : : : ; m−1; mgn is presented as a long sequence of tion complexity positive and negative integer updates to its coordinates. A random- ized algorithm seeks to approximate a function f(x) with constant probability while only making a single pass over this sequence of 1. INTRODUCTION updates and using a small amount of space. All known algorithms In the turnstile model of data streams [28, 34], there is an under- in this model are linear sketches: they sample a matrix A from lying n-dimensional vector x which is initialized to ~0 and evolves a distribution on integer matrices in the preprocessing phase, and through an arbitrary finite sequence of additive updates to its coor- maintain the linear sketch A · x while processing the stream. At the dinates. These updates are fed into a streaming algorithm, and have end of the stream, they output an arbitrary function of A · x. One the form x x + ei or x x − ei, where ei is the i-th standard cannot help but ask: are linear sketches universal? unit vector. This changes the i-th coordinate of x by an additive In this work we answer this question by showing that any 1- 1 or −1. -
An Optimal Bloom Filter Replacement∗
An Optimal Bloom Filter Replacement∗ Anna Pagh† Rasmus Pagh† S. Srinivasa Rao‡ Abstract store the approximation is roughly n log(1/)1, where This paper considers space-efficient data structures for n = |S| and the logarithm has base 2 [5]. In contrast, 0 0 the amount of space for storing S ⊆ {0, 1}w explicitly storing an approximation S to a set S such that S ⊆ S w 0 2 and any element not in S belongs to S with probability is at least log n ≥ n(w − log n) bits, which may be at most . The Bloom filter data structure, solving this much larger if w is large. Here, we consider subsets problem, has found widespread use. Our main result is of the set of w-bit machine words on a standard RAM a new RAM data structure that improves Bloom filters model, since this is the usual framework in which RAM in several ways: dictionaries are studied. Let the (random) set S0 ⊇ S consist of the elements • The time for looking up an element in S0 is O(1), that are stored (including false positives). We want S0 independent of . to be chosen such that any element not in S belongs to S0 with probability at most . For ease of exposition, we • The space usage is within a lower order term of the assume that ≤ 1/2 is an integer power of 2. A Bloom lower bound. filter [1] is an elegant data structure for selecting and representing a suitable set S0. It works by storing, as a • The data structure uses explicit hash function bit vector, the set families. -
Comparison on Search Failure Between Hash Tables and a Functional Bloom Filter
applied sciences Article Comparison on Search Failure between Hash Tables and a Functional Bloom Filter Hayoung Byun and Hyesook Lim * Department of Electronic and Electrical Engineering, Ewha Womans University, Seoul 03760, Korea; [email protected] * Correspondence: [email protected]; Tel.: +82-2-3277-3403 Received:17 June 2020; Accepted: 27 July 2020; Published: 29 July 2020 Abstract: Hash-based data structures have been widely used in many applications. An intrinsic problem of hashing is collision, in which two or more elements are hashed to the same value. If a hash table is heavily loaded, more collisions would occur. Elements that could not be stored in a hash table because of the collision cause search failures. Many variant structures have been studied to reduce the number of collisions, but none of the structures completely solves the collision problem. In this paper, we claim that a functional Bloom filter (FBF) provides a lower search failure rate than hash tables, when a hash table is heavily loaded. In other words, a hash table can be replaced with an FBF because the FBF is more effective than hash tables in the search failure rate in storing a large amount of data to a limited size of memory. While hash tables require to store each input key in addition to its return value, a functional Bloom filter stores return values without input keys, because different index combinations according to each input key can be used to identify the input key. In search failure rates, we theoretically compare the FBF with hash-based data structures, such as multi-hash table, cuckoo hash table, and d-left hash table. -
Finding Graph Matchings in Data Streams
Finding Graph Matchings in Data Streams Andrew McGregor⋆ Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104, USA [email protected] Abstract. We present algorithms for finding large graph matchings in the streaming model. In this model, applicable when dealing with mas- sive graphs, edges are streamed-in in some arbitrary order rather than 1 residing in randomly accessible memory. For ǫ > 0, we achieve a 1+ǫ 1 approximation for maximum cardinality matching and a 2+ǫ approxi- mation to maximum weighted matching. Both algorithms use a constant number of passes and O˜( V ) space. | | 1 Introduction Given a graph G = (V, E), the Maximum Cardinality Matching (MCM) problem is to find the largest set of edges such that no two adjacent edges are selected. More generally, for an edge-weighted graph, the Maximum Weighted Matching (MWM) problem is to find the set of edges whose total weight is maximized subject to the condition that no two adjacent edges are selected. Both problems are well studied and exact polynomial solutions are known [1–4]. The fastest of these algorithms solves MWM with running time O(nm + n2 log n) where n = V and m = E . | | | | However, for massive graphs in real world applications, the above algorithms can still be prohibitively computationally expensive. Examples include the vir- tual screening of protein databases. (See [5] for other examples.) Consequently there has been much interest in faster algorithms, typically of O(m) complexity, that find good approximate solutions to the above problems. For MCM, a linear time approximation scheme was given by Kalantari and Shokoufandeh [6]. -
Invertible Bloom Lookup Tables
Invertible Bloom Lookup Tables Michael T. Goodrich Dept. of Computer Science University of California, Irvine http://www.ics.uci.edu/˜goodrich/ Michael Mitzenmacher Dept. of Computer Science Harvard University http://www.eecs.harvard.edu/˜michaelm/ Abstract We present a version of the Bloom filter data structure that supports not only the insertion, deletion, and lookup of key-value pairs, but also allows a complete listing of the pairs it contains with high probability, as long the number of key- value pairs is below a designed threshold. Our structure allows the number of key- value pairs to greatly exceed this threshold during normal operation. Exceeding the threshold simply temporarily prevents content listing and reduces the probability of a successful lookup. If entries are later deleted to return the structure below the threshold, everything again functions appropriately. We also show that simple variations of our structure are robust to certain standard errors, such as the deletion of a key without a corresponding insertion or the insertion of two distinct values for a key. The properties of our structure make it suitable for several applications, including database and networking applications that we highlight. 1 Introduction The Bloom filter data structure [5] is a well-known way of probabilistically supporting arXiv:1101.2245v3 [cs.DS] 4 Oct 2015 dynamic set membership queries that has been used in a multitude of applications (e.g., see [8]). The key feature of a standard Bloom filter is the way it trades off query accuracy for space efficiency, by using a binary array T (initially all zeroes) and k random hash functions, h1; : : : ; hk, to represent a set S by assigning T [hi(x)] = 1 for each x 2 S. -
Lecture 1 1 Graph Streaming
CS 671: Graph Streaming Algorithms and Lower Bounds Rutgers: Fall 2020 Lecture 1 September 1, 2020 Instructor: Sepehr Assadi Scribe: Sepehr Assadi Disclaimer: These notes have not been subjected to the usual scrutiny reserved for formal publications. They may be distributed outside this class only with the permission of the Instructor. 1 Graph Streaming Motivation Massive graphs appear in most application domains nowadays: web-pages and hyperlinks, neurons and synapses, papers and citations, or social networks and friendship links are just a few examples. Many of the computing tasks in processing these graphs, at their core, correspond to classical problems such as reachability, shortest path, or maximum matching|problems that have been studied extensively for almost a century now. However, the traditional algorithmic approaches to these problems do not accurately capture the challenges of processing massive graphs. For instance, we can no longer assume a random access to the entire input on these graphs, as their sheer size prevents us from loading them into the main memory. To handle these challenges, there is a rapidly growing interest in developing algorithms that explicitly account for the restrictions of processing massive graphs. Graph streaming algorithms have been particularly successful in this regard; these are algorithms that process input graphs by making one or few sequential passes over their edges while using a small memory. Not only streaming algorithms can be directly used to address various challenges in processing massive graphs such as I/O-efficiency or monitoring evolving graphs in realtime, they are also closely connected to other models of computation for massive graphs and often lead to efficient algorithms in those models as well. -
Streaming Algorithms
3 Streaming Algorithms Great Ideas in Theoretical Computer Science Saarland University, Summer 2014 Some Admin: • Deadline of Problem Set 1 is 23:59, May 14 (today)! • Students are divided into two groups for tutorials. Visit our course web- site and use Doodle to to choose your free slots. • If you find some typos or like to improve the lecture notes (e.g. add more details, intuitions), send me an email to get .tex file :-) We live in an era of “Big Data”: science, engineering, and technology are producing in- creasingly large data streams every second. Looking at social networks, electronic commerce, astronomical and biological data, the big data phenomenon appears everywhere nowadays, and presents opportunities and challenges for computer scientists and mathematicians. Com- paring with traditional algorithms, several issues need to be considered: A massive data set is too big to be stored; even an O(n2)-time algorithm is too slow; data may change over time, and algorithms need to cope with dynamic changes of the data. Hence streaming, dynamic and distributed algorithms are needed for analyzing big data. To illuminate the study of streaming algorithms, let us look at a few examples. Our first example comes from network analysis. Any big website nowadays receives millions of visits every minute, and very frequent visit per second from the same IP address are probably gen- erated automatically by computers and due to hackers. In this scenario, a webmaster needs to efficiently detect and block those IPs which generate very frequent visits per second. Here, instead of storing all IP record history which are expensive, we need an efficient algorithm that detect most such IPs.