Algorithms_and_Data_Structures_02

Algorithms_and_Data_Structures_02 - Lecture 2 Computer...

Info iconThis preview shows pages 1–11. Sign up to view the full content.

View Full Document Right Arrow Icon
Computer Science Algorithms and Data Structures Prof. Dr. Andreas Nüchter Research I, Room 105 Jacobs University Bremen http://www.nuechti.de andreas@nuechti.de Lecture 2
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Algorithms and Data Structures Dr. Andreas Nüchter September 8, 2009 36 Last Lecture Examples of Algorithms Summation according to C.F. Gauss Binary Search Efficient multiplication for and addition chains Sub string search – sketch of the Boyer and Moor algorithm All examples had in common that the ad-hoc solution has high runtime. Smart solutions lowered the run-time tremendously
Background image of page 2
Algorithms and Data Structures Dr. Andreas Nüchter September 8, 2009 37 Questions? What’s a computability problem? What’s an algorithm? Which problems can be solved algorithmically and which cannot? Which problems can be solved in feasible time? What different algorithmic approaches are there? How depend the algorithmic solutions of a problem on each other? Can we identify “good” techniques for solving problems?
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Algorithms and Data Structures Dr. Andreas Nüchter September 8, 2009 38 Questions? What is a complex problem? Is there an optimal solution to a problem? Can we verify that an algorithm solves a problem? These are the questions, we are going to discuss in this class! We need some math background for doing so.
Background image of page 4
Algorithms and Data Structures Dr. Andreas Nüchter September 8, 2009 39 Set Theory – Symbols (1) for all exists and or implies from follows cardinality , is finite
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Algorithms and Data Structures Dr. Andreas Nüchter September 8, 2009 40 Set Theory – Symbols (2) Cartesian product iff and n-fold Cartesian product subset empty set, i.e., Relation between and n-times
Background image of page 6
Algorithms and Data Structures Dr. Andreas Nüchter September 8, 2009 41 Set Theory – Symbols (3) iff and iff and (real subset) power set union intersection
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Algorithms and Data Structures Dr. Andreas Nüchter September 8, 2009 42 Set Theory – Symbols (4) set difference It holds:
Background image of page 8
Algorithms and Data Structures Dr. Andreas Nüchter September 8, 2009 43 Set Theory – Symbols (5) less or equal less greater or equal greater
Background image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Algorithms and Data Structures Dr. Andreas Nüchter September 8, 2009 44 Computability What is a computability problem? Problem Specification 1. Attempt A computability problem is specified by a triple with not empty sets and a relation is the set of possible inputs is the set of possible outputs is the set of valid inputs describes a relation between the input and the output
Background image of page 10
Image of page 11
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 05/04/2010 for the course CS 320251 taught by Professor Nuechter during the Fall '09 term at Jacobs University Bremen.

Page1 / 34

Algorithms_and_Data_Structures_02 - Lecture 2 Computer...

This preview shows document pages 1 - 11. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online