Upload
dutch
View
22
Download
0
Tags:
Embed Size (px)
DESCRIPTION
Induction. http://www.picshag.com/recursive-painting.html. Discrete Structures (CS 173) Madhusudan Parthasarathy, University of Illinois. Last lecture: graphs and 2-way bounds. Terminology for graph connectivity - PowerPoint PPT Presentation
Citation preview
Induction
Discrete Structures (CS 173)Madhusudan Parthasarathy, University of Illinois1
http://www.picshag.com/recursive-painting.html
Last lecture: graphs and 2-way bounds
• Terminology for graph connectivity– Walk, path, cycle, acyclic, closed, Euler circuit,
distance, diameter, connected components
• Graph coloring and how to apply it
• How to use two-way bounding in a variety of settings
2
Two-way bounding: set equalityClaim: For any integer , is equal to .
3
This lecture (and next): Induction
• What is induction
• Examples
4
Does domino n fall?
5
Does domino n fall?• Suppose domino k falls. Then domino k+1 falls.
6
Does domino n fall?• Suppose domino k falls. Then domino k+1 falls.
• The first domino falls
7
Induction
8
Inductive hypothesis: Suppose domino k falls.Inductive conclusion: Domino k+1 falls.Base case: The first domino falls.
Simple math exampleClaim: for all natural integers .
9
Basic structure of induction proofClaim: Inductive step:
Base case: is true.10
Inductive hypothesis
Inductive conclusion
Weak Induction
Strong Induction
Inductive hypothesis
Inductive conclusion
Another math exampleClaim: For ,
11
Number theory exampleClaim: For any natural integer , is divisible by .
12
Geometrical exampleClaim: For any positive integer , a checkerboard with one corner square removed can be tiled using right triminos.
13
right trimino21×21
22×22
Things to remember
• Induction requires demonstrating a base case and an inductive step
• Inductive step usually involves showing that or – Typically, this requires writing in terms of
14
Next class• Induction with graphs, stamps, and games
15