More Induction Discrete Structures (CS 173) Madhusudan Parthasarathy, University of Illinois 1 A Pork-Butchers Shop Seen from a Window Van Gogh.

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)
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.
UCI ICS/Math 6D5-Recursion -1 Strong Induction “Normal” Induction “Normal” Induction: If we prove that 1) P(n 0 ) 2) For any k≥n 0, if P(k) then P(k+1)
The Game of Nim on Graphs: NimG By Gwendolyn Stockman With: Alan Frieze, and Juan Vera.
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.
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.
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 (chapter of the book and chapter of the notes)
Advanced Induction Discrete Structures (CS 173) Madhusudan Parthasarathy, University of Illinois 1 Drawing hands by Escher.
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
CSE 311 Foundations of Computing I Lecture 15 Recursive Definitions and Structural Induction Autumn 2011 CSE 3111.
Proofs, Induction and Recursion Basic Proof Techniques Mathematical Induction Recursive Functions and Recurrence Relations.
Graphs and Isomorphisms Discrete Structures (CS 173) Madhusudan Parthasarathy, University of Illinois Backyards of Old Houses in Antwerp in the Snow Van.
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.
Relations Discrete Structures (CS 173)
CS 103 Discrete Structures Lecture 13 Induction and Recursion (1)
01/29/13 Number Theory: Factors and Primes Discrete Structures (CS 173) Madhusudan Parthasarathy, University of Illinois Boats of Saintes-Maries Van Gogh.
1 INFO 2950 Prof. Carla Gomes Module Induction Rosen, Chapter 4.
1 Mathematical Induction CS 202 Epp, chapter 4. 2.
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,
Other Forms of Induction CS 270 Math Foundations of CS Jeremy Johnson.
03/05/13 More Induction Discrete Structures (CS 173) Derek Hoiem, University of Illinois 1 Artist: Frank.
01/24/13 Strategies for Proofs Discrete Structures (CS 173) Madhusudan Parthasarathy, University of Illinois Landscape with House and Ploughman Van Gogh.
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.
CSE 311 Foundations of Computing I Lecture 15 Strong Induction and Recursive Definitions Spring
Mathematical Induction And Recursion Discrete Math Team KS MATEMATIKA DISKRIT (DISCRETE MATHEMATICS ) 1.
Chapter 5 1. Chapter Summary  Mathematical Induction  Strong Induction  Recursive Definitions  Structural Induction  Recursive Algorithms.
Great Theoretical Ideas in Computer Science
Advanced Algorithms Analysis and Design
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:
Proofs, Recursion and Analysis of Algorithms
Induction and recursion
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...
Presentation transcript:

More Induction Discrete Structures (CS 173) Madhusudan Parthasarathy, University of Illinois 1 A Pork-Butchers Shop Seen from a Window Van Gogh

Midterm grades 2

Does domino n fall? 3

4

5

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

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

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

Induction template 9

Graph coloring 10

Graph coloring 11

Graph coloring 12

Greedy graph coloring algorithm 13

Postage example (with strong induction) 14 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) 15 Claim: Every amount of postage that is at least 12 cents can be made from 4- and 5-cent stamps.

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.

Program verification 18

Puzzle 19

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 20

Next class Recursive definitions 21