15
Induction Discrete Structures (CS 173) Madhusudan Parthasarathy, University of Illinois 1 http:// www.picshag.com/ recursive- painting.html

Induction

  • Upload
    dutch

  • View
    22

  • Download
    0

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

Page 1: Induction

Induction

Discrete Structures (CS 173)Madhusudan Parthasarathy, University of Illinois1

http://www.picshag.com/recursive-painting.html

Page 2: Induction

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

Page 3: Induction

Two-way bounding: set equalityClaim: For any integer , is equal to .

3

Page 4: Induction

This lecture (and next): Induction

• What is induction

• Examples

4

Page 5: Induction

Does domino n fall?

5

Page 6: Induction

Does domino n fall?• Suppose domino k falls. Then domino k+1 falls.

6

Page 7: Induction

Does domino n fall?• Suppose domino k falls. Then domino k+1 falls.

• The first domino falls

7

Page 8: Induction

Induction

8

Inductive hypothesis: Suppose domino k falls.Inductive conclusion: Domino k+1 falls.Base case: The first domino falls.

Page 9: Induction

Simple math exampleClaim: for all natural integers .

9

Page 10: Induction

Basic structure of induction proofClaim: Inductive step:

Base case: is true.10

Inductive hypothesis

Inductive conclusion

Weak Induction

Strong Induction

Inductive hypothesis

Inductive conclusion

Page 11: Induction

Another math exampleClaim: For ,

11

Page 12: Induction

Number theory exampleClaim: For any natural integer , is divisible by .

12

Page 13: Induction

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

Page 14: Induction

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

Page 15: Induction

Next class• Induction with graphs, stamps, and games

15