|
Disjunctive Sum
In the mathematics of combinatorial games, the sum or disjunctive sum of two games is a game in which the two games are played in parallel, with each player being allowed to move in just one of the games per turn. The sum game finishes when there are no moves left in either of the two parallel games, at which point (in normal play) the last player to move wins. This operation may be extended to disjunctive sums of any number of games, again by playing the games in parallel and moving in exactly one of the games per turn. It is the fundamental operation that is used in the Sprague–Grundy theorem for impartial games and which led to the field of combinatorial game theory for partisan games. Application to common games Disjunctive sums arise in games that naturally break up into components or regions that do not interact except in that each player in turn must choose just one component to play in. Examples of such games are Go, Nim, Sprouts, Domineering, the Game of the Amazo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Combinatorial Game Theory
Combinatorial game theory is a branch of mathematics and theoretical computer science that typically studies sequential games with perfect information. Research in this field has primarily focused on two-player games in which a ''position'' evolves through alternating ''moves'', each governed by well-defined rules, with the aim of achieving a specific winning condition. Unlike game theory, economic game theory, combinatorial game theory generally avoids the study of games of chance or games involving imperfect information, preferring instead games in which the current state and the full set of available moves are always known to both players. However, as mathematical techniques develop, the scope of analyzable games expands, and the boundaries of the field continue to evolve. Authors typically define the term "game" at the outset of academic papers, with definitions tailored to the specific game under analysis rather than reflecting the field’s full scope. Combinatorics, Comb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Associativity
In mathematics, the associative property is a property of some binary operations that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a Validity (logic), valid rule of replacement for well-formed formula, expressions in Formal proof, logical proofs. Within an expression containing two or more occurrences in a row of the same associative operator, the order in which the Operation (mathematics), operations are performed does not matter as long as the sequence of the operands is not changed. That is (after rewriting the expression with parentheses and in infix notation if necessary), rearranging the parentheses in such an expression will not change its value. Consider the following equations: \begin (2 + 3) + 4 &= 2 + (3 + 4) = 9 \,\\ 2 \times (3 \times 4) &= (2 \times 3) \times 4 = 24 . \end Even though the parentheses were rearranged on each line, the values of the expressions were not altered. Since this holds ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Star (game Theory)
In combinatorial game theory, star, written as or , is the value given to the game where both players have only the option of moving to the zero game. Star may also be denoted as the surreal form . This game is an unconditional first-player win. Star, as defined by John Horton Conway, John Conway in ''Winning Ways for your Mathematical Plays'', is a value, but not a number in the traditional sense. Star is not zero, but neither positive number, positive nor negative number, negative, and is therefore said to be fuzzy game, ''fuzzy'' and ''confused with'' (a fourth alternative that means neither "less than", "equal to", nor "greater than") 0. It is less than all positive rational numbers, and greater than all negative rationals. Games other than may have value ∗. For example, the game *2 + *3, where the values are nimbers, has value ∗ despite each player having more options than simply moving to 0. Why ∗ ≠ 0 A combinatorial game has a positive and negative ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monoid
In abstract algebra, 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 . 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 theory (Krohn–Rhodes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set (mathematics), set on which addition, subtraction, multiplication, and division (mathematics), division are defined and behave as the corresponding operations on rational number, rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as field of rational functions, fields of rational functions, algebraic function fields, algebraic number fields, and p-adic number, ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many element (set), elements. The theory of fields proves that angle trisection and squaring the circle cannot be done with a compass and straighte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surreal Number
In mathematics, the surreal number system is a total order, totally ordered proper class containing not only the real numbers but also Infinity, infinite and infinitesimal, infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number. Research on the Go endgame by John Horton Conway led to the original definition and construction of surreal numbers. Conway's construction was introduced in Donald Knuth's 1974 book ''Surreal Numbers: How Two Ex-Students Turned On to Pure Mathematics and Found Total Happiness''. The surreals share many properties with the reals, including the usual arithmetic operations (addition, subtraction, multiplication, and division); as such, they form an ordered field. If formulated in von Neumann–Bernays–Gödel set theory, the surreal numbers are a universal ordered field in the sense that all other ordered fields, such as the rationals, the reals, the rational functions, the Levi-Civita field, the superreal numbe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Class (set Theory)
In set theory and its applications throughout mathematics, a class is a collection of sets (or sometimes other mathematical objects) that can be unambiguously defined by a property that all its members share. Classes act as a way to have set-like collections while differing from sets so as to avoid paradoxes, especially Russell's paradox (see '). The precise definition of "class" depends on foundational context. In work on Zermelo–Fraenkel set theory, the notion of class is informal, whereas other set theories, such as von Neumann–Bernays–Gödel set theory, axiomatize the notion of "proper class", e.g., as entities that are not members of another entity. A class that is not a set (informally in Zermelo–Fraenkel) is called a proper class, and a class that is a set is sometimes called a small class. For instance, the class of all ordinal numbers, and the class of all sets, are proper classes in many formal systems. In Quine's set-theoretical writing, the phrase "ultimate ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after the Norwegian mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation ･ , that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The sym ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zero Game
In combinatorial game theory, the zero game is the game where neither player has any legal options. Therefore, under the normal play convention, the first player automatically loses, and it is a second-player win. The zero game has a Sprague–Grundy value of zero. The combinatorial notation of the zero game is: .. A zero game should be contrasted with the star game , which is a first-player win since either player must (if first to move in the game) move to a zero game, and therefore win. Examples Simple examples of zero games include Nim with no piles or a Hackenbush diagram with nothing drawn on it. Sprague-Grundy value The Sprague–Grundy theorem applies to impartial games (in which each move may be played by either player) and asserts that every such game has an equivalent Sprague–Grundy value, a "nimber", which indicates the number of pieces in an equivalent position in the game of nim. All second-player win games have a Sprague–Grundy value of zero, though the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Additive Inverse
In mathematics, the additive inverse of an element , denoted , is the element that when added to , yields the additive identity, 0 (zero). In the most familiar cases, this is the number 0, but it can also refer to a more generalized zero element. In elementary mathematics, the additive inverse is often referred to as the opposite number, or its negative. The unary operation of arithmetic negation is closely related to '' subtraction'' and is important in solving algebraic equations. Not all sets where addition is defined have an additive inverse, such as the natural numbers. Common examples When working with integers, rational numbers, real numbers, and complex numbers, the additive inverse of any number can be found by multiplying it by −1. The concept can also be extended to algebraic expressions, which is often used when balancing equations. Relation to subtraction The additive inverse is closely related to subtraction, which can be viewed as an add ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutativity
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a property of arithmetic, e.g. or , the property can also be used in more advanced settings. The name is needed because there are operations, such as division and subtraction, that do not have it (for example, ); such operations are ''not'' commutative, and so are referred to as noncommutative operations. The idea that simple operations, such as the multiplication and addition of numbers, are commutative was for many centuries implicitly assumed. Thus, this property was not named until the 19th century, when new algebraic structures started to be studied. Definition A binary operation * on a set ''S'' is ''commutative'' if x * y = y * x for all x,y \in S. An operation that is not commutative is said to be ''noncommutative''. One says ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Misère Game
Misère (French for "destitution"), misere, nullo, bettel, betl, or (German for "beggar"; equivalent terms in other languages include , and ) is a bid in various card games, and the player who bids misère undertakes to win no tricks or as few as possible, usually at no trump, in the round to be played. This does not allow sufficient variety to constitute a game in its own right, but it is the basis of such trick-avoidance games as Hearts, and provides an optional contract for most games involving an auction. The term or category may also be used for some card game of its own with the same aim, like Black Peter. A misère bid usually indicates an extremely poor hand, hence the name. An open or lay down misère, or misère ouvert is a 500 bid where the player is so sure of losing every trick that they undertake to do so with their cards placed face-up on the table. Consequently, 'lay down misère' is Australian gambling slang for a predicted easy victory. In Skat, the b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
