03/05/13 More Induction Discrete Structures (CS 173) Derek Hoiem, University of Illinois 1 Artist: Frank.

Slides:



Advertisements
Similar presentations
Extensible Networking Platform CSE 240 – Logic and Discrete Mathematics Review: Mathematical Induction Use induction to prove that the sum of the.
Advertisements

Review for CS1050. Review Questions Without using truth tables, prove that  (p  q)   q is a tautology. Prove that the sum of an even integer and an.
22C:19 Discrete Structures Induction and Recursion Fall 2014 Sukumar Ghosh.
Mathematical induction Isaac Fung. Announcement ► Homework 1 released ► Due on 6 Oct 2008 (in class)
1 Discrete Structures & Algorithms Graphs and Trees: III EECE 320.
Introduction to CS Theory Lecture 2 – Discrete Math Revision Piotr Faliszewski
Mathematical Induction II Lecture 14: Nov
Mathematical Induction
Induction and Recursion. Odd Powers Are Odd Fact: If m is odd and n is odd, then nm is odd. Proposition: for an odd number m, m k is odd for all non-negative.
UCI ICS/Math 6A, Summer Recursion -1 after Strong Induction “Normal” Induction “Normal” Induction: If we prove.
Induction Lecture 5: Sep 21 (chapter of the book and chapter of the notes)
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
Progressively Finite Games
Induction and recursion
Discrete Structures & Algorithms More on Methods of Proof / Mathematical Induction EECE 320 — UBC.
1.  The set N = {1,2,3,4,……..} is known as natural numbers or the set of positive integers  The natural numbers are used mainly for :  counting  ordering.
The Game of Nim on Graphs: NimG By Gwendolyn Stockman With: Alan Frieze, and Juan Vera.
CSE 321 Discrete Structures Winter 2008 Lecture 12 Induction.
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
CSE115/ENGR160 Discrete Mathematics 03/22/12 Ming-Hsuan Yang UC Merced 1.
CSE115/ENGR160 Discrete Mathematics 03/31/11
Lecture ,3.3 Sequences & Summations Proof by Induction.
View from 30,000 feet and Introduction to Graph Problems Lecture 19 CS 312.
Using Reduction for the Game of NIM. At each turn, a player chooses one pile and removes some sticks. The player who takes the last stick wins. Problem:
1 Discrete Math CS 2800 Prof. Bart Selman Module Induction.
Mathematical Induction Readings on induction. (a) Weiss, Sec. 7.2, page 233 (b) Course slides for lecture and notes recitation. Every criticism from a.
Fall 2004COMP 3351 Regular Expressions. Fall 2004COMP 3352 Regular Expressions Regular expressions describe regular languages Example: describes the language.
1 Mathematical Induction. 2 Mathematical Induction: Example  Show that any postage of ≥ 8¢ can be obtained using 3¢ and 5¢ stamps.  First check for.
Induction and recursion
Lecture 3.1: Mathematical Induction CS 250, Discrete Structures, Fall 2014 Nitesh Saxena Adopted from previous lectures by Cinda Heeren, Zeph Grunschlag.
1 Introduction to Abstract Mathematics Chapter 4: Sequences and Mathematical Induction Instructor: Hayk Melikya 4.1- Sequences. 4.2,
A few leftover Decrease-and-conquer Algorithms
04/09/13 Proof by Contradiction Discrete Structures (CS 173) Derek Hoiem, University of Illinois 1.
Proofs, Induction and Recursion Basic Proof Techniques Mathematical Induction Recursive Functions and Recurrence Relations.
ICS 253: Discrete Structures I Induction and Recursion King Fahd University of Petroleum & Minerals Information & Computer Science Department.
Based on Rosen, Discrete Mathematics & Its Applications, 5e Prepared by (c) Michael P. Frank Modified by (c) Haluk Bingöl 1/18 Module.
CS 103 Discrete Structures Lecture 13 Induction and Recursion (1)
1 INFO 2950 Prof. Carla Gomes Module Induction Rosen, Chapter 4.
1 Mathematical Induction CS 202 Epp, chapter 4. 2.
More Trees Discrete Structures (CS 173)
PROBLEM-SOLVING TECHNIQUES Rocky K. C. Chang November 10, 2015.
Mathematical Induction Section 5.1. Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If.
CompSci 102 Discrete Math for Computer Science March 13, 2012 Prof. Rodger Slides modified from Rosen.
Chapter 5. Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If we can reach.
Proofs, Recursion and Analysis of Algorithms Mathematical Structures for Computer Science Chapter 2 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesProofs,
More Induction Discrete Structures (CS 173) Madhusudan Parthasarathy, University of Illinois 1 A Pork-Butchers Shop Seen from a Window Van Gogh.
COMPSCI 102 Introduction to Discrete Mathematics.
Prove that: odd + odd = even even + even = even odd + even = odd even + odd = odd.
03/12/13 Trees and CFGs Discrete Structures (CS 173) Derek Hoiem, University of Illinois 1.
9/29/2011Lecture Strong Induction1 Lecture 3.2: Strong Induction CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures.
Induction and Recursion CSC-2259 Discrete Structures Konstantin Busch - LSU1.
Chapter 5 1. Chapter Summary  Mathematical Induction  Strong Induction  Recursive Definitions  Structural Induction  Recursive Algorithms.
MA/CSSE 473 Day 19 Sleepsort Finish Nim Josephus problem
Great Theoretical Ideas in Computer Science
EECS 203: Discrete Mathematics
Mathematical Induction II
Induction and recursion
Proof by Contradiction
Chapter 5 Induction and Recursion
Discrete Math for CS CMPSC 360 LECTURE 4 Last time and recitations:
Discrete Mathematics and its Applications
Induction and recursion
Lecture 3.2: Induction and Strong Induction (contd.)
Follow me for a walk through...
Prof. Johnnie Baker Module Induction
Induction Chapter
Advanced Analysis of Algorithms
Induction Rosen 5 Lecture 8: Oct 29, 30.
Follow me for a walk through...
Proof by Contradiction
Presentation transcript:

03/05/13 More Induction Discrete Structures (CS 173) Derek Hoiem, University of Illinois 1 Artist: Frank

HW problem 2a 2

Midterm feedback (from TAs) 3

Does domino n fall? 4

5

6

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

Basic structure of induction proof 8 Inductive hypothesis Inductive conclusion Weak Induction Strong Induction

Today’s lecture More examples of induction proofs – Graph coloring – Multiple base cases – Another strong induction – Prime factorization – Towns connected by one-way streets 9

Graph coloring 10

Graph coloring 11

Greedy graph coloring 12

Postage example (with strong induction) 13 Claim: Every amount of postage that is at least 12 cents can be made from 4- and 5-cent stamps.

Postage example (with strong induction) 14

Towns with one-way roads 15 Claim: Suppose that a set of towns are connected by one way roads, such that each town has at least one road leading into it. There must be one town that has a (directed) path to every other town.

Nim 16 Nim: Two piles, two piles of matches. Each player takes turns removing any number of matches from either pile. Player that takes last match wins. Claim: If the two piles contain the same number of matches at the start of the game, then the second player can always win.

Prime factorization 17 Claim: Every positive integer can be written as the product of primes.

Tips for induction Induction always involves proving a claim for a set of integers (e.g., number of nodes in a graph) Sketch out a few simple cases to help determine the base case and strategy for induction – How many base cases are needed? – How does the next case follow from the base cases? Carefully write the full inductive hypothesis and what you need to show Make sure that your induction step uses the inductive hypothesis to reach the conclusion 18

Next class Recursive definitions 19