Σ 2i = 2 k i=0 CSC 225: Proof of the Day

Slides:



Advertisements
Similar presentations
CS 336 March 19, 2012 Tandy Warnow.
Advertisements

Octagonal Drawing Johan van Rooij. Overview What is an octagonal drawing Good slicing graphs Octagonal drawing algorithm for good slicing graphs Correctness.
Trees Chapter 11.
Advanced Topics in Algorithms and Data Structures
Chapter 9 Graphs.
Every edge is in a red ellipse (the bags). The bags are connected in a tree. The bags an original vertex is part of are connected.
22C:19 Discrete Structures Induction and Recursion Spring 2014 Sukumar Ghosh.
Chapter 10: Trees. Definition A tree is a connected undirected acyclic (with no cycle) simple graph A collection of trees is called forest.
Greedy Algorithms Greed is good. (Some of the time)
22C:19 Discrete Structures Trees Spring 2014 Sukumar Ghosh.
CompSci 102 Discrete Math for Computer Science April 19, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Midwestern State University Department of Computer Science Dr. Ranette Halverson CMPS 2433 CHAPTER 4 - PART 2 GRAPHS 1.
Last time: terminology reminder w Simple graph Vertex = node Edge Degree Weight Neighbours Complete Dual Bipartite Planar Cycle Tree Path Circuit Components.
Graphs and Trees This handout: Trees Minimum Spanning Tree Problem.
A tree is a simple graph satisfying: if v and w are vertices and there is a path from v to w, it is a unique simple path. a b c a b c.
Graph Colouring Lecture 20: Nov 25.
Rooted Trees. More definitions parent of d child of c sibling of d ancestor of d descendants of g leaf internal vertex subtree root.
Alyce Brady CS 510: Computer Algorithms Depth-First Graph Traversal Algorithm.
DAST 2005 Week 4 – Some Helpful Material Randomized Quick Sort & Lower bound & General remarks…
Coloring 3/16/121. Flight Gates flights need gates, but times overlap. how many gates needed? 3/16/122.
Let G be a pseudograph with vertex set V, edge set E, and incidence mapping f. Let n be a positive integer. A path of length n between vertex v and vertex.
May 5, 2015Applied Discrete Mathematics Week 13: Boolean Algebra 1 Dijkstra’s Algorithm procedure Dijkstra(G: weighted connected simple graph with vertices.
EECS 203: It’s the end of the class and I feel fine. Graphs.
ECE 250 Algorithms and Data Structures Douglas Wilhelm Harder, M.Math. LEL Department of Electrical and Computer Engineering University of Waterloo Waterloo,
May 1, 2002Applied Discrete Mathematics Week 13: Graphs and Trees 1News CSEMS Scholarships for CS and Math students (US citizens only) $3,125 per year.
Tree A connected graph that contains no simple circuits is called a tree. Because a tree cannot have a simple circuit, a tree cannot contain multiple.
CompSci 100e Program Design and Analysis II March 29, 2011 Prof. Rodger CompSci 100e, Spring20111.
1 CPSC 320: Intermediate Algorithm Design and Analysis July 9, 2014.
 Rooted tree and binary tree  Theorem 5.19: A full binary tree with t leaves contains i=t-1 internal vertices.
5.5.2 M inimum spanning trees  Definition 24: A minimum spanning tree in a connected weighted graph is a spanning tree that has the smallest possible.
MA/CSSE 473 Day 28 Dynamic Programming Binomial Coefficients Warshall's algorithm Student questions?
5.5.3 Rooted tree and binary tree  Definition 25: A directed graph is a directed tree if the graph is a tree in the underlying undirected graph.  Definition.
Shortest Path Algorithms. Definitions Variants  Single-source shortest-paths problem: Given a graph, finding a shortest path from a given source.
Graph Colouring L09: Oct 10. This Lecture Graph coloring is another important problem in graph theory. It also has many applications, including the famous.
Recursive Data Structures and Grammars  Themes  Recursive Description of Data Structures  Recursive Definitions of Properties of Data Structures  Recursive.
5.5.2 M inimum spanning trees  Definition 24: A minimum spanning tree in a connected weighted graph is a spanning tree that has the smallest possible.
Trees : Part 1 Section 4.1 (1) Theory and Terminology (2) Preorder, Postorder and Levelorder Traversals.
1 Problem of the Day: Describe using set descriptor notation the complements of (a) { , a, aa, aaa} over ∑ = {a} (b) { , a, aa, aaa} over ∑ = {a,b} (c)
1 1.Write down the permutations that are the automorphisms of this graph. 2.Write the cycle structure notation for each of the automorphisms. 3.How many.
Graph Colouring Lecture 20: Nov 25. This Lecture Graph coloring is another important problem in graph theory. It also has many applications, including.
Design and Analysis of Algorithms (09 Credits / 5 hours per week) Sixth Semester: Computer Science & Engineering M.B.Chandak
CHAPTER 11 TREES INTRODUCTION TO TREES ► A tree is a connected undirected graph with no simple circuit. ► An undirected graph is a tree if and only.
NPC.
Prims Algorithm for finding a minimum spanning tree
Graphs Definition: a graph is an abstract representation of a set of objects where some pairs of the objects are connected by links. The interconnected.
1 Create a NDFA which accepts the language generated by this context-free grammar. Start symbol: S S → aa S S → ε S → M M → bbb M → ab M M → b S M → E.
1 Trees : Part 1 Reading: Section 4.1 Theory and Terminology Preorder, Postorder and Levelorder Traversals.
Code: BCA302 Data Structures with C Prof. (Dr.) Monalisa Banerjee By.
Trees.
1 COMP2121 Discrete Mathematics Introduction Hubert Chan [O1 Abstract Concepts] [O2 Proof Techniques] [O3 Basic Analysis Techniques]
CSCE 210 Data Structures and Algorithms
EECS 203 Lecture 19 Graphs.
Outline Introducing perfect binary trees Definitions and examples
Source Code for Data Structures and Algorithm Analysis in C (Second Edition) – by Weiss
Introduction to Trees Section 11.1.
EECS 203 Lecture 20 More Graphs.
Cinda Heeren / Geoffrey Tien
Lecture 17 CSE 331 Oct 3, 2014.
Taibah University College of Computer Science & Engineering Course Title: Discrete Mathematics Code: CS 103 Chapter 10 Trees Slides are adopted from “Discrete.
CSE 421: Introduction to Algorithms
CSE 311 Foundations of Computing I
Lecture 16 CSE 331 Oct 4, 2017.
CSE 421: Introduction to Algorithms
Lecture 11 CSE 331 Sep 23, 2011.
Mathematics for Computer Science MIT 6.042J/18.062J
Prove this problem is in NP
Math/CSE 1019: Discrete Mathematics for Computer Science Fall 2011
Lecture 15 CSE 331 Oct 4, 2010.
CSE 311 Foundations of Computing I
Presentation transcript:

Σ 2i = 2 k+1 - 1 i=0 CSC 225: Proof of the Day Prove by induction that: k Σ 2i = 2 k+1 - 1 i=0 Put your name on your answer and hand in your proof. All attempts will be given full participation marks (correct or not).

Announcements Note: The midterm is scheduled on Wed. Oct. 26 so that I can hand it back marked before the drop deadline (Oct. 31). Any questions about the course outline? Assignment #1 and Tutorial #1 are posted. Tutorials start next week. Bring your schedule to class on Tuesday (to help me in choosing office hours).

Duncan Hogg (dshogg@uvic.ca), ECS 230 Computer Science COOP Application deadline: Thursday Sept. 15 Application form available outside the ECSM Co-op Office (ECS 204). To learn more about the Co-operative Education Program and and Career Services on campus, visit: http://www.uvic.ca/coopandcareer OR see/email: Duncan Hogg (dshogg@uvic.ca), ECS 230 Computer Science also offers a work experience program for students wanting the benefits of work experience but not a full COOP program.

Hamilton Cycles A cycle which includes all the vertices of a graph. Fullerenes: 3-regular planar graphs, face sizes 5 and 6. Conjecture: Every fullerene has at least one Hamilton cycle.

The Petersen graph has no Hamilton cycles.

Review of Induction

Overview Questions from last class Review of induction Induction is very similar to recursion and one goal of this class is to become skilled at writing recursive programs. It is a useful tool for proving that programs are correct. Time complexities of algorithms will be computed by solving recurrence relations. Induction can then be used to prove that the answers you find are correct.

Natural Numbers = { 0, 1, 2, 3, 4, … } Inductive Definition: [Basis] 0 is in the set [Inductive step]: If k is in then k+1 is in

Complete Binary Trees: Height 0 Height 1 Height 2 Height 3

root vertex Leaves: vertices with one incident edge Height: maximum distance from root to a leaf measured by number of edges on the path.

Height 0 Height 1 Height 1 Height 2 Height 2 Height 3

Height 0 Height 1 Height 1 Height 2 Height 2 Height 3

r r1 r2

How can we give an inductive definition of a complete binary tree of height h? How many nodes does a complete binary tree of height h have? Prove the answer is correct by induction. Create a recurrence relation T(h) where T(h) gives the number of nodes of a complete binary tree of height h. Solve your recurrence relation and prove the answer is correct by induction.