Core (game Theory)
   HOME





Core (game Theory)
In cooperative game theory, the core is the set of feasible allocations or imputations where no coalition of agents can benefit by breaking away from the grand coalition. An allocation is said to be in the ''core'' of a game if there is no coalition that can improve upon it. The core is then the set of all feasible allocations. 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 games where the core is always empty. The modern definition of the core is due to Gillies. Definition Consider a transferable utility cooperative game (N,v) where N denotes the set of players and v is the characteristic function. An imputation x\in\mathbb^N is ''dominated'' by another imputation y if there exists a coalition C, such that each player in C weakly-prefers y (x_i\leq y_i for all i\in C) and there exists i\in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Cooperative Game Theory
In game theory, a cooperative game (or coalitional game) is a game with groups of players who form binding “coalitions” with external enforcement of cooperative behavior (e.g. through contract law). This is different from non-cooperative games in which there is either no possibility to forge alliances or all agreements need to be self-enforcing (e.g. through credible threats). Cooperative games are analysed by focusing on coalitions that can be formed, and the joint actions that groups can take and the resulting collective payoffs. Mathematical definition A cooperative game is given by specifying a value for every coalition. Formally, the coalitional game consists of a finite set of players N , called the ''grand coalition'', and a ''characteristic function'' v : 2^N \to \mathbb from the set of all possible coalitions of players to a set of payments that satisfies v( \emptyset ) = 0 . The function describes how much collective payoff a set of players can gain by ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Empty Set
In mathematics, the empty set or void set is the unique Set (mathematics), set having no Element (mathematics), elements; its size or cardinality (count of elements in a set) is 0, zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in other theories, its existence can be deduced. Many possible properties of sets are vacuously true for the empty set. Any set other than the empty set is called ''non-empty''. In some textbooks and popularizations, the empty set is referred to as the "null set". However, null set is a distinct notion within the context of measure theory, in which it describes a set of measure zero (which is not necessarily empty). Notation Common notations for the empty set include "", "\emptyset", and "∅". The latter two symbols were introduced by the Bourbaki group (specifically André Weil) in 1939, inspired by the letter Ø () in the Danish orthography, Danish and Norwegian orthography, Norwegian a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Cambridge University Press
Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessment to form Cambridge University Press and Assessment under Queen Elizabeth II's approval in August 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it published over 50,000 titles by authors from over 100 countries. Its publications include more than 420 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also published Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. It also served as the King's Printer. Cambridge University Press, as part of the University of Cambridge, was a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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 set ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Pareto Efficiency
In welfare economics, a Pareto improvement formalizes the idea of an outcome being "better in every possible way". A change is called a Pareto improvement if it leaves at least one person in society better off without leaving anyone else worse off than they were before. A situation is called Pareto efficient or Pareto optimal if all possible Pareto improvements have already been made; in other words, there are no longer any ways left to make one person better off without making some other person worse-off. In social choice theory, the same concept is sometimes called the unanimity principle, which says that if ''everyone'' in a society (strict inequality, non-strictly) prefers A to B, society as a whole also non-strictly prefers A to B. The Pareto frontier, Pareto front consists of all Pareto-efficient situations. In addition to the context of efficiency in ''allocation'', the concept of Pareto efficiency also arises in the context of productive efficiency, ''efficiency in prod ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Welfare Economics
Welfare economics is a field of economics that applies microeconomic techniques to evaluate the overall well-being (welfare) of a society. The principles of welfare economics are often used to inform public economics, which focuses on the ways in which government intervention can improve social welfare. Additionally, welfare economics serves as the theoretical foundation for several instruments of public economics, such as cost–benefit analysis. The intersection of welfare economics and behavioral economics has given rise to the subfield of behavioral welfare economics. Two fundamental theorems are associated with welfare economics. The first states that competitive markets, under certain assumptions, lead to Pareto efficient outcomes. This idea is sometimes referred to as Adam Smith's invisible hand. The second theorem states that with further restrictions, any Pareto efficient outcome can be achieved through a competitive market equilibrium, provided that a social ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Cooperative Bargaining
Cooperative bargaining is a process in which two people decide how to share a surplus that they can jointly generate. In many cases, the surplus created by the two players can be shared in many ways, forcing the players to negotiate which division of payoffs to choose. Such surplus-sharing problems (also called bargaining problem) are faced by management and labor in the division of a firm's profit, by trade partners in the specification of the terms of trade, and more. The present article focuses on the ''normative'' approach to bargaining. It studies how the surplus ''should'' be shared, by formulating appealing axioms that the solution to a bargaining problem should satisfy. It is useful when both parties are willing to cooperate in implementing the fair solution. Such solutions, particularly the Nash solution, were used to solve concrete economic problems, such as management–labor conflicts, on numerous occasions. An alternative approach to bargaining is the ''positive'' appr ...
[...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, named after Francis Ysidro Edgeworth, stating that the core of an economy shrinks to the set of Walrasian equilibria as the number of agents increases to infinity. That is, among all possible outcomes which may result from free market exchange or barter between groups of people, while the precise location of the final settlement (the ultimate division of goods) between the parties is not uniquely determined, as the number of traders increases, the set of all possible final settlements converges to the set of Walrasian equilibria. Intuitively, it may be interpreted as stating that as an economy grows larger, agents increasingly behave as if they are price-taking agents, even if they have the power to bargain. Edgeworth (1881) conjectured the theorem, and provided most of the necessary intuition and went some way towards its proof. Formal proofs were presented under different assumptions by Debreu and Scarf (1963) as well as A ...
[...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 perfect competition, 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 t ...
[...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" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, 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 ...
[...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 ( N, v) 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 ( N, v ) is non-empty if and only if for ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]