Connection MATH Connection. Benjamin V.C. Collins, James A. Swenson MATH 2730

Similar documents
1 Hamiltonian properties

Massachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr.

Hamiltonian Graphs Graphs

8.3 Hamiltonian Paths and Circuits

Sets II MATH Sets II. Benjamin V.C. Collins, James A. Swenson MATH 2730

LECTURE 1: INTRODUCTION

Algorithms and Theory of Computation. Lecture 22: NP-Completeness (2)

Ngày 20 tháng 7 năm Discrete Optimization Graphs

Relations MATH Relations. Benjamin V.C. Collins, James A. Swenson MATH 2730

Unit 7 Day 4 Section 4.5 & Practice Hamiltonian Circuits and Paths

14 Equivalence Relations

Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730

Exam EDAF August Thore Husfeldt

NP-completeness. Chapter 34. Sergey Bereg

1.4 Equivalence Relations and Partitions

Bounds on the Traveling Salesman Problem

CS 320, Fall Dr. Geri Georg, Instructor 320 NP 1

Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic).

The P versus NP Problem. Ker-I Ko. Stony Brook, New York

Exam EDAF May 2011, , Vic1. Thore Husfeldt

Hamiltonian Cycle. Zero Knowledge Proof

Ring Sums, Bridges and Fundamental Sets

MATH 22 HAMILTONIAN GRAPHS. Lecture V: 11/18/2003

Graph fundamentals. Matrices associated with a graph

Binomial Coefficients MATH Benjamin V.C. Collins, James A. Swenson MATH 2730

The main limitation of the concept of a. function

Automata and Languages

July 18, Approximation Algorithms (Travelling Salesman Problem)

D1 Discrete Mathematics The Travelling Salesperson problem. The Nearest Neighbour Algorithm The Lower Bound Algorithm The Tour Improvement Algorithm

Relations. Definition 1 Let A and B be sets. A binary relation R from A to B is any subset of A B.

CS 583: Algorithms. NP Completeness Ch 34. Intractability

Warm-up Find the shortest trip (total distance) starting and ending in Chicago and visiting each other city once.

CS/COE

Discrete Mathematics. Benny George K. September 22, 2011

Generalized knight s tours on rectangular chessboards

RECAP: Extremal problems Examples

Graphic sequences, adjacency matrix

Intro to Contemporary Math

Midterm 1. Your Exam Room: Name of Person Sitting on Your Left: Name of Person Sitting on Your Right: Name of Person Sitting in Front of You:

8. INTRACTABILITY I. Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley. Last updated on 2/6/18 2:16 AM

Hamiltonian Cycle. Hamiltonian Cycle

INF210 Datamaskinteori (Models of Computation)

STRATEGIES OF PROBLEM SOLVING

Check off these skills when you feel that you have mastered them. Write in your own words the definition of a Hamiltonian circuit.

Definition of Algebraic Graph and New Perspective on Chromatic Number

Preliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)}

Tractable & Intractable Problems

Worksheet on Relations

SAT, Coloring, Hamiltonian Cycle, TSP

Math 2534 Solution to Test 3A Spring 2010

Topics in Graph Theory

Circuits. CSE 373 Data Structures

Advanced Topics in Discrete Math: Graph Theory Fall 2010

NP-Completeness. CptS 223 Advanced Data Structures. Larry Holder School of Electrical Engineering and Computer Science Washington State University

Greatest Common Divisor MATH Greatest Common Divisor. Benjamin V.C. Collins, James A. Swenson MATH 2730

Polynomial-Time Reductions

Problem Set 3 Due: Wednesday, October 22nd, 2014

MATH CIRCLE Session # 2, 9/29/2018

Laceable Knights. Michael Dupuis, Univ. of St. Thomas, St. Paul, Minnesota, USA

HW Graph Theory SOLUTIONS (hbovik) - Q

Institute of Operating Systems and Computer Networks Algorithms Group. Network Algorithms. Tutorial 3: Shortest paths and other stuff

Hamiltonian circuits in Cayley digraphs. Dan Isaksen. Wayne State University

Research Collection. Grid exploration. Master Thesis. ETH Library. Author(s): Wernli, Dino. Publication Date: 2012

Relations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook)

ASSIGNMENT 1 SOLUTIONS

Malaya J. Mat. 2(3)(2014)

Partial cubes: structures, characterizations, and constructions

A Dynamic Programming Approach to Counting Hamiltonian Cycles in Bipartite Graphs

Lecture 4: NP and computational intractability

Cycles in 4-Connected Planar Graphs

HAMILTONICITY AND FORBIDDEN SUBGRAPHS IN 4-CONNECTED GRAPHS

Reading 11 : Relations and Functions

Hamiltonian cycles in circulant digraphs with jumps 2, 3, c [We need a real title???]

Optimization Prof. A. Goswami Department of Mathematics Indian Institute of Technology, Kharagpur. Lecture - 20 Travelling Salesman Problem

Algorithms Design & Analysis. Approximation Algorithm

CSC Discrete Math I, Spring Relations

Graphs with few total dominating sets

Observation 4.1 G has a proper separation of order 0 if and only if G is disconnected.

On uniquely 3-colorable plane graphs without prescribed adjacent faces 1

A Markov Chain Inspired View of Hamiltonian Cycle Problem

Traveling Salesman Problem

Graph Theory. Thomas Bloom. February 6, 2015

UCSD CSE 21, Spring 2014 [Section B00] Mathematics for Algorithm and System Analysis

Theory of Computer Science. Theory of Computer Science. E5.1 Routing Problems. E5.2 Packing Problems. E5.3 Conclusion.

NP and Computational Intractability

Graph Algorithms in Bioinformatics

Exam Practice Problems

COMP4141 Theory of Computation

} } } Lecture 23: Computational Complexity. Lecture Overview. Definitions: EXP R. uncomputable/ undecidable P C EXP C R = = Examples

5. Partitions and Relations Ch.22 of PJE.

Chapter 9: Relations Relations

Data Structures and Algorithms

Graduate Algorithms CS F-21 NP & Approximation Algorithms

arxiv:math/ v1 [math.gt] 14 Nov 2003

Chapter 2 - Relations

CS 70 Discrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Midterm 1 Solutions

MATH 2200 Final Review

International Journal of Trend in Research and Development, Volume 3(5), ISSN: Hamiltonian and Eulerian Cycles

Design and Analysis of Algorithms

Graph G = (V, E). V ={vertices}, E={edges}. V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)}

Transcription:

MATH 2730 Benjamin V.C. Collins James A. Swenson

Traveling Salesman Problem Image: Padberg-Rinaldi, 1987: 532 cities http://www.tsp.gatech.edu/data/usa/tours.html

Walks in a graph Let G = (V, E) be a graph. A walk in G is a non-empty list of vertices in which each vertex is adjacent to the next: W = (v 0, v 1,..., v l ) such that v 0 v 1 v l. The number l N is the length of W (even though W contains l + 1 vertices).

Walks from a to b The walk W = (v 0, v 1,..., v l ) is called an (a, b)-walk provided a = v 0 and b = v l. Example In the graph below, W = (r, w, u, t, u, s) is an (r, s)-walk.

New walks from old The reversal of the walk W = (v 0, v 1,..., v l ) is W 1 = (v l,..., v 1, v 0 ). Let W 1 = (v 0, v 1,..., v l ) and W 2 = (w 0, w 1,..., w k ) be walks. If v l = w 0, then we can define the concatenation W 1 + W 2 = (v 0, v 1,..., v l, w 1,..., w k ), which is a walk of length l + k.

Paths in a graph A path is a walk in which no vertex is repeated. An (a, b)-path is a path that begins at a and ends at b. Example In the graph below, W 1 = (r, w, u, t, u, s) is a walk, but not a path; W 2 = (w, r, u, s, t, v) and W 3 = (s) are paths.

Why vertices, and not edges? Proposition Let P be a walk in the graph G. If P is a path, then P does not use any edge of G more than once. Proof. We prove the contrapositive. Let P be a walk in G. Suppose that P uses the edge {u, v} at least twice. Then wlog, P = u v u v... or P = u v v u.... In each case, u is repeated in P. Thus P is not a path.

Path graphs If V = {v 1,..., v n } and E = {{v k, v k+1 } : 1 k < n}, then (V, E) is called a path graph and denoted by P n. The longest walk in P n has length n 1. P 6

Some pairs of vertices are connected Let G = (V, E) be a graph, and let u, v V. We say u is connected to v provided there is a (u, v)-path in G. Example s is connected to t. s is not connected to w. Is s connected to s?

as a relation Theorem If G = (V, E) is a graph, then is connected to is an equivalence relation on V. Proof. Define R = {(u, v) V V : u is connected to v}. First, let a V. There is an (a, a)-path in G; namely, (a). Thus ara, so R is reflexive. Now suppose a, b V and arb. Then G contains an (a, b)-path P. Now G contains a (b, a)-path; namely, P 1. Thus bra, so R is symmetric. Finally, let a, b, c V such that arb and brc. Then G contains an (a, b)-path P 1 and a (b, c)-path P 2. The concatenation P 1 + P 2 is an (a, c)-walk in G. Then, for some reason by a lemma, G contains an (a, c)-path. Hence arc, so R is transitive.

Walks yield paths Lemma Let G = (V, E) be a graph, and let x, y V. If there is an (x, y)-walk in G, then there is an (x, y)-path in G. Proof. Suppose G contains an (x, y)-walk. By the Well-Ordering Principle, there exists an (x, y)-walk P of minimal length in G. Sftsoc that P is not a path. Let u be a vertex that is repeated in P. Delete a portion of P between two copies of u, including one of the two copies. The result is an (x, y)-walk P in G that is shorter than P, but this is impossible. Thus G contains an (x, y)-path; namely, P. P = (x,..., v j, u, v k,..., y)

Components With this lemma, we have finished the proof that is-connected-to is an equivalence relation on V. This means that the vertices of G form equivalence classes: if a V, then [a] = {v V : a is connected to v}. Let G = (V, E) be a graph and let a V. Then [a] V is an equivalence class for the is-connected-to relation, and the induced subgraph G[[a]] is called a component of G.

Connected graphs Let G = (V, E) be a graph. We say G is connected provided that any two vertices of G are connected. Proposition A graph G is connected if and only if G has exactly one component.

Disconnection Let G = (V, E) be a graph. We say v V is a cut vertex provided that G v has more components than G. We say e E is a cut edge provided that G e has more components than G. Example The graph shown has one cut vertex and one cut edge.

How many pieces can you make? Theorem If G is a connected graph and e = {x, y} is a cut edge in G, then H = G e has two components; namely, H[[x]] and H[[y]]. Proof. (See proof in textbook.) Remark If G is a connected graph and v is a cut vertex in G, then the number of components in G may be any number between 2 and d(v).

paths Let G be a graph. A path P in G is called provided that P contains every vertex of G. Sir William Rowan Hamilton (1805-1865) http://www-history.mcs.st-and.ac.uk/biographies/hamilton.html

Knight s Tour http://en.wikipedia.org/wiki/rules of chess http://www-history.mcs.st-and.ac.uk/biographies/euler.html

A knight s tour found by Euler (1758) E. Sandifer, http://www.maa.org/editorial/euler/how Euler Did It 30 Knights tour.pdf

5 5 knight s tour Proposition A knight s tour exists on a 5 5 chessboard. Proof. a 5 b 5 c 5 d 5 e 5 a 4 b 4 c 4 d 4 e 4 There is a path in the graph shown; namely, a 3 b 3 c 3 d 3 e 3 a 2 b 2 c 2 d 2 e 2 P = (c 3, e 4, c 5, a 4, b 2, d 1, e 3, d 5, b 4, a 2, c 1, e 2, d 4, b 5, a 3, b 1, d 2, c 4, e 5, d 3, e 1, c 2, a 1, b 3, a 5 ). a 1 b 1 c 1 d 1 e 1

4 4 knight s tour? Theorem There is no knight s tour on a 4 4 chessboard. Proof. Sftsoc that P is a knight s tour on a 4 4 chessboard. Color the board in various ways, as shown. P must alternate between black and white squares. Sftsoc that P also alternates blue and yellow squares. Then wlog every square visited is blue/white or yellow/black, so the bottom-right square is not visited. So P does not alternate blue and yellow squares. However, it is impossible to move from one yellow square to another. Since there are 4 squares with each pair of colors, the squares of P must be yellow and blue as follows: (y, b, y, b, y, b, y, b, b, y, b, y, b, y, b, y). Likewise, the squares must be red and green in the pattern (r, g, r, g, r, g, r, g, g, r, g, r, g, r, g, r). Now the 8 th and 9 th squares in P are blue/green.

That was a lot of work. Remark It is usually fairly easy to show that G has a path (if it does), but extremely difficult to show that G does not have a path (even if it doesn t).