|
Tensor Product Of Graphs
In graph theory, the tensor product of graphs and is a graph such that * the vertex set of is the Cartesian product ; and * vertices and are adjacent in if and only if ** is adjacent to in , and ** is adjacent to in . The tensor product is also called the direct product, Kronecker product, categorical product, cardinal product, relational product, weak direct product, or conjunction. As an operation on binary relations, the tensor product was introduced by Alfred North Whitehead and Bertrand Russell in their Principia Mathematica (1912). It is also equivalent to the Kronecker product of the adjacency matrices of the graphs. The notation is also (and formerly normally was) used to represent another construction known as the Cartesian product of graphs, but nowadays more commonly refers to the tensor product. The cross symbol shows visually the two edges resulting from the tensor product of two edges. This product should not be confused with the strong product of g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Desargues Graph
In the mathematical field of graph theory, the Desargues graph is a distance-transitive, cubic graph with 20 vertices and 30 edges. It is named after Girard Desargues, arises from several different combinatorial constructions, has a high level of symmetry, is the only known non-planar cubic partial cube, and has been applied in chemical databases. The name "Desargues graph" has also been used to refer to a ten-vertex graph, the complement of the Petersen graph, which can also be formed as the bipartite half of the 20-vertex Desargues graph. Constructions There are several different ways of constructing the Desargues graph: *It is the generalized Petersen graph . To form the Desargues graph in this way, connect ten of the vertices into a regular decagon, and connect the other ten vertices into a ten-pointed star that connects pairs of vertices at distance three in a second decagon. The Desargues graph consists of the 20 edges of these two polygons together with an additional ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closed Monoidal Category
In mathematics, especially in category theory, a closed monoidal category (or a ''monoidal closed category'') is a category that is both a monoidal category and a closed category in such a way that the structures are compatible. A classic example is the category of sets, Set, where the monoidal product of sets A and B is the usual cartesian product A \times B, and the internal Hom B^A is the set of functions from A to B. A non- cartesian example is the category of vector spaces, ''K''-Vect, over a field K. Here the monoidal product is the usual tensor product of vector spaces, and the internal Hom is the vector space of linear maps from one vector space to another. The internal language of closed symmetric monoidal categories is linear logic and the type system is the linear type system. Many examples of closed monoidal categories are symmetric. However, this need not always be the case, as non-symmetric monoidal categories can be encountered in category-theoret ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Monoidal Category
In category theory, a branch of mathematics, a symmetric monoidal category is a monoidal category (i.e. a category in which a "tensor product" \otimes is defined) such that the tensor product is symmetric (i.e. A\otimes B is, in a certain strict sense, naturally isomorphic to B\otimes A for all objects A and B of the category). One of the prototypical examples of a symmetric monoidal category is the category of vector spaces over some fixed field ''k,'' using the ordinary tensor product of vector spaces. Definition A symmetric monoidal category is a monoidal category (''C'', ⊗, ''I'') such that, for every pair ''A'', ''B'' of objects in ''C'', there is an isomorphism s_: A \otimes B \to B \otimes A called the ''swap map'' that is natural in both ''A'' and ''B'' and such that the following diagrams commute: *The unit coherence: *: *The associativity coherence: *: *The inverse law: *: In the diagrams above, ''a'', ''l'', and ''r'' are the associativity isomorphism, the left unit i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chromatic Number
In graph theory, graph coloring is a methodic assignment of labels traditionally called "colors" to elements of a graph. The assignment is subject to certain constraints, such as that no two adjacent elements have the same color. Graph coloring is a special case of graph labeling. In its simplest form, it is a way of coloring the vertices of a graph such that no two adjacent vertices are of the same color; this is called a vertex coloring. Similarly, an '' edge coloring'' assigns a color to each edges so that no two adjacent edges are of the same color, and a face coloring of a planar graph assigns a color to each face (or region) so that no two faces that share a boundary have the same color. Vertex coloring is often used to introduce graph coloring problems, since other coloring problems can be transformed into a vertex coloring instance. For example, an edge coloring of a graph is just a vertex coloring of its line graph, and a face coloring of a plane graph is just a vertex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hedetniemi Conjecture
In graph theory, Hedetniemi's conjecture, formulated by Stephen T. Hedetniemi in 1966, concerns the connection between graph coloring and the tensor product of graphs. This conjecture states that : \chi (G \times H ) = \min\. Here \chi(G) denotes the chromatic number of an undirected finite graph G. The inequality χ(''G'' × ''H'') ≤ min is easy: if ''G'' is ''k''-colored, one can ''k''-color ''G'' × ''H'' by using the same coloring for each copy of ''G'' in the product; symmetrically if ''H'' is ''k''-colored. Thus, Hedetniemi's conjecture amounts to the assertion that tensor products cannot be colored with an unexpectedly small number of colors. A counterexample to the conjecture was discovered by (see ), thus disproving the conjecture in general. Known cases Any graph with a nonempty set of edges requires at least two colors; if ''G'' and ''H'' are not 1-colorable, that is, they both contain an edge, then their product also contains an edge, and is hence not 1-color ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adjacency Matrix
In graph theory and computer science, an adjacency matrix is a square matrix used to represent a finite graph (discrete mathematics), graph. The elements of the matrix (mathematics), matrix indicate whether pairs of Vertex (graph theory), vertices are Neighbourhood (graph theory), adjacent or not in the graph. In the special case of a finite simple graph, the adjacency matrix is a (0,1)-matrix with zeros on its diagonal. If the graph is Glossary of graph theory terms#undirected, undirected (i.e. all of its Glossary of graph theory terms#edge, edges are bidirectional), the adjacency matrix is symmetric matrix, symmetric. The relationship between a graph and the eigenvalues and eigenvectors of its adjacency matrix is studied in spectral graph theory. The adjacency matrix of a graph should be distinguished from its incidence matrix, a different matrix representation whose elements indicate whether vertex–edge pairs are Incidence (graph), incident or not, and its degree matrix, whic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Homomorphism
In the mathematics, mathematical field of graph theory, a graph homomorphism is a mapping between two graph (discrete mathematics), graphs that respects their structure. More concretely, it is a function between the vertex sets of two graphs that maps adjacent vertex (graph theory), vertices to adjacent vertices. Homomorphisms generalize various notions of graph colorings and allow the expression of an important class of constraint satisfaction problems, such as certain Scheduling (production processes), scheduling or frequency assignment problems. The fact that homomorphisms can be composed leads to rich algebraic structures: a preorder on graphs, a distributive lattice, and a category (mathematics), category (one for undirected graphs and one for directed graphs). The computational complexity of finding a homomorphism between given graphs is prohibitive in general, but a lot is known about special cases that are solvable in Time complexity#Polynomial time, polynomial time. Boun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Product (category Theory)
In category theory, the product of two (or more) object (category theory), objects in a category (mathematics), category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the Cartesian product of set (mathematics), sets, the direct product of group (mathematics), groups or ring (mathematics), rings, and the product topology, product of topological spaces. Essentially, the product of a indexed family, family of objects is the "most general" object which admits a morphism to each of the given objects. Definition Product of two objects Fix a category C. Let X_1 and X_2 be objects of C. A product of X_1 and X_2 is an object X, typically denoted X_1 \times X_2, equipped with a pair of morphisms \pi_1 : X \to X_1, \pi_2 : X \to X_2 satisfying the following universal property: * For every object Y and every pair of morphisms f_1 : Y \to X_1, f_2 : Y \to X_2, there exists a unique morphism f : Y \to X_1 \times X_2 such that the follo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rook's Graph
In graph theory, a rook's graph is an undirected graph that represents all legal moves of the rook chess piece on a chessboard. Each vertex of a rook's graph represents a square on a chessboard, and there is an edge between any two squares sharing a row (rank) or column (file), the squares that a rook can move between. These graphs can be constructed for chessboards of any rectangular shape. Although rook's graphs have only minor significance in chess lore, they are more important in the abstract mathematics of graphs through their alternative constructions: rook's graphs are the Cartesian product of two complete graphs, and are the line graphs of complete bipartite graphs. The square rook's graphs constitute the two-dimensional Hamming graphs. Rook's graphs are highly symmetric, having symmetries taking every vertex to every other vertex. In rook's graphs defined from square chessboards, more strongly, every two edges are symmetric, and every pair of vertices is symmetric to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complement (graph Theory)
Complement may refer to: The arts * Complement (music), an interval that, when added to another, spans an octave ** Aggregate complementation, the separation of pitch-class collections into complementary sets * Complementary color, in the visual arts Biology and medicine * Complement system (immunology), a cascade of proteins in the blood that form part of innate immunity * Complementary DNA, DNA reverse transcribed from a mature mRNA template * Complementarity (molecular biology), a property whereby double stranded nucleic acids pair with each other * Complementation (genetics), a test to determine if independent recessive mutant phenotypes are caused by mutations in the same gene or in different genes Grammar and linguistics * Complement (linguistics), a word or phrase having a particular syntactic role ** Subject complement, a word or phrase adding to a clause's subject after a linking verb ** Object complement, a word or phrase adding to the direct object of a verb p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Perfect Matching
In graph theory, a perfect matching in a graph is a matching that covers every vertex of the graph. More formally, given a graph with edges and vertices , a perfect matching in is a subset of , such that every vertex in is adjacent to exactly one edge in . The adjacency matrix of a perfect matching is a symmetric permutation matrix. A perfect matching is also called a 1-factor; see Graph factorization for an explanation of this term. In some literature, the term complete matching is used. Every perfect matching is a maximum-cardinality matching, but the opposite is not true. For example, consider the following graphs:Alan Gibbons, Algorithmic Graph Theory, Cambridge University Press, 1985, Chapter 5. : In graph (b) there is a perfect matching (of size 3) since all 6 vertices are matched; in graphs (a) and (c) there is a maximum-cardinality matching (of size 2) which is not perfect, since some vertices are unmatched. A perfect matching is also a minimum-size edge cov ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
