Construction and Analysis of Efficient Algorithms

Slides:



Advertisements
Similar presentations
CS 336 March 19, 2012 Tandy Warnow.
Advertisements

22C:19 Discrete Math Graphs Fall 2010 Sukumar Ghosh.
Introduction to Graph Theory Instructor: Dr. Chaudhary Department of Computer Science Millersville University Reading Assignment Chapter 1.
22C:19 Discrete Math Graphs Fall 2014 Sukumar Ghosh.
Lecture 24 Coping with NPC and Unsolvable problems. When a problem is unsolvable, that's generally very bad news: it means there is no general algorithm.
String Searching Algorithms Problem Description Given two strings P and T over the same alphabet , determine whether P occurs as a substring in T (or.
UMass Lowell Computer Science Analysis of Algorithms Prof. Karen Daniels Fall, 2001 Lecture 1 (Part 1) Introduction/Overview Tuesday, 9/4/01.
The Theory of NP-Completeness
UMass Lowell Computer Science Analysis of Algorithms Prof. Karen Daniels Fall, 2002 Lecture 1 (Part 1) Introduction/Overview Tuesday, 9/3/02.
CSE 326: Data Structures NP Completeness Ben Lerner Summer 2007.
UMass Lowell Computer Science Analysis of Algorithms Prof. Karen Daniels Fall, 2002 Review Lecture Tuesday, 12/10/02.
Analysis of Algorithms CS 477/677
UMass Lowell Computer Science Analysis of Algorithms Prof. Karen Daniels Fall, 2004 Lecture 1 (Part 1) Introduction/Overview Wednesday, 9/8/04.
Complexity ©D.Moshkovitz 1 Paths On the Reasonability of Finding Paths in Graphs.
UMass Lowell Computer Science Analysis of Algorithms Prof. Karen Daniels Spring, 2002 Lecture 1 (Part 1) Introduction/Overview Tuesday, 1/29/02.
Lecture 11 CSE 331 Sep 25, Homeworks Please hand in your HW 2 now HW 3 and graded HW 1 at the end of class.
22C:19 Discrete Math Graphs Spring 2014 Sukumar Ghosh.
 2004 SDU Introduction to the Theory of Computation My name: 冯好娣 My office: 计算中心 430
Programming & Data Structures
EECS 203: It’s the end of the class and I feel fine. Graphs.
Graph Theory And Bioinformatics Jason Wengert. Outline Introduction to Graphs Eulerian Paths & Hamiltonian Cycles Interval Graph & Shape of Genes Sequencing.
CSE 326: Data Structures NP Completeness Ben Lerner Summer 2007.
CS 200 Algorithms and Data Structures
DP TSP Have some numbering of the vertices We will think of all our tours as beginning and ending at 1 C(S, j) = length of shortest path visiting each.
Combinatorial Optimization Problems in Computational Biology Ion Mandoiu CSE Department.
1 HEINZ NIXDORF INSTITUTE University of Paderborn Algorithms and Complexity Christian Schindelhauer Search Algorithms Winter Semester 2004/ Oct.
CSE 421 Algorithms Richard Anderson Lecture 27 NP-Completeness and course wrap up.
Lecture 11: 9.4 Connectivity Paths in Undirected & Directed Graphs Graph Isomorphisms Counting Paths between Vertices 9.5 Euler and Hamilton Paths Euler.
Construction and Analysis of Efficient Algorithms Introduction Autumn 2015, Juris Vīksna.
UMass Lowell Computer Science Analysis of Algorithms Prof. Karen Daniels Fall, 2001 Review Lecture Tuesday, 12/11/01.
CSE 421 Algorithms Richard Anderson Lecture 27 NP-Completeness Proofs.
Review: Graph Theory in Bioinformatics Yunkai Liu Assistant Professor Computer Science Department University of South Dakota.
Grade 11 AP Mathematics Graph Theory Definition: A graph, G, is a set of vertices v(G) = {v 1, v 2, v 3, …, v n } and edges e(G) = {v i v j where 1 ≤ i,
CSE 332: NP Completeness, Part II Richard Anderson Spring 2016.
ICS 353: Design and Analysis of Algorithms NP-Complete Problems King Fahd University of Petroleum & Minerals Information & Computer Science Department.
RAIK 283 Data Structures and Algorithms
Welcome to the Course of Advanced Algorithm Design
Lecture 1 (Part 1) Introduction/Overview Tuesday, 9/9/08
EECS 203 Lecture 19 Graphs.
Shortest Path Problems
CSC 172 DATA STRUCTURES.
Richard Anderson Lecture 26 NP-Completeness
Richard Anderson Lecture 26 NP-Completeness
Eulerian tours Miles Jones MTThF 8:30-9:50am CSE 4140 August 15, 2016.
EECS 203 Lecture 20 More Graphs.
Definition In simple terms, an algorithm is a series of instructions to solve a problem (complete a task) We focus on Deterministic Algorithms Under the.
CS 598AGB Genome Assembly Tandy Warnow.
Graph Algorithm.
CSC 172 DATA STRUCTURES.
Discrete Mathematics and Its Applications (5th Edition)
ICS 353: Design and Analysis of Algorithms
Introduction to Graph Theory Euler and Hamilton Paths and Circuits
Graph Theory.
Graphs Chapter 13.
Richard Anderson Lecture 25 NP-Completeness
Genome Assembly.
Richard Anderson Lecture 28 Coping with NP-Completeness
CMPT 438 Algorithms Instructor: Tina Tian.
Cpt S 471/571: Computational Genomics
Richard Anderson Lecture 30 NP-Completeness
Graph Algorithms in Bioinformatics
Richard Anderson Lecture 27 NP Completeness
Discrete Mathematics and Its Applications (5th Edition)
NP-Completeness Reference: Computers and Intractability: A Guide to the Theory of NP-Completeness by Garey and Johnson, W.H. Freeman and Company, 1979.
CS3335: Design and Analysis of Algorithms
Euler and Hamiltonian Graphs
Richard Anderson Lecture 27 Survey of NP Complete Problems
Graphs CS 2606.
CSE 589 Applied Algorithms Spring 1999
Richard Anderson Lecture 25 NP Completeness
Presentation transcript:

Construction and Analysis of Efficient Algorithms Introduction Autumn 2017, Juris Vīksna

Timetable Regular lecture times: Wednesdays 12.30 - 14.00 413. aud. Fridays 12.30 - 14.00 413. aud. The lectures at the following dates will be rescheduled: 13.09., 15.09. Some other changes are possible (but hopefully, not too many). Replacement lectures most likely will be scheduled starting from the second half of October.

Outline Motivation and some examples Subjects covered in the course Requirements Textbooks Other practical information

Motivation Is there a sufficiently fast algorithm for a given problem? Problem 1a For a given pair of vertices in connected undirected graph find the length of shortest path between these vertices. Problem 1b For a given pair of vertices in connected undirected graph find the length of longest non-intersecting path between these vertices.

Problem 1a Problem 1a For a given pair of vertices in connected undirected graph find the length of shortest path between these vertices.

Problem 1a Problem 1a For a given pair of vertices in connected undirected graph find the length of shortest path between these vertices. There is an algorithm that solves this problem in time less than const · (|V| + |E|)

Problem 1a

Problem 1a d = 0

Problem 1a d = 1

Problem 1a d = 2

Problem 1a d = 3

Problem 1a d = 4

Problem 1a d = 5  OK

Problem 1b Problem 1b For a given pair of vertices in connected undirected graph find the length of longest non-intersecting path between these vertices.

Problem 1b Problem 1b For a given pair of vertices in connected undirected graph find the length of longest non-intersecting path between these vertices. There is not known an algorithm that solves this problem within polynomial time. (And it is widely believed that such algorithm does not exist.)

Problem 1c Problem 1c For a given pair of vertices in connected undirected graph find a non-intersecting path between these vertices consisting of even number of edges.

Problem 2a Problem 2a For a given undirected graph find an Euler cycle (if such exists). Euler cycle is defined as a closed path that contains every edge exactly once.

Eulerian path (cycle) problem For a given graph find a path (cycle) that visits every edge exactly once (or show that such path does not exist).

Problem 2a Problem 2a For a given undirected graph find an Euler cycle (if such exists). Euler cycle is defined as a closed path that contains every edge exactly once. There is an algorithm that solves this problem in time less than const · (|V| + |E|)

Eulerian path (cycle) problem Eulerian cycle exists if and only if each of graph vertices has even degree. Moreover, there is a simple linear time algorithm for finding Eulerian cycle. Eulerian path (cycle) problem For a given graph find a path (cycle) that visits every edge exactly once (or show that such path does not exist).

Problem 2b Problem 2b For a given undirected graph find a Hamiltonian cycle (if such exists). Hamiltonian cycle is defined as a closed path that contains every vertex exactly once.

Hamiltonian path (cycle problem) For a given graph find a path (cycle) that visits every vertex exactly once (or show that such path does not exist).

Hamiltonian path (cycle problem) For a given graph find a path (cycle) that visits every vertex exactly once (or show that such path does not exist).

Hamiltonian path (cycle problem)

Problem 2b Problem 2b For a given undirected graph find a Hamiltonian cycle (if such exists). Hamiltonian cycle is defined as a closed path that contains every vertex exactly once. There is not known an algorithm that solves this problem within polynomial time. (And it is widely believed that such algorithm does not exist.)

Genome sequence assembly

Genome sequence assembly

Sequence assembly problem Ok, let us assume that we have these hybridizations. How can we reconstruct the initial DNA sequence from them? Affymetrix GeneChip W.Bains, C.Smith (1988) A novel method for nucleic acid sequence determination. Journal of theoretical biology .Vol. 135:3, 303-307.

Sequence assembly problem Ok, let us assume that we have these hybridizations. How can we reconstruct the initial DNA sequence from them?

SBH – Hamiltonian path approach

SBH – Hamiltonian path approach

SBH – Eulerian path approach

An Eulerian path approach to SBH problem PNAS (Proceedings of the National Academy of Sciences), 2001

SBH and de Bruijn graphs (~ 1950 :)

Using de Bruijn graphs for NGS data assembly

Motivation How to compute the time of computation required for a given algorithm? Does the given algorithm work correctly? Problem 3 Given two strings P and T over the same alphabet , determine whether P occurs as a substring in T.

Problem 3 SimpleMatcher(string P, string T) n  length[T] m  length[P] for s  0 to n  m do if P[1...m] = T[s+1 ... s+m] then print s Time = const ·n · m

Problem 3 KnuthMorrisPrattMatcher(string P, string T) n  length[T] m  length[P]   PrefixFunction(P) q  0 for i  1 to n do while q > 0 & P[q+1]  T[i] do q  [q] if P[q+1] = T[i] then q  q + 1 if q = m then print i  m

Problem 3 PrefixFunction(string P) m  length[P] [1]  0 k  0 for q  2 to m do while k > 0 & P[k+1]  P[q] do k  [q] if P[q+1] = P[q] then k  k + 1 [q]  k return 

Problem 3 KnuthMorrisPrattMatcher(string P, string T) n  length[T] m  length[P]   PrefixFunction(P) q  0 for i  1 to n do while q > 0 & P[q+1]  T[i] do q  [q] if P[q+1] = T[i] then q  q + 1 if q = m then print i  m T(n,m) = TP(m) + n TWhile(m) TP(m) = const · m T(n,m)  const ·n · m It can be shown that T(n,m) = const · (n + m)

Knuth-Morris-Pratt Algorithm - Idea T = gadjama gramma berida P = gaga g a j m r b e i d g a j m r b e i d

Subjects covered in the course Models of computation and complexity of algorithms Complexity analysis Data structures Sorting algorithms Algorithms on graphs String searching algorithms Dynamical programming Computational geometry Algorithms for arithmetical problems NP completeness

Requirements Two short-term homeworks Most likely will be given in October-November-December Strict (or almost) one week deadline 20% each Programming assignment Problem to be announced in second half of October No deadline – must be submitted before the exam 20% Exam 40% To qualify for grade 10 you may be asked to cope with some additional question(s)/problem(s)

Academic honesty You are expected to submit only your own work! Sanctions: Receiving a zero on the assignment (in no circumstances a resubmission will be allowed) No admission to the exam and no grade for the course

Textbooks Thomas H.Cormen Charles E.Leiserson Ronald L.Rivest Clifford Stein Introduction to Algorithms The MIT Press, 2009 (3rd ed, 1st ed 1990)

Textbooks Harry R.Lewis Larry Denenberg Data Structures and their Algorithms Harper Collins Publishers, 1991

Textbooks Steven S.Skiena The Algorithm Design Manual Springer Verlag, 2008 (2nd ed, 1st ed 1997)

Textbooks Alfred V.Aho, John E.Hopcroft, Jeffrey D.Ullman The Design and Analysis of Computer Algorithms Addison-Wesley Publishing Company, 1976

Textbooks David Harel, Algorithmics: the spirit of computing Addison-Wesley Publishing Company, 2004 (3rd ed)

Textbooks Dan Gusfield Algorithms on Strings Trees and Sequences Cambridge University Press, 1997

Textbooks Michael R. Garey, David S. Johnson Computers and Intractability – A Guide to the Theory of NP-Completeness W. H. Freedman and Company, 1979

Web page http://susurs.mii.lu.lv/juris/courses/alg2017.html It is expected to contain: short summaries of lectures announcements power point presentations homework and programming assignment problems frequently asked questions (???) your grades other useful information Course information available also at https://estudijas.lu.lv

Contact information Juris Vīksna Room 421, Rainis boulevard 29 phone: 67213716