43 relations: Algebraic graph theory, Asymmetric graph, Automorphism, Boolean satisfiability problem, Canadian Journal of Mathematics, Cayley graph, Computational complexity theory, Cubic graph, Directed graph, Discrete & Computational Geometry, Disjoint union of graphs, Distance-regular graph, Distance-transitive graph, Distinguishing coloring, Edge-transitive graph, Formal verification, Frucht's theorem, Function composition, Graph (discrete mathematics), Graph canonization, Graph drawing, Graph isomorphism, Graph isomorphism problem, Graph theory, Group (mathematics), Half-transitive graph, Information Processing Letters, International Symposium on Graph Drawing, Involution (mathematics), Many-one reduction, Molecular symmetry, NP (complexity), NP-completeness, Permutation, Regular graph, Semi-symmetric graph, SIAM Journal on Computing, Skew-symmetric graph, Strongly regular graph, Supply chain, Symmetric graph, Time complexity, Vertex-transitive graph.
Algebraic graph theory
Algebraic graph theory is a branch of mathematics in which algebraic methods are applied to problems about graphs.
New!!: Graph automorphism and Algebraic graph theory · See more »
Asymmetric graph
In graph theory, a branch of mathematics, an undirected graph is called an asymmetric graph if it has no nontrivial symmetries.
New!!: Graph automorphism and Asymmetric graph · See more »
Automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself.
New!!: Graph automorphism and Automorphism · See more »
Boolean satisfiability problem
In computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated as SATISFIABILITY or SAT) is the problem of determining if there exists an interpretation that satisfies a given Boolean formula.
New!!: Graph automorphism and Boolean satisfiability problem · See more »
Canadian Journal of Mathematics
The Canadian Journal of Mathematics (Journal canadien de mathématiques; print:, online) is a bimonthly mathematics journal published by the Canadian Mathematical Society.
New!!: Graph automorphism and Canadian Journal of Mathematics · See more »
Cayley graph
In mathematics, a Cayley graph, also known as a Cayley colour graph, Cayley diagram, group diagram, or colour group is a graph that encodes the abstract structure of a group.
New!!: Graph automorphism and Cayley graph · See more »
Computational complexity theory
Computational complexity theory is a branch of the theory of computation in theoretical computer science that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other.
New!!: Graph automorphism and Computational complexity theory · See more »
Cubic graph
In the mathematical field of graph theory, a cubic graph is a graph in which all vertices have degree three.
New!!: Graph automorphism and Cubic graph · See more »
Directed graph
In mathematics, and more specifically in graph theory, a directed graph (or digraph) is a graph that is a set of vertices connected by edges, where the edges have a direction associated with them.
New!!: Graph automorphism and Directed graph · See more »
Discrete & Computational Geometry
Discrete & Computational Geometry is a peer-reviewed mathematics journal published quarterly by Springer.
New!!: Graph automorphism and Discrete & Computational Geometry · See more »
Disjoint union of graphs
In graph theory, a branch of mathematics, the disjoint union of graphs is an operation that combines two or more graphs to form a larger graph.
New!!: Graph automorphism and Disjoint union of graphs · See more »
Distance-regular graph
In mathematics, a distance-regular graph is a regular graph such that for any two vertices v and w, the number of vertices at distance j from v and at distance k from w depends only upon j, k, and i.
New!!: Graph automorphism and Distance-regular graph · See more »
Distance-transitive graph
In the mathematical field of graph theory, a distance-transitive graph is a graph such that, given any two vertices v and w at any distance i, and any other two vertices x and y at the same distance, there is an automorphism of the graph that carries v to x and w to y.
New!!: Graph automorphism and Distance-transitive graph · See more »
Distinguishing coloring
In graph theory, a distinguishing coloring or distinguishing labeling of a graph is an assignment of colors or labels to the vertices of the graph that destroys all of the nontrivial symmetries of the graph.
New!!: Graph automorphism and Distinguishing coloring · See more »
Edge-transitive graph
In the mathematical field of graph theory, an edge-transitive graph is a graph G such that, given any two edges e1 and e2 of G, there is an automorphism of G that maps e1 to e2.
New!!: Graph automorphism and Edge-transitive graph · See more »
Formal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.
New!!: Graph automorphism and Formal verification · See more »
Frucht's theorem
Frucht's theorem is a theorem in algebraic graph theory conjectured by Dénes Kőnig in 1936 and proved by Robert Frucht in 1939.
New!!: Graph automorphism and Frucht's theorem · See more »
Function composition
In mathematics, function composition is the pointwise application of one function to the result of another to produce a third function.
New!!: Graph automorphism and Function composition · See more »
Graph (discrete mathematics)
In mathematics, and more specifically in graph theory, a graph is a structure amounting to a set of objects in which some pairs of the objects are in some sense "related".
New!!: Graph automorphism and Graph (discrete mathematics) · See more »
Graph canonization
In graph theory, a branch of mathematics, graph canonization is the problem finding a canonical form of a given graph G. A canonical form is a labeled graph Canon(G) that is isomorphic to G, such that every graph that is isomorphic to G has the same canonical form as G. Thus, from a solution to the graph canonization problem, one could also solve the problem of graph isomorphism: to test whether two graphs G and H are isomorphic, compute their canonical forms Canon(G) and Canon(H), and test whether these two canonical forms are identical.
New!!: Graph automorphism and Graph canonization · See more »
Graph drawing
Graph drawing is an area of mathematics and computer science combining methods from geometric graph theory and information visualization to derive two-dimensional depictions of graphs arising from applications such as social network analysis, cartography, linguistics, and bioinformatics.
New!!: Graph automorphism and Graph drawing · See more »
Graph isomorphism
In graph theory, an isomorphism of graphs G and H is a bijection between the vertex sets of G and H such that any two vertices u and v of G are adjacent in G if and only if ƒ(u) and ƒ(v) are adjacent in H. This kind of bijection is commonly described as "edge-preserving bijection", in accordance with the general notion of isomorphism being a structure-preserving bijection.
New!!: Graph automorphism and Graph isomorphism · See more »
Graph isomorphism problem
The graph isomorphism problem is the computational problem of determining whether two finite graphs are isomorphic.
New!!: Graph automorphism and Graph isomorphism problem · See more »
Graph theory
In mathematics, graph theory is the study of graphs, which are mathematical structures used to model pairwise relations between objects.
New!!: Graph automorphism and Graph theory · See more »
Group (mathematics)
In mathematics, a group is an algebraic structure consisting of a set of elements equipped with an operation that combines any two elements to form a third element and that satisfies four conditions called the group axioms, namely closure, associativity, identity and invertibility.
New!!: Graph automorphism and Group (mathematics) · See more »
Half-transitive graph
In the mathematical field of graph theory, a half-transitive graph is a graph that is both vertex-transitive and edge-transitive, but not symmetric.
New!!: Graph automorphism and Half-transitive graph · See more »
Information Processing Letters
Information Processing Letters is a peer reviewed scientific journal in the field of computer science, published by Elsevier.
New!!: Graph automorphism and Information Processing Letters · See more »
International Symposium on Graph Drawing
The International Symposium on Graph Drawing (GD) is an annual academic conference in which researchers present peer reviewed papers on graph drawing, information visualization of network information, geometric graph theory, and related topics.
New!!: Graph automorphism and International Symposium on Graph Drawing · See more »
Involution (mathematics)
In mathematics, an involution, or an involutory function, is a function that is its own inverse, for all in the domain of.
New!!: Graph automorphism and Involution (mathematics) · See more »
Many-one reduction
In computability theory and computational complexity theory, a many-one reduction is a reduction which converts instances of one decision problem into instances of a second decision problem.
New!!: Graph automorphism and Many-one reduction · See more »
Molecular symmetry
Molecular symmetry in chemistry describes the symmetry present in molecules and the classification of molecules according to their symmetry.
New!!: Graph automorphism and Molecular symmetry · See more »
NP (complexity)
In computational complexity theory, NP (for nondeterministic polynomial time) is a complexity class used to describe certain types of decision problems.
New!!: Graph automorphism and NP (complexity) · See more »
NP-completeness
In computational complexity theory, an NP-complete decision problem is one belonging to both the NP and the NP-hard complexity classes.
New!!: Graph automorphism and NP-completeness · See more »
Permutation
In mathematics, the notion of permutation relates to the act of arranging all the members of a set into some sequence or order, or if the set is already ordered, rearranging (reordering) its elements, a process called permuting.
New!!: Graph automorphism and Permutation · See more »
Regular graph
In graph theory, a regular graph is a graph where each vertex has the same number of neighbors; i.e. every vertex has the same degree or valency.
New!!: Graph automorphism and Regular graph · See more »
Semi-symmetric graph
In the mathematical field of graph theory, a semi-symmetric graph is an undirected graph that is edge-transitive and regular, but not vertex-transitive.
New!!: Graph automorphism and Semi-symmetric graph · See more »
SIAM Journal on Computing
The SIAM Journal on Computing is a scientific journal focusing on the mathematical and formal aspects of computer science.
New!!: Graph automorphism and SIAM Journal on Computing · See more »
Skew-symmetric graph
In graph theory, a branch of mathematics, a skew-symmetric graph is a directed graph that is isomorphic to its own transpose graph, the graph formed by reversing all of its edges, under an isomorphism that is an involution without any fixed points.
New!!: Graph automorphism and Skew-symmetric graph · See more »
Strongly regular graph
In graph theory, a strongly regular graph is defined as follows.
New!!: Graph automorphism and Strongly regular graph · See more »
Supply chain
A supply chain is a system of organizations, people, activities, information, and resources involved in moving a product or service from supplier to customer.
New!!: Graph automorphism and Supply chain · See more »
Symmetric graph
In the mathematical field of graph theory, a graph G is symmetric (or arc-transitive) if, given any two pairs of adjacent vertices u1—v1 and u2—v2 of G, there is an automorphism such that In other words, a graph is symmetric if its automorphism group acts transitively upon ordered pairs of adjacent vertices (that is, upon edges considered as having a direction).
New!!: Graph automorphism and Symmetric graph · See more »
Time complexity
In computer science, the time complexity is the computational complexity that describes the amount of time it takes to run an algorithm.
New!!: Graph automorphism and Time complexity · See more »
Vertex-transitive graph
In the mathematical field of graph theory, a vertex-transitive graph is a graph G such that, given any two vertices v1 and v2 of G, there is some automorphism such that In other words, a graph is vertex-transitive if its automorphism group acts transitively upon its vertices.
New!!: Graph automorphism and Vertex-transitive graph · See more »
Redirects here:
Graph Automorphism, Graph automorphism problem.
References
[1] https://en.wikipedia.org/wiki/Graph_automorphism