Lovász Conjecture
In graph theory, the Lovász conjecture (1969) is a classical problem on Hamiltonian paths in graphs. It says: : Every finite connected vertex-transitive graph contains a Hamiltonian path. Originally László Lovász stated the problem in the opposite way, but this version became standard. In 1996, László Babai published a conjecture sharply contradicting this conjecture, but both conjectures remain widely open. It is not even known if a single counterexample would necessarily lead to a series of counterexamples. Historical remarks The problem of finding Hamiltonian paths in highly symmetric graphs is quite old. As Donald Knuth describes it in volume 4 of ''The Art of Computer Programming'', the problem originated in British campanology (bell-ringing). Such Hamiltonian paths and cycles are also closely connected to Gray codes. In each case the constructions are explicit. Variants of the Lovász conjecture Hamiltonian cycle Another version of Lovász conjecture states that : ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Graph Theory
In mathematics, graph theory is the study of ''graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are connected by '' edges'' (also called ''links'' or ''lines''). A distinction is made between undirected graphs, where edges link two vertices symmetrically, and directed graphs, where edges link two vertices asymmetrically. Graphs are one of the principal objects of study in discrete mathematics. Definitions Definitions in graph theory vary. The following are some of the more basic ways of defining graphs and related mathematical structures. Graph In one restricted but very common sense of the term, a graph is an ordered pair G=(V,E) comprising: * V, a set of vertices (also called nodes or points); * E \subseteq \, a set of edges (also called links or lines), which are unordered pairs of vertices (that is, an edge is associated with t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Robert Alexander Rankin
Robert Alexander Rankin FRSE FRSAMD (27 October 1915 – 27 January 2001) was a Scotland, Scottish mathematician who worked in analytic number theory. Life Rankin was born in Garlieston in Wigtownshire the son of Rev Oliver Rankin (1885–1954), minister of Sorbie and his wife, Olivia Theresa Shaw. His father took the name Oliver Shaw Rankin on marriage and became Professor of Old Testament Language, Literature and Theology in the University of Edinburgh. Rankin was educated at Fettes College then studied mathematics at Clare College, Cambridge, graduating in 1937. At University of Cambridge, Cambridge he was particularly influenced by John Edensor Littlewood, J.E. Littlewood and Albert Ingham, A.E. Ingham. Rankin was elected a Fellow of Clare College in 1939, but his career was interrupted by the Second World War, during which he worked first for the Ministry of Supply then on rocketry research at Fort Halstead. In 1945 he returned to Cambridge as an assistant lecturer, and th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cube-connected Cycles
In graph theory, the cube-connected cycles is an undirected cubic graph, formed by replacing each vertex of a hypercube graph by a cycle. It was introduced by for use as a network topology in parallel computing. Definition The cube-connected cycles of order ''n'' (denoted CCC''n'') can be defined as a graph formed from a set of ''n''2''n'' nodes, indexed by pairs of numbers (''x'', ''y'') where 0 ≤ ''x'' < 2''n'' and 0 ≤ ''y'' < ''n''. Each such node is connected to three neighbors: , , and , where "⊕" denotes the bitwise exclusive or operation on binary numbers. This graph can also be interpreted as the result of replacing each vertex of an ''n''-dimensional hypercube graph by an ''n''-vertex cycle. The hypercube graph vertices are indexed by the numbers ''x'', and the positions within each cycle by the numbers ''y''. Properties The cube-connected cycles of order ''n'' is the Cayley graph of a group that acts on binary words of length ''n'' by rotation and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Wreath Product
In group theory, the wreath product is a special combination of two groups based on the semidirect product. It is formed by the action of one group on many copies of another group, somewhat analogous to exponentiation. Wreath products are used in the classification of permutation groups and also provide a way of constructing interesting examples of groups. Given two groups A and H (sometimes known as the ''bottom'' and ''top''), there exist two variations of the wreath product: the unrestricted wreath product A \text H and the restricted wreath product A \text H. The general form, denoted by A \text_ H or A \text_ H respectively, requires that H acts on some set \Omega; when unspecified, usually \Omega = H (a regular wreath product), though a different \Omega is sometimes implied. The two variations coincide when A, H, and \Omega are all finite. Either variation is also denoted as A \wr H (with \wr for the LaTeX symbol) or ''A'' ≀ ''H'' (Unicode U+2240). The notion ge ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Tree (graph Theory)
In graph theory In mathematics, graph theory is the study of ''graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conne ..., a tree is an undirected graph in which any two Vertex (graph theory), vertices are connected by ''exactly one'' Path (graph theory), path, or equivalently a Connected graph, connected Cycle (graph theory), acyclic undirected graph. A forest is an undirected graph in which any two vertices are connected by ''at most one'' path, or equivalently an acyclic undirected graph, or equivalently a Disjoint union of graphs, disjoint union of trees. A polytreeSee . (or directed tree or oriented treeSee .See . or singly connected networkSee .) is a directed acyclic graph (DAG) whose underlying undirected graph is a tree. A polyforest (or directed forest or oriented forest) is a directed acyclic graph whose underlying undirecte ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Steinhaus–Johnson–Trotter Algorithm
The Steinhaus–Johnson–Trotter algorithm or Johnson–Trotter algorithm, also called plain changes, is an algorithm named after Hugo Steinhaus, Selmer M. Johnson and Hale F. Trotter that generates all of the permutations of n elements. Each permutation in the sequence that it generates differs from the previous permutation by swapping two adjacent elements of the sequence. Equivalently, this algorithm finds a Hamiltonian cycle in the permutohedron. This method was known already to 17th-century English change ringers, and calls it "perhaps the most prominent permutation enumeration algorithm". A version of the algorithm can be implemented in such a way that the average time per permutation is constant. As well as being simple and computationally efficient, this algorithm has the advantage that subsequent computations on the permutations that it generates may be sped up because of the similarity between consecutive permutations that it generates.. Algorithm The sequence ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Coxeter Group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean reflection groups; the symmetry groups of regular polyhedra are an example. However, not all Coxeter groups are finite, and not all can be described in terms of symmetries and Euclidean reflections. Coxeter groups were introduced in 1934 as abstractions of reflection groups , and finite Coxeter groups were classified in 1935 . Coxeter groups find applications in many areas of mathematics. Examples of finite Coxeter groups include the symmetry groups of regular polytopes, and the Weyl groups of simple Lie algebras. Examples of infinite Coxeter groups include the triangle groups corresponding to regular tessellations of the Euclidean plane and the hyperbolic plane, and the Weyl groups of infinite-dimensional Kac–Moody algebras. Standard ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Transposition (mathematics)
In mathematics, and in particular in group theory, a cyclic permutation (or cycle) is a permutation of the elements of some set ''X'' which maps the elements of some subset ''S'' of ''X'' to each other in a cyclic fashion, while fixing (that is, mapping to themselves) all other elements of ''X''. If ''S'' has ''k'' elements, the cycle is called a ''k''-cycle. Cycles are often denoted by the list of their elements enclosed with parentheses, in the order to which they are permuted. For example, given ''X'' = , the permutation (1, 3, 2, 4) that sends 1 to 3, 3 to 2, 2 to 4 and 4 to 1 (so ''S'' = ''X'') is a 4-cycle, and the permutation (1, 3, 2) that sends 1 to 3, 3 to 2, 2 to 1 and 4 to 4 (so ''S'' = and 4 is a fixed element) is a 3-cycle. On the other hand, the permutation that sends 1 to 3, 3 to 1, 2 to 4 and 4 to 2 is not a cyclic permutation because it separately permutes the pairs and . The set ''S'' is called the orbit of the cycle. Every permutation on finitely many eleme ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Symmetric Group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group \mathrm_n defined over a finite set of n symbols consists of the permutations that can be performed on the n symbols. Since there are n! (n factorial) such permutation operations, the order (number of elements) of the symmetric group \mathrm_n is n!. Although symmetric groups can be defined on infinite sets, this article focuses on the finite symmetric groups: their applications, their elements, their conjugacy classes, a finite presentation, their subgroups, their automorphism groups, and their representation theory. For the remainder of this article, "symmetric group" will mean a symmetric group on a finite set. The symmetric group is important to diverse areas of mathematics such as Galois theory, invariant theory, the representatio ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dihedral Group
In mathematics, a dihedral group is the group of symmetries of a regular polygon, which includes rotations and reflections. Dihedral groups are among the simplest examples of finite groups, and they play an important role in group theory, geometry, and chemistry. The notation for the dihedral group differs in geometry and abstract algebra. In geometry, or refers to the symmetries of the -gon, a group of order . In abstract algebra, refers to this same dihedral group. This article uses the geometric convention, . Definition Elements A regular polygon with n sides has 2n different symmetries: n rotational symmetries and n reflection symmetries. Usually, we take n \ge 3 here. The associated rotations and reflections make up the dihedral group \mathrm_n. If n is odd, each axis of symmetry connects the midpoint of one side to the opposite vertex. If n is even, there are n/2 axes of symmetry connecting the midpoints of opposite sides and n/2 axes of symmetry connecting oppo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
P-group
In mathematics, specifically group theory, given a prime number ''p'', a ''p''-group is a group in which the order of every element is a power of ''p''. That is, for each element ''g'' of a ''p''-group ''G'', there exists a nonnegative integer ''n'' such that the product of ''pn'' copies of ''g'', and not fewer, is equal to the identity element. The orders of different elements may be different powers of ''p''. Abelian ''p''-groups are also called ''p''-primary or simply primary. A finite group is a ''p''-group if and only if its order (the number of its elements) is a power of ''p''. Given a finite group ''G'', the Sylow theorems guarantee the existence of a subgroup of ''G'' of order ''pn'' for every prime power ''pn'' that divides the order of ''G''. Every finite ''p''-group is nilpotent. The remainder of this article deals with finite ''p''-groups. For an example of an infinite abelian ''p''-group, see Prüfer group, and for an example of an infinite simple ''p''-grou ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |