Core (game Theory)
In cooperative game theory, the core is the set of feasible allocations that cannot be improved upon by a subset (a ''coalition'') of the economy's agents. A coalition is said to ''improve upon'' or ''block'' a feasible allocation if the members of that coalition are better off under another feasible allocation that is identical to the first except that every member of the coalition has a different consumption bundle that is part of an aggregate consumption bundle that can be constructed from publicly available technology and the initial endowments of each consumer in the coalition. An allocation is said to have the ''core property'' if there is no coalition that can improve upon it. The core is the set of all feasible allocations with the core property. Origin The idea of the core already appeared in the writings of , at the time referred to as the ''contract curve''. Even though von Neumann and Morgenstern considered it an interesting concept, they only worked with zero-sum ga ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cooperative Game Theory
In game theory, a cooperative game (or coalitional game) is a game with competition between groups of Player (game), players ("coalitions") due to the possibility of external enforcement of cooperative behavior (e.g. through contract law). Those are opposed to non-cooperative games in which there is either no possibility to forge alliances or all agreements need to be Self-enforcing agreement, self-enforcing (e.g. through credible threats). Cooperative games are often analysed through the framework of cooperative game theory, which focuses on predicting which coalitions will form, the joint actions that groups take and the resulting collective payoffs. It is opposed to the traditional Non-cooperative game, non-cooperative game theory which focuses on predicting individual players' actions and payoffs and analyzing Nash equilibria. Cooperative game theory provides a high-level approach as it only describes the structure, strategies and payoffs of coalitions, whereas non-cooperativ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Logical Equivalence
In logic and mathematics, statements p and q are said to be logically equivalent if they have the same truth value in every model. The logical equivalence of p and q is sometimes expressed as p \equiv q, p :: q, \textsfpq, or p \iff q, depending on the notation being used. However, these symbols are also used for material equivalence, so proper interpretation would depend on the context. Logical equivalence is different from material equivalence, although the two concepts are intrinsically related. Logical equivalences In logic, many common logical equivalences exist and are often listed as laws or properties. The following tables illustrate some of these. General logical equivalences Logical equivalences involving conditional statements :#p \implies q \equiv \neg p \vee q :#p \implies q \equiv \neg q \implies \neg p :#p \vee q \equiv \neg p \implies q :#p \wedge q \equiv \neg (p \implies \neg q) :#\neg (p \implies q) \equiv p \wedge \neg q :#(p \implies q) \wedge (p \implie ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Knaster–Kuratowski–Mazurkiewicz Lemma
The Knaster–Kuratowski–Mazurkiewicz lemma is a basic result in mathematical fixed-point theory published in 1929 by Knaster, Kuratowski and Mazurkiewicz. The KKM lemma can be proved from Sperner's lemma and can be used to prove the Brouwer fixed-point theorem. Statement Let \Delta_ be an (n-1)-dimensional simplex with ''n'' vertices labeled as 1,\ldots,n. A KKM covering is defined as a set C_1,\ldots,C_n of closed sets such that for any I \subseteq \, the convex hull of the vertices corresponding to I is covered by \bigcup_C_i. The KKM lemma says that in every KKM covering, the common intersection of all ''n'' sets is nonempty, i.e: :\bigcap_^n C_i \neq \emptyset. Example When n=3, the KKM lemma considers the simplex \Delta_2 which is a triangle, whose vertices can be labeled 1, 2 and 3. We are given three closed sets C_1,C_2,C_3 such that: * C_1 covers vertex 1, C_2 covers vertex 2, C_3 covers vertex 3. * The edge 12 (from vertex 1 to vertex 2) is covered by the sets C ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Pareto Efficiency
Pareto efficiency or Pareto optimality is a situation where no action or allocation is available that makes one individual better off without making another worse off. The concept is named after Vilfredo Pareto (1848–1923), Italian civil engineer and economist, who used the concept in his studies of economic efficiency and income distribution. The following three concepts are closely related: * Given an initial situation, a Pareto improvement is a new situation where some agents will gain, and no agents will lose. * A situation is called Pareto-dominated if there exists a possible Pareto improvement. * A situation is called Pareto-optimal or Pareto-efficient if no change could lead to improved satisfaction for some agent without some other agent losing or, equivalently, if there is no scope for further Pareto improvement. The Pareto front (also called Pareto frontier or Pareto set) is the set of all Pareto-efficient situations. Pareto originally used the word "optimal" for t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Welfare Economics
Welfare economics is a branch of economics that uses microeconomic techniques to evaluate well-being (welfare) at the aggregate (economy-wide) level. Attempting to apply the principles of welfare economics gives rise to the field of public economics, the study of how government might intervene to improve social welfare. Welfare economics also provides the theoretical foundations for particular instruments of public economics, including cost–benefit analysis, while the combination of welfare economics and insights from behavioral economics has led to the creation of a new subfield, behavioral welfare economics. The field of welfare economics is associated with two fundamental theorems. The first states that given certain assumptions, competitive markets produce ( Pareto) efficient outcomes; it captures the logic of Adam Smith's invisible hand. The second states that given further restrictions, any Pareto efficient outcome can be supported as a competitive market equilibrium. Th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Nakamura Number
In cooperative game theory and social choice theory, the Nakamura number measures the degree of rationality of preference aggregation rules (collective decision rules), such as voting rules. It is an indicator of the extent to which an aggregation rule can yield well-defined choices. *If the number of alternatives (candidates; options) to choose from is less than this number, then the rule in question will identify "best" alternatives without any problem. In contrast, *if the number of alternatives is greater than or equal to this number, the rule will fail to identify "best" alternatives for some pattern of voting (i.e., for some profile (tuple) of individual preferences), because a voting paradox will arise (a ''cycle'' generated such as alternative a socially preferred to alternative b, b to c, and c to a). The larger the Nakamura number a rule has, the greater the number of alternatives the rule can rationally deal with. For example, since (except in the case of four individuals ( ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Edgeworth Conjecture
Edgeworth's limit theorem is an economic theorem created by Francis Ysidro Edgeworth that examines a range of possible outcomes which may result from free market exchange or barter between groups of people. It shows that while the precise location of the final settlement (the ultimate division of goods) between the parties is indeterminate, there is a range of potential outcomes which shrinks as the number of traders increases. Theoretical outline Francis Ysidro Edgeworth first described what later became known as the limit theorem in his book ''Mathematical Psychics'' (1881). He used a variant of what is now known as the Edgeworth box (with quantities traded, rather than quantities possessed, on the relevant axes) to analyse trade between groups of traders of various sizes. In general he found that 'Contract without competition is indeterminate, contract with perfect competition is perfectly determinate, ndcontract with more or less perfect competition is less or more indetermina ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Walrasian Equilibrium
Competitive equilibrium (also called: Walrasian equilibrium) is a concept of economic equilibrium introduced by Kenneth Arrow and Gérard Debreu in 1951 appropriate for the analysis of commodity markets with flexible prices and many traders, and serving as the benchmark of efficiency in economic analysis. It relies crucially on the assumption of a competitive environment where each trader decides upon a quantity that is so small compared to the total quantity traded in the market that their individual transactions have no influence on the prices. Competitive markets are an ideal standard by which other market structures are evaluated. Definitions A competitive equilibrium (CE) consists of two elements: * A price function P. It takes as argument a vector representing a bundle of commodities, and returns a positive real number that represents its price. Usually the price function is linear - it is represented as a vector of prices, a price for each commodity type. * An allocation m ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
If And Only If
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is biconditional (a statement of material equivalence), and can be likened to the standard material conditional ("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false), though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example, ''P if and only if Q'' means that ''P'' is true whenever ''Q'' is true, and the only case in which ''P'' is true is if ''Q'' is also true, whereas in the case of ''P if Q'', there could be other scenarios where ''P'' is true and ''Q'' is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bondareva–Shapley Theorem
The Bondareva–Shapley theorem, in game theory, describes a necessary and sufficient condition for the non-emptiness of the core of a cooperative game in characteristic function form. Specifically, the game's core is non-empty if and only if the game is ''balanced''. The Bondareva–Shapley theorem implies that market games and convex games have non-empty cores. The theorem was formulated independently by Olga Bondareva and Lloyd Shapley in the 1960s. Theorem Let the pair \langle N, v\rangle be a cooperative game in characteristic function form, where N is the set of players and where the ''value function'' v: 2^N \to \mathbb is defined on N's power set In mathematics, the power set (or powerset) of a set is the set of all subsets of , including the empty set and itself. In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is po ... (the set of all subsets of N). The core of \langle N, v \rangle is non-em ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Convex Set
In geometry, a subset of a Euclidean space, or more generally an affine space over the reals, is convex if, given any two points in the subset, the subset contains the whole line segment that joins them. Equivalently, a convex set or a convex region is a subset that intersects every line into a single line segment (possibly empty). For example, a solid cube is a convex set, but anything that is hollow or has an indent, for example, a crescent shape, is not convex. The boundary of a convex set is always a convex curve. The intersection of all the convex sets that contain a given subset of Euclidean space is called the convex hull of . It is the smallest convex set containing . A convex function is a real-valued function defined on an interval with the property that its epigraph (the set of points on or above the graph of the function) is a convex set. Convex minimization is a subfield of optimization that studies the problem of minimizing convex functions over convex se ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |