|
Equitable Cake-cutting
Equitable (EQ) cake-cutting is a kind of a fair cake-cutting problem, in which the fairness criterion is equitability. It is a cake-allocation in which the subjective value of all partners is the same, i.e., each partner is equally happy with his/her share. Mathematically, that means that for all partners and : :V_i(X_i) = V_j(X_j) Where: *X_i is the piece of cake allocated to partner ; *V_i is the value measure of partner . It is a real-valued function that, for every piece of cake, returns a number that represents the utility of partner from that piece. Usually these functions are normalized such that V_i(\emptyset)=0 and V_i(EntireCake)=1 for every . See the page on equitability for examples and comparison to other fairness criteria. Finding an equitable cake-cutting for two partners One cut - full revelation When there are 2 partners, it is possible to get an EQ division with a single cut, but it requires full knowledge of the partners' valuations. Assume that the cake i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fair Cake-cutting
Fair cake-cutting is a kind of fair division problem. The problem involves a ''heterogeneous'' resource, such as a cake with different toppings, that is assumed to be ''divisible'' – it is possible to cut arbitrarily small pieces of it without destroying their value. The resource has to be divided among several partners who have different preferences over different parts of the cake, i.e., some people prefer the chocolate toppings, some prefer the cherries, some just want as large a piece as possible. The division should be ''unanimously'' fair - each person should receive a piece that he or she believes to be a fair share. The "cake" is only a metaphor; procedures for fair cake-cutting can be used to divide various kinds of resources, such as land estates, advertisement space or broadcast time. The prototypical procedure for fair cake-cutting is divide and choose, which is mentioned already in the book of Genesis. It solves the fair division problem for two people. The modern ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equitability
Equitability is a criterion for fair division. A division is called equitable if the subjective value of all partners is the same, i.e., each partner is equally happy with his/her share. Mathematically, that means that for all partners and : : V_i(X_i) = V_j(X_j) Where: * X_i is the part of the resource allocated to partner ; * V_i is the value function of partner . Usually these functions are normalized such that V_i(\emptyset)=0 and V_i(EntireCake)=1 for every . Comparison to other criteria * Equitability (EQ) compares values of ''different'' people to ''different'' pieces; * Envy-freeness (EF) compares values of ''the same'' person to ''different'' pieces; * Exact division (EX) compares values of ''different'' people to ''the same'' pieces. The following table illustrates the difference. In all examples there are two partners, Alice and Bob. Alice receives the left part and Bob receives the right part. Note that the table has only 6 rows, because 2 combinations are impos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pareto Efficient
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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Austin Moving-knife Procedure
The Austin moving-knife procedures are procedures for equitable division of a cake. They allocate each of ''n'' partners, a piece of the cake which this partner values as ''exactly'' 1/n of the cake. This is in contrast to proportional division procedures, which give each partner ''at least'' 1/n of the cake, but may give more to some of the partners. When n=2, the division generated by Austin's procedure is an exact division and it is also envy-free. Moreover, it is possible to divide the cake to any number ''k'' of pieces which both partners value as exactly 1/''k''. Hence, it is possible to divide the cake between the partners in any fraction (e.g. give 1/3 to Alice and 2/3 to George). When n>2, the division is neither exact nor envy-free, since each partner only values his own piece as 1/n, but may value other pieces differently. The main mathematical tool used by Austin's procedure is the intermediate value theorem (IVT). Two partners and half-cakes The basic procedures ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exact Division
Exact division, also called consensus division, is a partition of a continuous resource (" cake") into some ''k'' pieces, such that each of ''n'' people with different tastes agree on the value of each of the pieces. For example, consider a cake which is half chocolate and half vanilla. Alice values only the chocolate and George values only the vanilla. The cake is divided into three pieces: one piece contains 20% of the chocolate and 20% of the vanilla, the second contains 50% of the chocolate and 50% of the vanilla, and the third contains the rest of the cake. This is an exact division (with ''k''=3 and ''n''=2), as both Alice and George value the three pieces as 20%, 50% and 30% respectively. Several common variants and special cases are known by different terms: * Consensus halving – the cake should be partitioned into two pieces (''k''=2), and all agents agree that the pieces have equal values. *Consensus 1/''k''-division, for any constant ''k''>1 - the cake should be partition ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proportional Division
A proportional division is a kind of fair division in which a resource is divided among ''n'' partners with subjective valuations, giving each partner at least 1/''n'' of the resource by his/her own subjective valuation. Proportionality was the first fairness criterion studied in the literature; hence it is sometimes called "simple fair division". It was first conceived by Steinhaus. Example Consider a land asset that has to be divided among 3 heirs: Alice and Bob who think that it's worth 3 million dollars, and George who thinks that it's worth $4.5M. In a proportional division, Alice receives a land-plot that she believes to be worth at least $1M, Bob receives a land-plot that ''he'' believes to be worth at least $1M (even though Alice may think it is worth less), and George receives a land-plot that he believes to be worth at least $1.5M. Existence A proportional division does not always exist. For example, if the resource contains several indivisible items and the number ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Absolutely Continuous
In calculus, absolute continuity is a smoothness property of functions that is stronger than continuity and uniform continuity. The notion of absolute continuity allows one to obtain generalizations of the relationship between the two central operations of calculus— differentiation and integration. This relationship is commonly characterized (by the fundamental theorem of calculus) in the framework of Riemann integration, but with absolute continuity it may be formulated in terms of Lebesgue integration. For real-valued functions on the real line, two interrelated notions appear: absolute continuity of functions and absolute continuity of measures. These two notions are generalized in different directions. The usual derivative of a function is related to the '' Radon–Nikodym derivative'', or ''density'', of a measure. We have the following chains of inclusions for functions over a compact subset of the real line: : ''absolutely continuous'' ⊆ ''uniformly continuous'' = ''cont ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fair Pie-cutting
The fair pie-cutting problem is a variation of the fair cake-cutting problem, in which the resource to be divided is circular. As an example, consider a birthday cake shaped as a disk. The cake should be divided among several children such that no child envies another child (as in a standard cake-cutting problem), with the additional constraint that the cuts must be radial, so that each child receives a circular sector. A possible application of the pie model might be for dividing an island’s shoreline into connected lots. Another possible application is in division of periodic time, such as dividing a daily cycle into "on-call" periods. Model A pie is usually modeled as the 1-dimensional interval ,2π(or ,1, in which the two endpoints are identified. This model was introduced in 1985 and later in 1993. Every procedure for fair cake-cutting can also be applied to cutting a pie by just ignoring the fact that the two endpoints are identified. For example, if the cake-cuttin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adjusted Winner Procedure
Adjusted Winner (AW) is a procedure for envy-free item allocation. Given two agents and some goods, it returns a partition of the goods between the two agents with the following properties: # Envy-freeness: Each agent believes that his share of the goods is at least as good as the other share; # Equitable division, Equitability: The "relative happiness levels" of both agents from their shares are equal; # Pareto-optimality: no other allocation is better for one agent and at least as good for the other agent; # At most one good has to be shared between the agents. For two agents, Adjusted Winner is the only Pareto optimal and equitable procedure that divides at most a single good. The procedure can be used in divorce settlements and partnership dissolutions, as well as international conflicts. The procedure was designed by Steven Brams and Alan D. Taylor. It was first published in their book on fair division and later in a stand-alone book. The algorithm has been commercialized t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robertson–Webb Query Model
In computer science, the Robertson–Webb (RW) query model is a model of computation used by algorithms for the problem of fair cake-cutting. In this problem, there is a resource called a "cake", and several agents with different value measures on the cake. The goal is to divide the cake among the agents such that each agent will consider his/her piece as "fair" by his/her personal value measure. Since the agents' valuations can be very complex, they cannot - in general - be given as inputs to a fair division algorithm. The RW model specifies two kinds of ''queries'' that a fair division algorithm may ask the agents: Eval and Cut. Informally, an Eval query asks an agent to specify his/her value to a given piece of the cake, and a Cut query (also called a Mark query) asks an agent to specify a piece of cake with a given value. Despite the simplicity of the model, many classic cake-cutting algorithms can be described only by these two queries. On the other hand, there are fair cake-cut ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moving-knife Procedure
In the mathematics of social science, and especially game theory, a moving-knife procedure is a type of solution to the fair division problem. The canonical example is the division of a cake using a knife. The simplest example is a moving-knife equivalent of the I cut, you choose scheme, first described by A.K.Austin as a prelude to his own procedure: * One player moves the knife across the cake, conventionally from left to right. * The cake is cut when ''either'' player calls "stop". * If each player calls stop when he or she perceives the knife to be at the 50-50 point, then the first player to call stop will produce an envy-free division if the caller gets the left piece and the other player gets the right piece. (This procedure is not necessarily efficient.) Generalizing this scheme to more than two players cannot be done by a discrete procedure without sacrificing envy-freeness. Examples of moving-knife procedures include * The Stromquist moving-knives procedur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equitable Division
Equitable (EQ) cake-cutting is a kind of a fair cake-cutting problem, in which the fairness criterion is equitability. It is a cake-allocation in which the subjective value of all partners is the same, i.e., each partner is equally happy with his/her share. Mathematically, that means that for all partners and : :V_i(X_i) = V_j(X_j) Where: *X_i is the piece of cake allocated to partner ; *V_i is the value measure of partner . It is a real-valued function that, for every piece of cake, returns a number that represents the utility of partner from that piece. Usually these functions are normalized such that V_i(\emptyset)=0 and V_i(EntireCake)=1 for every . See the page on equitability for examples and comparison to other fairness criteria. Finding an equitable cake-cutting for two partners One cut - full revelation When there are 2 partners, it is possible to get an EQ division with a single cut, but it requires full knowledge of the partners' valuations. Assume that the cake ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Fair Cake-cutting")