CHAPTER IV: GRAPH THEORY. Section 1: Introduction to Graphs

Similar documents
Lecture 2: Spectra of Graphs

1.2 Binomial Coefficients and Subsets

The isoperimetric problem on the hypercube

n n B. How many subsets of C are there of cardinality n. We are selecting elements for such a

Strong Complementary Acyclic Domination of a Graph

Counting the Number of Minimum Roman Dominating Functions of a Graph

New Results on Energy of Graphs of Small Order

A study on Interior Domination in Graphs

Lecture 1: Introduction and Strassen s Algorithm

Assignment 5; Due Friday, February 10

MAXIMUM MATCHINGS IN COMPLETE MULTIPARTITE GRAPHS

Combination Labelings Of Graphs

Planar graphs. Definition. A graph is planar if it can be drawn on the plane in such a way that no two edges cross each other.

Graphs ORD SFO LAX DFW

Relationship between augmented eccentric connectivity index and some other graph invariants

5.3 Recursive definitions and structural induction

Alpha Individual Solutions MAΘ National Convention 2013

15-859E: Advanced Algorithms CMU, Spring 2015 Lecture #2: Randomized MST and MST Verification January 14, 2015

On (K t e)-saturated Graphs

Ones Assignment Method for Solving Traveling Salesman Problem

Some non-existence results on Leech trees

Chapter 10. Defining Classes. Copyright 2015 Pearson Education, Ltd.. All rights reserved.

Bezier curves. Figure 2 shows cubic Bezier curves for various control points. In a Bezier curve, only

Module 8-7: Pascal s Triangle and the Binomial Theorem

On Infinite Groups that are Isomorphic to its Proper Infinite Subgroup. Jaymar Talledo Balihon. Abstract

Visualization of Gauss-Bonnet Theorem

Graphs ORD SFO LAX DFW. Lecture notes adapted from Goodrich and Tomassia. 3/14/18 10:28 AM Graphs 1

Thompson s Group F (p + 1) is not Minimally Almost Convex

c-dominating Sets for Families of Graphs

A Note on Chromatic Transversal Weak Domination in Graphs

COSC 1P03. Ch 7 Recursion. Introduction to Data Structures 8.1

Name of the Student: Unit I (Logic and Proofs) 1) Truth Table: Conjunction Disjunction Conditional Biconditional

3. b. Present a combinatorial argument that for all positive integers n : : 2 n

9.1. Sequences and Series. Sequences. What you should learn. Why you should learn it. Definition of Sequence

INTERSECTION CORDIAL LABELING OF GRAPHS

Recursive Procedures. How can you model the relationship between consecutive terms of a sequence?

Some cycle and path related strongly -graphs

Super Vertex Magic and E-Super Vertex Magic. Total Labelling

CS 111: Program Design I Lecture 21: Network Analysis. Robert H. Sloan & Richard Warner University of Illinois at Chicago April 10, 2018

. Written in factored form it is easy to see that the roots are 2, 2, i,

An Efficient Algorithm for Graph Bisection of Triangularizations

The number n of subintervals times the length h of subintervals gives length of interval (b-a).

Recursion. Recursion. Mathematical induction: example. Recursion. The sum of the first n odd numbers is n 2 : Informal proof: Principle:

2 X = 2 X. The number of all permutations of a set X with n elements is. n! = n (n 1) (n 2) nn e n

Counting Regions in the Plane and More 1

1 Graph Sparsfication

Sum-connectivity indices of trees and unicyclic graphs of fixed maximum degree

Symmetric Class 0 subgraphs of complete graphs

Average Connectivity and Average Edge-connectivity in Graphs

Administrative UNSUPERVISED LEARNING. Unsupervised learning. Supervised learning 11/25/13. Final project. No office hours today

Parabolic Path to a Best Best-Fit Line:

NTH, GEOMETRIC, AND TELESCOPING TEST

Protected points in ordered trees

Python Programming: An Introduction to Computer Science

Parametric curves. Reading. Parametric polynomial curves. Mathematical curve representation. Brian Curless CSE 457 Spring 2015

Lecture 5. Counting Sort / Radix Sort

BOOLEAN MATHEMATICS: GENERAL THEORY

A RELATIONSHIP BETWEEN BOUNDS ON THE SUM OF SQUARES OF DEGREES OF A GRAPH

Project 2.5 Improved Euler Implementation

A New Morphological 3D Shape Decomposition: Grayscale Interframe Interpolation Method

Task scenarios Outline. Scenarios in Knowledge Extraction. Proposed Framework for Scenario to Design Diagram Transformation

Chapter 9. Pointers and Dynamic Arrays. Copyright 2015 Pearson Education, Ltd.. All rights reserved.

Octahedral Graph Scaling

Lecturers: Sanjam Garg and Prasad Raghavendra Feb 21, Midterm 1 Solutions

An Efficient Algorithm for Graph Bisection of Triangularizations

Chapter 3 Classification of FFT Processor Algorithms

Matrix representation of a solution of a combinatorial problem of the group theory

EVALUATION OF TRIGONOMETRIC FUNCTIONS

Exact Minimum Lower Bound Algorithm for Traveling Salesman Problem

Journal of Mathematical Nanoscience. Sanskruti Index of Bridge Graph and Some Nanocones

Numerical Methods Lecture 6 - Curve Fitting Techniques

Introduction to Sigma Notation

CSE 417: Algorithms and Computational Complexity

Lecture 6. Lecturer: Ronitt Rubinfeld Scribes: Chen Ziv, Eliav Buchnik, Ophir Arie, Jonathan Gradstein

THE COMPETITION NUMBERS OF JOHNSON GRAPHS

arxiv: v2 [cs.ds] 24 Mar 2018

SD vs. SD + One of the most important uses of sample statistics is to estimate the corresponding population parameters.

Minimum Spanning Trees

Lecture 9: Exam I Review

CIS 121 Data Structures and Algorithms with Java Fall Big-Oh Notation Tuesday, September 5 (Make-up Friday, September 8)

EE123 Digital Signal Processing

Examples and Applications of Binary Search

The Adjacency Matrix and The nth Eigenvalue

Minimum Spanning Trees. Application: Connecting a Network

Compactness of Fuzzy Sets

Graceful Labelings of Pendant Graphs

A Variant of Pascal s Triangle Dennis Van Hise Stetson University

Reading. Parametric curves. Mathematical curve representation. Curves before computers. Required: Angel , , , 11.9.

Takashi Tsuboi Graduate School of Mathematical Sciences, the University of Tokyo, Japan

On Characteristic Polynomial of Directed Divisor Graphs

Computers and Scientific Thinking

The Platonic solids The five regular polyhedra

Python Programming: An Introduction to Computer Science

The Counterchanged Crossed Cube Interconnection Network and Its Topology Properties

FURTHER INTEGRATION TECHNIQUES (TRIG, LOG, EXP FUNCTIONS)

CS 683: Advanced Design and Analysis of Algorithms

Computational Geometry

Recursion. Computer Science S-111 Harvard University David G. Sullivan, Ph.D. Review: Method Frames

Hamiltonian-T*- Laceability in Jump Graphs Of Diameter Two

Pattern Recognition Systems Lab 1 Least Mean Squares

Transcription:

CHAPTER IV: GRAPH THEORY Sectio : Itroductio to Graphs Sice this class is called Number-Theoretic ad Discrete Structures, it would be a crime to oly focus o umber theory regardless how woderful those topics are. I this sectio, we will itroduce a popular object of study i discrete mathematics that have a iterestig applicatio to umber theory. I am a umber theorist after all. Defiitio 4.. A graph G is a pair of sets i which every elemet of the secod set is a uordered pair of elemets from the first. The elemets of the first set are called the vertices of the graph ad the elemets of the secod set are called the edges. The vertex set will be deoted by V ( G ) ad the edge set by E( G ). Usually, the vertex set is ot allowed to be empty or ifiite (although ifiite graphs do exist) however the edge set is ca be empty. Example 4..2 The pair of sets V ( G ) = {,2,3, 4} ad E( G ) = {{, 2},{,3},{2, 4},{3, 4}} forms a graph G. For simplicity, we will deote the edge set as E( G ) = {2,3,24,34}. Graphs are most ofte studied by drawig them graphically. The vertices are represeted by dots ad the edges are lie segmets (or arcs) coectig the correct vertices. For example, the graph of Example 4..2 would look like: 2 Example 4..3 Let graph G have V ( G ) = {, 2,3, 4} ad E( G ) = {4,3, 23,34}. 2 Example 4..4 Let graph G have V ( G ) = {, 2, 3, 4,5, 6} ad E( G ) = {2,5, 25,34,36, 46}. 4 2 5 3 6 Notice that sice the edges are deoted by uordered pairs, there are two ways to deote each edge. The edge coectig vertices ad 4 i the above graph could be 4 or 4. I will usually default to writig the lower umber first.

Example 4..5 What are the vertex ad edge sets for the graph represeted below? V ( G ) = {,2,3, 4,5} ad E( G ) = {2,3,4,5, 23, 45}. Exercise 4..6 What are the vertex ad edge sets for the graph represeted below? 4 2 5 3 6 Defiitio 4..7 A graph is coected if there is a path of edges betwee every pair of vertices. Otherwise it is called discoected. The graphs depicted i Examples 4..3 ad 4..6 are coected. Example 4..4 is discoected. There is o path from vertex to vertex 3 (for example). Exercise 4..8 How may distict paths ca you fid betwee vertices ad 2? Each path must start at ad ed at 2. It ca repeat vertices, but ot edges. As alluded to above, there are some special cases to cosider. Example 4..9 Let V ( G ) = {,2,3, 4} ad E( G ) =. Graphs of this type are called totally discoected graphs. 2

Example 4..0 Let V ( G ) = {, 2,3} ad E( G ) = {,2,3, 23}. The edge is called a loop. Example 4.. Let V ( G ) = {, 2,3, 4, 5} ad E( G ) = {3,3,4, 23, 45, 45}. Here we see multiple edges. Defiitio 4..2 A simple graph is a graph with o loops or multiple edges. If two vertices are coected by a edge, they are said to be adjacet to oe aother or eighbors. The degree of a vertex (i a simple graph) is its umber of eighbors. For the vertex v, its degree is deoted by d( v ). [Note: Geeralizig the otio of degree to graphs with loops ad multiple edges ca be doe, but we will geerally restrict ourselves to simple graphs.] A complete graph is oe i which every pair of distict vertices are coected by a edge. The complete graph with vertices is deoted by K. Example 4..3 Cosider the simple graph from Example 4..3. Fid the degree of each vertex. d () = 2, d (2) =, d (3) = 3, d (4) = 2 Example 4..4 K 3 ad K 4 2 It might be time for a little history. It is ofte difficult to pipoit the birth of a field of mathematics. With graph theory, that s ot the case. The birth of graph theory is geerally cosidered to be aroud 736, whe Leohard Euler solved a logstadig problem called the Köigsberg Bridge Problem. Köigsberg was a tow i Prussia located o the Pregel river. The city occupied two islads i the river plus areas o both baks. These regios were coected by seve bridges (see picture).

The residets wodered whether they could leave their home, take a log walk through tow i which they visited every bridge exactly oce, ad the retur to their home. If we represet this tow by a graph (the vertices are the 4 regios of tow ad the edges are the 7 bridges), we get somethig like the followig graph: Euler was able to show that o such path existed. Paths of that kid are ow called Euleria circuits ad graph that have them are called Euleria graphs. Defiitio 4..5 A graph is Euleria is there exists a path begiig ad edig at the same vertex which uses every edge oce ad oly oce. Example 4..6 Cosider the graph from Example 4..8: Startig with vertex, we ca fid a Euleria circuit as follows:,3,2,,5,4. Notice this path begis ad eds at the same vertex ad uses every edge exactly oce.

Example 4..7 The graph from Example 4.. however, has o Euleria circuit. I ay Euleria circuit, there must be at least two edges at every vertex; oe to eter ad oe to leave. But the degree of vertex 2 is. Exercise 4..8 Fid a Euleria circuit i the give graph or explai how you kow there is t oe. You may write your circuit like I did i Example 4..6. Theorem 4..9 A coected graph with at least oe vertex is Euleria if ad oly if every vertex has eve degree. Example 4..20 Note that there are may ways to represet a graph. What the graph looks like is ot importat, just the relatioships betwee vertices it represets. Cosider V ( G ) = {,2,3, 4,5} ad E( G ) = {2,3,4, 24, 45,35}. Each of the visual represetatios below is accurate.

Defiitio 4..2 A vertex decompositio of a graph G is a uordered pair of subsets { U, U 2} of the vertex set of G with () U U2 = V ( G), ad (2) U U2 =. Sice the pair of subsets form a partitio of V ( G ), we actually oly eed to explicitly defie oe of the subsets ad the other would be everythig else. A vertex is special with respect to the vertex decompositio { U, V ( G) U} if it is adjacet to a odd umber of vertices i the subset to which it does ot belog. We deote the set of special vertices by P( G, U ). Example 4..22 Cosider the graph G : 2 5 If we let U = {, 2}, the we have V ( G) U = {3, 4,5}. We ca see that the vertex is adjacet to oly oe vertex i V ( G) U ad the vertex 3 is adjacet to oly oe vertex i U. All other vertices are adjacet to a eve umber of vertices i the subset to which they do ot belog. Therefore, for this vertex decompositio, P( G, U ) = {,3}. If we had chose a differet vertex decompositio, say U = {,3}, we would possibly get a differet set of special vertices (i this case P( G, U ) = ). Theorem 4..23 (a) For ay graph G, P( G, U ) = P( G, V ( G) U ). (b) P( G, ) =. (c) If G is a totally discoected graph, the P( G, U ) = for ay U V ( G). (d) If G= K (with eve), the for ay subset U V ( G) with a odd umber of vertices, P( K, U ) = V ( K ). (e) If G= K (with odd), the for ay oempty proper subset U V ( G) (i.e. U ad U V ( K ) ), P( K, U ). to U Several parts of this theorem are quite trivial (how ca ay vertex be special with respect =?), but you re asked to prove them i the last exercise. Exercise 4..24 Prove Theorem 4..23.