Permutation Groups and the Graph Isomorphism Problem
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Notes for Lecture 2
Notes on Complexity Theory Last updated: December, 2011 Lecture 2 Jonathan Katz 1 Review The running time of a Turing machine M on input x is the number of \steps" M takes before it halts. Machine M is said to run in time T (¢) if for every input x the running time of M(x) is at most T (jxj). (In particular, this means it halts on all inputs.) The space used by M on input x is the number of cells written to by M on all its work tapes1 (a cell that is written to multiple times is only counted once); M is said to use space T (¢) if for every input x the space used during the computation of M(x) is at most T (jxj). We remark that these time and space measures are worst-case notions; i.e., even if M runs in time T (n) for only a fraction of the inputs of length n (and uses less time for all other inputs of length n), the running time of M is still T . (Average-case notions of complexity have also been considered, but are somewhat more di±cult to reason about. We may cover this later in the semester; or see [1, Chap. 18].) Recall that a Turing machine M computes a function f : f0; 1g¤ ! f0; 1g¤ if M(x) = f(x) for all x. We will focus most of our attention on boolean functions, a context in which it is more convenient to phrase computation in terms of languages. A language is simply a subset of f0; 1g¤. -
A Logical Approach to Isomorphism Testing and Constraint Satisfaction
A logical approach to Isomorphism Testing and Constraint Satisfaction Oleg Verbitsky Humboldt University of Berlin, Germany ESSLLI 2016, 1519 August 1/21 Part 8: k with : FO# k ≥ 3 Applications to Isomorphism Testing 2/21 Outline 1 Warm-up 2 Weisfeiler-Leman algorithm 3 Bounds for particular classes of graphs 4 References 3/21 Outline 1 Warm-up 2 Weisfeiler-Leman algorithm 3 Bounds for particular classes of graphs 4 References 4/21 Closure properties of denable graphs Denition G denotes the complement graph of G: V (G) = V (G) and uv 2 E(G) () uv2 = E(G). Exercise Prove that, if is denable in k , then is also denable G FO# G in k . FO# 5/21 Closure properties of denable graphs Denition G1 + G2 denotes the vertex-disjoint union of graphs G1 and G2. Exercise Let k ≥ 3. Suppose that connected graphs G1;:::;Gm are denable in k . Prove that is also denable FO# G1 + G2 + ::: + Gm in k . FO# Hint As an example, let k = 3 and suppose that G = 5A + 4B and H = 4A + 5B for some connected A and B such that W#(A; B) ≤ 3. In the rst round, Spoiler makes a counting move in G by marking all vertices in all A-components. Duplicator is forced to mark at least one vertex v in a B-component of H. Spoiler pebbles v, and Duplicator can only pebble some vertex u in an A-component of G. From now on, Spoiler plays in the components that contain u and v using his winning strategy for the game on A and B. -
Algebraic Graph Theory: Automorphism Groups and Cayley Graphs
Algebraic Graph Theory: Automorphism Groups and Cayley graphs Glenna Toomey April 2014 1 Introduction An algebraic approach to graph theory can be useful in numerous ways. There is a relatively natural intersection between the fields of algebra and graph theory, specifically between group theory and graphs. Perhaps the most natural connection between group theory and graph theory lies in finding the automorphism group of a given graph. However, by studying the opposite connection, that is, finding a graph of a given group, we can define an extremely important family of vertex-transitive graphs. This paper explores the structure of these graphs and the ways in which we can use groups to explore their properties. 2 Algebraic Graph Theory: The Basics First, let us determine some terminology and examine a few basic elements of graphs. A graph, Γ, is simply a nonempty set of vertices, which we will denote V (Γ), and a set of edges, E(Γ), which consists of two-element subsets of V (Γ). If fu; vg 2 E(Γ), then we say that u and v are adjacent vertices. It is often helpful to view these graphs pictorially, letting the vertices in V (Γ) be nodes and the edges in E(Γ) be lines connecting these nodes. A digraph, D is a nonempty set of vertices, V (D) together with a set of ordered pairs, E(D) of distinct elements from V (D). Thus, given two vertices, u, v, in a digraph, u may be adjacent to v, but v is not necessarily adjacent to u. This relation is represented by arcs instead of basic edges. -
How Symmetric Are Real-World Graphs? a Large-Scale Study
S S symmetry Article How Symmetric Are Real-World Graphs? A Large-Scale Study Fabian Ball * and Andreas Geyer-Schulz Karlsruhe Institute of Technology, Institute of Information Systems and Marketing, Kaiserstr. 12, 76131 Karlsruhe, Germany; [email protected] * Correspondence: [email protected]; Tel.: +49-721-608-48404 Received: 22 December 2017; Accepted: 10 January 2018; Published: 16 January 2018 Abstract: The analysis of symmetry is a main principle in natural sciences, especially physics. For network sciences, for example, in social sciences, computer science and data science, only a few small-scale studies of the symmetry of complex real-world graphs exist. Graph symmetry is a topic rooted in mathematics and is not yet well-received and applied in practice. This article underlines the importance of analyzing symmetry by showing the existence of symmetry in real-world graphs. An analysis of over 1500 graph datasets from the meta-repository networkrepository.com is carried out and a normalized version of the “network redundancy” measure is presented. It quantifies graph symmetry in terms of the number of orbits of the symmetry group from zero (no symmetries) to one (completely symmetric), and improves the recognition of asymmetric graphs. Over 70% of the analyzed graphs contain symmetries (i.e., graph automorphisms), independent of size and modularity. Therefore, we conclude that real-world graphs are likely to contain symmetries. This contribution is the first larger-scale study of symmetry in graphs and it shows the necessity of handling symmetry in data analysis: The existence of symmetries in graphs is the cause of two problems in graph clustering we are aware of, namely, the existence of multiple equivalent solutions with the same value of the clustering criterion and, secondly, the inability of all standard partition-comparison measures of cluster analysis to identify automorphic partitions as equivalent. -
The Complexity Zoo
The Complexity Zoo Scott Aaronson www.ScottAaronson.com LATEX Translation by Chris Bourke [email protected] 417 classes and counting 1 Contents 1 About This Document 3 2 Introductory Essay 4 2.1 Recommended Further Reading ......................... 4 2.2 Other Theory Compendia ............................ 5 2.3 Errors? ....................................... 5 3 Pronunciation Guide 6 4 Complexity Classes 10 5 Special Zoo Exhibit: Classes of Quantum States and Probability Distribu- tions 110 6 Acknowledgements 116 7 Bibliography 117 2 1 About This Document What is this? Well its a PDF version of the website www.ComplexityZoo.com typeset in LATEX using the complexity package. Well, what’s that? The original Complexity Zoo is a website created by Scott Aaronson which contains a (more or less) comprehensive list of Complexity Classes studied in the area of theoretical computer science known as Computa- tional Complexity. I took on the (mostly painless, thank god for regular expressions) task of translating the Zoo’s HTML code to LATEX for two reasons. First, as a regular Zoo patron, I thought, “what better way to honor such an endeavor than to spruce up the cages a bit and typeset them all in beautiful LATEX.” Second, I thought it would be a perfect project to develop complexity, a LATEX pack- age I’ve created that defines commands to typeset (almost) all of the complexity classes you’ll find here (along with some handy options that allow you to conveniently change the fonts with a single option parameters). To get the package, visit my own home page at http://www.cse.unl.edu/~cbourke/. -
Monte-Carlo Algorithms in Graph Isomorphism Testing
Monte-Carlo algorithms in graph isomorphism testing L´aszl´oBabai∗ E¨otv¨osUniversity, Budapest, Hungary Universit´ede Montr´eal,Canada Abstract Abstract. We present an O(V 4 log V ) coin flipping algorithm to test vertex-colored graphs with bounded color multiplicities for color-preserving isomorphism. We are also able to generate uniformly distributed ran- dom automorphisms of such graphs. A more general result finds gener- ators for the intersection of cylindric subgroups of a direct product of groups in O(n7/2 log n) time, where n is the length of the input string. This result will be applied in another paper to find a polynomial time coin flipping algorithm to test isomorphism of graphs with bounded eigenvalue multiplicities. The most general result says that if AutX is accessible by a chain G0 ≥ · · · ≥ Gk = AutX of quickly recognizable groups such that the indices |Gi−1 : Gi| are small (but unknown), the order of |G0| is known and there is a fast way of generating uniformly distributed random members of G0 then a set of generators of AutX can be found by a fast algorithm. Applications of the main result im- prove the complexity of isomorphism testing for graphs with bounded valences to exp(n1/2+o(1)) and for distributive lattices to O(n6 log log n). ∗Apart from possible typos, this is a verbatim transcript of the author’s 1979 technical report, “Monte Carlo algorithms in graph isomorphism testing” (Universit´ede Montr´eal, D.M.S. No. 79-10), with two footnotes added to correct a typo and a glaring omission in the original. -
On the Group-Theoretic Properties of the Automorphism Groups of Various Graphs
ON THE GROUP-THEORETIC PROPERTIES OF THE AUTOMORPHISM GROUPS OF VARIOUS GRAPHS CHARLES HOMANS Abstract. In this paper we provide an introduction to the properties of one important connection between the theories of groups and graphs, that of the group formed by the automorphisms of a given graph. We provide examples of important results in graph theory that can be understood through group theory and vice versa, and conclude with a treatment of Frucht's theorem. Contents 1. Introduction 1 2. Fundamental Definitions, Concepts, and Theorems 2 3. Example 1: The Orbit-Stabilizer Theorem and its Application to Graph Automorphisms 4 4. Example 2: On the Automorphism Groups of the Platonic Solid Skeleton Graphs 4 5. Example 3: A Tight Bound on the Product of the Chromatic Number and Independence Number of Vertex-Transitive Graphs 6 6. Frucht's Theorem 7 7. Acknowledgements 9 8. References 9 1. Introduction Groups and graphs are two highly important kinds of structures studied in math- ematics. Interestingly, the theory of groups and the theory of graphs are deeply connected. In this paper, we examine one particular such connection: that which emerges from the observation that the automorphisms of any given graph form a group under composition. In section 2, we provide a framework for understanding the material discussed in the paper. In sections 3, 4, and 5, we demonstrate how important results in group theory illuminate some properties of automorphism groups, how the geo- metric properties of particular embeddings of graphs can be used to determine the structure of the automorphism groups of all embeddings of those graphs, and how the automorphism group can be used to determine fundamental truths about the structure of the graph. -
When Subgraph Isomorphism Is Really Hard, and Why This Matters for Graph Databases Ciaran Mccreesh, Patrick Prosser, Christine Solnon, James Trimble
When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases Ciaran Mccreesh, Patrick Prosser, Christine Solnon, James Trimble To cite this version: Ciaran Mccreesh, Patrick Prosser, Christine Solnon, James Trimble. When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2018, 61, pp.723 - 759. 10.1613/jair.5768. hal-01741928 HAL Id: hal-01741928 https://hal.archives-ouvertes.fr/hal-01741928 Submitted on 26 Mar 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Journal of Artificial Intelligence Research 61 (2018) 723-759 Submitted 11/17; published 03/18 When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases Ciaran McCreesh [email protected] Patrick Prosser [email protected] University of Glasgow, Glasgow, Scotland Christine Solnon [email protected] INSA-Lyon, LIRIS, UMR5205, F-69621, France James Trimble [email protected] University of Glasgow, Glasgow, Scotland Abstract The subgraph isomorphism problem involves deciding whether a copy of a pattern graph occurs inside a larger target graph. -
Construction of Strongly Regular Graphs Having an Automorphism Group of Composite Order
Volume 15, Number 1, Pages 22{41 ISSN 1715-0868 CONSTRUCTION OF STRONGLY REGULAR GRAPHS HAVING AN AUTOMORPHISM GROUP OF COMPOSITE ORDER DEAN CRNKOVIC´ AND MARIJA MAKSIMOVIC´ Abstract. In this paper we outline a method for constructing strongly regular graphs from orbit matrices admitting an automorphism group of composite order. In 2011, C. Lam and M. Behbahani introduced the concept of orbit matrices of strongly regular graphs and developed an algorithm for the construction of orbit matrices of strongly regu- lar graphs with a presumed automorphism group of prime order, and construction of corresponding strongly regular graphs. The method of constructing strongly regular graphs developed and employed in this paper is a generalization of that developed by C. Lam and M. Behba- hani. Using this method we classify SRGs with parameters (49,18,7,6) having an automorphism group of order six. Eleven of the SRGs with parameters (49,18,7,6) constructed in that way are new. We obtain an additional 385 new SRGs(49,18,7,6) by switching. Comparing the con- structed graphs with previously known SRGs with these parameters, we conclude that up to isomorphism there are at least 727 SRGs with parameters (49,18,7,6). Further, we show that there are no SRGs with parameters (99,14,1,2) having an automorphism group of order six or nine, i.e. we rule out automorphism groups isomorphic to Z6, S3, Z9, or E9. 1. Introduction One of the main problems in the theory of strongly regular graphs (SRGs) is constructing and classifying SRGs with given parameters. -
Glossary of Complexity Classes
App endix A Glossary of Complexity Classes Summary This glossary includes selfcontained denitions of most complexity classes mentioned in the b o ok Needless to say the glossary oers a very minimal discussion of these classes and the reader is re ferred to the main text for further discussion The items are organized by topics rather than by alphab etic order Sp ecically the glossary is partitioned into two parts dealing separately with complexity classes that are dened in terms of algorithms and their resources ie time and space complexity of Turing machines and complexity classes de ned in terms of nonuniform circuits and referring to their size and depth The algorithmic classes include timecomplexity based classes such as P NP coNP BPP RP coRP PH E EXP and NEXP and the space complexity classes L NL RL and P S P AC E The non k uniform classes include the circuit classes P p oly as well as NC and k AC Denitions and basic results regarding many other complexity classes are available at the constantly evolving Complexity Zoo A Preliminaries Complexity classes are sets of computational problems where each class contains problems that can b e solved with sp ecic computational resources To dene a complexity class one sp ecies a mo del of computation a complexity measure like time or space which is always measured as a function of the input length and a b ound on the complexity of problems in the class We follow the tradition of fo cusing on decision problems but refer to these problems using the terminology of promise problems -
Subgraph Isomorphism in Graph Classes
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Mathematics 312 (2012) 3164–3173 Contents lists available at SciVerse ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc Subgraph isomorphism in graph classes Shuji Kijima a, Yota Otachi b, Toshiki Saitoh c,∗, Takeaki Uno d a Graduate School of Information Science and Electrical Engineering, Kyushu University, Fukuoka, 819-0395, Japan b School of Information Science, Japan Advanced Institute of Science and Technology, Ishikawa, 923-1292, Japan c Graduate School of Engineering, Kobe University, Kobe, 657-8501, Japan d National Institute of Informatics, Tokyo, 101-8430, Japan article info a b s t r a c t Article history: We investigate the computational complexity of the following restricted variant of Received 17 September 2011 Subgraph Isomorphism: given a pair of connected graphs G D .VG; EG/ and H D .VH ; EH /, Received in revised form 6 July 2012 determine if H is isomorphic to a spanning subgraph of G. The problem is NP-complete in Accepted 9 July 2012 general, and thus we consider cases where G and H belong to the same graph class such as Available online 28 July 2012 the class of proper interval graphs, of trivially perfect graphs, and of bipartite permutation graphs. For these graph classes, several restricted versions of Subgraph Isomorphism Keywords: such as , , , and can be solved Subgraph isomorphism Hamiltonian Path Clique Bandwidth Graph Isomorphism Graph class in polynomial time, while these problems are hard in general. NP-completeness ' 2012 Elsevier B.V. -
Group, Graphs, Algorithms: the Graph Isomorphism Problem
Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol. 3 (3303–3320) GROUP, GRAPHS, ALGORITHMS: THE GRAPH ISOMORPHISM PROBLEM László Babai Abstract Graph Isomorphism (GI) is one of a small number of natural algorithmic problems with unsettled complexity status in the P / NP theory: not expected to be NP-complete, yet not known to be solvable in polynomial time. Arguably, the GI problem boils down to filling the gap between symmetry and regularity, the former being defined in terms of automorphisms, the latter in terms of equations satisfied by numerical parameters. Recent progress on the complexity of GI relies on a combination of the asymptotic theory of permutation groups and asymptotic properties of highly regular combinato- rial structures called coherent configurations. Group theory provides the tools to infer either global symmetry or global irregularity from local information, eliminating the symmetry/regularity gap in the relevant scenario; the resulting global structure is the subject of combinatorial analysis. These structural studies are melded in a divide- and-conquer algorithmic framework pioneered in the GI context by Eugene M. Luks (1980). 1 Introduction We shall consider finite structures only; so the terms “graph” and “group” will refer to finite graphs and groups, respectively. 1.1 Graphs, isomorphism, NP-intermediate status. A graph is a set (the set of ver- tices) endowed with an irreflexive, symmetric binary relation called adjacency. Isomor- phisms are adjacency-preseving bijections between the sets of vertices. The Graph Iso- morphism (GI) problem asks to determine whether two given graphs are isomorphic. It is known that graphs are universal among explicit finite structures in the sense that the isomorphism problem for explicit structures can be reduced in polynomial time to GI (in the sense of Karp-reductions1) Hedrlı́n and Pultr [1966] and Miller [1979].