CLASSIFYING SMALL GRAPHS

Similar documents
2. If C is the midpoint of AB and B is the midpoint of AE, can you say that the measure of AC is 1/4 the measure of AE?

This puzzle is based on the following anecdote concerning a Hungarian sociologist and his observations of circles of friends among children.

Which two rectangles fit together, without overlapping, to make a square?

Grade 7/8 Math Circles November 3/4, M.C. Escher and Tessellations


Graph Theory Problems and Solutions

Tessellating with Regular Polygons

S on n elements. A good way to think about permutations is the following. Consider the A = 1,2,3, 4 whose elements we permute with the P =

Sum of Degrees of Vertices Theorem

Graph Theory Lecture 3: Sum of Degrees Formulas, Planar Graphs, and Euler s Theorem Spring 2014 Morgan Schreffler Office: POT 902

Drawing a histogram using Excel

6.3 Conditional Probability and Independence

Class One: Degree Sequences

x x y y Then, my slope is =. Notice, if we use the slope formula, we ll get the same thing: m =

Math 475, Problem Set #13: Answers. A. A baton is divided into five cylindrical bands of equal length, as shown (crudely) below.

1. I have 4 sides. My opposite sides are equal. I have 4 right angles. Which shape am I?

Lecture 17 : Equivalence and Order Relations DRAFT

Section 1.5 Exponents, Square Roots, and the Order of Operations

11.3 Curves, Polygons and Symmetry

SPRING UNIT 14. second half. Line symmetry and reflection. Measuring angles. Naming and estimating angles. Drawing angles

Lesson 26: Reflection & Mirror Diagrams

ALGEBRA. sequence, term, nth term, consecutive, rule, relationship, generate, predict, continue increase, decrease finite, infinite

Planar Graphs. Complement to Chapter 2, The Villas of the Bellevue

6.4 Normal Distribution

Zero-knowledge games. Christmas Lectures 2008

Data Structures. Chapter 8

Unit 8 Angles, 2D and 3D shapes, perimeter and area

Grade 3 Core Standard III Assessment

Set Theory: Shading Venn Diagrams

Graphing Parabolas With Microsoft Excel

Lecture 8 : Coordinate Geometry. The coordinate plane The points on a line can be referenced if we choose an origin and a unit of 20

2. Select Point B and rotate it by 15 degrees. A new Point B' appears. 3. Drag each of the three points in turn.

Introduction to Fractions

DETERMINE whether the conditions for a binomial setting are met. COMPUTE and INTERPRET probabilities involving binomial random variables

Lesson 1. Basics of Probability. Principles of Mathematics 12: Explained! 314

OA4-13 Rounding on a Number Line Pages 80 81

Angle Vocabulary, Complementary & Supplementary Angles

Formal Languages and Automata Theory - Regular Expressions and Finite Automata -

OA3-10 Patterns in Addition Tables

Organizing image files in Lightroom part 2

Algebra II A Final Exam

1 Shapes of Cubic Functions

Area and Perimeter: The Mysterious Connection TEACHER EDITION

Computing the Symmetry Groups of the Platonic Solids With the Help of Maple

A permutation can also be represented by describing its cycles. What do you suppose is meant by this?

Lesson #13 Congruence, Symmetry and Transformations: Translations, Reflections, and Rotations

1974 Rubik. Rubik and Rubik's are trademarks of Seven Towns ltd., used under license. All rights reserved. Solution Hints booklet

VISUAL ALGEBRA FOR COLLEGE STUDENTS. Laurie J. Burton Western Oregon University

Geometry Chapter Point (pt) 1.1 Coplanar (1.1) 1.1 Space (1.1) 1.2 Line Segment (seg) 1.2 Measure of a Segment

Chapter 3.1 Angles. Geometry. Objectives: Define what an angle is. Define the parts of an angle.

Computer Algorithms. NP-Complete Problems. CISC 4080 Yanjun Li

Years after US Student to Teacher Ratio

Level 1 - Maths Targets TARGETS. With support, I can show my work using objects or pictures 12. I can order numbers to 10 3

Reading 13 : Finite State Automata and Regular Expressions

Lecture 16 : Relations and Functions DRAFT

ELECTRIC FIELD LINES AND EQUIPOTENTIAL SURFACES

Transformations Worksheet. How many units and in which direction were the x-coordinates of parallelogram ABCD moved? C. D.

Linear Programming Notes VII Sensitivity Analysis

Just the Factors, Ma am

STAT 35A HW2 Solutions

10.1. Solving Quadratic Equations. Investigation: Rocket Science CONDENSED

Angle - a figure formed by two rays or two line segments with a common endpoint called the vertex of the angle; angles are measured in degrees

3.1. Angle Pairs. What s Your Angle? Angle Pairs. ACTIVITY 3.1 Investigative. Activity Focus Measuring angles Angle pairs

A TRIED AND TRUE, VIRTUALLY PAINLESS STRATEGIC PLANNING PROCESS GOALS OF THE TRAINING

EVERY DAY COUNTS CALENDAR MATH 2005 correlated to

AK 4 SLUTSKY COMPENSATION

Vieta s Formulas and the Identity Theorem

Coin Flip Questions. Suppose you flip a coin five times and write down the sequence of results, like HHHHH or HTTHT.

Equations. #1-10 Solve for the variable. Inequalities. 1. Solve the inequality: Solve the inequality: 4 0

So far we have investigated combinational logic for which the output of the logic devices/circuits depends only on the present state of the inputs.

CK-12 Geometry: Parts of Circles and Tangent Lines

Unit 19: Probability Models

DDBA 8438: Introduction to Hypothesis Testing Video Podcast Transcript

Determine If An Equation Represents a Function

Year 9 mathematics test

1. The volume of the object below is 186 cm 3. Calculate the Length of x. (a) 3.1 cm (b) 2.5 cm (c) 1.75 cm (d) 1.25 cm

Chapter 3. The Concept of Elasticity and Consumer and Producer Surplus. Chapter Objectives. Chapter Outline

Experiment # 9. Clock generator circuits & Counters. Eng. Waleed Y. Mousa

Geometer s Sketchpad. Discovering the incenter of a triangle

Outline 2.1 Graph Isomorphism 2.2 Automorphisms and Symmetry 2.3 Subgraphs, part 1

Module 3: Floyd, Digital Fundamental

Unit 1 Number Sense. In this unit, students will study repeating decimals, percents, fractions, decimals, and proportions.

E XPLORING QUADRILATERALS

Lecture 12: More on Registers, Multiplexers, Decoders, Comparators and Wot- Nots

MD5-26 Stacking Blocks Pages

Polynomial and Rational Functions

Pocantico Hills School District Grade 1 Math Curriculum Draft

Geometry Module 4 Unit 2 Practice Exam

Math Games For Skills and Concepts

MODERN APPLICATIONS OF PYTHAGORAS S THEOREM

To design digital counter circuits using JK-Flip-Flop. To implement counter using 74LS193 IC.

Characteristics of Binomial Distributions

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

MATH STUDENT BOOK. 8th Grade Unit 6

Glencoe. correlated to SOUTH CAROLINA MATH CURRICULUM STANDARDS GRADE 6 3-3, , , 4-9

2x + y = 3. Since the second equation is precisely the same as the first equation, it is enough to find x and y satisfying the system

Performance Assessment Task Which Shape? Grade 3. Common Core State Standards Math - Content Standards

Number Sense and Operations

ISAT Mathematics Performance Definitions Grade 4

MEASURES OF VARIATION

Transcription:

CLASSIFYING SMALL GRAPHS For graphs that have few vertices, it is practical to write down a list of all the possible shapes that graph can take. We say we have classified the graphs with n vertices if we have a list of graphs so that every graph with n vertices is isomorphic to just one graph on that list. Another way we say this is that, up to isomorphism, the list contains all the possible graphs with n vertices. For very small n, it is possible to do the classification by brute force. We start with no edges, find all the places we can add an edge, find all the places we can add a second edge, and so forth. For n just a bit larger, we need some help. We need to have a clear idea of what symmetry means, and we need the concept of the complement of a graph. 1. Complements If a graph has a lot of edges, it is often easier to describe it in terms of the gaps. Definition 1. If G is a graph, then the complement Ḡ is another graph, with the same set of vertices as G, but where for v w there is an edge between v and w in Ḡ if and only if there is not an edge between v and w in G. So if this is G, G : a c b e d f 1

CLASSIFYING SMALL GRAPHS 2 then here is Ḡ : Ḡ : a c b e d f If G has n vertices, then the degree of v in Ḡ is (n 1) minus the degree of v in G. This checks out in the example just given, where G has degree sequence (1, 2, 2, 3, 3, 3) and taking these values away from 5 we get (4, 3, 3, 2, 2, 2), and indeed, the degree sequence of Ḡ is (2, 2, 2, 3, 3, 4). 2. Symmetries In some cases, we can see a symmetry in a graph based on the way it is drawn. Consider the following graph: 9 8 3 2 10 4 1 7 5 6 11 12

CLASSIFYING SMALL GRAPHS 3 We can rotate the picture by π/3 and the picture of the graph looks the same except the number on the vertices have changed: 9 8 8 7 3 2 2 1 10 4 1 7 9 3 6 12 5 6 11 12 4 5 10 11 The symmetry we want is the symmetry of the graph, not the picture. A symmetry of a graph is an isomorphism of teh graph with itself. In this case, the symmetry we found by rotating the picture is this: ϕ : {1, 2,..., 12} {1, 2,..., 12}, 1 2 2 3 3 4 4 5 5 6 6 1 7 8 8 9 9 10 10 11 11 12 12 7. If we flip the pciture, it looks different: 11 12 5 6 10 4 1 7 3 2 9 8 but there is another isomorphism here: ψ : {1, 2,..., 12} {1, 2,..., 12}, 1 1 2 6 3 5 4 4 5 3 6 2 7 11 8 10 9 9 10 8 11 7 12 12.

CLASSIFYING SMALL GRAPHS 4 We can see this on the diagram if we change the labels in one copy: 9 8 9 10 3 2 5 6 10 4 1 7 8 4 1 11 5 6 11 12 3 2 7 12 3. 1 and 2 Vertices The most edges a graph with n vertices can have is n(n 1) 2. So a graph with one vertex cannot have any edges. up to isomorphism, the only graph possible is this: We saw that one the vertices {1, 2}, there 2 = 2 1 possible graphs. Either there is one edge or none, and this are not isomorpic. Up to isomorphism, the possible graphs are: 4. 3 Vertices We saw that there are 8 = 2 3 possible graphs on a set of 3 vertices. But how many of these are isomorphic to each other? (What are the isomorphism classes?) While 1 1 3 3 2 2 these are isomorphic, as the following labels show. A 1 C 3 = C 1 B 3 B 2 A 2

CLASSIFYING SMALL GRAPHS 5 All the graphs on three vertices with two edges are isomorphic, so we have at least four isomorphism classes, represented by These have different numbers of edges, so no two cannot be isomorpic. The point to this is that any graph with 3 vertices will be isomorpic to exactly one of these four graphs. 5. 4 Vertices We now calculate all the possible 4-vertex graphs, up to isomorphism. We work our way up, starting with no edges and then finding all the places we can add an edge. No edges, only one way to go: There are 6 places to add an edge to this, but these are all isomorphic. So we toss all but the first:, We could have save some effort if we had first noticed that there are lots of symmetries of the graph E : in fact there for every pair of vertices, there is a symmetry that moves that pair to the top two vertices. We can say every pair of vertices is like any other so it does not matter where we add the first edge.

CLASSIFYING SMALL GRAPHS 6 Now starting with our single one-edge graph, we find there are 5 places to add an edge. However, there is a symmetry of that flips the top two vertices, and there is one that flips the bottom two vertices. Either the new edge goes between the two unattacted vertices, or it must attach a top vertex to a bottom vertex, and it does not matter which top vertex and which bottom vertex. So the single one-edge graph spawns two two-edge graphs:, The first graph has symmetries flip the top two or the bottom two vertices, so there is really only one way to add an edge connect the a top vertex to a bottom vertex. The second two-edge graph, 1 2 0 1 has only one symmetry, that which exchanges the two vertices of degree one. So we can add an edge in several essentially different ways: connect a degree-one to the degree zero; connect a degree-one to the other degree-one; connect a degree zero to a degree two:,, The first is a repeat of a graph we saw in the first list, so we drop it. There are, up to isomorphism, three graphs with four vertices and three edges:

CLASSIFYING SMALL GRAPHS 7 Now we can take complements of the graphs we found with twoedges: = = Taking complements of our single graph with one edge, and the single graph with no edges, finishes our search: To summarize, every graph with 4 vertices is isomorphic to one of the following 11 graphs, no two of which are isomorphic:

CLASSIFYING SMALL GRAPHS 8