|
Chinese Monoid
In mathematics, the Chinese monoid is a monoid generated by a totally ordered alphabet with the relations ''cba'' = ''cab'' = ''bca'' for every ''a'' ≤ ''b'' ≤ ''c''. An algorithm similar to Schensted's algorithm yields characterisation of the equivalence classes and a cross-section theorem. It was discovered by during their classification of monoids with growth similar to that of the plactic monoid, and studied in detail by Julien Cassaigne, Marc Espie, Daniel Krob, Jean-Christophe Novelli, and Florent Hivert in 2001. The Chinese monoid has a regular language cross-section : a^* \ (ba)^*b^* \ (ca)^*(cb)^* c^* \cdots and hence polynomial growth of dimension \frac. The Chinese monoid equivalence class of a permutation is the preimage of an involution under the map w \mapsto w \circ w^ where \circ denotes the product in the Iwahori-Hecke algebra with q_s = 0. See also * Plactic monoid In mathematics, the plactic monoid is the monoid of all words in the alphabet of posi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monoid
In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0. Monoids are semigroups with identity. Such algebraic structures occur in several branches of mathematics. The functions from a set into itself form a monoid with respect to function composition. More generally, in category theory, the morphisms of an object to itself form a monoid, and, conversely, a monoid may be viewed as a category with a single object. In computer science and computer programming, the set of strings built from a given set of characters is a free monoid. Transition monoids and syntactic monoids are used in describing finite-state machines. Trace monoids and history monoids provide a foundation for process calculi and concurrent computing. In theoretical computer science, the study of monoids is fundamental for automata ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algorithm
In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algorithms are used as specifications for performing calculations and data processing. More advanced algorithms can perform automated deductions (referred to as automated reasoning) and use mathematical and logical tests to divert the code execution through various routes (referred to as automated decision-making). Using human characteristics as descriptors of machines in metaphorical ways was already practiced by Alan Turing with terms such as "memory", "search" and "stimulus". In contrast, a Heuristic (computer science), heuristic is an approach to problem solving that may not be fully specified or may not guarantee correct or optimal results, especially in problem domains where there is no well-defined correct or optimal result. As an effective method, an algorithm ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Craige Schensted
Craige Schensted (), who formally changed his name to Ea Ea, was an American physicist and mathematician who first formulated the insertion algorithm that defines the Robinson–Schensted correspondence. Under a different form, that correspondence had earlier been described by Gilbert de Beauregard Robinson in 1938, but it is due to the Schensted insertion algorithm that the correspondence has become widely known in combinatorics. Schensted also designed several board games including *Star, Star, and Y. In 1995, he changed his name to Ea, the Babylonian name for the Sumerian god Enki, and in 1999 changed it to Ea Ea. He lived on Peaks Island in Portland, Maine Portland is the largest city in the U.S. state of Maine and the seat of Cumberland County. Portland's population was 68,408 in April 2020. The Greater Portland metropolitan area is home to over half a million people, the 104th-largest metropol .... References * * * * * * External linksHome pageof Ea Ea, formerly ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cross-section Theorem
Cross section may refer to: * Cross section (geometry) ** Cross-sectional views in architecture & engineering 3D *Cross section (geology) * Cross section (electronics) * Radar cross section, measure of detectability * Cross section (physics) **Absorption cross section **Nuclear cross section **Neutron cross section **Photoionisation cross section **Gamma ray cross section * ''Cross Section'' (album), 1956 musical album by Billy Taylor See also *Cross section (fiber), microscopic view of textile fibers. *Section (fiber bundle), in differential and algebraic geometry and topology, a section of a fiber bundle or sheaf *Cross-sectional data, in statistics, econometrics, and medical research, a data set drawn from a single point in time **Cross-sectional study, a scientific investigation utilizing cross-sectional data ***Cross-sectional regression In statistics and econometrics, a cross-sectional regression is a type of regression in which the explained and explanatory variables ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plactic Monoid
In mathematics, the plactic monoid is the monoid of all words in the alphabet of positive integers modulo Knuth equivalence. Its elements can be identified with semistandard Young tableaux. It was discovered by (who called it the tableau algebra), using an operation given by in his study of the longest increasing subsequence of a permutation. It was named the "''monoïde plaxique''" by , who allowed any totally ordered alphabet in the definition. The etymology of the word "''plaxique''" is unclear; it may refer to plate tectonics ("tectonique des plaques" in French), as elementary relations that generate the equivalence allow conditional commutation of generator symbols: they can sometimes slide across each other (in apparent analogy to tectonic plates), but not freely. Definition The plactic monoid over some totally ordered alphabet (often the positive integers) is the monoid with the following presentation: *The generators are the letters of the alphabet *The relations ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Language
In theoretical computer science and formal language theory, a regular language (also called a rational language) is a formal language that can be defined by a regular expression, in the strict sense in theoretical computer science (as opposed to many modern regular expressions engines, which are augmented with features that allow recognition of non-regular languages). Alternatively, a regular language can be defined as a language recognized by a finite automaton. The equivalence of regular expressions and finite automata is known as Kleene's theorem (after American mathematician Stephen Cole Kleene). In the Chomsky hierarchy, regular languages are the languages generated by Type-3 grammars. Formal definition The collection of regular languages over an alphabet Σ is defined recursively as follows: * The empty language Ø is a regular language. * For each ''a'' ∈ Σ (''a'' belongs to Σ), the singleton language is a regular language. * If ''A'' is a regular language, ''A''* ( ... [...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] |
Iwahori–Hecke Algebra
In mathematics, the Iwahori–Hecke algebra, or Hecke algebra, named for Erich Hecke and Nagayoshi Iwahori, is a deformation of the group algebra of a Coxeter group. Hecke algebras are quotients of the group rings of Artin braid groups. This connection found a spectacular application in Vaughan Jones' construction of new invariants of knots. Representations of Hecke algebras led to discovery of quantum groups by Michio Jimbo. Michael Freedman proposed Hecke algebras as a foundation for topological quantum computation. Hecke algebras of Coxeter groups Start with the following data: * (''W'', ''S'') is a Coxeter system with the Coxeter matrix ''M'' = (''m''''st''), * ''R'' is a commutative ring with identity. * is a family of units of ''R'' such that ''qs'' = ''qt'' whenever ''s'' and ''t'' are conjugate in ''W'' * ''A'' is the ring of Laurent polynomials over Z with indeterminates ''qs'' (and the above restriction that ''qs'' = ''qt'' whenever ''s'' and ''t'' are conjugate ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plactic Monoid
In mathematics, the plactic monoid is the monoid of all words in the alphabet of positive integers modulo Knuth equivalence. Its elements can be identified with semistandard Young tableaux. It was discovered by (who called it the tableau algebra), using an operation given by in his study of the longest increasing subsequence of a permutation. It was named the "''monoïde plaxique''" by , who allowed any totally ordered alphabet in the definition. The etymology of the word "''plaxique''" is unclear; it may refer to plate tectonics ("tectonique des plaques" in French), as elementary relations that generate the equivalence allow conditional commutation of generator symbols: they can sometimes slide across each other (in apparent analogy to tectonic plates), but not freely. Definition The plactic monoid over some totally ordered alphabet (often the positive integers) is the monoid with the following presentation: *The generators are the letters of the alphabet *The relations ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Combinatorics
Combinatorics is an area of mathematics primarily concerned with counting, both as a means and an end in obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many applications ranging from logic to statistical physics and from evolutionary biology to computer science. Combinatorics is well known for the breadth of the problems it tackles. Combinatorial problems arise in many areas of pure mathematics, notably in algebra, probability theory, topology, and geometry, as well as in its many application areas. Many combinatorial questions have historically been considered in isolation, giving an ''ad hoc'' solution to a problem arising in some mathematical context. In the later twentieth century, however, powerful and general theoretical methods were developed, making combinatorics into an independent branch of mathematics in its own right. One of the oldest and most accessible parts of combinatorics is gra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
