Today. Types of graphs. Complete Graphs. Trees. Hypercubes.

Similar documents
CS70 - Lecture 6. Graphs: Coloring; Special Graphs. 1. Review of L5 2. Planar Five Color Theorem 3. Special Graphs:

Connecting Statements. Today. First there was logic jumping forward.. ..and then proofs and then induction...

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 7

1 / 43. Today. Finish Euclid. Bijection/CRT/Isomorphism. Fermat s Little Theorem. Review for Midterm.

Today. Finish Euclid. Bijection/CRT/Isomorphism. Review for Midterm.

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao,David Tse Note 8

Ma/CS 6b Class 5: Graph Connectivity

Discrete Mathematics for CS Spring 2008 David Wagner Note 13. An Introduction to Graphs

MC 302 GRAPH THEORY 10/1/13 Solutions to HW #2 50 points + 6 XC points

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2

Lecture 5: Graphs. Graphs! Euler Definitions: model. Fact! Euler Again!! Planar graphs. Euler Again!!!!

Assignment 4 Solutions of graph problems

5 Graphs

Notebook Assignments

2. CONNECTIVITY Connectivity

Basic Combinatorics. Math 40210, Section 01 Fall Homework 4 Solutions

Discrete Mathematics and Probability Theory Spring 2015 Vazirani Note 5

Introduction III. Graphs. Motivations I. Introduction IV

CS256 Applied Theory of Computation

An Introduction to Graph Theory

Professor: Padraic Bartlett. Lecture 9: Trees and Art Galleries. Week 10 UCSB 2015

On Two Short Proofs About List Coloring Graphs

Solving Linear Recurrence Relations (8.2)

v V Question: How many edges are there in a graph with 10 vertices each of degree 6?

Definition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, v-path. 1

Introduction to Graph Theory

Problem Set 2 Solutions

Definition 1.1. A matching M in a graph G is called maximal if there is no matching M in G so that M M.

Ma/CS 6b Class 11: Kuratowski and Coloring

Crossing bridges. Crossing bridges Great Ideas in Theoretical Computer Science. Lecture 12: Graphs I: The Basics. Königsberg (Prussia)

Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem

CMSC 380. Graph Terminology and Representation

Simple Graph. General Graph

1. a graph G = (V (G), E(G)) consists of a set V (G) of vertices, and a set E(G) of edges (edges are pairs of elements of V (G))

K 4 C 5. Figure 4.5: Some well known family of graphs

Exemples of LCP. (b,3) (c,3) (d,4) 38 d

Graph Theory Mini-course

8 Colouring Planar Graphs

Key Graph Theory Theorems

A Random Walk through CS70

Lecture 22 Tuesday, April 10

Graphs and trees come up everywhere. We can view the internet as a graph (in many ways) Web search views web pages as a graph

Math 776 Graph Theory Lecture Note 1 Basic concepts

Elements of Graph Theory

W4231: Analysis of Algorithms

Math 778S Spectral Graph Theory Handout #2: Basic graph theory

CSE 20 DISCRETE MATH WINTER

Graph Definitions. In a directed graph the edges have directions (ordered pairs). A weighted graph includes a weight function.

Tolerance Representations of Graphs in Trees Nancy Eaton. Tolerance Representations of Graphs in Trees Lecture I. Tree Representations of Graphs

Planar graphs. Chapter 8

(Refer Slide Time: 0:19)

Course Introduction / Review of Fundamentals of Graph Theory

Week 7 Convex Hulls in 3D

CPSC 536N: Randomized Algorithms Term 2. Lecture 10

CS 217 Algorithms and Complexity Homework Assignment 2

Discrete mathematics II. - Graphs

Math 170- Graph Theory Notes

Lecture 4: Trees and Art Galleries

Induction Review. Graphs. EECS 310: Discrete Math Lecture 5 Graph Theory, Matching. Common Graphs. a set of edges or collection of two-elt subsets

Discrete mathematics , Fall Instructor: prof. János Pach

Maximal Monochromatic Geodesics in an Antipodal Coloring of Hypercube

Let s use a more formal definition. An angle is the union of two rays with a common end point.

Exercise set 2 Solutions

HW Graph Theory Name (andrewid) - X. 1: Draw K 7 on a torus with no edge crossings.

Graph Algorithms. Chromatic Polynomials. Graph Algorithms

Grade 7/8 Math Circles Graph Theory - Solutions October 13/14, 2015

Lecture 20 : Trees DRAFT

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department

1 Variations of the Traveling Salesman Problem

ECS 20 Lecture 17b = Discussion D8 Fall Nov 2013 Phil Rogaway

MAT 3271: Selected Solutions to the Assignment 6

2009 HMMT Team Round. Writing proofs. Misha Lavrov. ARML Practice 3/2/2014

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.

Definition: A graph G = (V, E) is called a tree if G is connected and acyclic. The following theorem captures many important facts about trees.

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,

MC302 GRAPH THEORY SOLUTIONS TO HOMEWORK #1 9/19/13 68 points + 6 extra credit points

Graph Algorithms. Andreas Klappenecker

CS70: Discrete Math and Probability. Fan Ye June 23, 2016

CS250: Discrete Math for Computer Science. L20: Complete Induction and Proof of Euler s Characterization of Eulerian-Walks

HW Graph Theory SOLUTIONS (hbovik)

To illustrate what is intended the following are three write ups by students. Diagonalization

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur

Graph Theory Day Four

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

CS 361 Data Structures & Algs Lecture 11. Prof. Tom Hayes University of New Mexico

INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES

Section 8.2 Graph Terminology. Undirected Graphs. Definition: Two vertices u, v in V are adjacent or neighbors if there is an edge e between u and v.

Antisymmetric Relations. Definition A relation R on A is said to be antisymmetric

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings

Notes 4 : Approximating Maximum Parsimony

CS2 Algorithms and Data Structures Note 10. Depth-First Search and Topological Sorting

Majority and Friendship Paradoxes

arxiv: v5 [cs.dm] 9 May 2016

List Coloring Graphs

Trapezoidal decomposition:

Notes slides from before lecture. CSE 21, Winter 2017, Section A00. Lecture 9 Notes. Class URL:

definition. An angle is the union of two rays with a common end point.

Let G = (V, E) be a graph. If u, v V, then u is adjacent to v if {u, v} E. We also use the notation u v to denote that u is adjacent to v.

Graph Theory. 1 Introduction to Graphs. Martin Stynes Department of Mathematics, UCC January 26, 2011

1. (15 points) Solve the decanting problem for containers of sizes 199 and 179; that is find integers x and y satisfying.

Transcription:

Today. Types of graphs. Complete Graphs. Trees. Hypercubes.

Complete Graph. K n complete graph on n vertices. All edges are present. Everyone is my neighbor. Each vertex is adjacent to every other vertex. How many edges? Each vertex is incident to n 1 edges. Sum of degrees is n(n 1). = Number of edges is n(n 1)/2. Remember sum of degree is 2 E.

K 4 and K 5 K 5 is not planar. Cannot be drawn in the plane without an edge crossing! Prove it! Read Note 5!!

Trees! Graph G = (V,E). Binary Tree! More generally.

Trees: Definitions Definitions: A connected graph without a cycle. A connected graph with V 1 edges. A connected graph where any edge removal disconnects it. A connected graph where any edge addition creates a cycle. Some trees. no cycle and connected? Yes. V 1 edges and connected? Yes. removing any edge disconnects it. Harder to check. but yes. Adding any edge creates cycle. Harder to check. but yes. Tree or not tree!

Equivalence of Definitions Thm: G connected and has V 1 edges G is connected and has no cycles. v Proof of = (only if): By induction on V. Base Case: V = 1. 0 = V 1 edges and has no cycles. Induction Step: Assume for G with up to k vertices. Prove for k + 1 Consider some vertex v in G. How is it connected to the rest of G? Might it be connected by just 1 edge? Is there a Degree 1 vertex? Is the rest of G connected?

Equivalence of Definitions: Useful Lemma Theorem: G connected and has V 1 edges G is connected and has no cycles. Lemma: If v is a degree 1 in connected graph G, G v is connected. Proof: For x v,y v V, there is path between x and y in G since connected. and does not use v (degree 1) = G v is connected. v y x

Proof of only if. Thm: G connected and has V 1 edges G is connected and has no cycles. Proof of = : By induction on V. Base Case: V = 1. 0 = V 1 edges and has no cycles. Induction Step: Assume for G with up to k vertices. Prove for k + 1 Claim: There is a degree 1 node. Proof: First, connected = every vertex degree 1. Sum of degrees is 2 V 2 Average degree 2 (2/ V ) Not everyone is bigger than average! By degree 1 removal lemma, G v is connected. G v has V 1 vertices and V 2 edges so by induction = no cycle in G v. And no cycle in G since degree 1 cannot participate in cycle. v

Proof of if part Thm: G is connected and has no cycles = G connected and has V 1 edges Proof: Can we use the degree 1 idea again? Walk from a vertex using untraversed edges and vertices. Until get stuck. Why? Finitely-many vertices, no cycle! Claim: Degree 1 vertex. Proof of Claim: Can t visit more than once since no cycle. Entered. Didn t leave. Only one incident edge. Removing node doesn t create cycle. New graph is connected. (from our Degree 1 lemma). By induction G v has V 2 edges. G has one more or V 1 edges.

Hypercubes. Complete graphs, really well connected! Lots of edges. V ( V 1)/2 Trees, connected, few edges. ( V 1) Hypercubes. Well connected. V log V edges! Also represents bit-strings nicely. G = (V,E) V = {0,1} n, E = {(x,y) x and y differ in one bit position.} 0 1 01 11 00 10 2 n vertices. number of n-bit strings! n2 n 1 edges. 2 n vertices each of degree n total degree is n2 n and half as many edges! 001 011 000 101 111 100 010 110

Recursive Definition. A 0-dimensional hypercube is a node labelled with the empty string of bits. An n-dimensional hypercube consists of a 0-subcube (1-subcube) which is a n 1-dimensional hypercube with nodes labelled 0x (1x) with the additional edges (0x, 1x).

Hypercube: Can t cut me! Thm: Any subset S of the hypercube where S V /2 has S edges connecting it to V S: E S (V S) S Terminology: (S,V S) is cut. (E S (V S)) - cut edges. Restatement: for any cut in the hypercube, the number of cut edges is at least the size of the small side.

Proof of Large Cuts. Thm: For any cut (S,V S) in the hypercube, the number of cut edges is at least the size of the small side. Proof: Base Case: n = 1 V= {0,1}. S = {0} has one edge leaving. S = /0 has 0.

Induction Step Idea Thm: For any cut (S,V S) in the hypercube, the number of cut edges is at least the size of the small side. Use recursive definition into two subcubes. Two cubes connected by edges. Case 1: Count edges inside subcube inductively. Case 2: Count inside and across.

Induction Step Thm: For any cut (S,V S) in the hypercube, the number of cut edges is at least the size of the small side, S. Proof: Induction Step. Recursive definition: H 0 = (V 0,E 0 ),H 1 = (V 1,E 1 ), edges E x that connect them. H = (V 0 V 1,E 0 E 1 E x ) S = S 0 S 1 where S 0 in first, and S 1 in other. Case 1: S 0 V 0 /2, S 1 V 1 /2 Both S 0 and S 1 are small sides. So by induction. Edges cut in H 0 S 0. Edges cut in H 1 S 1. Total cut edges S 0 + S 1 = S.

Induction Step. Case 2. Thm: For any cut (S,V S) in the hypercube, the number of cut edges is at least the size of the small side, S. Proof: Induction Step. Case 2. S 0 V 0 /2. Recall Case 1: S 0, S 1 V /2 S 1 V 1 /2 since S V /2. = S 1 edges cut in E 1. S 0 V 0 /2 = V 0 S 0 V 0 /2 = V 0 S 0 edges cut in E 0. Edges in E x connect corresponding nodes. = = S 0 S 1 edges cut in E x. Total edges cut: S 1 + V 0 S 0 + S 0 S 1 = V 0 V 0 = V /2 S. Also, case 3 where S 1 V /2 is symmetric.

Hypercubes and Boolean Functions. The cuts in the hypercubes are exactly the transitions from 0 sets to 1 set on boolean functions on {0,1} n. Central area of study in computer science! Yes/No Computer Programs Boolean function on {0,1} n Central object of study.