|
Semiorder
In order theory, a branch of mathematics, a semiorder is a type of ordering for items with numerical scores, where items with widely differing scores are compared by their scores and where scores within a given margin of error are deemed incomparable. Semiorders were introduced and applied in mathematical psychology by as a model of human preference. They generalize strict weak orderings, in which items with equal scores may be tied but there is no margin of error. They are a special case of partial orders and of interval orders, and can be characterized among the partial orders by additional axioms, or by two forbidden four-item suborders. Utility theory The original motivation for introducing semiorders was to model human preferences without assuming that incomparability is a transitive relation. For instance, suppose that x, y, and z represent three quantities of the same material, and that x is larger than z by the smallest amount that is perceptible as a difference, while y ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semiorder
In order theory, a branch of mathematics, a semiorder is a type of ordering for items with numerical scores, where items with widely differing scores are compared by their scores and where scores within a given margin of error are deemed incomparable. Semiorders were introduced and applied in mathematical psychology by as a model of human preference. They generalize strict weak orderings, in which items with equal scores may be tied but there is no margin of error. They are a special case of partial orders and of interval orders, and can be characterized among the partial orders by additional axioms, or by two forbidden four-item suborders. Utility theory The original motivation for introducing semiorders was to model human preferences without assuming that incomparability is a transitive relation. For instance, suppose that x, y, and z represent three quantities of the same material, and that x is larger than z by the smallest amount that is perceptible as a difference, while y ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1/3–2/3 Conjecture
In order theory, a branch of mathematics, the 1/3–2/3 conjecture states that, if one is comparison sorting a set of items then, no matter what comparisons may have already been performed, it is always possible to choose the next comparison in such a way that it will reduce the number of possible sorted orders by a factor of 2/3 or better. Equivalently, in every finite partially ordered set that is not totally ordered, there exists a pair of elements ''x'' and ''y'' with the property that at least 1/3 and at most 2/3 of the linear extensions of the partial order place ''x'' earlier than ''y''. Example The partial order formed by three elements ''a'', ''b'', and ''c'' with a single comparability relationship, has three linear extensions, and In all three of these extensions, ''a'' is earlier than ''b''. However, ''a'' is earlier than ''c'' in only two of them, and later than ''c'' in the third. Therefore, the pair of ''a'' and ''c'' have the desired property, showing that this ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Catalan Number
In combinatorial mathematics, the Catalan numbers are a sequence of natural numbers that occur in various counting problems, often involving recursively defined objects. They are named after the French-Belgian mathematician Eugène Charles Catalan (1814–1894). The ''n''th Catalan number can be expressed directly in terms of binomial coefficients by :C_n = \frac = \frac = \prod\limits_^\frac \qquad\textn\ge 0. The first Catalan numbers for ''n'' = 0, 1, 2, 3, ... are :1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, ... . Properties An alternative expression for ''C''''n'' is :C_n = - for n\ge 0, which is equivalent to the expression given above because \tbinom=\tfrac\tbinomn. This expression shows that ''C''''n'' is an integer, which is not immediately obvious from the first formula given. This expression forms the basis for a proof of the correctness of the formula. The Catalan numbers satisfy the recurrence relations :C_0 = 1 \quad \text \quad C_=\sum_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Extension
In order theory, a branch of mathematics, a linear extension of a partial order is a total order (or linear order) that is compatible with the partial order. As a classic example, the lexicographic order of totally ordered sets is a linear extension of their product order. Definitions Given any partial orders \,\leq\, and \,\leq^*\, on a set X, \,\leq^*\, is a linear extension of \,\leq\, exactly when (1) \,\leq^*\, is a total order and (2) for every x, y \in X, if x \leq y, then x \leq^* y. It is that second property that leads mathematicians to describe \,\leq^*\, as extending \,\leq. Alternatively, a linear extension may be viewed as an order-preserving bijection from a partially ordered set P to a chain C on the same ground set. Order-extension principle The statement that every partial order can be extended to a total order is known as the order-extension principle. A proof using the axiom of choice was first published by Edward Marczewski in 1930. Marczewski ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indifference Graph
In graph theory, a branch of mathematics, an indifference graph is an undirected graph constructed by assigning a real number to each vertex and connecting two vertices by an edge when their numbers are within one unit of each other.. Indifference graphs are also the intersection graphs of sets of unit intervals, or of properly nested intervals (intervals none of which contains any other one). Based on these two types of interval representations, these graphs are also called unit interval graphs or proper interval graphs; they form a subclass of the interval graphs. Equivalent characterizations The finite indifference graphs may be equivalently characterized as *The intersection graphs of unit intervals, *The intersection graphs of sets of intervals no two of which are nested (one containing the other),. *The claw-free interval graphs, *The graphs that do not have an induced subgraph isomorphic to a claw ''K''1,3, net (a triangle with a degree-one vertex adjacent to each of the tr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Strict Weak Ordering
In mathematics, especially order theory, a weak ordering is a mathematical formalization of the intuitive notion of a ranking of a set, some of whose members may be tied with each other. Weak orders are a generalization of totally ordered sets (rankings without ties) and are in turn generalized by partially ordered sets and preorders.. There are several common ways of formalizing weak orderings, that are different from each other but cryptomorphic (interconvertable with no loss of information): they may be axiomatized as strict weak orderings (partially ordered sets in which incomparability is a transitive relation), as total preorders (transitive binary relations in which at least one of the two possible relations exists between every pair of elements), or as ordered partitions ( partitions of the elements into disjoint subsets, together with a total order on the subsets). In many cases another representation called a preferential arrangement based on a utility function i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Interval Order
In mathematics, especially order theory, the interval order for a collection of intervals on the real line is the partial order corresponding to their left-to-right precedence relation—one interval, ''I''1, being considered less than another, ''I''2, if ''I''1 is completely to the left of ''I''2. More formally, a countable poset P = (X, \leq) is an interval order if and only if there exists a bijection from X to a set of real intervals, so x_i \mapsto (\ell_i, r_i) , such that for any x_i, x_j \in X we have x_i , a left nesting is an i \in n/math> such that i < i+1 < f(i+1) < f(i) and a right nesting is an |
Strict Weak Order
In mathematics, especially order theory, a weak ordering is a mathematical formalization of the intuitive notion of a ranking of a set, some of whose members may be tied with each other. Weak orders are a generalization of totally ordered sets (rankings without ties) and are in turn generalized by partially ordered sets and preorders.. There are several common ways of formalizing weak orderings, that are different from each other but cryptomorphic (interconvertable with no loss of information): they may be axiomatized as strict weak orderings (partially ordered sets in which incomparability is a transitive relation), as total preorders (transitive binary relations in which at least one of the two possible relations exists between every pair of elements), or as ordered partitions ( partitions of the elements into disjoint subsets, together with a total order on the subsets). In many cases another representation called a preferential arrangement based on a utility function is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order Theory
Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary. Background and motivation Orders are everywhere in mathematics and related fields like computer science. The first order often discussed in primary school is the standard order on the natural numbers e.g. "2 is less than 3", "10 is greater than 5", or "Does Tom have fewer cookies than Sally?". This intuitive concept can be extended to orders on other sets of numbers, such as the integers and the reals. The idea of being greater than or less than another number is one of the basic intuitions of number systems (compare with numeral systems) in general (although one usually is also interested in the actual differe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Comparability Graph
In graph theory, a comparability graph is an undirected graph that connects pairs of elements that are comparable to each other in a partial order. Comparability graphs have also been called transitively orientable graphs, partially orderable graphs, containment graphs, and divisor graphs. An incomparability graph is an undirected graph that connects pairs of elements that are not comparable to each other in a partial order. Definitions and characterization For any strict partially ordered set , the comparability graph of is the graph of which the vertices are the elements of and the edges are those pairs of elements such that . That is, for a partially ordered set, take the directed acyclic graph, apply transitive closure, and remove orientation. Equivalently, a comparability graph is a graph that has a transitive orientation, an assignment of directions to the edges of the graph (i.e. an orientation of the graph) such that the adjacency relation of the resulting directe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order Dimension
In mathematics, the dimension of a partially ordered set (poset) is the smallest number of total orders the intersection of which gives rise to the partial order. This concept is also sometimes called the order dimension or the Dushnik–Miller dimension of the partial order. first studied order dimension; for a more detailed treatment of this subject than provided here, see . Formal definition The dimension of a poset ''P'' is the least integer ''t'' for which there exists a family :\mathcal R=(<_1,\dots,<_t) of s of ''P'' so that, for every ''x'' and ''y'' in ''P'', ''x'' precedes ''y'' in ''P'' if and only if it precedes ''y'' in all of the linear extensions. That is, : An alternative definition of order dimension is the minimal number of |
.svg "Click for more on -> Interval Order")
