graph isomorphism and asymmetric graphs
play

Graph isomorphism and asymmetric graphs Pascal Schweitzer Ghent - PowerPoint PPT Presentation

Jan 09, 2024 •120 likes •1.66k views

Graph isomorphism and asymmetric graphs Pascal Schweitzer Ghent Graph Theory Workshop 2017 August 18th, Ghent Graph isomorphism and asymmetric graphs Pascal Schweitzer 1 / 38 asymmetry oracle graph isomorphism non-trivial automorphisms

  1. Tournaments A tournament is an oriented complete graph. (exactly one directed edge between every pair of vertices) Graph isomorphism and asymmetric graphs Pascal Schweitzer 17 / 38

  2. Tournaments A tournament is an oriented complete graph. (exactly one directed edge between every pair of vertices) User:Nojhan/Wikimedia Commons/CC-BY-SA-3.0 Graph isomorphism and asymmetric graphs Pascal Schweitzer 17 / 38

  3. Symmetry problems for tournaments GI Tour col-GI Tour Aut ( T ) | Aut ( T ) | Graph isomorphism and asymmetric graphs Pascal Schweitzer 18 / 38

  4. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  5. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  6. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  7. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  8. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  9. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  10. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  11. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  12. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  13. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  14. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  15. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  16. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  17. Removing colors for tournaments - colored tournament isomorphism � tournament isomorphism col-GI Tour ≤ p m GI Tour [Arvind, Das, Mukhopadhyay] (2010) - colored tournament asymmetry � tournament asymmetry col-GA Tour ≤ p m GA Tour Graph isomorphism and asymmetric graphs Pascal Schweitzer 19 / 38

  18. Alternative to disjoint union for tournaments For tournaments we cannot form the disjoint union . Instead we form the triangle tournament Tri ( T 1 , T 2 ) . Graph isomorphism and asymmetric graphs Pascal Schweitzer 20 / 38

  19. Alternative to disjoint union for tournaments For tournaments we cannot form the disjoint union . Instead we form the triangle tournament Tri ( T 1 , T 2 ) . T 1 T 2 Graph isomorphism and asymmetric graphs Pascal Schweitzer 20 / 38

  20. Alternative to disjoint union for tournaments For tournaments we cannot form the disjoint union . Instead we form the triangle tournament Tri ( T 1 , T 2 ) . T 1 T 2 T 1 ∼ T ′ = T ′ 1 1 Graph isomorphism and asymmetric graphs Pascal Schweitzer 20 / 38

  21. Alternative to disjoint union for tournaments For tournaments we cannot form the disjoint union . Instead we form the triangle tournament Tri ( T 1 , T 2 ) . T 1 T 2 T 1 ∼ T ′ = T ′ 1 1 Graph isomorphism and asymmetric graphs Pascal Schweitzer 20 / 38

  22. Alternative to disjoint union for tournaments For tournaments we cannot form the disjoint union . Instead we form the triangle tournament Tri ( T 1 , T 2 ) . T 1 T 2 T 1 ∼ T ′ = T ′ 1 1 3 · | Aut ( T 1 ) | 2 · | Aut ( T 2 ) | � if T 1 ∼ = T 2 | Aut ( Tri ( T 1 , T 2 )) | = | Aut ( T 1 ) | 2 · | Aut ( T 2 ) | otherwise. Graph isomorphism and asymmetric graphs Pascal Schweitzer 20 / 38

  23. Asymmetry vs isomorphism for tournaments GI Tour col-GI Tour Aut ( T ) | Aut ( T ) | Graph isomorphism and asymmetric graphs Pascal Schweitzer 21 / 38

  24. Asymmetry vs isomorphism for tournaments GI Tour col-GI Tour Aut ( T ) | Aut ( T ) | GI AsymTour GA Tour Graph isomorphism and asymmetric graphs Pascal Schweitzer 21 / 38

  25. Asymmetry vs isomorphism for tournaments GI Tour col-GI Tour Aut ( T ) | Aut ( T ) | GI AsymTour GA Tour Graph isomorphism and asymmetric graphs Pascal Schweitzer 21 / 38

  26. Asymmetry vs isomorphism for tournaments GI Tour col-GI Tour Aut ( T ) | Aut ( T ) | GI AsymTour GA Tour Open question: Is it harder to find all symmetries than to detect asymmetry? Graph isomorphism and asymmetric graphs Pascal Schweitzer 21 / 38

  27. Asymmetry vs isomorphism for tournaments GI Tour col-GI Tour Aut ( T ) | Aut ( T ) | ? GI AsymTour GA Tour Open question: Is it harder to find all symmetries than to detect asymmetry? Graph isomorphism and asymmetric graphs Pascal Schweitzer 21 / 38

  28. Asymmetry vs isomorphism for tournaments GI Tour col-GI Tour Aut ( T ) | Aut ( T ) | randomized GI AsymTour GA Tour Open question: Is it harder to find all symmetries than to detect asymmetry? Graph isomorphism and asymmetric graphs Pascal Schweitzer 21 / 38

  29. Main Result Theorem There is a polynomial-time randomized reduction from tournament isomorphism to tournament asymmetry. Thus: For tournaments finding all symmetries and detecting asymmetry are polynomially equivalent. Graph isomorphism and asymmetric graphs Pascal Schweitzer 22 / 38

  30. asymmetry oracle graph isomorphism non-trivial automorphisms asymmetry invariant suborbits automorphism tournaments group and isomorphism

  31. asymmetry oracle graph isomorphism non-trivial automorphisms asymmetry invariant suborbits automorphism tournaments group and isomorphism

  32. asymmetry oracle graph isomorphism non-trivial automorphisms asymmetry invariant suborbits automorphism tournaments group and isomorphism

  33. asymmetry oracle graph isomorphism non-trivial automorphisms asymmetry invariant suborbits automorphism tournaments group and isomorphism

  34. Sampling automorphisms Technique 1: asymmetry test � non-trivial automorphism sampler Graph isomorphism and asymmetric graphs Pascal Schweitzer 25 / 38

  35. Sampling automorphisms Technique 1: asymmetry test � non-trivial automorphism sampler Strategy - fix more and more vertices until graph is asymmetric - make a copy of the graph - undo last fixing in copy - find alternative vertex to the vertex fixed last - find isomorphism from original to copy Graph isomorphism and asymmetric graphs Pascal Schweitzer 25 / 38

  36. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  37. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  38. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  39. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  40. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  41. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  42. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  43. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  44. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  45. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  46. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  47. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  48. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  49. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  50. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  51. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  52. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  53. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

  54. How to get automorphisms — Illustration Automorphisms: Graph isomorphism and asymmetric graphs Pascal Schweitzer 26 / 38

Recommend

Simple Graphs: 99 Isomorphism 67 306 99 145 306 67 isomorphism.1 isomorphism.2 Albert R

Simple Graphs: 99 Isomorphism 67 306 99 145 306 67 isomorphism.1 isomorphism.2 Albert R

The Graph Abstraction Mathematics for Computer Science MIT 6.042J/18.062J Same graph (different layouts) 122 257 122 145 257 Simple Graphs: 99 Isomorphism 67 306 99 145 306 67 isomorphism.1 isomorphism.2 Albert R Meyer April 1,

328 views • 5 slides
Graph Isomorphism and Related Problems Graph Isomorphism Graph Isomorphism Two graphs G 1 = ( V 1

Graph Isomorphism and Related Problems Graph Isomorphism Graph Isomorphism Two graphs G 1 = ( V 1

Graph Isomorphism and Related Problems Graph Isomorphism Graph Isomorphism Two graphs G 1 = ( V 1 , E 1 ) and G 2 = ( V 2 , E 2 ) are isomorphic if there is a bijection : V 1 V 2 such that, for all u , v V 1 , uv E 1 if and only if

449 views • 10 slides
the GP Language Philip Cavanagh Graph Isomorphisms Isomorphism: Two graphs which are the

the GP Language Philip Cavanagh Graph Isomorphisms Isomorphism: Two graphs which are the

A Graph Isomorphism Filter for the GP Language Philip Cavanagh Graph Isomorphisms Isomorphism: Two graphs which are the same up to a renaming of the vertices and edges These are a pair of isomorphic graphs: Graph Isomorphisms

540 views • 27 slides
Approximations of Graph Isomorphism Anuj Dawar Department of Computer Science and Technology,

Approximations of Graph Isomorphism Anuj Dawar Department of Computer Science and Technology,

Approximations of Graph Isomorphism Anuj Dawar Department of Computer Science and Technology, University of Cambridge Russian Workshop on Complexity and Model Theory Moscow, 10 June 2019 Graph Isomorphism Graph Isomorphism : Given graphs G, H ,

425 views • 25 slides
On the Resolution Complexity of Graph non-Isomorphism Jacobo Tor an Universit at Ulm 1

On the Resolution Complexity of Graph non-Isomorphism Jacobo Tor an Universit at Ulm 1

On the Resolution Complexity of Graph non-Isomorphism Jacobo Tor an Universit at Ulm 1 Graph Isomorphism Graphs G 1 = ( V 1 , E 1 ) , G 2 = ( V 2 , E 2 ) Isomorphism: Bijection : V 1 V 2 , ( u, v ) E 1 ( ( u ) , ( v

557 views • 31 slides
Structural and Logical Approaches to the Graph Isomorphism Problem Martin Grohe RWTH Aachen

Structural and Logical Approaches to the Graph Isomorphism Problem Martin Grohe RWTH Aachen

Structural and Logical Approaches to the Graph Isomorphism Problem Martin Grohe RWTH Aachen Graph Isomorphism (GI) Given two graphs, decide if they are isomorphic. 2 Graph Isomorphism (GI) Given two graphs, decide if they are isomorphic. 2

1.94k views • 90 slides
54 Years of Graph Isomorphism Testing Brendan McKay Australian National University isomorphism

54 Years of Graph Isomorphism Testing Brendan McKay Australian National University isomorphism

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 on them. An isomorphism

992 views • 72 slides
A Near-Optimal Algorithm for Testing Isomorphism of Two Unknown Graphs Krzysztof Onak IBM T.J.

A Near-Optimal Algorithm for Testing Isomorphism of Two Unknown Graphs Krzysztof Onak IBM T.J.

A Near-Optimal Algorithm for Testing Isomorphism of Two Unknown Graphs Krzysztof Onak IBM T.J. Watson Research Center Joint work with Xiaorui Sun (Columbia) Krzysztof Onak A Near-Optimal Algorithm for Testing Graph Isomorphism p. 1/22

1.18k views • 90 slides
8.3 GRAPH REPRESENTATIONS AND GRAPH ISOMORPHISM INCIDENCE TABLE REPRESENTATION def: An incidence

8.3 GRAPH REPRESENTATIONS AND GRAPH ISOMORPHISM INCIDENCE TABLE REPRESENTATION def: An incidence

8.3.1 Section 8.3 Graph Representations and Graph Isomorphism 8.3 GRAPH REPRESENTATIONS AND GRAPH ISOMORPHISM INCIDENCE TABLE REPRESENTATION def: An incidence table for a graph has a column indexed by each edge. The entries in the

335 views • 11 slides
Mria Markoov Graph definition Degree, in, out degree, oriented graph.

Mria Markoov Graph definition Degree, in, out degree, oriented graph.

Mria Markoov Graph definition Degree, in, out degree, oriented graph. Complete, regular, bipartite graph. Graph representation, connectivity, adjacency. Isomorphism of graphs. Paths, cycles, trials. Random

735 views • 42 slides
12) Validation of Graph-Based Datalog and EARS Transitive Closure Models

12) Validation of Graph-Based Datalog and EARS Transitive Closure Models

Contents Different kinds of relations: Lists, Trees, Dags, Graphs Fakultt Informatik, Institut fr Software- und Multimediatechnik, Lehrstuhl fr Softwaretechnologie Treating graph-based models The graph-logic isomorphism

288 views • 27 slides
Graphs Graphs 1 What is a Graph? A graph is a collection of dots and lines 2 What is a

Graphs Graphs 1 What is a Graph? A graph is a collection of dots and lines 2 What is a

Graphs Graphs 1 What is a Graph? A graph is a collection of dots and lines 2 What is a Graph? B The dots are called vertices or nodes E D o they are generally given unique labels I C F A J H A vertex labeled A G 3 What is

1.08k views • 70 slides
9/14/16 1 Graph Processing Graphs & Analytics Parallel Graph Processing on Web Graphs

9/14/16 1 Graph Processing Graphs & Analytics Parallel Graph Processing on Web Graphs

9/14/16 1 Graph Processing Graphs & Analytics Parallel Graph Processing on Web Graphs PageRank Rank websites in search results GPUs, Clusters, and Multicores Belief Propagation Malicious domains & infected hosts Social

599 views • 16 slides
Graph isomorphism, the hidden subgroup problem and identifying quantum states Pranab Sen NEC

Graph isomorphism, the hidden subgroup problem and identifying quantum states Pranab Sen NEC

Graph isomorphism, the hidden subgroup problem and identifying quantum states Pranab Sen NEC Laboratories America, Princeton, NJ, U.S.A. Joint work with Sean Hallgren and Martin R otteler. Quant-ph 0511148: Lower bound for graph

955 views • 56 slides
(Nearly) Efficient Algorithms for the Graph Matching Problem Tselil Schramm (Harvard/MIT) with

(Nearly) Efficient Algorithms for the Graph Matching Problem Tselil Schramm (Harvard/MIT) with

(Nearly) Efficient Algorithms for the Graph Matching Problem Tselil Schramm (Harvard/MIT) with Boaz Barak, Chi-Ning Chou, Zhixian Lei & Yueqi Sheng (Harvard) graph matching problem (approximate graph isomorphism) input: two graphs on

749 views • 59 slides
Graphs Graph definitions There are two kinds of graphs: directed graphs (sometimes called

Graphs Graph definitions There are two kinds of graphs: directed graphs (sometimes called

Graphs Graph definitions There are two kinds of graphs: directed graphs (sometimes called digraphs) and undirected graphs 60 start Birmingham Rugby 150 fill pan take egg 190 100 with water from fridge Cambridge 140 London 120

624 views • 25 slides
Week 2 Student Responsibilities Mat 3770 Reading: Isomorphism, Edge Counting, Planar

Week 2 Student Responsibilities Mat 3770 Reading: Isomorphism, Edge Counting, Planar

Week 2 Student Responsibilities Mat 3770 Reading: Isomorphism, Edge Counting, Planar Graphs Week 2 Homework from Tucker & Rosen Attendence Slushily Encouraged Spring 2014 1 2 Section 1.2. Isomorphism Isomorphism Two

849 views • 7 slides
Graphs Types of Graphs Histograms The Purpose of a Graph The purpose of a graph is to make

Graphs Types of Graphs Histograms The Purpose of a Graph The purpose of a graph is to make

Chapter Two Graphs Types of Graphs Histograms The Purpose of a Graph The purpose of a graph is to make results clear at a glance. Avoiding common pitfalls, such as those done by default in Microsoft Excel (shown below on the left), can help

395 views • 5 slides
Graphs: The Basics 0 5 1 2 6 7 8 9 3 4 What is a graph? 0 5 1 2 6 7 8 9 3 4

Graphs: The Basics 0 5 1 2 6 7 8 9 3 4 What is a graph? 0 5 1 2 6 7 8 9 3 4

15-251: Great Theoretical Ideas in Computer Science Lecture 11 Graphs: The Basics 0 5 1 2 6 7 8 9 3 4 What is a graph? 0 5 1 2 6 7 8 9 3 4 What What ntisnt is !a graph?! a graph? 0 5 1 2 6 7 8 9 3 4

848 views • 73 slides
Undirected graphs anhtt-fit@mail.hut.edu.vn dungct@it-hut.edu.vn Undirected graphs A graph

Undirected graphs anhtt-fit@mail.hut.edu.vn dungct@it-hut.edu.vn Undirected graphs A graph

Undirected graphs anhtt-fit@mail.hut.edu.vn dungct@it-hut.edu.vn Undirected graphs A graph G=(V, E) where V is a set of vertices connected pairwise by edges E. Why study graph algorithms? Interesting and broadly useful abstraction.

260 views • 11 slides
The Hunt for a Quantum Algorithm for Graph Isomorphism Cristopher Moore, University of New Mexico

The Hunt for a Quantum Algorithm for Graph Isomorphism Cristopher Moore, University of New Mexico

The Hunt for a Quantum Algorithm for Graph Isomorphism Cristopher Moore, University of New Mexico Alexander Russell, University of Connecticut Leonard J. Schulman, Caltech The Hidden Subgroup Problem Given a function f(x) , find the y such that

888 views • 29 slides
Graphs Graphs Definitions Implementation/Representation of graphs Search Traversing

Graphs Graphs Definitions Implementation/Representation of graphs Search Traversing

CS171 Introduction to Computer Science II Science II Graphs Graphs Definitions Implementation/Representation of graphs Search Traversing graphs Graph traversal: visit each vertex in the graph exactly once There are in

353 views • 16 slides
3.5 Connectivity in Directed Graphs Directed Graphs Directed graph. G = (V, E) Edge (u, v)

3.5 Connectivity in Directed Graphs Directed Graphs Directed graph. G = (V, E) Edge (u, v)

3.5 Connectivity in Directed Graphs Directed Graphs Directed graph. G = (V, E) Edge (u, v) goes from node u to node v. Ex. Web graph - hyperlink points from one web page to another. Directedness of graph is crucial. Modern web

532 views • 13 slides
Graphs Introduction Graph Graph A graph G = ( V , E ) is a set V of vertices connected by an

Graphs Introduction Graph Graph A graph G = ( V , E ) is a set V of vertices connected by an

Graphs Introduction Graph Graph A graph G = ( V , E ) is a set V of vertices connected by an edge set E . 2 / 13 Variations Multi-Graph: Multiple edges between two vertices. Directed: Edges have a direction. Weighted: Vertices and/or edges

240 views • 13 slides

More recommend