Английская Википедия:Graph isomorphism problem
Шаблон:Short description Шаблон:Use American English Шаблон:Unsolved The graph isomorphism problem is the computational problem of determining whether two finite graphs are isomorphic.
The problem is not known to be solvable in polynomial time nor to be NP-complete, and therefore may be in the computational complexity class NP-intermediate. It is known that the graph isomorphism problem is in the low hierarchy of class NP, which implies that it is not NP-complete unless the polynomial time hierarchy collapses to its second level.Шаблон:Sfnp At the same time, isomorphism for many special classes of graphs can be solved in polynomial time, and in practice graph isomorphism can often be solved efficiently.[1]Шаблон:Sfnp
This problem is a special case of the subgraph isomorphism problem,Шаблон:Sfnp which asks whether a given graph G contains a subgraph that is isomorphic to another given graph H; this problem is known to be NP-complete. It is also known to be a special case of the non-abelian hidden subgroup problem over the symmetric group.Шаблон:Sfnp
In the area of image recognition it is known as the exact graph matching.[2]
State of the art
In November 2015, László Babai announced a quasi-polynomial time algorithm for all graphs, that is, one with running time <math>2^{O((\log n)^c)}</math> for some fixed <math>c > 0</math>.[3][4][5][6] On January 4, 2017, Babai retracted the quasi-polynomial claim and stated a sub-exponential time bound instead after Harald Helfgott discovered a flaw in the proof. On January 9, 2017, Babai announced a correction (published in full on January 19) and restored the quasi-polynomial claim, with Helfgott confirming the fix.[7][8] Helfgott further claims that one can take Шаблон:Math, so the running time is Шаблон:Math.[9][10]
Prior to this, the best accepted theoretical algorithm was due to Шаблон:Harvtxt, and was based on the earlier work by Шаблон:Harvtxt combined with a subfactorial algorithm of V. N. Zemlyachenko Шаблон:Harv. The algorithm has run time 2O(Шаблон:Sqrt) for graphs with n vertices and relies on the classification of finite simple groups. Without this classification theorem, a slightly weaker bound Шаблон:Math was obtained first for strongly regular graphs by Шаблон:Harvs, and then extended to general graphs by Шаблон:Harvtxt. Improvement of the exponent Шаблон:Sqrt for strongly regular graphs was done by Шаблон:Harvtxt. For hypergraphs of bounded rank, a subexponential upper bound matching the case of graphs was obtained by Шаблон:Harvtxt.
There are several competing practical algorithms for graph isomorphism, such as those due to Шаблон:Harvtxt, Шаблон:Harvtxt, Шаблон:Harvtxt, and Шаблон:Harvtxt. While they seem to perform well on random graphs, a major drawback of these algorithms is their exponential time performance in the worst case.Шаблон:Sfnp
The graph isomorphism problem is computationally equivalent to the problem of computing the automorphism group of a graph,[11][12] and is weaker than the permutation group isomorphism problem and the permutation group intersection problem. For the latter two problems, Шаблон:Harvtxt obtained complexity bounds similar to that for graph isomorphism.
Solved special cases
A number of important special cases of the graph isomorphism problem have efficient, polynomial-time solutions:
- TreesШаблон:SfnpШаблон:Sfnp
- Planar graphsШаблон:Sfnp (In fact, planar graph isomorphism is in log space,Шаблон:Sfnp a class contained in P)
- Interval graphsШаблон:Sfnp
- Permutation graphsШаблон:Sfnp
- Circulant graphsШаблон:Sfnp
- Bounded-parameter graphs
- Graphs of bounded treewidthШаблон:Sfnp
- Graphs of bounded genus[13] (Planar graphs are graphs of genus 0.)
- Graphs of bounded degreeШаблон:Sfnp
- Graphs with bounded eigenvalue multiplicityШаблон:Sfnp
- k-Contractible graphs (a generalization of bounded degree and bounded genus)Шаблон:Sfnp
- Color-preserving isomorphism of colored graphs with bounded color multiplicity (i.e., at most k vertices have the same color for a fixed k) is in class NC, which is a subclass of PШаблон:Sfnp
Complexity class GI
Since the graph isomorphism problem is neither known to be NP-complete nor known to be tractable, researchers have sought to gain insight into the problem by defining a new class GI, the set of problems with a polynomial-time Turing reduction to the graph isomorphism problem.[14] If in fact the graph isomorphism problem is solvable in polynomial time, GI would equal P. On the other hand, if the problem is NP-complete, GI would equal NP and all problems in NP would be solvable in quasi-polynomial time.
As is common for complexity classes within the polynomial time hierarchy, a problem is called GI-hard if there is a polynomial-time Turing reduction from any problem in GI to that problem, i.e., a polynomial-time solution to a GI-hard problem would yield a polynomial-time solution to the graph isomorphism problem (and so all problems in GI). A problem <math>X</math> is called complete for GI, or GI-complete, if it is both GI-hard and a polynomial-time solution to the GI problem would yield a polynomial-time solution to <math>X</math>.
The graph isomorphism problem is contained in both NP and co-AM. GI is contained in and low for Parity P, as well as contained in the potentially much smaller class SPP.[15] That it lies in Parity P means that the graph isomorphism problem is no harder than determining whether a polynomial-time nondeterministic Turing machine has an even or odd number of accepting paths. GI is also contained in and low for ZPPNP.Шаблон:Sfnp This essentially means that an efficient Las Vegas algorithm with access to an NP oracle can solve graph isomorphism so easily that it gains no power from being given the ability to do so in constant time.
GI-complete and GI-hard problems
Isomorphism of other objects
There are a number of classes of mathematical objects for which the problem of isomorphism is a GI-complete problem. A number of them are graphs endowed with additional properties or restrictions:[16]
- digraphs[16]
- labelled graphs, with the proviso that an isomorphism is not required to preserve the labels,[16] but only the equivalence relation consisting of pairs of vertices with the same label
- "polarized graphs" (made of a complete graph Km and an empty graph Kn plus some edges connecting the two; their isomorphism must preserve the partition)[16]
- 2-colored graphs[16]
- explicitly given finite structures[16]
- multigraphs[16]
- hypergraphs[16]
- finite automata[16]
- Markov Decision ProcessesШаблон:Sfnp
- commutative class 3 nilpotent (i.e., xyz = 0 for every elements x, y, z) semigroups[16]
- finite rank associative algebras over a fixed algebraically closed field with zero squared radical and commutative factor over the radical.[16]Шаблон:Sfnp
- context-free grammars[16]
- balanced incomplete block designs[16]
- Recognizing combinatorial isomorphism of convex polytopes represented by vertex-facet incidences.[17]
GI-complete classes of graphs
A class of graphs is called GI-complete if recognition of isomorphism for graphs from this subclass is a GI-complete problem. The following classes are GI-complete:[16]
- connected graphs[16]
- graphs of diameter 2 and radius 1[16]
- directed acyclic graphs[16]
- regular graphs[16]
- bipartite graphs without non-trivial strongly regular subgraphs[16]
- bipartite Eulerian graphs[16]
- bipartite regular graphs[16]
- line graphs[16]
- split graphsШаблон:Sfnp
- chordal graphs[16]
- regular self-complementary graphs[16]
- polytopal graphs of general, simple, and simplicial convex polytopes in arbitrary dimensions.Шаблон:Sfnp
Many classes of digraphs are also GI-complete.
Other GI-complete problems
There are other nontrivial GI-complete problems in addition to isomorphism problems.
- The recognition of self-complementarity of a graph or digraph.Шаблон:Sfnp
- A clique problem for a class of so-called M-graphs. It is shown that finding an isomorphism for n-vertex graphs is equivalent to finding an n-clique in an M-graph of size n2. This fact is interesting because the problem of finding a clique of order (1 − ε)n in a M-graph of size n2 is NP-complete for arbitrarily small positive ε.Шаблон:Sfnp
- The problem of homeomorphism of 2-complexes.Шаблон:Sfnp
- The definability problem for first-order logic. The input of this problem is a relational database instance I and a relation R, and the question to answer is whether there exists a first-order query Q (without constants) such that Q evaluated on I gives R as the answer.Шаблон:Sfnp
GI-hard problems
- The problem of counting the number of isomorphisms between two graphs is polynomial-time equivalent to the problem of telling whether even one exists.[18]
- The problem of deciding whether two convex polytopes given by either the V-description or H-description are projectively or affinely isomorphic. The latter means existence of a projective or affine map between the spaces that contain the two polytopes (not necessarily of the same dimension) which induces a bijection between the polytopes.Шаблон:Sfnp
Program checking
Шаблон:Harvs have shown a probabilistic checker for programs for graph isomorphism. Suppose P is a claimed polynomial-time procedure that checks if two graphs are isomorphic, but it is not trusted. To check if graphs G and H are isomorphic:
- Ask P whether G and H are isomorphic.
- If the answer is "yes":
- Attempt to construct an isomorphism using P as subroutine. Mark a vertex u in G and v in H, and modify the graphs to make them distinctive (with a small local change). Ask P if the modified graphs are isomorphic. If no, change v to a different vertex. Continue searching.
- Either the isomorphism will be found (and can be verified), or P will contradict itself.
- If the answer is "no":
- Perform the following 100 times. Choose randomly G or H, and randomly permute its vertices. Ask P if the graph is isomorphic to G and H. (As in AM protocol for graph nonisomorphism).
- If any of the tests are failed, judge P as invalid program. Otherwise, answer "no".
- If the answer is "yes":
This procedure is polynomial-time and gives the correct answer if P is a correct program for graph isomorphism. If P is not a correct program, but answers correctly on G and H, the checker will either give the correct answer, or detect invalid behaviour of P. If P is not a correct program, and answers incorrectly on G and H, the checker will detect invalid behaviour of P with high probability, or answer wrong with probability 2−100.
Notably, P is used only as a blackbox.
Applications
Graphs are commonly used to encode structural information in many fields, including computer vision and pattern recognition, and graph matching, i.e., identification of similarities between graphs, is an important tools in these areas. In these areas graph isomorphism problem is known as the exact graph matching.[19]
In cheminformatics and in mathematical chemistry, graph isomorphism testing is used to identify a chemical compound within a chemical database.Шаблон:Sfnp Also, in organic mathematical chemistry graph isomorphism testing is useful for generation of molecular graphs and for computer synthesis.
Chemical database search is an example of graphical data mining, where the graph canonization approach is often used.Шаблон:Sfnp In particular, a number of identifiers for chemical substances, such as SMILES and InChI, designed to provide a standard and human-readable way to encode molecular information and to facilitate the search for such information in databases and on the web, use canonization step in their computation, which is essentially the canonization of the graph which represents the molecule.
In electronic design automation graph isomorphism is the basis of the Layout Versus Schematic (LVS) circuit design step, which is a verification whether the electric circuits represented by a circuit schematic and an integrated circuit layout are the same.Шаблон:Sfnp
See also
Notes
References
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation. English translation in Journal of Mathematical Sciences 22 (3): 1285–1289, 1983.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation. Full paper in Information and Control 56 (1–2): 1–20, 1983.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation; also Journal of Computer and System Sciences 37: 312–323, 1988.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
Surveys and monographs
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation. (Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR (Records of Seminars of the Leningrad Department of Steklov Institute of Mathematics of the USSR Academy of Sciences), Vol. 118, pp. 83–158, 1982.)
- Шаблон:Citation. (A brief survey of open questions related to the isomorphism problem for graphs, rings and groups.)
- Шаблон:Citation. (From the book cover: The books focuses on the issue of the computational complexity of the problem and presents several recent results that provide a better understanding of the relative position of the problem in the class NP as well as in other complexity classes.)
- Шаблон:Citation. (This 24th edition of the Column discusses the state of the art for the open problems from the book Computers and Intractability and previous columns, in particular, for Graph Isomorphism.)
- Шаблон:Citation.
- Шаблон:Citation.
Software
- Graph Isomorphism, review of implementations, The Stony Brook Algorithm Repository.
Шаблон:Refend Шаблон:Authority control
- ↑ Шаблон:Cite journal
- ↑ Endika Bengoetxea, "Inexact Graph Matching Using Estimation of Distribution Algorithms", Ph. D., 2002, Chapter 2:The graph matching problem (retrieved June 28, 2017)
- ↑ Шаблон:Cite news
- ↑ Шаблон:Harvtxt
- ↑ Video of first 2015 lecture linked from Babai's home page
- ↑ Шаблон:Cite web
- ↑ Шаблон:Citation
- ↑ Шаблон:Cite journal
- ↑ Шаблон:Citation
- ↑ Шаблон:Cite arXiv
- ↑ Шаблон:Cite book
- ↑ Algeboy (https://cs.stackexchange.com/users/90177/algeboy), Graph isomorphism and the automorphism group, URL (version: 2018-09-20): https://cs.stackexchange.com/q/97575
- ↑ Шаблон:Harvnb; Шаблон:Harvnb.
- ↑ Шаблон:Harvnb; Шаблон:Harvnb.
- ↑ Шаблон:Harvnb; Шаблон:Harvnb
- ↑ 16,00 16,01 16,02 16,03 16,04 16,05 16,06 16,07 16,08 16,09 16,10 16,11 16,12 16,13 16,14 16,15 16,16 16,17 16,18 16,19 16,20 16,21 16,22 16,23 Шаблон:Harvtxt
- ↑ Шаблон:Harvtxt; Шаблон:Harvtxt.
- ↑ Шаблон:Harvtxt; Шаблон:Harvnb.
- ↑ Endika Bengoetxea, Ph.D., Abstract
- Английская Википедия
- Graph algorithms
- Morphisms
- Computational problems in graph theory
- Unsolved problems in computer science
- Computational complexity theory
- Quasi-polynomial time algorithms
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Английской Википедии