introduction csce 235 introduction to discrete structures fall 2010 instructor: berthe y. choueiry...
TRANSCRIPT
![Page 1: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/1.jpg)
Introduction
CSCE 235 Introduction to Discrete Structures
Fall 2010Instructor: Berthe Y. Choueiry (Shu-we-ri)
GTA: Robert Woodwardhttp://cse.unl.edu/~choueiry/F10-235/
http://cse.unl.edu/~cse235/
![Page 2: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/2.jpg)
IntroductionCSCE 235, Fall 2010 2
Outline
• Introduction– Rules– Topics covered – Syllabus
• Why Discrete Mathematics?• Basic preliminaries
![Page 3: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/3.jpg)
IntroductionCSCE 235, Fall 2010 3
Introduction• Roll• Lectures: M/W/F 12:30—1:20 pm (Avery 109)• Recitations: T 5:30—6:20 pm (Avery 108)• Office hours:– Instructor: M/W 1:30—2:30 pm (Avery 360)– GTA: Thu 1:30—2:30 pm & Fri 9:00-10:00 am (SRC)
• Must have a cse account• Must use cse handin• Bonus points: report bugs• Web page
![Page 4: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/4.jpg)
IntroductionCSCE 235, Fall 2010 4
Rules for Success (1)
• Please do the required reading before class– Even if you read it very quickly, reading the material allows you to
focus during class – It will also help you make more sense of the explanations in class and
be tuned to the pitfalls and tricky details that I will discuss
• Attend class– In quizzes and exams, you are responsible for class discussions
• After class– Do the required reading in as much detail as possible– Make sure to carefully read all the examples in the textbook: they are
excellent & abundant
![Page 5: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/5.jpg)
IntroductionCSCE 235, Fall 2010 5
Rules for Success (2)
• Start early working on homework• Visit GTA & instructor during their office hours• If you still have questions email [email protected] • We will always try hard to help you out• Not following the above recommendations
demonstrates a lack of respect towards• Your responsibilities• The rules as spelled out in the syllabus• The GTA & the instructor. It is unfair
![Page 6: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/6.jpg)
IntroductionCSCE 235, Fall 2010 6
TopicsTopic Sections
Propositional Logic
1.1—1.2
Predicate Logic 1.3—1.4
Proofs 1.5—1.6
Sets 2.1—2.2
Functions 2.3
Relations 8.1,8.3—8.6
Algorithms 3.1—3.3
Induction 4.1—4.2
Counting 5.1—5.2
Combinatorics 5.3—5.5
Recursion 7.1—7.2
PIE 7.5
Graphs 9.1—9.5
Trees 10.1—10.3
• DM is not about – Integration techniques– Differentiation techniques– Calculus– Geometry– Numerical Analysis– Etc.
![Page 7: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/7.jpg)
IntroductionCSCE 235, Fall 2010 7
Syllabus
• Let’s read the syllabus
![Page 8: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/8.jpg)
IntroductionCSCE 235, Fall 2010 8
Important Dates
• Weekly quizzes, weekly homework• Midterm 1: Wednesday, Sep 29• Midterm 2: Wednesday, Nov 10• Final: Tuesday, Dec 14
![Page 9: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/9.jpg)
IntroductionCSCE 235, Fall 2010 9
Why Discrete Mathematics? (I)• Computers use discrete structures to represent
and manipulate data.• CSE 235 and CSE 310 are the basic building block
for becoming a Computer Scientist• Computer Science is not Programming• Computer Science is not Software Engineering• Edsger Dijkstra: “Computer Science is no more
about computers than Astronomy is about telescopes.”
• Computer Science is about problem solving.
![Page 10: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/10.jpg)
IntroductionCSCE 235, Fall 2010 10
Why Discrete Mathematics? (II)
• Mathematics is at the heart of problem solving• Defining a problem requires mathematical rigor• Use and analysis of models, data structures,
algorithms requires a solid foundation of mathematics
• To justify why a particular way of solving a problem is correct or efficient (i.e., better than another way) requires analysis with a well-defined mathematical model.
![Page 11: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/11.jpg)
IntroductionCSCE 235, Fall 2010 11
Problem Solving requires mathematical rigor
• Your boss is not going to ask you to solve – an MST (Minimal Spanning Tree) or – a TSP (Travelling Salesperson Problem)
• Rarely will you encounter a problem in an abstract setting
• However, he/she may ask you to build a rotation of the company’s delivery trucks to minimize fuel usage
• It is up to you to determine – a proper model for representing the problem and – a correct or efficient algorithm for solving it
![Page 12: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/12.jpg)
IntroductionCSCE 235, Fall 2010 12
Scenario I• A limo company has hired you/your company to
write a computer program to automate the following tasks for a large event
• Task1: In the first scenario, businesses request– limos and drivers – for a fixed period of time, specifying a start data/time
and end date/time and – a flat charge rate
• The program must generate a schedule that accommodates the maximum number of customers
![Page 13: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/13.jpg)
IntroductionCSCE 235, Fall 2010 13
Scenario II
• Task 2: In the second scenario– the limo service allows customers to bid on a ride – so that the highest bidder get a limo when there
aren’t enough limos available• The program should make a schedule that– Is feasible (no limo is assigned to two or more
customers at the same time)– While maximizing the total profit
![Page 14: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/14.jpg)
IntroductionCSCE 235, Fall 2010 14
Scenario III
• Task 3: Here each customer – is allowed to specify a set of various times and – bid an amount for the entire event. – The limo service must choose to accept the entire
set of times or reject it
• The program must again maximize the profit.
![Page 15: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/15.jpg)
IntroductionCSCE 235, Fall 2010 15
What’s your job?• Build a mathematical model for each scenario • Develop an algorithm for solving each task• Justify that your solutions work– Prove that your algorithms terminate. Termination– Prove that your algorithms find a solution when there is
one. Completeness– Prove that the solution of your algorithms is correct
Soundness
– Prove that your algorithms find the best solution (i.e., maximize profit). Optimality (of the solution)
– Prove that your algorithms finish before the end of life on earth. Efficiency, time & space complexity
![Page 16: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/16.jpg)
IntroductionCSCE 235, Fall 2010 16
The goal of this course
• Give you the foundations that you will use to eventually solve these problems.– Task1 is easily (i.e., efficiently) solved by a greedy
algorithm– Task2 can also be (almost) easily solved, but requires a
more involved technique, dynamic programming– Task3 is not efficiently solvable (it is NP-hard) by any
known technique. It is believed today that to guarantee an optimal solution, one needs to look at all (exponentially many) possibilities
![Page 17: Introduction CSCE 235 Introduction to Discrete Structures Fall 2010 Instructor: Berthe Y. Choueiry (Shu-we-ri) GTA: Robert Woodward choueiry/F10-235](https://reader035.vdocuments.site/reader035/viewer/2022071718/56649efc5503460f94c102a6/html5/thumbnails/17.jpg)
IntroductionCSCE 235, Fall 2010 17
Basic Preliminaries• A set is a collection of objects. • For example:
– S = {s1,s2,s3,…,sn} is a finite set of n elements – S = {s1,s2,s3,…} is a infinite set of elements.
• s1 S denotes that the object s1 is an element of the set S• s1 S denotes that the object s1 is not an element of the
set S• LaTex
– $S=\{s_1,s_2,s_3, \ldots,s_n\}$– $s_i \in S$– $si \notin S$