Optimal dislocation with persistent errors in subquadratic time. ETH Zurich

Size: px
Start display at page:

Download "Optimal dislocation with persistent errors in subquadratic time. ETH Zurich"

Transcription

1 Optimal dislocation with persistent errors in subquadratic time Barbara Geissmann, Chih-Hung Liu, Stefano Leucci, Paolo Penna ETH Zurich

2 The Problem Sorting with erroneous comparisons

3 The Problem Sorting with erroneous comparisons

4 The Problem Sorting with erroneous comparisons

5 The Problem

6 The Problem 4>

7 The Problem 4<

8 The Problem 5<

9 The Problem 5< error probability p constant 1 2 6

10 The Problem 5< error probability p constant independent for each pair 1 2 6

11 The Problem 5< error probability p constant independent for each pair persistent errors 1 2 6

12 The Problem 5< error probability p constant independent for each pair persistent errors %

13 The Problem Repeating does not help 5< error probability p constant independent for each pair persistent errors 1 2 6

14 The Problem Repeating does not help 5<

15 Can you sort? Algorithm errors

16 Can you sort? Algorithm errors

17 Can you sort? Algorithm errors Appro Sorted

18 Can you sort? Algorithm errors Appro Sorted

19 Can you sort? Algorithm errors Dislocation

20 What can be done?

21 Prior Results

22 Prior Results MAX O(log n) Dislocation TOTAL O(n) Braverman & Mossel (SODA 08)

23 Prior Results Dislocation Time: MAX TOTAL O(n 3+C ) O(log n) O(n) Braverman & Mossel (SODA 08)

24 Prior Results Dislocation Time: MAX TOTAL O(n 3+C ) O(log n) O(n) (1/2 p) 4 Braverman & Mossel (SODA 08)

25 Prior Results Dislocation Time: MAX TOTAL O(n 3+C ) O(log n) O(n) O(n 2 ) O(log n) Braverman & Mossel (SODA 08) Klein, Penninger, Sohler, Woodruff (ESA 11)

26 Prior Results Dislocation Time: MAX TOTAL O(n 3+C ) O(log n) O(n) O(n 2 ) O(n 2 ) O(log n) O(log n) O(n) Braverman & Mossel (SODA 08) Klein, Penninger, Sohler, Woodruff (ESA 11) Geissmann, Leucci, Liu, Penna (ISAAC 17)

27 Prior Results Time: MAX Dislocation TOTAL O(n 3+C ) O(log n) O(n) O(n 2 ) O(log n) O(n 2 ) O(log n) O(n) Ω(log n) Ω(n) Braverman & Mossel (SODA 08) Klein, Penninger, Sohler, Woodruff (ESA 11) Geissmann, Leucci, Liu, Penna (ISAAC 17)

28 Prior Results Time: MAX Dislocation TOTAL O(n 3+C ) O(log n) O(n) O(n 2 ) O(log n) O(n 2 ) O(log n) O(n) Ω(log n) Ω(n) Braverman Subquadratic & Mossel (SODA 08) time? Klein, Penninger, Sohler, Woodruff (ESA 11) Geissmann, Leucci, Liu, Penna (ISAAC 17)

29 Our Contribution YES

30 Our Contribution YES Dislocation Time: MAX TOTAL O(n 3/2 ) O(log n) O(n)

31 Our Contribution YES Dislocation Time: MAX TOTAL O(n 3/2 ) O(log n) O(n) randomized algorithm derandomized algorithm

32 O(n 2 )-Time Algorithm Geissmann, Leucci, Liu, Penna (ISAAC 17)

33 O(n 2 )-Time Algorithm errors well-spread success Geissmann, Leucci, Liu, Penna (ISAAC 17)

34 O(n 2 )-Time Algorithm errors well-spread success initial dislocation D time O(Dn) Geissmann, Leucci, Liu, Penna (ISAAC 17)

35 O(n 2 )-Time Algorithm D d errors well-spread success initial dislocation D time O(Dn) Geissmann, Leucci, Liu, Penna (ISAAC 17)

36 O(n 2 )-Time Algorithm D d with high prob d = O(log n) errors well-spread success initial dislocation D time O(Dn) Geissmann, Leucci, Liu, Penna (ISAAC 17)

37 O(n 2 )-Time Algorithm D n d errors well-spread success initial dislocation D time O(Dn) Geissmann, Leucci, Liu, Penna (ISAAC 17)

38 O(n 2 )-Time Algorithm New Algo D d errors well-spread success initial dislocation D time O(Dn) Geissmann, Leucci, Liu, Penna (ISAAC 17)

39 O(n 2 )-Time Algorithm New Algo D d errors well-spread success initial dislocation D time O(Dn) tricky part Geissmann, Leucci, Liu, Penna (ISAAC 17)

40 Simple Faster Algo New Algo D d

41 Simple Faster Algo D d

42 n Simple Faster Algo D d

43 n Simple Faster Algo D d

44 n Simple Faster Algo D d

45 n Simple Faster Algo O(n) O(n) O(n) D d

46 n Simple Faster Algo O(n) O(n) O(n) O(n 3/2 ) D d

47 Simple Faster Algo n O(n 3/2 ) NOT ENOUGH! D d

48 Simple Faster Algo n O(n 3/2 ) 1 NOT ENOUGH! D d

49 Simple Faster Algo n O(n 3/2 ) 1 NOT ENOUGH! D d 1

50 Simple Faster Algo n O(n 3/2 ) 1 NOT ENOUGH! 1 D 1 d

51 Simple Faster Algo O(n 3/2 ) D d

52 Simple Faster Algo O(n 3/2 ) D d

53 Simple Faster Algo O(n 3/2 ) D d

54 Simple Faster Algo O(n 3/2 ) STILL NOT ENOUGH D d

55 Simple Faster Algo 1 2 n O(n 3/2 ) D d

56 Simple Faster Algo 1 2 n O(n 3/2 ) 1 2 D d

57 Simple Faster Algo 1 2 n O(n 3/2 ) 1 2 D d

58 Simple Faster Algo 1 2 n O(n 3/2 ) 1 2 n D d

59 Simple Faster Algo 1 2 n O(n 3/2 ) 1 2 n 1 D d

60 Simple Faster Algo 1 2 n O(n 3/2 ) 1 2 n 1 2 D d

61 Simple Faster Algo 1 2 n O(n 3/2 ) 1 2 n 1 2 D n d

62 Simple Faster Algo random permutation O(n 3/2 ) D d

63 Simple Faster Algo random permutation O(n 3/2 ) D = n 3/4 d

64 Simple Faster Algo random permutation O(n 3/2 ) D = n 3/4 O(n 7/4 ) d

65 That was the simple version...

66 O(n 2 ) O(n 2 δ )

67 O(n 2 ) O(n 2 δ ) O(n 2 δ )

68 O(n 2 ) O(n 2 δ ) O(n 2 δ )

69 O(n 2 ) O(n 2 δ ) O(n 2 δ ) O(n 3/2 )

70 Part II: Derandomization

71 Comparisons Randomness < > p 1 p > < p 1 p? XOR?? < > 1 c log n 2 ± 1 1 n 4 2 ± 1 n 4 Comparisons One random bit

72 Naive Approach k??? k(n k) log n

73 Naive Approach k??? SORT k(n k) log n

74 Naive Approach k??? SORT k(n k) log n REINSERT

75 Open Questions Time: MAX Dislocation TOTAL O(n 3+C ) O(log n) O(n 2 ) O(log n) O(n) O(n 2 ) O(n 3/2 ) O(log n) O(log n) O(n) O(n) Braverman & Mossel (SODA 08) Klein, Penninger, Sohler, Woodruff (ESA 11) Geissmann, Leucci, Liu, Penna (ISAAC 17)

76 Open Questions Time: MAX Dislocation TOTAL O(n 3+C ) O(log n) O(n 2 ) O(log n) O(n) O(n 2 ) O(n 3/2 ) O(log n) O(log n) O(n) O(n) Faster? O(n log n) comparisons Braverman & Mossel (SODA 08) Klein, Penninger, Sohler, Woodruff (ESA 11) Geissmann, Leucci, Liu, Penna (ISAAC 17)

77 Open Questions Time: MAX Dislocation TOTAL O(n 3+C ) O(log n) O(n) p < 1/16 O(n 2 ) O(log n) O(n 2 ) O(n 3/2 ) O(log n) O(log n) O(n) O(n) Braverman & Mossel (SODA 08) Klein, Penninger, Sohler, Woodruff (ESA 11) Geissmann, Leucci, Liu, Penna (ISAAC 17)

78 Open Questions Time: MAX Dislocation TOTAL O(n 3+C ) O(log n) O(n) p < 1/16 O(n 2 ) O(log n) O(n 2 ) O(n 3/2 ) O(log n) O(log n) O(n) O(n) Any p < 1/2? Braverman & Mossel (SODA 08) Klein, Penninger, Sohler, Woodruff (ESA 11) Geissmann, Leucci, Liu, Penna (ISAAC 17)

79 Open Questions Time: MAX Dislocation TOTAL O(n 3+C ) O(log n) O(n) p < 1/16 O(n 2 ) O(log n) O(n 2 ) O(n 3/2 ) O(log n) O(log n) O(n) O(n) Any p < 1/2? p < 1/2 Braverman & Mossel (SODA 08) Klein, Penninger, Sohler, Woodruff (ESA 11) Geissmann, Leucci, Liu, Penna (ISAAC 17)

80 Open Questions Time: MAX Dislocation TOTAL O(n 3+C ) O(log n) O(n 2 ) O(log n) O(n) O(n 2 ) O(n 3/2 ) O(log n) O(log n) O(n) O(n) Other error models? Braverman & Mossel (SODA 08) Klein, Penninger, Sohler, Woodruff (ESA 11) Geissmann, Leucci, Liu, Penna (ISAAC 17)

81 Tahnk You

Tolerant Algorithms. 1 University of Bonn 2 TU Dortmund 3 IBM Research-Almaden

Tolerant Algorithms. 1 University of Bonn 2 TU Dortmund 3 IBM Research-Almaden Tolerant Algorithms Rolf Klein 1, Rainer Penninger 1, Christian Sohler 2, and David P. Woodruff 3 1 University of Bonn 2 TU Dortmund 3 IBM Research-Almaden Abstract. Assume we are interested in solving

More information

Priority Queues. T. M. Murali. January 29, 2009

Priority Queues. T. M. Murali. January 29, 2009 Priority Queues T. M. Murali January 29, 2009 Motivation: Sort a List of Numbers Sort INSTANCE: Nonempty list x 1, x 2,..., x n of integers. SOLUTION: A permutation y 1, y 2,..., y n of x 1, x 2,..., x

More information

Priority Queues. T. M. Murali. January 23, T. M. Murali January 23, 2008 Priority Queues

Priority Queues. T. M. Murali. January 23, T. M. Murali January 23, 2008 Priority Queues Priority Queues T. M. Murali January 23, 2008 Motivation: Sort a List of Numbers Sort INSTANCE: Nonempty list x 1, x 2,..., x n of integers. SOLUTION: A permutation y 1, y 2,..., y n of x 1, x 2,..., x

More information

Think Global Act Local

Think Global Act Local Think Global Act Local Roger Wattenhofer ETH Zurich Distributed Computing www.disco.ethz.ch Town Planning Patrick Geddes Architecture Buckminster Fuller Computer Architecture Caching Robot Gathering e.g.,

More information

Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM

Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM Peyman Afshani 1, Timothy M. Chan 2, and Konstantinos Tsakalidis 3 1 MADALGO, Department of Computer Science, Aarhus University,

More information

Priority Queues. T. M. Murali. January 26, T. M. Murali January 26, 2016 Priority Queues

Priority Queues. T. M. Murali. January 26, T. M. Murali January 26, 2016 Priority Queues Priority Queues T. M. Murali January 26, 2016 Motivation: Sort a List of Numbers Sort INSTANCE: Nonempty list x 1, x 2,..., x n of integers. SOLUTION: A permutation y 1, y 2,..., y n of x 1, x 2,..., x

More information

/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Sorting lower bound and Linear-time sorting Date: 9/19/17

/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Sorting lower bound and Linear-time sorting Date: 9/19/17 601.433/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Sorting lower bound and Linear-time sorting Date: 9/19/17 5.1 Introduction You should all know a few ways of sorting in O(n log n)

More information

3 Trees: traversal and analysis of standard search trees. Summer Term 2010

3 Trees: traversal and analysis of standard search trees. Summer Term 2010 3 Trees: traversal and analysis of standard search trees Summer Term 2010 Robert Elsässer Binary Search Trees Binary trees for storing sets of keys (in the internal nodes of trees), such that the operations

More information

Algorithmic Problems in Epidemiology

Algorithmic Problems in Epidemiology Algorithmic Problems in Epidemiology Anil Vullikanti and Madhav Marathe Dept. of Computer Science and Virginia Bioinformatics Institute Virginia Tech Dynamics of epidemic How many infections? Questions

More information

How to Win Coding Competitions: Secrets of Champions. Week 3: Sorting and Search Algorithms Lecture 7: Lower bound. Stable sorting.

How to Win Coding Competitions: Secrets of Champions. Week 3: Sorting and Search Algorithms Lecture 7: Lower bound. Stable sorting. How to Win Coding Competitions: Secrets of Champions Week 3: Sorting and Search Algorithms Lecture 7: Lower bound. Stable sorting. Comparators Maxim Buzdalov Saint Petersburg 2016 Lower bound for comparison

More information

Outline. Main Questions. What is the k-means method? What can we do when worst case analysis is too pessimistic?

Outline. Main Questions. What is the k-means method? What can we do when worst case analysis is too pessimistic? Outline Main Questions 1 Data Clustering What is the k-means method? 2 Smoothed Analysis What can we do when worst case analysis is too pessimistic? 3 Smoothed Analysis of k-means Method What is the smoothed

More information

A tight bound on approximating arbitrary metrics by tree metric Reference :[FRT2004]

A tight bound on approximating arbitrary metrics by tree metric Reference :[FRT2004] A tight bound on approximating arbitrary metrics by tree metric Reference :[FRT2004] Jittat Fakcharoenphol, Satish Rao, Kunal Talwar Journal of Computer & System Sciences, 69 (2004), 485-497 1 A simple

More information

Computer Science 302 Spring 2007 Practice Final Examination: Part I

Computer Science 302 Spring 2007 Practice Final Examination: Part I Computer Science 302 Spring 2007 Practice Final Examination: Part I Name: This practice examination is much longer than the real final examination will be. If you can work all the problems here, you will

More information

Reordering Buffer Management with Advice

Reordering Buffer Management with Advice Reordering Buffer Management with Advice Anna Adamaszek 1, Marc P. Renault 2, Adi Rosén 3, and Rob van Stee 4 1 Max-Planck-Institut für Informatik, Saarbrücken, Germany anna@mpi-inf.mpg.de 2 Université

More information

Lecture 7 8 March, 2012

Lecture 7 8 March, 2012 6.851: Advanced Data Structures Spring 2012 Lecture 7 8 arch, 2012 Prof. Erik Demaine Scribe: Claudio A Andreoni 2012, Sebastien Dabdoub 2012, Usman asood 2012, Eric Liu 2010, Aditya Rathnam 2007 1 emory

More information

Planar Point Location in Sublogarithmic Time

Planar Point Location in Sublogarithmic Time Planar Point Location in Sublogarithmic Time Mihai Pătraşcu (MIT) Point Location in o(log n) Time, Voronoi Diagrams in o(n log n) Time, and Other Transdichotomous Results in Computational Geometry Timothy

More information

Bipartite Vertex Cover

Bipartite Vertex Cover Bipartite Vertex Cover Mika Göös Jukka Suomela University of Toronto & HIIT University of Helsinki & HIIT Göös and Suomela Bipartite Vertex Cover 18th October 2012 1 / 12 LOCAL model Göös and Suomela Bipartite

More information

Hitting and harvesting pumpkins. Gwenaël Joret Christophe Paul Ignasi Sau Saket Saurabh Stéphan Thomassé

Hitting and harvesting pumpkins. Gwenaël Joret Christophe Paul Ignasi Sau Saket Saurabh Stéphan Thomassé Hitting and harvesting pumpkins Gwenaël Joret Christophe Paul Ignasi Sau Saket Saurabh Stéphan Thomassé Pumpkins c-pumpkin: c NB: graph = multigraph Graphs with no c-pumpkin minor c = 1: empty graphs c

More information

Range Searching II: Windowing Queries

Range Searching II: Windowing Queries Computational Geometry Lecture : Windowing Queries INSTITUT FÜR THEORETISCHE INFORMATIK FAKULTÄT FÜR INFORMATIK Tamara Mchedlidze Chih-Hung Liu 23.11.2015 1 Object types in range queries y0 y x x0 Setting

More information

Question 7.11 Show how heapsort processes the input:

Question 7.11 Show how heapsort processes the input: Question 7.11 Show how heapsort processes the input: 142, 543, 123, 65, 453, 879, 572, 434, 111, 242, 811, 102. Solution. Step 1 Build the heap. 1.1 Place all the data into a complete binary tree in the

More information

On the Cell Probe Complexity of Dynamic Membership or

On the Cell Probe Complexity of Dynamic Membership or On the Cell Probe Complexity of Dynamic Membership or Can We Batch Up Updates in External Memory? Ke Yi and Qin Zhang Hong Kong University of Science & Technology SODA 2010 Jan. 17, 2010 1-1 The power

More information

Local Constraints in Combinatorial Optimization

Local Constraints in Combinatorial Optimization Local Constraints in Combinatorial Optimization Madhur Tulsiani Institute for Advanced Study Local Constraints in Approximation Algorithms Linear Programming (LP) or Semidefinite Programming (SDP) based

More information

Direct Routing: Algorithms and Complexity

Direct Routing: Algorithms and Complexity Direct Routing: Algorithms and Complexity Costas Busch, RPI Malik Magdon-Ismail, RPI Marios Mavronicolas, Univ. Cyprus Paul Spirakis, Univ. Patras 1 Outline 1. Direct Routing. 2. Direct Routing is Hard.

More information

Computer Generation of IP Cores

Computer Generation of IP Cores A I n Computer Generation of IP Cores Peter Milder (ECE, Carnegie Mellon) James Hoe (ECE, Carnegie Mellon) Markus Püschel (CS, ETH Zürich) addfxp #(16, 1) add15282(.a(a69),.b(a70),.clk(clk),.q(t45)); addfxp

More information

Partial vs. Complete Domination:

Partial vs. Complete Domination: Partial vs. Complete Domination: t-dominating SET Joachim Kneis Daniel Mölle Peter Rossmanith Theory Group, RWTH Aachen University January 22, 2007 Complete vs. Partial Solutions VERTEX COVER (VC): DOMINATING

More information

COT 5407: Introduction. to Algorithms. Giri NARASIMHAN. 1/29/19 CAP 5510 / CGS 5166

COT 5407: Introduction. to Algorithms. Giri NARASIMHAN.   1/29/19 CAP 5510 / CGS 5166 COT 5407: Introduction!1 to Algorithms Giri NARASIMHAN www.cs.fiu.edu/~giri/teach/5407s19.html CAP 5510 / CGS 5166 1/29/19 !2 Computation Tree for A on n inputs! Assume A is a comparison-based sorting

More information

Fully Dynamic Randomized Algorithms for Graph Spanners

Fully Dynamic Randomized Algorithms for Graph Spanners Fully Dynamic Randomized Algorithms for Graph Spanners Surender Baswana Sumeet Khurana Soumojit Sarkar Abstract Spanner of an undirected graph G = (V, E) is a subgraph which is sparse and yet preserves

More information

Algorithms and data structures

Algorithms and data structures Algorithms and data structures Amin Coja-Oghlan LFCS Sorting n numbers in time O(n) A paradox? In the last lecture we derive a Ω(n lnn) lower bound on the running time of comparison based sorting algorithms.

More information

Chapter 1 Divide and Conquer Algorithm Theory WS 2013/14 Fabian Kuhn

Chapter 1 Divide and Conquer Algorithm Theory WS 2013/14 Fabian Kuhn Chapter 1 Divide and Conquer Algorithm Theory WS 2013/14 Fabian Kuhn Number of Inversions Formal problem: Given: array,,,, of distinct elements Objective: Compute number of inversions 0 Example: 4, 1,

More information

KD-Tree Algorithm for Propensity Score Matching PhD Qualifying Exam Defense

KD-Tree Algorithm for Propensity Score Matching PhD Qualifying Exam Defense KD-Tree Algorithm for Propensity Score Matching PhD Qualifying Exam Defense John R Hott University of Virginia May 11, 2012 1 / 62 Motivation Epidemiology: Clinical Trials Phase II and III pre-market trials

More information

Fabian Kuhn. Nicla Bernasconi, Dan Hefetz, Angelika Steger

Fabian Kuhn. Nicla Bernasconi, Dan Hefetz, Angelika Steger Algorithms and Lower Bounds for Distributed Coloring Problems Fabian Kuhn Parts are joint work with Parts are joint work with Nicla Bernasconi, Dan Hefetz, Angelika Steger Given: Network = Graph G Distributed

More information

Encoding Data Structures

Encoding Data Structures Encoding Data Structures Rajeev Raman University of Leicester ERATO-ALSIP special seminar RMQ problem Given a static array A[1..n], pre-process A to answer queries: RMQ(l, r) : return max l i r A[i]. 47

More information

Computer Science Spring 2005 Final Examination, May 12, 2005

Computer Science Spring 2005 Final Examination, May 12, 2005 Computer Science 302 00 Spring 2005 Final Examination, May 2, 2005 Name: No books, notes, or scratch paper. Use pen or pencil, any color. Use the backs of the pages for scratch paper. If you need more

More information

CS264: Beyond Worst-Case Analysis Lecture #19: Self-Improving Algorithms

CS264: Beyond Worst-Case Analysis Lecture #19: Self-Improving Algorithms CS264: Beyond Worst-Case Analysis Lecture #19: Self-Improving Algorithms Tim Roughgarden March 14, 2017 1 Preliminaries The last few lectures discussed several interpolations between worst-case and average-case

More information

Dispersion on Trees. Paweł Gawrychowski 1, Nadav Krasnopolsky 2, Shay Mozes 3, and Oren Weimann 4. 1 Introduction. Abstract

Dispersion on Trees. Paweł Gawrychowski 1, Nadav Krasnopolsky 2, Shay Mozes 3, and Oren Weimann 4. 1 Introduction. Abstract Dispersion on Trees Paweł Gawrychowski 1, Nadav Krasnopolsky 2, Shay Mozes 3, and Oren Weimann 4 1 University of Haifa, Israel 2 University of Haifa, Israel 3 IDC Herzliya, Israel 4 University of Haifa,

More information

Lecture April, 2010

Lecture April, 2010 6.851: Advanced Data Structures Spring 2010 Prof. Eri Demaine Lecture 20 22 April, 2010 1 Memory Hierarchies and Models of Them So far in class, we have wored with models of computation lie the word RAM

More information

Approximate Nearest Neighbor Problem: Improving Query Time CS468, 10/9/2006

Approximate Nearest Neighbor Problem: Improving Query Time CS468, 10/9/2006 Approximate Nearest Neighbor Problem: Improving Query Time CS468, 10/9/2006 Outline Reducing the constant from O ( ɛ d) to O ( ɛ (d 1)/2) in uery time Need to know ɛ ahead of time Preprocessing time and

More information

Permuted Longest-Common-Prefix Array

Permuted Longest-Common-Prefix Array Permuted Longest-Common-Prefix Array Juha Kärkkäinen University of Helsinki Joint work with Giovanni Manzini and Simon Puglisi CPM 2009 Lille, France, June 2009 CPM 2009 p. 1 Outline 1. Background 2. Description

More information

All-to-All Communication

All-to-All Communication Network Algorithms All-to-All Communication Thanks to Thomas Locher from ABB Research for basis of slides! Stefan Schmid @ T-Labs, 2011 Repetition Tree: connected graph without cycles Spanning subgraph:

More information

Space-efficient representations of non-linear objects

Space-efficient representations of non-linear objects Space-efficient representations of non-linear objects Rajeev Raman, University of Leicester ラアジブラアマン レスタ大學 1 Introduction We are increasingly processing very large data sets. Processing is often complex

More information

COMP Analysis of Algorithms & Data Structures

COMP Analysis of Algorithms & Data Structures COMP 3170 - Analysis of Algorithms & Data Structures Shahin Kamali Lecture 6 - Jan. 15, 2018 CLRS 7.1, 7-4, 9.1, 9.3 University of Manitoba COMP 3170 - Analysis of Algorithms & Data Structures 1 / 12 Quick-sort

More information

New Bounds for the CLIQUE-GAP Problem Using Graph Decomposition Theory

New Bounds for the CLIQUE-GAP Problem Using Graph Decomposition Theory DOI 10.1007/s00453-017-0277-5 New Bounds for the CLIQUE-GAP Problem Using Graph Decomposition Theory Vladimir Braverman 1 Zaoxing Liu 1 Tejasvam Singh 1 N. V. Vinodchandran 2 Lin F. Yang 1 Received: 25

More information

Towards Scalable and Robust Overlay Networks

Towards Scalable and Robust Overlay Networks Towards Scalable and Robust Overlay Networks Baruch Awerbuch Department of Computer Science Johns Hopkins University Baltimore, MD 21218, USA baruch@cs.jhu.edu Christian Scheideler Institute for Computer

More information

On the Bottleneck Shortest Path Problem

On the Bottleneck Shortest Path Problem Konrad-Zuse-Zentrum für Informationstechnik Berlin Takustraße 7 D-14195 Berlin-Dahlem Germany VOLKER KAIBEL MATTHIAS A.F. PEINHARDT On the Bottleneck Shortest Path Problem Supported by the DFG Research

More information

Simple and Practical Algorithm for the Sparse Fourier Transform

Simple and Practical Algorithm for the Sparse Fourier Transform Simple and Practical Algorithm for the Sparse Fourier Transform Haitham Hassanieh Piotr Indyk Dina Katabi Eric Price MIT 2012-01-19 Hassanieh, Indyk, Katabi, and Price (MIT) Simple and Practical Algorithm

More information

Linear-Space Data Structures for Range Minority Query in Arrays

Linear-Space Data Structures for Range Minority Query in Arrays Linear-Space Data Structures for Range Minority Query in Arrays Timothy M. Chan 1, Stephane Durocher 2, Matthew Skala 2, and Bryan T. Wilkinson 1 1 Cheriton School of Computer Science, University of Waterloo,

More information

Improved and Extended Locating Functionality on Compressed Suffix Arrays

Improved and Extended Locating Functionality on Compressed Suffix Arrays Improved and Extended Locating Functionality on Compressed Suffix Arrays Simon Gog and Gonzalo Navarro 2 Department of Computing and Information Systems, The University of Melbourne. simon.gog@unimelb.edu.au

More information

Optimal Tracking of Distributed Heavy Hitters and Quantiles

Optimal Tracking of Distributed Heavy Hitters and Quantiles Optimal Tracking of Distributed Heavy Hitters and Quantiles Qin Zhang Hong Kong University of Science & Technology Joint work with Ke Yi PODS 2009 June 30, 2009 - 2- Models and Problems Distributed streaming

More information

Algorithmic Analysis. Go go Big O(h)!

Algorithmic Analysis. Go go Big O(h)! Algorithmic Analysis Go go Big O(h)! 1 Corresponding Book Sections Pearson: Chapter 6, Sections 1-3 Data Structures: 4.1-4.2.5 2 What is an Algorithm? Informally, any well defined computational procedure

More information

3 Trees: traversal and analysis of standard search trees

3 Trees: traversal and analysis of standard search trees 3 Trees: traversal and analysis of standard search trees Binary search trees Binary trees for storing sets of keys, such that the operations are supported: - find - insert - delete Search tree property:

More information

Dictionary. Dictionary. stores key-value pairs. Find(k) Insert(k, v) Delete(k) List O(n) O(1) O(n) Sorted Array O(log n) O(n) O(n)

Dictionary. Dictionary. stores key-value pairs. Find(k) Insert(k, v) Delete(k) List O(n) O(1) O(n) Sorted Array O(log n) O(n) O(n) Hash-Tables Introduction Dictionary Dictionary stores key-value pairs Find(k) Insert(k, v) Delete(k) List O(n) O(1) O(n) Sorted Array O(log n) O(n) O(n) Balanced BST O(log n) O(log n) O(log n) Dictionary

More information

Lecture 23: Priority Queues, Part 2 10:00 AM, Mar 19, 2018

Lecture 23: Priority Queues, Part 2 10:00 AM, Mar 19, 2018 CS8 Integrated Introduction to Computer Science Fisler, Nelson Lecture : Priority Queues, Part : AM, Mar 9, 8 Contents Sorting, Revisited Counting Sort Bucket Sort 4 Radix Sort 6 4. MSD Radix Sort......................................

More information

COMP Analysis of Algorithms & Data Structures

COMP Analysis of Algorithms & Data Structures COMP 3170 - Analysis of Algorithms & Data Structures Shahin Kamali Lecture 7 - Jan. 17, 2018 CLRS 7.1, 7-4, 9.1, 9.3 University of Manitoba COMP 3170 - Analysis of Algorithms & Data Structures 1 / 11 QuickSelect

More information

Jana Kosecka. Linear Time Sorting, Median, Order Statistics. Many slides here are based on E. Demaine, D. Luebke slides

Jana Kosecka. Linear Time Sorting, Median, Order Statistics. Many slides here are based on E. Demaine, D. Luebke slides Jana Kosecka Linear Time Sorting, Median, Order Statistics Many slides here are based on E. Demaine, D. Luebke slides Insertion sort: Easy to code Fast on small inputs (less than ~50 elements) Fast on

More information

Lecture 6: Linear Programming for Sparsest Cut

Lecture 6: Linear Programming for Sparsest Cut Lecture 6: Linear Programming for Sparsest Cut Sparsest Cut and SOS The SOS hierarchy captures the algorithms for sparsest cut, but they were discovered directly without thinking about SOS (and this is

More information

Superconcentrators of depth 2 and 3; odd levels help (rarely)

Superconcentrators of depth 2 and 3; odd levels help (rarely) Superconcentrators of depth 2 and 3; odd levels help (rarely) Noga Alon Bellcore, Morristown, NJ, 07960, USA and Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv

More information

A Forward-Backward Single-Source Shortest Paths Algorithm

A Forward-Backward Single-Source Shortest Paths Algorithm A Forward-Backward Single-Source Shortest Paths Algorithm Single-Source Shortest Paths in O(n) time David Wilson Microsoft Research Uri Zwick Tel Aviv Univ. Deuxièmes journées du GT CoA Complexité et Algorithmes

More information

CPSC 536N: Randomized Algorithms Term 2. Lecture 5

CPSC 536N: Randomized Algorithms Term 2. Lecture 5 CPSC 536N: Randomized Algorithms 2011-12 Term 2 Prof. Nick Harvey Lecture 5 University of British Columbia In this lecture we continue to discuss applications of randomized algorithms in computer networking.

More information

CS 261: Data Structures. Skip Lists

CS 261: Data Structures. Skip Lists CS 261: Data Structures Skip Lists 1 Complexity Lists and Arrays OPERATIONS ORDINARY LISTS AND ARRAYS SORTED ARRAYS SORTED LISTS Add O(1) O(n) O(n) Remove O(n) O(n) O(n) Contains O(n) O(log n) O(n) 2 Sorted

More information

The 4/3 Additive Spanner Exponent is Tight

The 4/3 Additive Spanner Exponent is Tight The 4/3 Additive Spanner Exponent is Tight Amir Abboud and Greg Bodwin Stanford University June 8, 2016 Our Question How much can you compress a graph into low space while still being able to approximately

More information

RANGE-EFFICIENT COUNTING OF DISTINCT ELEMENTS IN A MASSIVE DATA STREAM

RANGE-EFFICIENT COUNTING OF DISTINCT ELEMENTS IN A MASSIVE DATA STREAM SIAM J. COMPUT. Vol. 37, No. 2, pp. 359 379 c 2007 Society for Industrial and Applied Mathematics RANGE-EFFICIENT COUNTING OF DISTINCT ELEMENTS IN A MASSIVE DATA STREAM A. PAVAN AND SRIKANTA TIRTHAPURA

More information

Integer Algorithms and Data Structures

Integer Algorithms and Data Structures Integer Algorithms and Data Structures and why we should care about them Vladimír Čunát Department of Theoretical Computer Science and Mathematical Logic Doctoral Seminar 2010/11 Outline Introduction Motivation

More information

How fast can we sort? Sorting. Decision-tree example. Decision-tree example. CS 3343 Fall by Charles E. Leiserson; small changes by Carola

How fast can we sort? Sorting. Decision-tree example. Decision-tree example. CS 3343 Fall by Charles E. Leiserson; small changes by Carola CS 3343 Fall 2007 Sorting Carola Wenk Slides courtesy of Charles Leiserson with small changes by Carola Wenk CS 3343 Analysis of Algorithms 1 How fast can we sort? All the sorting algorithms we have seen

More information

CS 372: Computational Geometry Lecture 10 Linear Programming in Fixed Dimension

CS 372: Computational Geometry Lecture 10 Linear Programming in Fixed Dimension CS 372: Computational Geometry Lecture 10 Linear Programming in Fixed Dimension Antoine Vigneron King Abdullah University of Science and Technology November 7, 2012 Antoine Vigneron (KAUST) CS 372 Lecture

More information

Algorithms for Evolving Data Sets

Algorithms for Evolving Data Sets Algorithms for Evolving Data Sets Mohammad Mahdian Google Research Based on joint work with Aris Anagnostopoulos, Bahman Bahmani, Ravi Kumar, Eli Upfal, and Fabio Vandin Algorithm Design Paradigms Traditional

More information

CSE Winter 2015 Quiz 2 Solutions

CSE Winter 2015 Quiz 2 Solutions CSE 101 - Winter 2015 Quiz 2 s January 27, 2015 1. True or False: For any DAG G = (V, E) with at least one vertex v V, there must exist at least one topological ordering. (Answer: True) Fact (from class)

More information

BRICS Research Activities Algorithms

BRICS Research Activities Algorithms BRICS Research Activities Algorithms Gerth Stølting Brodal BRICS Retreat, Sandbjerg, 21 23 October 2002 1 Outline of Talk The Algorithms Group Courses Algorithm Events Expertise within BRICS Examples Algorithms

More information

Approximate Shared-Memory Counting Despite a Strong Adversary

Approximate Shared-Memory Counting Despite a Strong Adversary Despite a Strong Adversary James Aspnes Keren Censor Processes can read and write shared atomic registers. Read on an atomic register returns value of last write. Timing of operations is controlled by

More information

Lecture 8 13 March, 2012

Lecture 8 13 March, 2012 6.851: Advanced Data Structures Spring 2012 Prof. Erik Demaine Lecture 8 13 March, 2012 1 From Last Lectures... In the previous lecture, we discussed the External Memory and Cache Oblivious memory models.

More information

COMP Online Algorithms. Online Bin Packing. Shahin Kamali. Lecture 20 - Nov. 16th, 2017 University of Manitoba

COMP Online Algorithms. Online Bin Packing. Shahin Kamali. Lecture 20 - Nov. 16th, 2017 University of Manitoba COMP 7720 - Online Algorithms Online Bin Packing Shahin Kamali Lecture 20 - Nov. 16th, 2017 University of Manitoba COMP 7720 - Online Algorithms Online Bin Packing 1 / 24 Review & Plan COMP 7720 - Online

More information

CPSC 311 Lecture Notes. Sorting and Order Statistics (Chapters 6-9)

CPSC 311 Lecture Notes. Sorting and Order Statistics (Chapters 6-9) CPSC 311 Lecture Notes Sorting and Order Statistics (Chapters 6-9) Acknowledgement: These notes are compiled by Nancy Amato at Texas A&M University. Parts of these course notes are based on notes from

More information

Introduction to I/O Efficient Algorithms (External Memory Model)

Introduction to I/O Efficient Algorithms (External Memory Model) Introduction to I/O Efficient Algorithms (External Memory Model) Jeff M. Phillips August 30, 2013 Von Neumann Architecture Model: CPU and Memory Read, Write, Operations (+,,,...) constant time polynomially

More information

COMP Data Structures

COMP Data Structures COMP 2140 - Data Structures Shahin Kamali Topic 5 - Sorting University of Manitoba Based on notes by S. Durocher. COMP 2140 - Data Structures 1 / 55 Overview Review: Insertion Sort Merge Sort Quicksort

More information

DIVIDE AND CONQUER ALGORITHMS ANALYSIS WITH RECURRENCE EQUATIONS

DIVIDE AND CONQUER ALGORITHMS ANALYSIS WITH RECURRENCE EQUATIONS CHAPTER 11 SORTING ACKNOWLEDGEMENT: THESE SLIDES ARE ADAPTED FROM SLIDES PROVIDED WITH DATA STRUCTURES AND ALGORITHMS IN C++, GOODRICH, TAMASSIA AND MOUNT (WILEY 2004) AND SLIDES FROM NANCY M. AMATO AND

More information

Solving Geometric Problems in Space-Conscious Models

Solving Geometric Problems in Space-Conscious Models Solving Geometric Problems in Space-Conscious Models by Yu Chen A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Doctor of Philosophy in Computer

More information

Exam Principles of Distributed Computing

Exam Principles of Distributed Computing Distributed Computing FS 2015 Prof. Dr. Roger Wattenhofer P. Bissig, P. Brandes, S. Brandt, K.T. Förster, B. Keller, M. König, L. Peer, J. Seidel, D. Stolz, J. Uitto Exam Principles of Distributed Computing

More information

Longest Common Extensions in Trees

Longest Common Extensions in Trees Longest Common Extensions in Trees Philip Bille 1, Pawe l Gawrychowski 2, Inge Li Gørtz 1, Gad M. Landau 3,4, and Oren Weimann 3 1 DTU Informatics, Denmark. phbi@dtu.dk, inge@dtu.dk 2 University of Warsaw,

More information

Thomas Moscibroda Roger Wattenhofer MASS Efficient Computation of Maximal Independent Sets in Unstructured Multi-Hop Radio Networks

Thomas Moscibroda Roger Wattenhofer MASS Efficient Computation of Maximal Independent Sets in Unstructured Multi-Hop Radio Networks Efficient Computation of Maximal Independent Sets in Unstructured Multi-Hop Radio Networks Thomas Moscibroda Roger Wattenhofer Distributed Computing Group MASS 2004 Algorithms for Ad Hoc and Sensor Networks...

More information

The Parameterized Complexity of Finding Point Sets with Hereditary Properties

The Parameterized Complexity of Finding Point Sets with Hereditary Properties The Parameterized Complexity of Finding Point Sets with Hereditary Properties David Eppstein University of California, Irvine Daniel Lokshtanov University of Bergen University of California, Santa Barbara

More information

Data Streaming Algorithms for Geometric Problems

Data Streaming Algorithms for Geometric Problems Data Streaming Algorithms for Geometric roblems R.Sharathkumar Duke University 1 Introduction A data stream is an ordered sequence of points that can be read only once or a small number of times. Formally,

More information

Recursive ORAMs with Practical Constructions

Recursive ORAMs with Practical Constructions Recursive ORAMs with Practical Constructions Sarvar Patel Giuseppe Persiano Kevin Yeo September 30, 2017 Abstract We present Recursive Square Root ORAM (R-SQRT), a simple and flexible ORAM that can be

More information

Reading for this lecture (Goodrich and Tamassia):

Reading for this lecture (Goodrich and Tamassia): COMP26120: Algorithms and Imperative Programming Basic sorting algorithms Ian Pratt-Hartmann Room KB2.38: email: ipratt@cs.man.ac.uk 2017 18 Reading for this lecture (Goodrich and Tamassia): Secs. 8.1,

More information

1 o Semestre 2007/2008

1 o Semestre 2007/2008 Efficient Departamento de Engenharia Informática Instituto Superior Técnico 1 o Semestre 2007/2008 Outline 1 2 3 4 5 6 7 Outline 1 2 3 4 5 6 7 Text es An index is a mechanism to locate a given term in

More information

Homework #3. CMSC351 - Spring 2013 PRINT Name :

Homework #3. CMSC351 - Spring 2013 PRINT Name : Homework #3 CMSC351 - Spring 2013 PRINT Name : Due: Mar 12 th at the start of class o Grades depend on neatness and clarity. o Write your answers with enough detail about your approach and concepts used,

More information

Optimal Resilient Sorting and Searching in the Presence of Memory Faults

Optimal Resilient Sorting and Searching in the Presence of Memory Faults Optimal Resilient Sorting and Searching in the Presence of Memory Faults Irene Finocchi Fabrizio Grandoni Giuseppe F. Italiano Abstract We investigate the problem of reliable computation in the presence

More information

Lower and Upper bounds for Online Directed Graph Exploration

Lower and Upper bounds for Online Directed Graph Exploration Lower and Upper bounds for Online Directed Graph Exploration Klaus-Tycho Förster Roger Wattenhofer ETH Zurich Distributed Computing www.disco.ethz.ch @GRASTA-MAC 2015 When in Montreal Montreal: Full of

More information

1 Lower bound on runtime of comparison sorts

1 Lower bound on runtime of comparison sorts 1 Lower bound on runtime of comparison sorts So far we ve looked at several sorting algorithms insertion sort, merge sort, heapsort, and quicksort. Merge sort and heapsort run in worst-case O(n log n)

More information

Problem A. The Lawyer

Problem A. The Lawyer Problem A. The Lawyer 1 second n segments on a straight line are given. The goal is to find two segments that do not cross (or determine such a pair does not exist) Find the segment with minimum right

More information

Randomized incremental construction. Trapezoidal decomposition: Special sampling idea: Sample all except one item

Randomized incremental construction. Trapezoidal decomposition: Special sampling idea: Sample all except one item Randomized incremental construction Special sampling idea: Sample all except one item hope final addition makes small or no change Method: process items in order average case analysis randomize order to

More information

Online Bipartite Perfect Matching With Augmentations

Online Bipartite Perfect Matching With Augmentations Online Bipartite Perfect Matching With Augmentations Kamalika Chaudhuri, Constantinos Daskalakis, Robert D. Kleinberg, and Henry Lin Information Theory and Applications Center, U.C. San Diego Email: kamalika@soe.ucsd.edu

More information

Approximating Connected Facility Location Problems via Random Facility Sampling and Core Detouring

Approximating Connected Facility Location Problems via Random Facility Sampling and Core Detouring Approximating Connected Facility Location Problems via Random Facility Sampling and Core Detouring Thomas Rothvoß Institute of Mathematics École Polytechnique Fédérale de Lausanne This is joint work with

More information

Data Structures in Java. Session 23 Instructor: Bert Huang

Data Structures in Java. Session 23 Instructor: Bert Huang Data Structures in Java Session 23 Instructor: Bert Huang http://www.cs.columbia.edu/~bert/courses/3134 Announcements Homework 6 due Dec. 10, last day of class Final exam Thursday, Dec. 17th, 4-7 PM, Hamilton

More information

Soft Heaps And Minimum Spanning Trees

Soft Heaps And Minimum Spanning Trees Soft And George Mason University ibanerje@gmu.edu October 27, 2016 GMU October 27, 2016 1 / 34 A (min)-heap is a data structure which stores a set of keys (with an underlying total order) on which following

More information

Parallel Algorithms for Geometric Graph Problems Grigory Yaroslavtsev

Parallel Algorithms for Geometric Graph Problems Grigory Yaroslavtsev Parallel Algorithms for Geometric Graph Problems Grigory Yaroslavtsev http://grigory.us Appeared in STOC 2014, joint work with Alexandr Andoni, Krzysztof Onak and Aleksandar Nikolov. The Big Data Theory

More information

Data Structures for Range Minimum Queries in Multidimensional Arrays

Data Structures for Range Minimum Queries in Multidimensional Arrays Data Structures for Range Minimum Queries in Multidimensional Arrays Hao Yuan Mikhail J. Atallah Purdue University January 17, 2010 Yuan & Atallah (PURDUE) Multidimensional RMQ January 17, 2010 1 / 28

More information

Divide and Conquer Algorithms

Divide and Conquer Algorithms Divide and Conquer Algorithms T. M. Murali February 19, 2009 Divide and Conquer Break up a problem into several parts. Solve each part recursively. Solve base cases by brute force. Efficiently combine

More information

Integrating rankings: Problem statement

Integrating rankings: Problem statement Integrating rankings: Problem statement Each object has m grades, oneforeachofm criteria. The grade of an object for field i is x i. Normally assume 0 x i 1. Typically evaluations based on different criteria

More information

Shuheng Zhou. Annotated Bibliography

Shuheng Zhou. Annotated Bibliography Shuheng Zhou Annotated Bibliography High-dimensional Statistical Inference S. Zhou, J. Lafferty and L. Wasserman, Compressed Regression, in Advances in Neural Information Processing Systems 20 (NIPS 2007).

More information

An O(n 2.75 ) algorithm for online topological ordering 1

An O(n 2.75 ) algorithm for online topological ordering 1 Electronic Notes in Discrete Mathematics 25 (2006) 7 12 www.elsevier.com/locate/endm An O(n 2.75 ) algorithm for online topological ordering 1 Deepak Ajwani a,2, Tobias Friedrich a and Ulrich Meyer a a

More information

arxiv: v1 [cs.ds] 5 Jun 2015

arxiv: v1 [cs.ds] 5 Jun 2015 Approximation and Fixed Parameter Subquadratic Algorithms for Radius and Diameter Amir Abboud Stanford University abboud@cs.stanford.edu Virginia Vassilevska Williams Stanford University virgi@cs.stanford.edu

More information