|
Bracelet (combinatorics)
In combinatorics, a ''k''-ary necklace of length ''n'' is an equivalence class of ''n''-character strings over an alphabet of size ''k'', taking all rotations as equivalent. It represents a structure with ''n'' circularly connected beads which have ''k'' available colors. A ''k''-ary bracelet, also referred to as a turnover (or free) necklace, is a necklace such that strings may also be equivalent under reflection. That is, given two strings, if each is the reverse of the other, they belong to the same equivalence class. For this reason, a necklace might also be called a fixed necklace to distinguish it from a turnover necklace. Formally, one may represent a necklace as an orbit of the cyclic group acting on ''n''-character strings over an alphabet of size ''k'', and a bracelet as an orbit of the dihedral group. One can count these orbits, and thus necklaces and bracelets, using Pólya's enumeration theorem. Equivalence classes Number of necklaces There are :N_k(n)=\f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multiset
In mathematics, a multiset (or bag, or mset) is a modification of the concept of a set that, unlike a set, allows for multiple instances for each of its elements. The number of instances given for each element is called the multiplicity of that element in the multiset. As a consequence, an infinite number of multisets exist which contain only elements and , but vary in the multiplicities of their elements: * The set contains only elements and , each having multiplicity 1 when is seen as a multiset. * In the multiset , the element has multiplicity 2, and has multiplicity 1. * In the multiset , and both have multiplicity 3. These objects are all different when viewed as multisets, although they are the same set, since they all consist of the same elements. As with sets, and in contrast to tuples, order does not matter in discriminating multisets, so and denote the same multiset. To distinguish between sets and multisets, a notation that incorporates square brackets is s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Forte Number
In musical set theory, a Forte number is the pair of numbers Allen Forte assigned to the prime form of each pitch class set of three or more members in ''The Structure of Atonal Music'' (1973, ). The first number indicates the number of pitch classes in the pitch class set and the second number indicates the set's sequence in Forte's ordering of all pitch class sets containing that number of pitches. In the 12-TET tuning system (or in any other system of tuning that splits the octave into twelve semitones), each pitch class may be denoted by an integer in the range from 0 to 11 (inclusive), and a pitch class set may be denoted by a set of these integers. The prime form of a pitch class set is the most compact (i.e., leftwards packed or smallest in lexicographic order) of either the normal form of a set or of its inversion. The normal form of a set is that which is transposed so as to be most compact. For example, a second inversion major chord contains the pitch classes 7, 0, an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proofs Of Fermat's Little Theorem
This article collects together a variety of proofs of Fermat's little theorem, which states that :a^p \equiv a \pmod p for every prime number ''p'' and every integer ''a'' (see modular arithmetic). Simplifications Some of the proofs of Fermat's little theorem given below depend on two simplifications. The first is that we may assume that is in the range . This is a simple consequence of the laws of modular arithmetic; we are simply saying that we may first reduce modulo . This is consistent with reducing a^p modulo , as one can check. Secondly, it suffices to prove that :a^ \equiv 1 \pmod p for in the range . Indeed, if the previous assertion holds for such , multiplying both sides by yields the original form of the theorem, :a^p \equiv a \pmod p On the other hand, if or , the theorem holds trivially. Combinatorial proofs Proof by counting necklaces This is perhaps the simplest known proof, requiring the least mathematical background. It is an attractive example ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Permutation
In mathematics, a permutation of a set is, loosely speaking, an arrangement of its members into a sequence or linear order, or if the set is already ordered, a rearrangement of its elements. The word "permutation" also refers to the act or process of changing the linear order of an ordered set. Permutations differ from combinations, which are selections of some members of a set regardless of order. For example, written as tuples, there are six permutations of the set , namely (1, 2, 3), (1, 3, 2), (2, 1, 3), (2, 3, 1), (3, 1, 2), and (3, 2, 1). These are all the possible orderings of this three-element set. Anagrams of words whose letters are different are also permutations: the letters are already ordered in the original word, and the anagram is a reordering of the letters. The study of permutations of finite sets is an important topic in the fields of combinatorics and group theory. Permutations are used in almost every branch of mathematics, and in many other fields of scie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Necklace Splitting Problem
Necklace splitting is a picturesque name given to several related problems in combinatorics and measure theory. Its name and solutions are due to mathematicians Noga Alon and Douglas B. West. The basic setting involves a necklace with beads of different colors. The necklace should be divided between several partners (e.g. thieves), such that each partner receives the same amount of every color. Moreover, the number of ''cuts'' should be as small as possible (in order to waste as little as possible of the metal in the links between the beads). Variants The following variants of the problem have been solved in the original paper: #Discrete splitting: The necklace has k\cdot n beads. The beads come in t different colors. There are k\cdot a_i beads of each color i, where a_i is a positive integer. Partition the necklace into k parts (not necessarily contiguous), each of which has exactly a_i beads of color ''i''. Use at most (k-1)t cuts. Note that if the beads of each color are c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Necklace Problem
The necklace problem is a problem in recreational mathematics concerning the reconstruction of necklaces (cyclic arrangements of binary values) from partial information. Formulation The necklace problem involves the reconstruction of a necklace of n beads, each of which is either black or white, from partial information. The information specifies how many copies the necklace contains of each possible arrangement of k black beads. For instance, for k=2, the specified information gives the number of pairs of black beads that are separated by i positions, for i=0,\dots \lfloor n/2-1 \rfloor . This can be made formal by defining a k-configuration to be a necklace of k black beads and n-k white beads, and counting the number of ways of rotating a k-configuration so that each of its black beads coincides with one of the black beads of the given necklace. The necklace problem asks: if n is given, and the numbers of copies of each k-configuration are known up to some threshold k\le K, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inversion (discrete Mathematics)
In computer science and discrete mathematics, an inversion in a sequence is a pair of elements that are out of their natural order. Definitions Inversion Let \pi be a permutation. There is an inversion of \pi between i and j if i \pi(j). The inversion is indicated by an ordered pair containing either the places (i, j) or the elements \bigl(\pi(i), \pi(j)\bigr). The inversion set is the set of all inversions. A permutation's inversion set using place-based notation is the same as the inverse permutation's inversion set using element-based notation with the two components of each ordered pair exchanged. Likewise, a permutation's inversion set using element-based notation is the same as the inverse permutation's inversion set using place-based notation with the two components of each ordered pair exchanged. Inversions are usually defined for permutations, but may also be defined for sequences:Let S be a sequence (or multiset permutation). If i S(j), either the pair ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Permutations
In mathematics, a permutation of a set is, loosely speaking, an arrangement of its members into a sequence or linear order, or if the set is already ordered, a rearrangement of its elements. The word "permutation" also refers to the act or process of changing the linear order of an ordered set. Permutations differ from combinations, which are selections of some members of a set regardless of order. For example, written as tuples, there are six permutations of the set , namely (1, 2, 3), (1, 3, 2), (2, 1, 3), (2, 3, 1), (3, 1, 2), and (3, 2, 1). These are all the possible orderings of this three-element set. Anagrams of words whose letters are different are also permutations: the letters are already ordered in the original word, and the anagram is a reordering of the letters. The study of permutations of finite sets is an important topic in the fields of combinatorics and group theory. Permutations are used in almost every branch of mathematics, and in many other fields of scien ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivalence Class Representative
In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set S into equivalence classes. These equivalence classes are constructed so that elements a and b belong to the same equivalence class if, and only if, they are equivalent. Formally, given a set S and an equivalence relation \,\sim\, on S, the of an element a in S, denoted by is the set \ of elements which are equivalent to a. It may be proven, from the defining properties of equivalence relations, that the equivalence classes form a partition of S. This partition—the set of equivalence classes—is sometimes called the quotient set or the quotient space of S by \,\sim\,, and is denoted by S / \sim. When the set S has some structure (such as a group operation or a topology) and the equivalence relation \,\sim\, is compatible with this structure, the quotient set often inherits a similar structure from its parent set. Ex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lyndon Word
In mathematics, in the areas of combinatorics and computer science, a Lyndon word is a nonempty string that is strictly smaller in lexicographic order than all of its rotations. Lyndon words are named after mathematician Roger Lyndon, who investigated them in 1954, calling them standard lexicographic sequences. Anatoly Shirshov introduced Lyndon words in 1953 calling them regular words. Lyndon words are a special case of Hall words; almost all properties of Lyndon words are shared by Hall words. Definitions Several equivalent definitions exist. A k-ary Lyndon word of length n > 0 is an n-character string over an alphabet of size k, and which is the unique minimum element in the lexicographical ordering in the multiset of all its rotations. Being the singularly smallest rotation implies that a Lyndon word differs from any of its non-trivial rotations, and is therefore aperiodic.; . Alternately, a word w is a Lyndon word if and only if it is nonempty and lexicographically stri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Möbius Inversion Formula
In mathematics, the classic Möbius inversion formula is a relation between pairs of arithmetic functions, each defined from the other by sums over divisors. It was introduced into number theory in 1832 by August Ferdinand Möbius. A large generalization of this formula applies to summation over an arbitrary locally finite partially ordered set, with Möbius' classical formula applying to the set of the natural numbers ordered by divisibility: see incidence algebra. Statement of the formula The classic version states that if and are arithmetic functions satisfying : g(n)=\sum_f(d)\quad\textn\ge 1 then :f(n)=\sum_\mu(d)g\left(\frac\right)\quad\textn\ge 1 where is the Möbius function and the sums extend over all positive divisors of (indicated by d \mid n in the above formulae). In effect, the original can be determined given by using the inversion formula. The two sequences are said to be Möbius transforms of each other. The formula is also correct if and are funct ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
