All articles published by MDPI are made immediately available worldwide under an open access license. No special
permission is required to reuse all or part of the article published by MDPI, including figures and tables. For
articles published under an open access Creative Common CC BY license, any part of the article may be reused without
permission provided that the original article is clearly cited. For more information, please refer to
https://www.mdpi.com/openaccess.
Feature papers represent the most advanced research with significant potential for high impact in the field. A Feature
Paper should be a substantial original Article that involves several techniques or approaches, provides an outlook for
future research directions and describes possible research applications.
Feature papers are submitted upon individual invitation or recommendation by the scientific editors and must receive
positive feedback from the reviewers.
Editor’s Choice articles are based on recommendations by the scientific editors of MDPI journals from around the world.
Editors select a small number of articles recently published in the journal that they believe will be particularly
interesting to readers, or important in the respective research area. The aim is to provide a snapshot of some of the
most exciting work published in the various research areas of the journal.
In many real-world situations, performers always adopt different energy levels (strategies) to participate. Different from pre-existing results, this paper is devoted to proposing several generalized power outputs of the marginal index, the Banzhaf–Coleman index, and the Banzhaf–Owen index, respectively, by assigning different energy levels to all performers. Since these extended power outputs may not be efficacious, we further define the efficacious extensions of these power outputs, respectively. For each of these efficacious power outputs, we demonstrate that there exists a corresponding reduced game and related consonance property that can be used to characterize it. By focusing on the properties of symmetry and accordance, several axiomatic results are also introduced.
Several indexes have been proposed as suitable mappings from weights and decision quota to power. The most widely used one is the Banzhaf–Coleman index. The Banzhaf–Coleman index, named after Banzhaf [1], is a power index proposed by the probability of changing a result of a vote where voting interests are not necessarily equally distributed among the voters. Based on the demands for accounting, economics, management sciences, and even political sciences, some more power indexes have been proposed, such as the Banzhaf–Owen index and the marginal index. Related results may be found in, e.g., Banzhaf [1], Owen [2], Dubey and Shapley [3], Moulin [4], Lehrer [5], van den Brink and van der Laan [6], and Wei et al. [7]. Briefly, the Banzhaf–Coleman index is a rule that gathers each performer’s average marginal contribution from all coalitions in which it has participated. The Banzhaf–Owen index is a rule that gathers each performer’s total marginal contribution from all coalitions in which it has participated. The marginal index gathers each performer’s marginal contribution from the grand coalition. However, the three indexes do not necessarily allocate the usability over all the performers. Thus, the efficient Banzhaf–Coleman index, the efficient Banzhaf–Owen index, and the equal allocation of non-separable costs (EANSC) were introduced by Hwang and Liao [8] and Ransmeier [9], respectively. Based on the notion of the efficient Banzhaf–Coleman index (the efficient Banzhaf–Owen index, the EANSC), all performers receive its Banzhaf–Coleman index (Banzhaf–Owen, marginal index) and further allocate the remaining usability equally.
Under the axiomatic processes of cooperative games, consonance (consistency) is a crucial property of useful solutions. The notion behind this type of consonance is as follows: for a given game, performers might develop prospects of the game and may be willing to consent to the computation of its remunerations to be based on these prospects. The solution is consonant if it gives the same remunerations to performers in the original game as it does to performers of the imaginary reduced game. Thus, consonance is a requisite of the inner “robustness” of compromises. There exist three main types of reduction in the literature, the max-reduced game due to Davis–Maschler [10], the complement-reduced game due to Moulin [4], and the self-reduced game due to Hart–Mas-Colell [11].
On the other hand, symmetry has been applied widely and significantly in many fields of mathematics, such as control theory, convex analysis, data mining, dynamical system theory, functional analysis, game theory, mathematical economics, nonlinear ordinary and partial differential equations, signal processing, variational analysis, and so on. The symmetry property always can be adopted to analyze the importance or consideration relationships among performers of a game by applying a utility allocation or power distribution. Therefore, many solutions could be characterized by means of the symmetry property, such as the efficient Banzhaf–Coleman index, the efficient Banzhaf–Owen index, the EANSC, the Shapley value [12], and so on.
In a traditional game, each performer either entirely participates or does not participate at all with other performers, while under a multi-choice game, each performer could consent to take many finite different energy levels. It is known that the outputs of multi-choice games could be applied in many fields such as economics, management sciences, sports sciences, and so on. Hwang and Liao [13,14] and Liao [15] proposed several extensions of the max-reduced game and the complement-reduced game to characterize several core concepts in the context of multi-choice games. Liao [16,17] proposed several extensions of the complement-reduced game to characterize several extended EANSCs on multi-choice games. Later, Hwang and Liao [18] also proposed an extension of the self-reduced game to characterize a multi-choice generalization of the Shapley value.
The above-mentioned results raise one question:
Could the power indexes be proposed under the multi-choice consideration?
The paper is devoted to investigating this question. The main results are as follows.
In Section 2 and Section 5, we extend the Banzhaf–Coleman index, the Banzhaf–Owen index, and the marginal index to multi-choice games, which we name the level-marginal output, the level-accumulated output, the level-average output, the *-level-marginal output, the *-level-accumulated output, and the *-level-average output, respectively. Since these outputs are not efficacious, we also consider the efficacious extensions of these outputs.
Briefly, the max-reduced game is based on the “maximizing notion”. For the “summing notion” instead of the “maximizing notion”, we consider the sum-reduced game. For the “averaging notion” instead of the “maximizing notion”, we consider the average-reduced game in Section 3.
Inspired by Hart and Mas-Colell [11], we provide axiomatic results of the efficacious extensions of these outputs based on consonance related to the complement-reduction, the sum-reduction, and the average-reduction, respectively, in Section 3 and Section 5.
Inspired by Maschler and Owen [19], we further adopt the related properties of symmetry and accordance to characterize the efficacious extensions of these outputs in Section 4 and Section 5. Further, some more interpretations are also provided throughout this paper.
2. Preliminaries
2.1. Definitions and Notation
Let be the universe of performers and be a set of performers. Suppose that each performer has levels at which it can actively participate. Let be the vector that gives the amount of energy levels for each performer, at which it can participate. For , we set to be the level repository of performer p, where the level 0 means not acting, and . For , , let be the product set of the level repositories for performers in P. Denote as the zero vector in .
A multi-choice game is denoted by , where is a finite collection of performers, e is the vector that gives the amount of energy levels for each performer, and is a map that apportions to each level vector the usability that the performers can accept when each performer p takes energy level with . A game will be denoted by the map h if there is no confusion. Given a multi-choice game and , we denote as the multi-choice subgame defined by restricting h to .
Denote the family of all multi-choice games by . Given , let . An output on is a map apportioning to each an element
where is the power output or payoff of the performer p when it takes level q to join game h. For convenience, one could define that for each and for each .
For , we define and to be the restriction of at T for each (without loss of generality, one could suppose that for all ). Let , , and . For convenience, we define the notation to stand for and let be defined by and . Let , stand for and stand for .
In the context of multi-choice games, we present three generalizations of the marginal index, the Banzhaf–Coleman index, and the Banzhaf–Owen index as follows.
Definition1.
The level-marginal output,, is the output that associates with and each the value:
where is the general marginal value of performer p from level to q in the grand coalition.
The level-accumulated output,, is the output that associates withand eachthe value:
whereis total marginal value of performer p from levelto q among all participating coalitions.
The level-average output,, is the output that associates with and eachthe value:
whereis the average marginal value of performer p from levelto q among all participating coalitions.
Let . It is easy to confirm that the level-marginal output, the level-accumulated output, and the level-average output are not adequate in distributing the usability of the grand coalition because they are not efficacious, i.e., they do not necessarily allocate the usability over the performers in P. Formally,
an output conforms to efficacy (EIY) if for every .
Therefore, we consider possible efficacious extensions of these outputs as follows.
Definition2.
The efficacious marginal outputis the output that associates withand eachthe value:
Under the output, performers firstly receive its general marginal values and further distribute equally the remaining benefit.
The efficacious accumulated output,, is the output that associates withand eachthe value:
Under the output, performers firstly receive its total marginal values and further distribute equally the remaining benefit.
The efficacious average output,, is the output that associates withand eachthe value:
Under the output, performers firstly receive its average marginal values and further distribute equally the remaining benefit.
Clearly,andconform to EIY.
2.2. Motivating and Practical Examples
The advantages of our methods are that these outputs of a multi-choice game always exist and result in a specific performer taking a specific level different from the usual attitude for multi-choice games, which results in a kind of global result for a specific performer by summarizing the result under all its energy levels.
Here, we provide a brief motivating example of multi-choice games in the setting of “management”. Let be a set of all performers of a management system . The function h could be treated as a usability function that assigns to each level vector the worth that the performers can obtain when each performer p participates in the operation strategy in . Modeled in this way, the management system could be considered as a multi-choice game, with h being each characteristic function and being the set of all operation strategies of the performer p.
In the following, we also provide a practical application of the power distribution in a national parliament. Let be a set of all performers of a national parliament of a certain country. In the national parliament of a certain country, all the performers of the parliament are elected by voting or recommendation by parties. All performers have the power to propose, discuss, establish, and veto all bills. They dedicate different levels of attention and participation to different bills depending on their academic expertise and the public opinion they represent. The level of involvement is also closely associated with the alliance strategy formed for the interests of different political parties. For the aforementioned reasons, strategies adopted by each performer of the parliament show distinct levels of participation and certain amounts of ambiguity. The function h could be treated as a power function that assigns to each level vector the power that the performers can achieve when each performer p participates in operation strategy . Modeled in this way, the national parliament operational system could be considered as a multi-choice game, with h being each characteristic function and being the set of all operation strategies of the performer p. To evaluate the influence of each performer in the national parliament, using the power indicators we proposed, we first assess the influence each parliament performer has gained over previous bill meetings based on various strategies, which are the outputs mentioned in Definitions 1 and 2.
Here, we provide an application with real data as follows. Let with and . Further, let , , , , , , , , , , , and . By Definitions 1 and 2,
Subsequently, we would like to show that the outputs mentioned in Definitions 1 and 2 could provide “optimal allocation mechanisms” among all performers, in the sense that this organization can get a payoff from each combination of the operation levels of all performers under multi-choice behavior.
3. Reductions, Consonance, and Characterizations
Here, we demonstrate that for these efficacious outputs, there exist corresponding reductions that can be used to characterize these efficacious outputs.
Definition3.
Given an output ρ,and.
The complement-reduced gamerelated to ρ and S is defined for everyby,
The sum-reduced gamerelated to ρ and S is defined for everyby,
The average-reduced gamerelated to ρ and S is defined for everyby,
Let the subset be the collection of all performers who doubt the remuneration assigned by the output . In the reduced game (or ), the performers of S are regathered to replay. Certainly, if each performer of S does not participate, the amount S can obtain is zero. At least one performer of would be required to participate at full steam when some performers of S adopt nonzero levels to replay. If all the performers of S participate at full steam, all the performers of also cooperate at full steam. Since the performers of accept the remuneration assigned by the output , they receive the deserved remuneration and leave.
The consonance requirement may be described informally as follows. Let be a power output on . For any group of performers in a game, one defines a “reduced game” among them by considering the amounts remaining after the rest of the performers are given the payoffs prescribed by . Then, is said to be consistent if, when it is applied to any reduced game, it always yields the same remunerations as in the original game. For each of these reduced games, there exists a corresponding consonance as follows. Let be an output on .
conforms to complement-consonance (ComCSA) if for every , for every , and for every , .
conforms to sum-consonance (SumCSA) if for every , for every , and for every , .
conforms to average-consonance (AveCSA) if for every , for every , and for every , .
conforms to bilateral complement-consonance (BilComCSA) if for every , for every with , and for every , .
conforms to bilateral sum-consonance (BilSumCSA) if for every , for every with , and for every , .
conforms to bilateral average-consonance (BilAveCSA) if for every , for every with , and for every , .
Next, we demonstrate that the output (, ) conforms to BilComCSA (BilSumCSA, BilAveCSA).
Lemma1.
1.
The outputconforms to BilComCSA.
2.
The outputconforms to BilSumCSA.
3.
The outputconforms to BilAveCSA.
Proofof Lemma 1.
Given with and for some , . To confirm 1, by the definition of , for every ,
By the definitions of and , for every ,
Hence, by Equations (1) and (2) and the definitions of and ,
Hence, the output conforms to BilComCSA. The proofs of 2 and 3 are similar. □
Inspired by Hart–Mas-Colell [11], we adopt the criterion approach to axiomatize the efficacious extensions of these outputs by means of the properties of the corresponding bilateral consonance and the corresponding criterion for games. Let be an output on .
Marginal-criterion for games (MCG): for every with , .
Accumulated-criterion for games (ACCG): for every with , .
Average-criterion for games (AVCG): for every with , .
Remark1.
Clearly,, andconform to MCG, ACCG, and AVCG, respectively. It is also easy to verify that if an output ρ conforms to MCG (ACCG, AVCG) and BilComCSA (BilSumCSA, BilAveCSA), thenfor every(the technique is similar to Hart and Mas-Colell [11]: page 599).
Lemma2.
Let ρ be an output on Λ.
1.
If ρ conforms to MCG and BilComCSA, then it also conforms to EIY.
2.
If ρ conforms to ACCG and BilSumCSA, then it also conforms to EIY.
3.
If ρ conforms to ACCG and BilAveCSA, then it also conforms to EIY.
Proofof Lemma 2.
To confirm 1, suppose that conforms to MCG and BilComCSA. Let . If , then conforms to EIY by Remark 2. It is trivial that conforms to EIY by MCG if . Suppose . Since BilComCSA and conforms to EIY for one-person games, it is easy to derive that conforms to EIY. The proofs of 2 and 3 are similar. □
Subsequently, we characterize the output (, ) by means of BilComCSA (BilSumCSA, BilAveCSA).
Theorem1.
Let ρ be an output on Λ.
1.
ρ conforms to MCG and BilComCSA if and only if.
2.
ρ conforms to ACCG and BilSumCSA if and only if.
3.
ρ conforms to ACCG and BilAveCSA if and only if.
Proofof Theorem 1.
By Lemma 1, conforms to BilComCSA, conforms to BilSumCSA, and conforms to BilAveCSA. Clearly, , , and conform to MCG, ACCG, and AVCG, respectively.
To demonstrate the uniqueness of 1, suppose that conforms to MCG and BilComCSA. By Lemma 2, conforms to EIY. Let . It is trivial that by MCG if . The case : Let and for some , then for every and for every ,
Similarly, . Hence, by Equation (3), for every with ,
i.e., there exists such that for every , . Therefore,
That is, . Therefore, for every .
To demonstrate the uniqueness of 2, suppose conforms to ACCG and BilSumCSA. By Lemma 2, conforms to EIY. Let . If , it is trivial that by ACCG. The case : Let and for some , then for every and for every ,
Similarly,
Hence, by Equation (4), for every with ,
Therefore, there exists such that for every ,
By EIY of and ,
Hence, . That is, for every . The proof of 3 is similar to the proof of 2, so we omit it. □
The following examples are to demonstrate that each of the properties appearing in Theorem 1 is logically independent of the rest of the properties.
Example1.
Define an output ρ on Λ by for everyand for every ,
It is easy to confirm that ρ conforms to BilComCSA, BilSumCSA, and BilAveCSA, but it does not satisfy MCG, ACCG, and AVCG.
Example2.
Define an output ρ on Λ by for everyand for every ,
It is easy to confirm that ρ conforms to MCG, but it does not satisfy BilComCSA.
Example3.
Define an output ρ on Λ by for everyand for every ,
It is easy to confirm that ρ conforms to ACCG, but it does not satisfy BilSumCSA.
Example4.
Define an output ρ on Λ by for everyand for every ,
It is easy to confirm that ρ conforms to AVCG, but it does not satisfy BilAveCSA.
4. Symmetry, Accordance, and Characterizations
In this section, we characterize these efficacious outputs by means of the related properties of symmetry and accordance. Thus, some more properties are needed. Let be an output.
conforms to marginal symmetry (MASYM) if for every with for some and for every , .
conforms to accumulated symmetry (ACSYM) if for every with for some and for every , .
conforms to average symmetry (AVSYM) if for every with for some and for every , .
conforms to accordance (ADE) if for every with for some and for every , .
MASYM (ACSYM, AVSYM) means that the remunerations of two performers should be equal if the general (total, average) marginal values of these two performers are coincidental. ADE can be treated as an extreme weakness of additivity. By Definition 2, it is easy to confirm that the efficacious marginal (accumulated, average) output conforms to MASYM (ACSYM, AVSYM) and ADE.
Next, we demonstrate that the property MCG (ACCG, AXCG) could be replaced by the efficacy, marginal (accumulated, average) symmetry, accordance, and bilateral complement (sum, average)-consonance simultaneously.
Lemma3.
1.
If an output ρ conforms to EIY, MASYM, and ADE, then ρ conforms to MCG.
2.
If an output ρ conforms to EIY, ACSYM, and ADE, then ρ conforms to ACCG.
3.
If an output ρ conforms to EIY, AVSYM, and ADE, then ρ conforms to AVCG.
Proofof Lemma 3.
Assume that an output conforms to EIY, MASYM, and ADE. Given with for some , we define a game to be that for every ,
By the definition of ,
Further,
Similarly, for every . Since , we have that for every . Similarly, for every . Since , by the MASYM of , . By the EIY of ,
Therefore, by Equation (5) and the definition of ,
By the ADE of ,
Similarly, for every . Hence, conforms to MCG. The proofs of the results of 2 and 3 are similar. □
Subsequently, we characterize the efficacious marginal (accumulated, average) output by means of the efficacy, marginal (accumulated, average) symmetry, accordance, and bilateral complement (sum, average)-consonance.
Theorem2.
1.
An output ρ conforms to EIY, MASYM, ADE, and BilComCSA if and only if.
2.
An output ρ conforms to EIY, ACSYM, ADE, and BilSumCSA if and only if.
3.
An output ρ conforms to EIY, AVSYM, ADE, and BilAveCSA if and only if.
Proofof Theorem 2.
It is easy to confirm that the efficacious marginal (accumulated, average) output conforms to MASYM (ACSYM, AVSYM) and ADE by Definition 2. The rest of the proofs follow from Theorem 1 and Lemmas 1 and 3. □
5. Different Generalizations and Related Results
In this section, we consider different generalizations by applying different marginal values.
Definition4.
The *-efficacious marginal output,, is the output on Λ that associates withand allthe value:
whereis the general marginal value of performer p from level to in the grand coalition.
The *-efficacious accumulated output, , is the output on Λ that associates withand allthe value:
whereis the total marginal value of performer p from leveltoamong all participating coalitions.
The *-efficacious average output,, is the output on Λ that associates withand allthe value:
whereis the average marginal value of performer p from leveltoamong all participating coalitions.
Clearly,andconform to EIY. The main dissimilarity among (, ) and (, ) is the different definition of “marginal values”.
To present the main results of this section, some more properties are needed. Let be an output on .
*-marginal-criterion for games (*MCG): for every with , .
*-accumulated-criterion for games (*ACCG): for every with , .
*-average-criterion for games (*AVCG): for every with , .
Remark2.
Clearly,andconform to *MCG, *ACCG, and *AVCG respectively. It is easy to derive that if an output ρ conforms to *MCG (*ACCG, *AVCG) and BilComCSA (BilSumCSA, BilAveCSA), thenfor every.
Similar to the related results introduced throughout Section 3, several axiomatic results of , and also can be provided as follows.
Lemma4.
1.
The outputconforms to BilComCSA.
2.
The outputconforms to BilSumCSA.
3.
The outputconforms to BilAveCSA.
Proofof Lemma 4.
The proof is similar to Lemma 1. □
Lemma5.
Let ρ be an output on Λ.
1.
If ρ conforms to *MCG and BilComCSA, then it also conforms to EIY.
2.
If ρ conforms to *ACCG and BilSumCSA, then it also conforms to EIY.
3.
If ρ conforms to *AVCG and BilAveCSA, then it also conforms to EIY.
Proofof Lemma 5.
The proof is similar to Lemma 2. □
Theorem3.
Let ρ be an output on Λ.
1.
ρ conforms to *MCG and BilComCSA if and only if.
2.
ρ conforms to *ACCG and BilSumCSA if and only if.
3.
ρ conforms to *AVCG and BilAveCSA if and only if.
Proofof Theorem 3.
The proof is similar to Theorem 1. □
The following examples are to demonstrate that each of the properties applied in Theorem 3 is logically independent of the rest of the properties.
Example5.
Define an output ρ on Λ by for everyand for every ,
It is easy to confirm that ρ conforms to BilComCSA, BilSumCSA, and BilAveCSA, but it does not satisfy *MCG, *ACCG, and *ACCG.
Example6.
Define an output ρ on Λ by for everyand for every ,
It is easy to confirm that ρ conforms to *MCG, but it does not satisfy BilComCSA.
Example7.
Define an output ρ on Λ by for everyand for every ,
It is easy to confirm that ρ conforms to *ACCG, but it does not satisfy BilSumCSA.
Example8.
Define an output ρ on Λ by for everyand for every ,
It is easy to confirm that ρ conforms to *AVCG, but it does not satisfy BilAveCSA.
Similar to Section 3, some more properties are defined as follows. Let be an output.
conforms to *-marginal symmetry (*MASYM) if for every with for some and for every , .
conforms to *-accumulated symmetry (*ACSYM) if for every with for some and for every , .
conforms to *-average symmetry (*AVSYM) if for every with for some and for every , .
By Definition 4, it is easy to confirm that the *-efficacious marginal (accumulated, average) output conforms to *MASYM (*ACSYM, *AVSYM) and ADE. Next, we characterize the *-efficacious marginal (accumulated, average) output by means of related properties of the efficacy, *-marginal (accumulated, average) symmetry, accordance, and bilateral complement (sum, average)-consonance.
Lemma6.
1.
If an output ρ conforms to EIY, *MASYM, and ADE, then ρ conforms to *MCG.
2.
If an output ρ conforms to EIY, *ACSYM, and ADE, then ρ conforms to *ACCG.
3.
If an output ρ conforms to EIY, *AVSYM, and ADE, then ρ conforms to *ACCG.
Proofof Lemma 6.
The proof is similar to Lemma 3. □
Theorem4.
1.
An output ρ conforms to EIY, *MASYM, ADE, and BilComCSA if and only if.
2.
An output ρ conforms to EIY, *ACSYM, ADE, and BilSumCSA if and only if.
3.
An output ρ conforms to EIY, *AVSYM, ADE, and BilAveCSA if and only if.
Proofof Theorem 4.
By Definition 4, it is easy to confirm that the *-efficacious marginal (accumulated, average) output conforms to *MASYM (*ACSYM, *AVSYM) and ADE. The rest of the proofs follow from Theorem 2 and Lemmas 4 and 6. □
6. Conclusions
Different from pre-existing results, several main results of this paper are as follows.
Based on the multi-choice consideration, we propose several extensions of the Banzhaf–Coleman index, the Banzhaf–Owen index, and the marginal index on multi-choice games. Since these extensions are not efficacious, we also consider the efficacious extensions of these outputs.
In order to present the rationality of these efficacious outputs, we adopt the complement-reduction, the sum-reduction, the average-reduction and related consonance property to characterize these efficacious outputs.
By applying the related properties of symmetry and accordance, alternative axiomatic results of these efficacious outputs are also proposed.
Liao [16,17] proposed two efficacious extensions of the marginal index and related results by considering the maximal marginal values and replication on multi-choice games, respectively. By analyzing the performers and the energy levels simultaneously, we propose several extensions of the EANSC, the Banzhaf–Coleman index, and the Banzhaf–Owen index on multi-choice games. One should also compare our results with these existing results. There are several major dissimilarities between previous results and ours:
Liao [16] defined the maximal EANSC to compute a kind of global value for a specific performer by adopting the maximal marginal values of performers among total levels. Differing from the extended EANSC of Liao [16], we also focus on the Banzhaf–Coleman index and the Banzhaf–Owen index and consider the outputs, the reduction, and several properties by simultaneously analyzing the performers and the energy levels. The other major dissimilarity is the fact that we offer the related properties of symmetry and accordance to characterize the outputs introduced in this paper. The related properties of symmetry and accordance were not present in Liao [16].
Liao [17] proposed the duplicate EANSC to compute a kind of global value for a specific performer by considering the replicated behavior of performers among total levels. Differing from the extended EANSC of Liao [17], we also focus on the Banzhaf–Coleman index and the Banzhaf–Owen index and consider the outputs, the reduction, and several properties by simultaneously analyzing the performers and the energy levels. The other major dissimilarity is the fact that we offer the related properties of symmetry and accordance to characterize the outputs introduced in this paper. The related properties of symmetry and accordance were not present in Liao [17].
Here, we extend the Banzhaf–Coleman index, the Banzhaf–Owen index, and the marginal index to multi-choice games. Some might wonder whether some more traditional output concepts can also be extended to multi-choice games. We leave this to the readers to explore in future studies.
Author Contributions
Conceptualization, Y.-H.L.; methodology, Y.-H.L.; validation, Y.-H.L.; writing–original draft preparation, Y.-H.L.; writing—review and editing, Y.-H.L. The author has read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Informed Consent Statement
Not applicable.
Data Availability Statement
Data available on request due to privacy restrictions. The data presented in this study are available on request from the corresponding author.
Conflicts of Interest
The author declares no conflict of interest.
References
Banzhaf, J.F. Weighted voting does not work: A mathematical analysis. Rutgers Law Rev.1965, 19, 317–343. [Google Scholar]
Owen, G. Multilinear extensions and the Banzhaf value. Nav. Res. Logist. Q.1975, 22, 741–750. [Google Scholar] [CrossRef]
Dubey, P.; Shapley, L.S. Mathematical properties of the Banzhaf power index. Math. Oper. Res.1979, 4, 99–131. [Google Scholar] [CrossRef]
Moulin, H. The separability axiom and equal-sharing methods. J. Econ. Theory1985, 36, 120–148. [Google Scholar] [CrossRef]
Lehrer, E. An axiomatization of the Banzhaf value. Int. J. Game Theory1988, 17, 89–99. [Google Scholar] [CrossRef]
van den Brink, R.; van der Laan, G. Axiomatizations of the normalized Banzhaf value and the Shapley value. Soc. Choice Welf.1998, 15, 567–582. [Google Scholar] [CrossRef]
Wei, H.C.; Li, A.T.; Wang, W.N.; Liao, Y.H. Solutions and its axiomatic results under fuzzy behavior and multicriteria situations. IAENG Int. J. Appl. Math.2019, 49, 612–617. [Google Scholar]
Hwang, Y.A.; Liao, Y.H. Consistency and dynamic approach of indexes. Soc. Choice Welf.2010, 34, 679–694. [Google Scholar] [CrossRef]
Ransmeier, J.S. The Tennessee Valley Authority; Vanderbilt University Press: Nashville, TN, USA, 1942. [Google Scholar]
Davis, M.; Maschler, M. The kernel of a cooperative game. Nav. Res. Logist. Q.1965, 12, 223–259. [Google Scholar] [CrossRef]
Hart, S.; Mas-Colell, A. Potential, value and consistency. Econometrica1989, 57, 589–614. [Google Scholar] [CrossRef]
Shapley, L.S. A value for n-person game. In Contributions to the Theory of Games II; Kuhn, H.W., Tucker, A.W., Eds.; Princeton University Press: Princeton, NJ, USA, 1953; pp. 307–317. [Google Scholar]
Hwang, Y.A.; Liao, Y.H.; Yeh, C.H. Consistent extensions and subsolutions of the core for the multichoice transferable-utility games. Optimization2015, 64, 913–928. [Google Scholar] [CrossRef]
Hwang, Y.A.; Liao, Y.H. A solution concept and its axiomatic results under non-transferable-utility and multi-choice situations. Mathematics2020, 8, 1559. [Google Scholar] [CrossRef]
Liao, Y.H. Moulin reduction, V-N reduction and axiomatizations of the duplicate core. Asia-Pac. J. Oper. Res.2009, 26, 623–636. [Google Scholar] [CrossRef]
Liao, Y.H. The maximal equal allocation of non-separable costs on multi-choice games. Econ. Bull.2008, 3, 1–8. [Google Scholar]
Liao, Y.H. The duplicate extension for the equal allocation of non-separable costs. Oper. Res. Int. J.2012, 13, 385–397. [Google Scholar] [CrossRef]
Hwang, Y.A.; Liao, Y.H. Potential approach and characterizations of a Shapley value in multi-choice games. Math. Soc. Sci.2008, 56, 321–335. [Google Scholar] [CrossRef]
Maschler, M.; Owen, G. The consonant Shapley value for hyperplane games. Int. J. Game Theory1989, 18, 389–407. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.