Graph Isomorphism. Algorithms and networks

Size: px
Start display at page:

Download "Graph Isomorphism. Algorithms and networks"

Transcription

1 Graph Isomorphism Algorithms and networks

2 Today Graph isomorphism: definition Complexity: isomorphism completeness The refinement heuristic Isomorphism for trees Rooted trees Unrooted trees Graph Isomorphism 2

3 Graph Isomorphism Two graphs G=(V,E) and H=(W,F) are isomorphic if there is a bijective function f: V W such that for all v, w V: {v,w} E {f(v),f(w)} F Graph Isomorphism 3

4 Applications Chemistry: databases of molecules (etc.) Actually needed: canonical form of molecule structure / graph Design verification Software plagiarism detection Speeding up algorithms for highly symmetric graphs Graph Isomorphism 4

5 Variant for labeled graphs Let G = (V,E), H=(W,F) be graphs with vertex labelings l: V L, l L. G and H are isomorphic labeled graphs, if there is a bijective function f: V W such that For all v, w V: {v,w} E {f(v),f(w)} F For all v V: l(v) = l (f(v)). Application: organic chemistry: determining if two molecules are identical. Graph Isomorphism 5

6 Complexity of graph isomorphism Problem is in NP, but No NP-completeness proof is known No polynomial time algorithm is known If GI is NP-complete, then strange things happen Polynomial time hierarchy collapses to a finite level If P NP NP-complete? Graph isomorphism NP P Graph Isomorphism 6

7 Algorithmic bound Theorem (Babai, 2017) Graph Isomorphism can be solved in time 2 O((logn) for some constant c. c ) Quasipolynomial time Better than anything known for NP-hard problems Graph Isomorphism 7

8 Isomorphism-complete Problems are isomorphismcomplete, if they are `equally hard as graph isomorphism Isomorphism of bipartite graphs Isomorphism of labeled graphs Automorphism of graphs Given: a graph G=(V,E) Question: is there a non-trivial automorphism Graph Isomorphism 8

9 Automorphism An automorphism is a bijective function f: V V with for all v,w V: {v,w} E, if and only if {f(v),f(w)} E. A non-trivial automorphism is an automorphism that is not the identity G 1 has 6 automorphisms, and 5 nontrivial automorphisms G 2 has 2 automorphisms, and 1 nontrivial automorphism v G 2 w G 1 Graph Isomorphism 9

10 More isomorphism complete problems Finding a graph isomorphism f Isomorphism of semi-groups Isomorphism of finite automata Isomorphism of finite algebra s Isomorphism of Connected graphs Directed graphs Regular graphs Perfect graphs Chordal graphs Graphs that are isomorphic with their complement Graph Isomorphism 10

11 Special cases are easier Polynomial time algorithms for Graphs of bounded degree Planar graphs Trees Bounded treewidth This course Expected polynomial time for random graphs Graph Isomorphism 11

12 An equivalence relation on vertices Say v ~ w, if and only if there is an automorphism mapping v to w. ~ is an equivalence relation Partitions the vertices in automorphism classes Tells on structure of graph Graph Isomorphism 12

13 Iterative vertex partition heuristic: the idea Partition the vertices of G and H in classes Each class for G has a corresponding class for H. Property: vertices in class must be mapped to vertices in corresponding class Refine classes as long as possible When no refinement possible, check all possible ways that `remain. Graph Isomorphism 13

14 Iterative vertex partition heuristic skeleton Partition the vertices of G and H in classes If v and w are in different classes, there is no isomorphism or automorphism mapping v to w Repeat Refine the classes Until we do not find refinements Solve Graph Isomorphism 14

15 Iterative vertex partition heuristic If V W, or E F, output: no. Done. Otherwise, we partition the vertices of G and H into classes, such that Each class for G has a corresponding class for H If f is an isomorphism from G to H, then f(v) belongs to the class, corresponding to the class of v. First try: vertices belong to the same class, when they have the same degree. If f is an isomorphism, then the degree of f(v) equals the degree of v for each vertex v. Graph Isomorphism 15

16 Scheme Start with sequence SG = (A 1 ) of subsets of G with A 1 =V, and sequence SH = (B 1 ) of subsets of H with B 1 =W. Repeat until Replace A i in SG by A i1,,a ir and replace B i in SH by B i1,,b ir. A i1,,a ir is partition of A i B i1,,b ir is partition of B i For each isormorphism f: v in A ij if and only if f(v) in B ij Graph Isomorphism 16

17 Possible refinement Count for each vertex in A i and B i how many neighbors they have in A j and B j for some i, j. Set A is = {v in A i v has s neighbors in A j }. Set B is = {v in B i v has s neighbors in B j }. Invariant: for all v in the ith set in SG, f(v) in the ith set in SH. If some A i B i, then stop: no isomorphism. Graph Isomorphism 17

18 Other refinements Partition upon other characteristics of vertices Label Number of vertices at distance d (in a set A i ). Graph Isomorphism 18

19 After refining If each A i contains one vertex: check the only possible isomorphism. Otherwise, cleverly enumerate all functions that are still possible, and check these. Works well in practice! Graph Isomorphism 19

20 Isomorphism on trees Linear time algorithm to test if two (labeled) trees are isomorphic. (Aho, Hopcroft, Ullman, 1974) Algorithm to test if two rooted trees are isomorphic. Used as a subroutine for unrooted trees. Graph Isomorphism 20

21 Rooted tree isomorphism For a vertex v in T, let T(v) be the subtree of T with v as root. Level of vertex: distance to root. If T 1 and T 2 have different number of levels: not isomorphic, and we stop. Otherwise, we continue: Graph Isomorphism 21

22 Structure of algorithm Tree is processed level by level, from bottom to root Processing a level: A long label for each vertex is computed This is transformed to a short label Vertices in the same layer whose subtrees are isomorphic get the same labels: If v and w on the same level, then L(v)=L(w), if and only if T(v) and T(w) are isomorphic with an isomorphism that maps v to w. Graph Isomorphism 22

23 Labeling procedure For each vertex, get the set of labels assigned to its children. Sort these sets. Bucketsort the pairs (L(w), v) for T 1, w child of v Bucketsort the pairs (L(w), v) for T 2, w child of v For each v, we now have a long label LL(v) which is the sorted set of labels of the children. Use bucketsort to sort the vertices in T 1 and T 2 such that vertices with same long label are consecutive in ordering. Graph Isomorphism 23

24 On sorting w.r.t. the long lists (1) Preliminary work: Sort the nodes is the layer on the number of children they have. Linear time. (Counting sort / Radix sort.) Make a set of pairs (j,i) with (j,i) in the set when the jth number in a long list is i. Radix sort this set of pairs. Graph Isomorphism 24

25 On sorting w.r.t. the long lists (2) Let q be the maximum length of a long list Repeat Distribute among buckets the nodes with at least q children, with respect to the qth label in their long list Nodes distributed in buckets in earlier round are taken here in the order as they appear in these buckets. The sorted list of pairs (j,i) is used to skip empty buckets in this step. q --; Until q=0. Graph Isomorphism 25

26 After vertices are sorted with respect to long label Give vertices with same long label same short label (start counting at 0), and repeat at next level. If we see that the set of labels for a level of T 1 is not equal to the set for the same level of T 2, stop: not isomorphic. Graph Isomorphism 26

27 Time One layer with n 1 nodes with n 2 nodes in next layer costs O(n 1 + n 2 ) time. Total time: O(n). Graph Isomorphism 27

28 Unrooted trees Center of a tree A vertex v with the property that the maximum distance to any other vertex in T is as small as possible. Each tree has a center of one or two vertices. Finding the center: Repeat until we have a vertex or a single edge: Remove all leaves from T. O(n) time: each vertex maintains current degree in variable. Variables are updated when vertices are removed, and vertices put in set of leaves when their degree becomes 1. Graph Isomorphism 28

29 Isomorphism of unrooted trees Note: the center must be mapped to the center If T 1 and T 2 both have a center of size 1: Use those vertices as root. If T 1 and T 2 both have a center of size 2: Try the two different ways of mapping the centers Or: subdivide the edge between the two centers and take the new vertices as root Otherwise: not isomorphic. 1 or 2 calls to isomorphism of rooted trees: O(n). Graph Isomorphism 29

30 Conclusions Similar methods work for finding automorphisms We saw: heuristic for arbitrary graphs, algorithm for trees There are algorithms for several special graph classes (e.g., planar graphs, graphs of bounded degree, ) The related Subgraph Isomorphism problem is NP-complete Graph Isomorphism 30

Let G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) be graphs. Introduction. Some facts about Graph Isomorphism. Proving Graph Isomorphism completeness

Let G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) be graphs. Introduction. Some facts about Graph Isomorphism. Proving Graph Isomorphism completeness Graph Let G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) be graphs. Algorithms and Networks Graph Hans Bodlaender and Stefan Kratsch March 24, 2011 An G 1 to G 2 is a bijection φ : V 1 V 2 s.t.: {u, v} E 1 {φ(u),

More information

Trees. 3. (Minimally Connected) G is connected and deleting any of its edges gives rise to a disconnected graph.

Trees. 3. (Minimally Connected) G is connected and deleting any of its edges gives rise to a disconnected graph. Trees 1 Introduction Trees are very special kind of (undirected) graphs. Formally speaking, a tree is a connected graph that is acyclic. 1 This definition has some drawbacks: given a graph it is not trivial

More information

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

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2 Graph Theory S I I S S I I S Graphs Definition A graph G is a pair consisting of a vertex set V (G), and an edge set E(G) ( ) V (G). x and y are the endpoints of edge e = {x, y}. They are called adjacent

More information

Treewidth and graph minors

Treewidth and graph minors Treewidth and graph minors Lectures 9 and 10, December 29, 2011, January 5, 2012 We shall touch upon the theory of Graph Minors by Robertson and Seymour. This theory gives a very general condition under

More information

Common Induced Subgraph Isomorphism Structural Parameterizations and Exact Algorithms

Common Induced Subgraph Isomorphism Structural Parameterizations and Exact Algorithms Common Induced Subgraph Isomorphism Structural Parameterizations and Exact Algorithms Faisal N. Abu-Khzam Department of Computer Science and Mathematics Lebanese American University Beirut, Lebanon Overview

More information

Graphs: Introduction. Ali Shokoufandeh, Department of Computer Science, Drexel University

Graphs: Introduction. Ali Shokoufandeh, Department of Computer Science, Drexel University Graphs: Introduction Ali Shokoufandeh, Department of Computer Science, Drexel University Overview of this talk Introduction: Notations and Definitions Graphs and Modeling Algorithmic Graph Theory and Combinatorial

More information

Math 776 Graph Theory Lecture Note 1 Basic concepts

Math 776 Graph Theory Lecture Note 1 Basic concepts Math 776 Graph Theory Lecture Note 1 Basic concepts Lectured by Lincoln Lu Transcribed by Lincoln Lu Graph theory was founded by the great Swiss mathematician Leonhard Euler (1707-178) after he solved

More information

54 Years of Graph Isomorphism Testing

54 Years of Graph Isomorphism Testing 54 Years of Graph Isomorphism Testing Brendan McKay Australian National University isomorphism 1 isomorphism 2 The concept of isomorphism We have some objects consisting of some finite sets and some relations

More information

Reachability in K 3,3 -free and K 5 -free Graphs is in Unambiguous Logspace

Reachability in K 3,3 -free and K 5 -free Graphs is in Unambiguous Logspace CHICAGO JOURNAL OF THEORETICAL COMPUTER SCIENCE 2014, Article 2, pages 1 29 http://cjtcs.cs.uchicago.edu/ Reachability in K 3,3 -free and K 5 -free Graphs is in Unambiguous Logspace Thomas Thierauf Fabian

More information

Elements of Graph Theory

Elements of Graph Theory Elements of Graph Theory Quick review of Chapters 9.1 9.5, 9.7 (studied in Mt1348/2008) = all basic concepts must be known New topics we will mostly skip shortest paths (Chapter 9.6), as that was covered

More information

CS 441 Discrete Mathematics for CS Lecture 26. Graphs. CS 441 Discrete mathematics for CS. Final exam

CS 441 Discrete Mathematics for CS Lecture 26. Graphs. CS 441 Discrete mathematics for CS. Final exam CS 441 Discrete Mathematics for CS Lecture 26 Graphs Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Final exam Saturday, April 26, 2014 at 10:00-11:50am The same classroom as lectures The exam

More information

arxiv: v2 [cs.dm] 2 Nov 2016

arxiv: v2 [cs.dm] 2 Nov 2016 Graph Isomorphism Restricted by Lists Pavel Klavík 1, Dušan Knop 2, and Peter Zeman 2 arxiv:1607.03918v2 [cs.dm] 2 Nov 2016 1 Computer Science Institute, Faculty of Mathematics and Physics, Charles University

More information

Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth

Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth Micha l Pilipczuk Institute of Informatics, University of Warsaw, Poland Workshop on Exact Algorithms and Lower

More information

Necessary edges in k-chordalizations of graphs

Necessary edges in k-chordalizations of graphs Necessary edges in k-chordalizations of graphs Hans L. Bodlaender Abstract In this note, we look at which edges must always be added to a given graph G = (V, E), when we want to make it a chordal graph

More information

Graph Theory. Part of Texas Counties.

Graph Theory. Part of Texas Counties. Graph Theory Part of Texas Counties. We would like to visit each of the above counties, crossing each county only once, starting from Harris county. Is this possible? This problem can be modeled as a graph.

More information

A NEW TEST FOR INTERVAL GRAPHS. Wen-Lian Hsu 1

A NEW TEST FOR INTERVAL GRAPHS. Wen-Lian Hsu 1 A NEW TEST FOR INTERVAL GRAPHS Wen-Lian Hsu 1 Institute of Information Science, Academia Sinica Taipei, Taiwan, Republic of China hsu@iis.sinica.edu.tw Abstract An interval graph is the intersection graph

More information

Applied Mathematics Letters. Graph triangulations and the compatibility of unrooted phylogenetic trees

Applied Mathematics Letters. Graph triangulations and the compatibility of unrooted phylogenetic trees Applied Mathematics Letters 24 (2011) 719 723 Contents lists available at ScienceDirect Applied Mathematics Letters journal homepage: www.elsevier.com/locate/aml Graph triangulations and the compatibility

More information

List Partitions of Chordal Graphs

List Partitions of Chordal Graphs List Partitions of Chordal Graphs Tomás Feder 268 Waverley St., Palo Alto, CA 94301, USA tomas@theory.stanford.edu, Pavol Hell School of Computing Science Simon Fraser University Burnaby, B.C., Canada

More information

Vertex Cover is Fixed-Parameter Tractable

Vertex Cover is Fixed-Parameter Tractable Vertex Cover is Fixed-Parameter Tractable CS 511 Iowa State University November 28, 2010 CS 511 (Iowa State University) Vertex Cover is Fixed-Parameter Tractable November 28, 2010 1 / 18 The Vertex Cover

More information

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial. 2301-670 Graph theory 1.1 What is a graph? 1 st semester 2550 1 1.1. What is a graph? 1.1.2. Definition. A graph G is a triple (V(G), E(G), ψ G ) consisting of V(G) of vertices, a set E(G), disjoint from

More information

GRAPH THEORY and APPLICATIONS. Matchings

GRAPH THEORY and APPLICATIONS. Matchings GRAPH THEORY and APPLICATIONS Matchings Definition Matching of a graph G: Any subset of edges M E such that no two elements of M are adjacent. Example: {e} {e,e5,e0} {e2,e7,e0} {e4,e6,e8} e4 e7 e8 e e2

More information

Ma/CS 6b Class 2: Matchings

Ma/CS 6b Class 2: Matchings Ma/CS 6b Class 2: Matchings By Adam Sheffer Send anonymous suggestions and complaints from here. Email: adamcandobetter@gmail.com Password: anonymous2 There aren t enough crocodiles in the presentations

More information

Computing optimal total vertex covers for trees

Computing optimal total vertex covers for trees Computing optimal total vertex covers for trees Pak Ching Li Department of Computer Science University of Manitoba Winnipeg, Manitoba Canada R3T 2N2 Abstract. Let G = (V, E) be a simple, undirected, connected

More information

Explanation for Tree isomorphism talk

Explanation for Tree isomorphism talk Joint Advanced Student School Explanation for Tree isomorphism talk by Alexander Smal (avsmal@gmail.com) Saint-Petersburg, Russia 2008 Abstract In this talk we considered a problem of tree isomorphism.

More information

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

v V Question: How many edges are there in a graph with 10 vertices each of degree 6? ECS20 Handout Graphs and Trees March 4, 2015 (updated 3/9) Notion of a graph 1. A graph G = (V,E) consists of V, a nonempty set of vertices (or nodes) and E, a set of pairs of elements of V called edges.

More information

Minimal Dominating Sets in Graphs: Enumeration, Combinatorial Bounds and Graph Classes

Minimal Dominating Sets in Graphs: Enumeration, Combinatorial Bounds and Graph Classes Minimal Dominating Sets in Graphs: Enumeration, Combinatorial Bounds and Graph Classes J.-F. Couturier 1 P. Heggernes 2 D. Kratsch 1 P. van t Hof 2 1 LITA Université de Lorraine F-57045 Metz France 2 University

More information

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

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department CS473-Algorithms I Lecture 3-A Graphs Graphs A directed graph (or digraph) G is a pair (V, E), where V is a finite set, and E is a binary relation on V The set V: Vertex set of G The set E: Edge set of

More information

1 Matchings in Graphs

1 Matchings in Graphs Matchings in Graphs J J 2 J 3 J 4 J 5 J J J 6 8 7 C C 2 C 3 C 4 C 5 C C 7 C 8 6 J J 2 J 3 J 4 J 5 J J J 6 8 7 C C 2 C 3 C 4 C 5 C C 7 C 8 6 Definition Two edges are called independent if they are not adjacent

More information

THE LEAFAGE OF A CHORDAL GRAPH

THE LEAFAGE OF A CHORDAL GRAPH Discussiones Mathematicae Graph Theory 18 (1998 ) 23 48 THE LEAFAGE OF A CHORDAL GRAPH In-Jen Lin National Ocean University, Taipei, Taiwan Terry A. McKee 1 Wright State University, Dayton, OH 45435-0001,

More information

Kernelization Upper Bounds for Parameterized Graph Coloring Problems

Kernelization Upper Bounds for Parameterized Graph Coloring Problems Kernelization Upper Bounds for Parameterized Graph Coloring Problems Pim de Weijer Master Thesis: ICA-3137910 Supervisor: Hans L. Bodlaender Computing Science, Utrecht University 1 Abstract This thesis

More information

Subgraph Isomorphism. Artem Maksov, Yong Li, Reese Butler 03/04/2015

Subgraph Isomorphism. Artem Maksov, Yong Li, Reese Butler 03/04/2015 Subgraph Isomorphism Artem Maksov, Yong Li, Reese Butler 03/04/2015 Similar Graphs The two graphs below look different but are structurally the same. Definition What is Graph Isomorphism? An isomorphism

More information

Graph Theory: Introduction

Graph Theory: Introduction Graph Theory: Introduction Pallab Dasgupta, Professor, Dept. of Computer Sc. and Engineering, IIT Kharagpur pallab@cse.iitkgp.ernet.in Resources Copies of slides available at: http://www.facweb.iitkgp.ernet.in/~pallab

More information

Graphs and Isomorphisms

Graphs and Isomorphisms Graphs and Isomorphisms Discrete Structures (CS 173) Backyards of Old Houses in Antwerp in the Snow Van Gogh Madhusudan Parthasarathy, University of Illinois Proof techniques: Direct Contrapositive Disproving

More information

Exercise set 2 Solutions

Exercise set 2 Solutions Exercise set 2 Solutions Let H and H be the two components of T e and let F E(T ) consist of the edges of T with one endpoint in V (H), the other in V (H ) Since T is connected, F Furthermore, since T

More information

Paths, Flowers and Vertex Cover

Paths, Flowers and Vertex Cover Paths, Flowers and Vertex Cover Venkatesh Raman, M.S. Ramanujan, and Saket Saurabh Presenting: Hen Sender 1 Introduction 2 Abstract. It is well known that in a bipartite (and more generally in a Konig)

More information

The Six Color Theorem

The Six Color Theorem The Six Color Theorem The Six Color Theorem Theorem. Let G be a planar graph. There exists a proper -coloring of G. Proof. Let G be a the smallest planar graph (by number of vertices) that has no proper

More information

ON THE STRUCTURE OF SELF-COMPLEMENTARY GRAPHS ROBERT MOLINA DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE ALMA COLLEGE ABSTRACT

ON THE STRUCTURE OF SELF-COMPLEMENTARY GRAPHS ROBERT MOLINA DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE ALMA COLLEGE ABSTRACT ON THE STRUCTURE OF SELF-COMPLEMENTARY GRAPHS ROBERT MOLINA DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE ALMA COLLEGE ABSTRACT A graph G is self complementary if it is isomorphic to its complement G.

More information

Bipartite Matching & the Hungarian Method

Bipartite Matching & the Hungarian Method Bipartite Matching & the Hungarian Method Last Revised: 15/9/7 These notes follow formulation originally developed by Subhash Suri in http://www.cs.ucsb.edu/ suri/cs/matching.pdf We previously saw how

More information

HOMEWORK 4 SOLUTIONS. Solution: The Petersen graph contains a cycle of odd length as a subgraph. Hence,

HOMEWORK 4 SOLUTIONS. Solution: The Petersen graph contains a cycle of odd length as a subgraph. Hence, HOMEWORK 4 SOLUTIONS (1) Determine the chromatic number of the Petersen graph. Solution: The Petersen graph contains a cycle of odd length as a subgraph. Hence, 3 χ(c 5 ) χ(p ). As the Petersen graph is

More information

Isomorphism of Graphs Which are k-separable*

Isomorphism of Graphs Which are k-separable* Reprinted from INFORMATION AND CONTROL All Rights Reserved by Academic Press, New York and Vol. 56. Nos. 1-2, 1983 Printed in Belgium Isomorphism of Graphs Which are k-separable* GARY L. MILLER Department

More information

CPSC 536N: Randomized Algorithms Term 2. Lecture 10

CPSC 536N: Randomized Algorithms Term 2. Lecture 10 CPSC 536N: Randomized Algorithms 011-1 Term Prof. Nick Harvey Lecture 10 University of British Columbia In the first lecture we discussed the Max Cut problem, which is NP-complete, and we presented a very

More information

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings On the Relationships between Zero Forcing Numbers and Certain Graph Coverings Fatemeh Alinaghipour Taklimi, Shaun Fallat 1,, Karen Meagher 2 Department of Mathematics and Statistics, University of Regina,

More information

Interaction Between Input and Output-Sensitive

Interaction Between Input and Output-Sensitive Interaction Between Input and Output-Sensitive Really? Mamadou M. Kanté Université Blaise Pascal - LIMOS, CNRS Enumeration Algorithms Using Structure, Lorentz Institute, August 26 th, 2015 1 Introduction

More information

γ(ɛ) (a, b) (a, d) (d, a) (a, b) (c, d) (d, d) (e, e) (e, a) (e, e) (a) Draw a picture of G.

γ(ɛ) (a, b) (a, d) (d, a) (a, b) (c, d) (d, d) (e, e) (e, a) (e, e) (a) Draw a picture of G. MAD 3105 Spring 2006 Solutions for Review for Test 2 1. Define a graph G with V (G) = {a, b, c, d, e}, E(G) = {r, s, t, u, v, w, x, y, z} and γ, the function defining the edges, is given by the table ɛ

More information

CS 598: Communication Cost Analysis of Algorithms Lecture 15: Communication-optimal sorting and tree-based algorithms

CS 598: Communication Cost Analysis of Algorithms Lecture 15: Communication-optimal sorting and tree-based algorithms CS 598: Communication Cost Analysis of Algorithms Lecture 15: Communication-optimal sorting and tree-based algorithms Edgar Solomonik University of Illinois at Urbana-Champaign October 12, 2016 Defining

More information

Chordal deletion is fixed-parameter tractable

Chordal deletion is fixed-parameter tractable Chordal deletion is fixed-parameter tractable Dániel Marx Institut für Informatik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099 Berlin, Germany. dmarx@informatik.hu-berlin.de Abstract. It

More information

Introduction III. Graphs. Motivations I. Introduction IV

Introduction III. Graphs. Motivations I. Introduction IV Introduction I Graphs Computer Science & Engineering 235: Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu Graph theory was introduced in the 18th century by Leonhard Euler via the Königsberg

More information

A Partition Method for Graph Isomorphism

A Partition Method for Graph Isomorphism Available online at www.sciencedirect.com Physics Procedia ( ) 6 68 International Conference on Solid State Devices and Materials Science A Partition Method for Graph Isomorphism Lijun Tian, Chaoqun Liu

More information

Generating edge covers of path graphs

Generating edge covers of path graphs Generating edge covers of path graphs J. Raymundo Marcial-Romero, J. A. Hernández, Vianney Muñoz-Jiménez and Héctor A. Montes-Venegas Facultad de Ingeniería, Universidad Autónoma del Estado de México,

More information

REU Problems of the Czech Group

REU Problems of the Czech Group REU Problems of the Czech Group Adam Juraszek, Tomáš Masařík, Jitka Novotná, Martin Töpfer, Tomáš Toufar, Jan Voborník, Peter Zeman Mentor: Dr. James Abello DIMACS REU 2015, Piscataway Dominating Sets

More information

Graph Algorithms Using Depth First Search

Graph Algorithms Using Depth First Search Graph Algorithms Using Depth First Search Analysis of Algorithms Week 8, Lecture 1 Prepared by John Reif, Ph.D. Distinguished Professor of Computer Science Duke University Graph Algorithms Using Depth

More information

Fixed-Parameter Algorithms, IA166

Fixed-Parameter Algorithms, IA166 Fixed-Parameter Algorithms, IA166 Sebastian Ordyniak Faculty of Informatics Masaryk University Brno Spring Semester 2013 Introduction Outline 1 Introduction Algorithms on Locally Bounded Treewidth Layer

More information

Finding a -regular Supergraph of Minimum Order

Finding a -regular Supergraph of Minimum Order Finding a -regular Supergraph of Minimum Order Hans L. Bodlaender a, Richard B. Tan a,b and Jan van Leeuwen a a Department of Computer Science Utrecht University Padualaan 14, 3584 CH Utrecht The Netherlands

More information

MAS341 Graph Theory 2015 exam solutions

MAS341 Graph Theory 2015 exam solutions MAS4 Graph Theory 0 exam solutions Question (i)(a) Draw a graph with a vertex for each row and column of the framework; connect a row vertex to a column vertex if there is a brace where the row and column

More information

Minimum sum multicoloring on the edges of trees

Minimum sum multicoloring on the edges of trees Minimum sum multicoloring on the edges of trees Dániel Marx a,1 a Department of Computer Science and Information Theory, Budapest University of Technology and Economics, H-1521 Budapest, Hungary. Abstract

More information

The Structure of Bull-Free Perfect Graphs

The Structure of Bull-Free Perfect Graphs The Structure of Bull-Free Perfect Graphs Maria Chudnovsky and Irena Penev Columbia University, New York, NY 10027 USA May 18, 2012 Abstract The bull is a graph consisting of a triangle and two vertex-disjoint

More information

Chordal Graphs: Theory and Algorithms

Chordal Graphs: Theory and Algorithms Chordal Graphs: Theory and Algorithms 1 Chordal graphs Chordal graph : Every cycle of four or more vertices has a chord in it, i.e. there is an edge between two non consecutive vertices of the cycle. Also

More information

Endomorphisms and synchronization, 2: Graphs and transformation monoids

Endomorphisms and synchronization, 2: Graphs and transformation monoids Endomorphisms and synchronization, 2: Graphs and transformation monoids Peter J. Cameron BIRS, November 2014 Relations and algebras Given a relational structure R, there are several similar ways to produce

More information

Faster parameterized algorithms for Minimum Fill-In

Faster parameterized algorithms for Minimum Fill-In Faster parameterized algorithms for Minimum Fill-In Hans L. Bodlaender Pinar Heggernes Yngve Villanger Technical Report UU-CS-2008-042 December 2008 Department of Information and Computing Sciences Utrecht

More information

Graph and Digraph Glossary

Graph and Digraph Glossary 1 of 15 31.1.2004 14:45 Graph and Digraph Glossary A B C D E F G H I-J K L M N O P-Q R S T U V W-Z Acyclic Graph A graph is acyclic if it contains no cycles. Adjacency Matrix A 0-1 square matrix whose

More information

FAST COMPUTATION OF MINIMAL FILL INSIDE A GIVEN ELIMINATION ORDERING

FAST COMPUTATION OF MINIMAL FILL INSIDE A GIVEN ELIMINATION ORDERING FAST COMPUTATION OF MINIMAL FILL INSIDE A GIVEN ELIMINATION ORDERING PINAR HEGGERNES AND BARRY W. PEYTON Abstract. Minimal elimination orderings were introduced by Rose, Tarjan, and Lueker in 1976, and

More information

Proposition 1. The edges of an even graph can be split (partitioned) into cycles, no two of which have an edge in common.

Proposition 1. The edges of an even graph can be split (partitioned) into cycles, no two of which have an edge in common. Math 3116 Dr. Franz Rothe June 5, 2012 08SUM\3116_2012t1.tex Name: Use the back pages for extra space 1 Solution of Test 1.1 Eulerian graphs Proposition 1. The edges of an even graph can be split (partitioned)

More information

W[1]-hardness. Dániel Marx. Recent Advances in Parameterized Complexity Tel Aviv, Israel, December 3, 2017

W[1]-hardness. Dániel Marx. Recent Advances in Parameterized Complexity Tel Aviv, Israel, December 3, 2017 1 W[1]-hardness Dániel Marx Recent Advances in Parameterized Complexity Tel Aviv, Israel, December 3, 2017 2 Lower bounds So far we have seen positive results: basic algorithmic techniques for fixed-parameter

More information

Steiner Tree. Algorithms and Networks 2014/2015 Hans L. Bodlaender Johan M. M. van Rooij

Steiner Tree. Algorithms and Networks 2014/2015 Hans L. Bodlaender Johan M. M. van Rooij Steiner Tree Algorithms and Networks 2014/2015 Hans L. Bodlaender Johan M. M. van Rooij 1 The Steiner Tree Problem Let G = (V,E) be an undirected graph, and let N µ V be a subset of the terminals. A Steiner

More information

Foundations of Discrete Mathematics

Foundations of Discrete Mathematics Foundations of Discrete Mathematics Chapters 9 By Dr. Dalia M. Gil, Ph.D. Graphs Graphs are discrete structures consisting of vertices and edges that connect these vertices. Graphs A graph is a pair (V,

More information

REU 2006 Discrete Math Lecture 5

REU 2006 Discrete Math Lecture 5 REU 2006 Discrete Math Lecture 5 Instructor: László Babai Scribe: Megan Guichard Editors: Duru Türkoğlu and Megan Guichard June 30, 2006. Last updated July 3, 2006 at 11:30pm. 1 Review Recall the definitions

More information

Restricted Space Algorithms for Isomorphism on Bounded Treewidth Graphs

Restricted Space Algorithms for Isomorphism on Bounded Treewidth Graphs Electronic Colloquium on Computational Complexity, Report No. 94 (2009) Restricted Space Algorithms for Isomorphism on Bounded Treewidth Graphs Bireswar Das Inst. of Mathematical Sciences Chennai bireswar@imsc.res.in

More information

Algorithm and Complexity of Disjointed Connected Dominating Set Problem on Trees

Algorithm and Complexity of Disjointed Connected Dominating Set Problem on Trees Algorithm and Complexity of Disjointed Connected Dominating Set Problem on Trees Wei Wang joint with Zishen Yang, Xianliang Liu School of Mathematics and Statistics, Xi an Jiaotong University Dec 20, 2016

More information

CS261: A Second Course in Algorithms Lecture #16: The Traveling Salesman Problem

CS261: A Second Course in Algorithms Lecture #16: The Traveling Salesman Problem CS61: A Second Course in Algorithms Lecture #16: The Traveling Salesman Problem Tim Roughgarden February 5, 016 1 The Traveling Salesman Problem (TSP) In this lecture we study a famous computational problem,

More information

On the Complexity of Various Parameterizations of Common Induced Subgraph Isomorphism

On the Complexity of Various Parameterizations of Common Induced Subgraph Isomorphism On the Complexity of Various Parameterizations of Common Induced Subgraph Isomorphism Faisal N. Abu-Khzam 1, Édouard Bonnet2 and Florian Sikora 2 1 Lebanese American University, Beirut, Lebanon faisal.abukhzam@lau.edu.lb

More information

Colour Refinement. A Simple Partitioning Algorithm with Applications From Graph Isomorphism Testing to Machine Learning. Martin Grohe RWTH Aachen

Colour Refinement. A Simple Partitioning Algorithm with Applications From Graph Isomorphism Testing to Machine Learning. Martin Grohe RWTH Aachen Colour Refinement A Simple Partitioning Algorithm with Applications From Graph Isomorphism Testing to Machine Learning Martin Grohe RWTH Aachen Outline 1. Colour Refinement and Weisfeiler Lehman 2. Colour

More information

Introduction to Graph Theory

Introduction to Graph Theory Introduction to Graph Theory Tandy Warnow January 20, 2017 Graphs Tandy Warnow Graphs A graph G = (V, E) is an object that contains a vertex set V and an edge set E. We also write V (G) to denote the vertex

More information

9 About Intersection Graphs

9 About Intersection Graphs 9 About Intersection Graphs Since this lecture we focus on selected detailed topics in Graph theory that are close to your teacher s heart... The first selected topic is that of intersection graphs, i.e.

More information

Recognizability Equals Definability for Graphs of Bounded Treewidth and Bounded Chordality

Recognizability Equals Definability for Graphs of Bounded Treewidth and Bounded Chordality Recognizability Equals Definability for Graphs of Bounded Treewidth and Bounded Chordality Hans L. Bodlaender, Utrecht University and Eindhoven University of Technology Pinar Heggernes, University of Bergen

More information

Graph Algorithms Matching

Graph Algorithms Matching Chapter 5 Graph Algorithms Matching Algorithm Theory WS 2012/13 Fabian Kuhn Circulation: Demands and Lower Bounds Given: Directed network, with Edge capacities 0and lower bounds l for Node demands for

More information

WORM COLORINGS. Wayne Goddard. Dept of Mathematical Sciences, Clemson University Kirsti Wash

WORM COLORINGS. Wayne Goddard. Dept of Mathematical Sciences, Clemson University   Kirsti Wash 1 2 Discussiones Mathematicae Graph Theory xx (xxxx) 1 14 3 4 5 6 7 8 9 10 11 12 13 WORM COLORINGS Wayne Goddard Dept of Mathematical Sciences, Clemson University e-mail: goddard@clemson.edu Kirsti Wash

More information

Lecture 3: Recap. Administrivia. Graph theory: Historical Motivation. COMP9020 Lecture 4 Session 2, 2017 Graphs and Trees

Lecture 3: Recap. Administrivia. Graph theory: Historical Motivation. COMP9020 Lecture 4 Session 2, 2017 Graphs and Trees Administrivia Lecture 3: Recap Assignment 1 due 23:59 tomorrow. Quiz 4 up tonight, due 15:00 Thursday 31 August. Equivalence relations: (S), (R), (T) Total orders: (AS), (R), (T), (L) Partial orders: (AS),

More information

Approximation slides 1. An optimal polynomial algorithm for the Vertex Cover and matching in Bipartite graphs

Approximation slides 1. An optimal polynomial algorithm for the Vertex Cover and matching in Bipartite graphs Approximation slides 1 An optimal polynomial algorithm for the Vertex Cover and matching in Bipartite graphs Approximation slides 2 Linear independence A collection of row vectors {v T i } are independent

More information

Recent Advances in FPT and Exact Algorithms for NP-Complete Problems

Recent Advances in FPT and Exact Algorithms for NP-Complete Problems 1 Fine-Grained Complexity and Algorithm Design Boot Camp Recent Advances in FPT and Exact Algorithms for NP-Complete Problems Dániel Marx Institute for Computer Science and Control, Hungarian Academy of

More information

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

Math 778S Spectral Graph Theory Handout #2: Basic graph theory Math 778S Spectral Graph Theory Handout #: Basic graph theory Graph theory was founded by the great Swiss mathematician Leonhard Euler (1707-178) after he solved the Königsberg Bridge problem: Is it possible

More information

CS521 \ Notes for the Final Exam

CS521 \ Notes for the Final Exam CS521 \ Notes for final exam 1 Ariel Stolerman Asymptotic Notations: CS521 \ Notes for the Final Exam Notation Definition Limit Big-O ( ) Small-o ( ) Big- ( ) Small- ( ) Big- ( ) Notes: ( ) ( ) ( ) ( )

More information

Lecture 8: The Traveling Salesman Problem

Lecture 8: The Traveling Salesman Problem Lecture 8: The Traveling Salesman Problem Let G = (V, E) be an undirected graph. A Hamiltonian cycle of G is a cycle that visits every vertex v V exactly once. Instead of Hamiltonian cycle, we sometimes

More information

GRAPH THEORY and APPLICATIONS. Factorization Domination Indepence Clique

GRAPH THEORY and APPLICATIONS. Factorization Domination Indepence Clique GRAPH THEORY and APPLICATIONS Factorization Domination Indepence Clique Factorization Factor A factor of a graph G is a spanning subgraph of G, not necessarily connected. G is the sum of factors G i, if:

More information

An O(m + nlog n) On-Line Algorithm for Recognizing Interval Graphs

An O(m + nlog n) On-Line Algorithm for Recognizing Interval Graphs An O(m + nlog n) On-Line Algorithm for Recognizing Interval Graphs Wen-Lian Hsu Institute of Information Science, Academia Sinica, Taipei, Taiwan, R.O.C. Abstract. Since the invention of PQ-trees by Booth

More information

CHAPTER 2. Graphs. 1. Introduction to Graphs and Graph Isomorphism

CHAPTER 2. Graphs. 1. Introduction to Graphs and Graph Isomorphism CHAPTER 2 Graphs 1. Introduction to Graphs and Graph Isomorphism 1.1. The Graph Menagerie. Definition 1.1.1. A simple graph G = (V, E) consists of a set V of vertices and a set E of edges, represented

More information

motifs In the context of networks, the term motif may refer to di erent notions. Subgraph motifs Coloured motifs { }

motifs In the context of networks, the term motif may refer to di erent notions. Subgraph motifs Coloured motifs { } motifs In the context of networks, the term motif may refer to di erent notions. Subgraph motifs Coloured motifs G M { } 2 subgraph motifs 3 motifs Find interesting patterns in a network. 4 motifs Find

More information

Treaps. 1 Binary Search Trees (BSTs) CSE341T/CSE549T 11/05/2014. Lecture 19

Treaps. 1 Binary Search Trees (BSTs) CSE341T/CSE549T 11/05/2014. Lecture 19 CSE34T/CSE549T /05/04 Lecture 9 Treaps Binary Search Trees (BSTs) Search trees are tree-based data structures that can be used to store and search for items that satisfy a total order. There are many types

More information

Embedded Width, A Variation of Treewidth for Planar Graphs

Embedded Width, A Variation of Treewidth for Planar Graphs Embedded Width, A Variation of Treewidth for Planar Graphs Robert Weber Advisor: Glencora Borradaile Abstract A commonly studied property of graphs is treewidth, a measure of how tree-like a graph is.

More information

Basic Concepts of Graph Algorithms

Basic Concepts of Graph Algorithms Basic Concepts of Graph Algorithms Combinatorics for Computer Science (Units 6 and 7) S. Gill Williamson c S. Gill Williamson 2012 Preface From 1970 to 1990 I ran a graduate seminar on algebraic and algorithmic

More information

Endomorphisms and synchronization, 2: Graphs and transformation monoids. Peter J. Cameron

Endomorphisms and synchronization, 2: Graphs and transformation monoids. Peter J. Cameron Endomorphisms and synchronization, 2: Graphs and transformation monoids Peter J. Cameron BIRS, November 2014 Relations and algebras From algebras to relations Given a relational structure R, there are

More information

An Investigation of the Planarity Condition of Grötzsch s Theorem

An Investigation of the Planarity Condition of Grötzsch s Theorem Le Chen An Investigation of the Planarity Condition of Grötzsch s Theorem The University of Chicago: VIGRE REU 2007 July 16, 2007 Abstract The idea for this paper originated from Professor László Babai

More information

15-451/651: Design & Analysis of Algorithms November 4, 2015 Lecture #18 last changed: November 22, 2015

15-451/651: Design & Analysis of Algorithms November 4, 2015 Lecture #18 last changed: November 22, 2015 15-451/651: Design & Analysis of Algorithms November 4, 2015 Lecture #18 last changed: November 22, 2015 While we have good algorithms for many optimization problems, the previous lecture showed that many

More information

Preprocessing for treewidth

Preprocessing for treewidth Preprocessing for treewidth Bodlaender, H.L.; Jansen, B.M.P.; Kratsch, S. Published in: arxiv Published: 21/04/2011 Please check the document version of this publication: A submitted manuscript is the

More information

4 Basics of Trees. Petr Hliněný, FI MU Brno 1 FI: MA010: Trees and Forests

4 Basics of Trees. Petr Hliněný, FI MU Brno 1 FI: MA010: Trees and Forests 4 Basics of Trees Trees, actually acyclic connected simple graphs, are among the simplest graph classes. Despite their simplicity, they still have rich structure and many useful application, such as in

More information

Varying Applications (examples)

Varying Applications (examples) Graph Theory Varying Applications (examples) Computer networks Distinguish between two chemical compounds with the same molecular formula but different structures Solve shortest path problems between cities

More information

Graph Theory. Probabilistic Graphical Models. L. Enrique Sucar, INAOE. Definitions. Types of Graphs. Trajectories and Circuits.

Graph Theory. Probabilistic Graphical Models. L. Enrique Sucar, INAOE. Definitions. Types of Graphs. Trajectories and Circuits. Theory Probabilistic ical Models L. Enrique Sucar, INAOE and (INAOE) 1 / 32 Outline and 1 2 3 4 5 6 7 8 and 9 (INAOE) 2 / 32 A graph provides a compact way to represent binary relations between a set of

More information

Discrete mathematics II. - Graphs

Discrete mathematics II. - Graphs Emil Vatai April 25, 2018 Basic definitions Definition of an undirected graph Definition (Undirected graph) An undirected graph or (just) a graph is a triplet G = (ϕ, E, V ), where V is the set of vertices,

More information

Faster parameterized algorithms for Minimum Fill-In

Faster parameterized algorithms for Minimum Fill-In Faster parameterized algorithms for Minimum Fill-In Hans L. Bodlaender Pinar Heggernes Yngve Villanger Abstract We present two parameterized algorithms for the Minimum Fill-In problem, also known as Chordal

More information

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition.

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition. 18.433 Combinatorial Optimization Matching Algorithms September 9,14,16 Lecturer: Santosh Vempala Given a graph G = (V, E), a matching M is a set of edges with the property that no two of the edges have

More information

Classification of Extremal Curves with 6 Double Points and of Tree-like Curves with 6 Double Points and I! 5

Classification of Extremal Curves with 6 Double Points and of Tree-like Curves with 6 Double Points and I! 5 Classification of Extremal Curves with 6 Double Points and of Tree-like Curves with 6 Double Points and I! 5 Tim Ritter Bethel College Mishawaka, IN timritter@juno.com Advisor: Juha Pohjanpelto Oregon

More information