Next Article in Journal
Asymptotic Distributions for Power Variations of the Solutions to Linearized Kuramoto–Sivashinsky SPDEs in One-to-Three Dimensions
Next Article in Special Issue
On Generalizations of Sampling Theorem and Stability Theorem in Shift-Invariant Subspaces of Lebesgue and Wiener Amalgam Spaces with Mixed-Norms
Previous Article in Journal
Modeling the Settling Velocity of a Sphere in Newtonian and Non-Newtonian Fluids with Machine-Learning Algorithms
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Consonance, Symmetry and Extended Outputs

Department of Applied Mathematics, National Pingtung University, Pingtung County 900391, Taiwan
Symmetry 2021, 13(1), 72; https://doi.org/10.3390/sym13010072
Submission received: 26 November 2020 / Revised: 21 December 2020 / Accepted: 31 December 2020 / Published: 3 January 2021

Abstract

:
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.

1. Introduction

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 U V be the universe of performers and P U V be a set of performers. Suppose that each performer p P has e p N levels at which it can actively participate. Let e = ( e p ) p P be the vector that gives the amount of energy levels for each performer, at which it can participate. For p U V , we set E p = { 0 , 1 , , e p } to be the level repository of performer p, where the level 0 means not acting, and E p + = E p { 0 } . For P U V , P , let E P = p P E p be the product set of the level repositories for performers in P. Denote 0 P as the zero vector in R P .
A multi-choice game is denoted by ( P , e , h ) , where P is a finite collection of performers, e is the vector that gives the amount of energy levels for each performer, and h : E P R is a map that apportions to each level vector ω = ( ω p ) p P E P the usability that the performers can accept when each performer p takes energy level ω p E p with h ( 0 P ) = 0 . A game ( P , e , h ) will be denoted by the map h if there is no confusion. Given a multi-choice game ( P , e , h ) and ω E P , we denote ( P , ω , h ) as the multi-choice subgame defined by restricting h to { χ E P χ p ω p p P } .
Denote the family of all multi-choice games by Λ . Given ( P , e , h ) Λ , let L P , e = { ( p , q ) p P , q E p + } . An output on Λ is a map ρ apportioning to each ( P , e , h ) Λ an element
ρ ( P , e , h ) = ρ p , q ( P , e , h ) ( p , q ) L P , e R L P , e ,
where ρ p , q ( P , e , h ) 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 ρ p , 0 ( P , e , h ) = 0 for each ( P , e , h ) Λ and for each p P .
For ω R P , we define S ( ω ) = { p P | ω p 0 } and ω T to be the restriction of ω at T for each T P (without loss of generality, one could suppose that S ( e ) = P for all ( P , e , h ) Λ ). Let P U V , p P , and ω R P . For convenience, we define the notation ω p to stand for ω P { p } and let χ = ( ω p , q ) R P be defined by χ p = ω p and χ p = q . Let t P , ω p t stand for ω P { p , t } and ( ω p t , j , l ) stand for ( ( ω p , q ) t , l ) .
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.
Definition 1.
  • The level-marginal output, Θ M , is the output that associates with ( P , e , h ) Λ and each ( p , q ) L P , e the value:
    Θ p , q M ( P , e , h ) = h ( e p , q ) h ( e p , q 1 ) ,
    where Θ p , q M ( P , e , h ) is the general marginal value of performer p from level q 1 to q in the grand coalition.
  • The level-accumulated output, Θ A C , is the output that associates with ( P , e , h ) Λ and each ( p , q ) L P , e the value:
    Θ p , q A C ( P , e , h ) = p S S P h ( e p , q ) S , 0 P S h ( e p , q 1 ) S , 0 P S ,
    where Θ p , q A C ( P , e , h ) is total marginal value of performer p from level q 1 to q among all participating coalitions.
  • The level-average output, Θ A V , is the output that associates with ( P , e , h ) Λ and each ( p , q ) L P , e the value:
    Θ p , q A V ( P , e , h ) = 1 2 | P | 1 · p S S P h ( e p , q ) S , 0 P S h ( e p , q 1 ) S , 0 P S ,
    where Θ p , q A V ( P , e , h ) is the average marginal value of performer p from level q 1 to q among all participating coalitions.
Let ( P , e , h ) Λ . 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 h ( e ) of the grand coalition because they are not efficacious, i.e., they do not necessarily allocate the usability h ( e ) over the performers in P. Formally,
  • an output ρ conforms to efficacy (EIY) if p P ρ p , e p ( P , e , h ) = h ( e ) for every ( P , e , h ) Λ .
Therefore, we consider possible efficacious extensions of these outputs as follows.
Definition 2.
  • The efficacious marginal output Θ M ¯ is the output that associates with ( P , e , h ) Λ and each ( p , q ) L P , e the value:
    Θ p , q M ¯ ( P , e , h ) = Θ p , q M ( P , e , h ) + 1 | P | · h ( e ) k P Θ k , e k M ( P , e , h ) .
    Under the output Θ p , q M ¯ ( P , e , h ) , performers firstly receive its general marginal values and further distribute equally the remaining benefit.
  • The efficacious accumulated output, Θ A C ¯ , is the output that associates with ( P , e , h ) Λ and each ( p , q ) L P , e the value:
    Θ p , q A C ¯ ( P , e , h ) = Θ p , q A C ( P , e , h ) + 1 | P | · h ( e ) k P Θ k , e k A C ( P , e , h ) .
    Under the output Θ p , q A C ¯ ( P , e , h ) , performers firstly receive its total marginal values and further distribute equally the remaining benefit.
  • The efficacious average output, Θ A V ¯ , is the output that associates with ( P , e , h ) Λ and each ( p , q ) L P , e the value:
    Θ p , q A V ¯ ( P , e , h ) = Θ p , q A V ( P , e , h ) + 1 | P | · h ( e ) k P Θ k , e k A V ( P , e , h ) .
    Under the output Θ p , q A V ¯ ( P , e , h ) , performers firstly receive its average marginal values and further distribute equally the remaining benefit.
Clearly, Θ M ¯ , Θ A C ¯ and Θ A V ¯ conform 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 P = { 1 , 2 , , p } be a set of all performers of a management system ( P , e , h ) . The function h could be treated as a usability function that assigns to each level vector α = ( α p ) p P E P the worth that the performers can obtain when each performer p participates in the operation strategy α p E p in ( P , e , h ) . Modeled in this way, the management system ( P , e , h ) could be considered as a multi-choice game, with h being each characteristic function and E p 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 P = { 1 , 2 , , p } 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 α = ( α p ) p P E P the power that the performers can achieve when each performer p participates in operation strategy α p E p . Modeled in this way, the national parliament operational system ( P , e , h ) could be considered as a multi-choice game, with h being each characteristic function and E p 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 ( P , e , h ) Δ with P = { i , j , k } and e = ( 2 , 1 , 1 ) . Further, let h ( 2 , 1 , 1 ) = 5 , h ( 1 , 1 , 1 ) = 7 , h ( 2 , 1 , 0 ) = 3 , h ( 2 , 0 , 1 ) = 2 , h ( 2 , 0 , 0 ) = 9 , h ( 1 , 1 , 0 ) = 3 , h ( 1 , 0 , 1 ) = 4 , h ( 0 , 1 , 1 ) = 5 , h ( 1 , 0 , 0 ) = 1 , h ( 0 , 1 , 0 ) = 2 , h ( 0 , 0 , 1 ) = 3 , and h ( 0 , 0 , 0 ) = 0 . By Definitions 1 and 2,
Θ i , 2 M ( P , e , h ) = 2 , Θ i , 1 M ( P , e , h ) = 2 , Θ j , 1 M ( P , e , h ) = 3 , Θ k , 1 M ( P , e , h ) = 2 , Θ i , 2 A C ( P , e , h ) = 14 , Θ i , 1 A C ( P , e , h ) = 1 , Θ j , 1 A C ( P , e , h ) = 7 , Θ k , 1 A C ( P , e , h ) = 5 , Θ i , 2 A V ( P , e , h ) = 7 2 , Θ i , 1 A V ( P , e , h ) = 1 4 , Θ j , 1 A V ( P , e , h ) = 7 4 , Θ k , 1 A V ( P , e , h ) = 5 4 , Θ i , 2 M ¯ ( P , e , h ) = 4 3 , Θ i , 1 M ¯ ( P , e , h ) = 8 3 , Θ j , 1 M ¯ ( P , e , h ) = 11 3 Θ k , 1 M ¯ ( P , e , h ) = 8 3 , Θ i , 2 A C ¯ ( P , e , h ) = 31 3 , Θ i , 1 A C ¯ ( P , e , h ) = 8 3 , Θ j , 1 A C ¯ ( P , e , h ) = 10 3 Θ k , 1 A C ¯ ( P , e , h ) = 26 3 , Θ i , 2 A V ¯ ( P , e , h ) = 23 6 , Θ i , 1 A V ¯ ( P , e , h ) = 7 12 , Θ j , 1 A V ¯ ( P , e , h ) = 25 12 Θ k , 1 A V ¯ ( P , e , h ) = 11 12 .
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.
Definition 3.
Given an output ρ, ( P , e , h ) Λ and S P .
  • The complement-reduced game ( S , e S , h S , ρ c o m ) related to ρ and S is defined for every ω E S by,
    h S , ρ c o m ( ω ) = 0 i f ω = 0 S , h ( ω , e P S ) p P S ρ p , e p ( P , e , h ) o t h e r w i s e .
  • The sum-reduced game ( S , e S , h S , ρ s u m ) related to ρ and S is defined for every ω E S by,
    h S , ρ s u m ( ω ) = 0 i f ω = 0 S , h ( e ) p P S ρ p , e p ( P , e , h ) i f ω = e S , T T P S h ( ω , e T , 0 P ( S T ) ) p T ρ p , e p ( P , e , h ) o t h e r w i s e .
  • The average-reduced game ( S , e S , h S , ρ a v e ) related to ρ and S is defined for every ω E S by,
    h S , ρ a v e ( ω ) = 0 i f ω = 0 S , h ( e ) p P S ρ p , e p ( P , e , h ) i f ω = e S , 1 2 | P S | · T T P S h ( ω , e T , 0 P ( S T ) ) p T ρ p , e p ( P , e , h ) o t h e r w i s e .
Let the subset S P be the collection of all performers who doubt the remuneration assigned by the output ρ . In the reduced game ( S , e S , h S , ρ s u m ) (or ( S , e S , h S , ρ a v e ) ), 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 P S 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 P S also cooperate at full steam. Since the performers of P S 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 ( P , e , h ) Λ , for every S P , and for every ( p , q ) L S , e S , ρ p , q ( P , e , h ) = ρ p , q ( S , e S , h S , ρ c o m ) .
  • ρ conforms to sum-consonance (SumCSA) if for every ( P , e , h ) Λ , for every S P , and for every ( p , q ) L S , e S , ρ p , q ( P , e , h ) = ρ p , q ( S , e S , h S , ρ s u m ) .
  • ρ conforms to average-consonance (AveCSA) if for every ( P , e , h ) Λ , for every S P , and for every ( p , q ) L S , e S , ρ p , q ( P , e , h ) = ρ p , q ( S , e S , h S , ρ a v e ) .
  • ρ conforms to bilateral complement-consonance (BilComCSA) if for every ( P , e , h ) Λ , for every S P with | S | = 2 , and for every ( p , q ) L S , e S , ρ p , q ( P , e , h ) = ρ p , q ( S , e S , h S , ρ c o m ) .
  • ρ conforms to bilateral sum-consonance (BilSumCSA) if for every ( P , e , h ) Λ , for every S P with | S | = 2 , and for every ( p , q ) L S , e S , ρ p , q ( P , e , h ) = ρ p , q ( S , e S , h S , ρ s u m ) .
  • ρ conforms to bilateral average-consonance (BilAveCSA) if for every ( P , e , h ) Λ , for every S P with | S | = 2 , and for every ( p , q ) L S , e S , ρ p , q ( P , e , h ) = ρ p , q ( S , e S , h S , ρ a v e ) .
Next, we demonstrate that the output Θ M ¯ ( Θ A C ¯ , Θ A V ¯ ) conforms to BilComCSA (BilSumCSA, BilAveCSA).
Lemma 1.
1. 
The output Θ M ¯ conforms to BilComCSA.
2. 
The output Θ A C ¯ conforms to BilSumCSA.
3. 
The output Θ A V ¯ conforms to BilAveCSA.
Proof of Lemma 1.
Given ( P , e , h ) Λ with | P | 2 and S = { p , k } for some p , k P , p k . To confirm 1, by the definition of Θ M ¯ , for every ( p , q ) L S , e S ,
Θ p , q M ¯ ( S , e S , h S , Θ M ¯ c o m ) = Θ p , q M ( S , e S , h S , Θ M ¯ c o m ) + 1 | S | · h S , Θ M ¯ c o m ( e S ) t S Θ t , e t M ( S , e S , h S , Θ M ¯ c o m ) .
By the definitions of Θ and h S , Θ M ¯ c o m , for every q E p + ,
Θ p , q M ( S , e S , h S , Θ M ¯ c o m ) = h S , Θ M ¯ c o m ( e k , q ) h S , Θ M ¯ c o m ( e k , q 1 ) = h ( e p , q ) t P S Θ t , e t M ¯ ( P , e , h ) h ( e p , q 1 ) + t P S Θ t , e t M ¯ ( P , e , h ) = h ( e p , q ) h ( e p , q 1 ) = Θ p , q M ( P , e , h ) .
Hence, by Equations (1) and (2) and the definitions of h S , Θ M ¯ c o m and Θ M ¯ ,
Θ p , q M ¯ ( S , e S , h S , Θ M ¯ c o m ) = Θ p , q M ( P , e , h ) + 1 | S | · h S , Θ M ¯ c o m ( e S ) t S Θ t , e t M ( P , e , h ) = Θ p , q M ( P , e , h ) + 1 | S | · h ( e ) t P S Θ t , e t M ¯ ( P , e , h ) t S Θ t , e t M ( P , e , h ) = Θ p , q M ( P , e , h ) + 1 | S | · t S Θ t , e t M ¯ ( P , e , h ) t S Θ t , e t M ( P , e , h ) ( by EIY of Θ M ¯ ) = Θ p , q M ( P , e , h ) + 1 | S | · | S | | P | · h ( e ) t P Θ t , e t M ( P , e , h ) ( by Definition 1 ) = Θ p , q M ( P , e , h ) + 1 | P | · h ( e ) t P Θ t , e t M ( P , e , h ) = Θ p , q M ¯ ( P , e , h ) .
Hence, the output Θ M ¯ 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 ( P , e , h ) Λ with | P | 2 , ρ ( P , e , h ) = Θ M ¯ ( P , e , h ) .
  • Accumulated-criterion for games (ACCG): for every ( P , e , h ) Λ with | P | 2 , ρ ( P , e , h ) = Θ A C ¯ ( P , e , h ) .
  • Average-criterion for games (AVCG): for every ( P , e , h ) Λ with | P | 2 , ρ ( P , e , h ) = Θ A V ¯ ( P , e , h ) .
Remark 1.
Clearly, Θ M ¯ , Θ A C ¯ , and Θ A V ¯ conform 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), then ρ p , e p ( { p } , e p , h ) = h ( e p ) for every ( { p } , e p , h ) Λ (the technique is similar to Hart and Mas-Colell [11]: page 599).
Lemma 2.
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.
Proof of Lemma 2.
To confirm 1, suppose that ρ conforms to MCG and BilComCSA. Let ( P , e , h ) Λ . If | P | = 1 , then ρ conforms to EIY by Remark 2. It is trivial that ρ conforms to EIY by MCG if | P | = 2 . Suppose | P | > 2 . 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 Θ M ¯ ( Θ A C ¯ , Θ A V ¯ ) by means of BilComCSA (BilSumCSA, BilAveCSA).
Theorem 1.
Let ρ be an output on Λ.
1. 
ρ conforms to MCG and BilComCSA if and only if ρ = Θ M ¯ .
2. 
ρ conforms to ACCG and BilSumCSA if and only if ρ = Θ A C ¯ .
3. 
ρ conforms to ACCG and BilAveCSA if and only if ρ = Θ A V ¯ .
Proof of Theorem 1.
By Lemma 1, Θ M ¯ conforms to BilComCSA, Θ A C ¯ conforms to BilSumCSA, and Θ A V ¯ conforms to BilAveCSA. Clearly, Θ M ¯ , Θ A C ¯ , and Θ A V ¯ 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 ( P , e , h ) Λ . It is trivial that ρ ( P , e , h ) = Θ M ¯ ( P , e , h ) by MCG if | P | 2 . The case | P | > 2 : Let p P and S = { p , k } for some k P { p } , then for every q E p + and for every l E k + ,
ρ p , q ( P , e , h ) ρ k , l ( P , e , h ) = ρ p , q ( S , e S , h S , ρ c o m ) ρ k , l ( S , e S , h S , ρ c o m ) ( by BilComCSA of ρ ) = Θ p , q M ¯ ( S , e S , h S , ρ c o m ) Θ k , l M ¯ ( S , e S , h S , ρ c o m ) ( by MCG of ρ ) = Θ p , q M ( S , e S , h S , ρ c o m ) Θ k , l M ( S , e S , h S , ρ c o m ) ( by Definition 2 ) = h S , ρ c o m ( e k , q ) h S , ρ c o m ( e k , q 1 ) h S , ρ c o m ( e p , l ) h S , ρ c o m ( e p , l 1 ) ( by Definition 1 ) = h ( e p , q ) t P S ρ t , e t ( P , e , h ) h ( e p , q 1 ) + t P S ρ t , e t ( P , e , h ) h ( e k , l ) t P S ρ t , e t ( P , e , h ) h ( e k , l 1 ) + t P S ρ t , e t ( P , e , h ) ( by Definition of h S , ρ com ) = h ( e p , q ) h ( e p , q 1 ) h ( e k , l ) h ( e k , l 1 ) .
Similarly, Θ p , q M ¯ ( P , e , h ) Θ k , l M ¯ ( P , e , h ) = h ( e p , q ) h ( e p , q 1 ) h ( e k , l ) h ( e k , l 1 ) . Hence, by Equation (3), for every ( p , q ) , ( k , l ) L P , e with p k ,
ρ p , q ( P , e , h ) ρ k , l ( P , e , h ) = Θ p , q M ¯ ( P , e , h ) Θ k , l M ¯ ( P , e , h ) ,
i.e., there exists d R such that for every ( p , q ) L P , e , ρ p , q ( P , e , h ) Θ p , q M ¯ ( P , e , h ) = d . Therefore,
| P | · d = t P [ ρ t , e t ( P , e , h ) Θ t , e t M ¯ ( P , e , h ) ] = h ( e ) h ( e ) ( by EIY of ρ and Θ M ¯ ) = 0 .
That is, d = 0 . Therefore, ρ p , q ( P , e , h ) = Θ p , q M ¯ ( P , e , h ) for every ( p , q ) L P , e .
To demonstrate the uniqueness of 2, suppose ρ conforms to ACCG and BilSumCSA. By Lemma 2, ρ conforms to EIY. Let ( P , e , h ) Λ . If | P | 2 , it is trivial that ρ ( P , e , h ) = Θ A C ¯ ( P , e , h ) by ACCG. The case | P | > 2 : Let p P and S = { p , k } for some k P { p } , then for every q E p + and for every l E k + ,
ρ p , q ( P , e , h ) ρ k , l ( P , e , h ) = ρ p , q ( S , e S , h S , ρ s u m ) ρ k , l ( S , e S , h S , ρ s u m ) ( by BilSumCSA of ρ ) = Θ p , q A C ¯ ( S , e S , h S , ρ s u m ) Θ k , l A C ¯ ( S , e S , h S , ρ s u m ) ( by ACCG of ρ ) = Θ p , q A C ( S , e S , h S , ρ s u m ) Θ k , l A C ( S , e S , h S , ρ s u m ) ( by Definition 2 ) = h S , ρ s u m ( e k , q ) h S , ρ s u m ( e k , q 1 ) + h S , ρ s u m ( 0 , q ) h S , ρ s u m ( 0 , q 1 ) h S , ρ s u m ( e p , l ) h S , ρ s u m ( e p , l 1 ) + h S , ρ s u m ( 0 , l ) h S , ρ s u m ( 0 , l 1 ) ( by Definition 1 ) = h ( e p , q ) h ( e p , 0 ) + h ( e i k , j , 0 ) h ( e i k , q 1 , 0 ) h ( e k , l ) h ( e k , 0 ) + h ( e i k , 0 , l ) h ( e i k , 0 , l 1 ) . ( by Definition of h S , ρ sum )
Similarly,
Θ p , q A C ¯ ( P , e , h ) Θ k , l A C ¯ ( P , e , h ) = h ( e p , q ) h ( e p , 0 ) + h ( e i k , j , 0 ) h ( e i k , q 1 , 0 ) h ( e k , l ) h ( e k , 0 ) + h ( e i k , 0 , l ) h ( e i k , 0 , l 1 ) .
Hence, by Equation (4), for every ( p , q ) , ( k , l ) L P , e with p k ,
ρ p , q ( P , e , h ) ρ k , l ( P , e , h ) = Θ p , q A C ¯ ( P , e , h ) Θ k , l A C ¯ ( P , e , h ) .
Therefore, there exists d R such that for every ( p , q ) L P , e ,
ρ p , q ( P , e , h ) Θ p , q A C ¯ ( P , e , h ) = d .
By EIY of ρ and Θ A C ¯ ,
| P | · d = t P [ ρ t , e t ( P , e , h ) Θ t , e t A C ¯ ( P , e , h ) ] = h ( e ) h ( e ) = 0 .
Hence, d = 0 . That is, ρ p , q ( P , e , h ) = Θ p , q A C ¯ ( P , e , h ) for every ( p , q ) L P , e . 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.
Example 1.
Define an output ρ on Λ by for every ( P , e , h ) Λ and for every ( p , q ) L P , e ,
ρ p , q ( P , e , h ) = 0 .
It is easy to confirm that ρ conforms to BilComCSA, BilSumCSA, and BilAveCSA, but it does not satisfy MCG, ACCG, and AVCG.
Example 2.
Define an output ρ on Λ by for every ( P , e , h ) Λ and for every ( p , q ) L P , e ,
ρ p , q ( P , e , h ) = Θ p , q E ¯ ( P , e , h ) , i f | P | 2 0 , o t h e r w i s e .
It is easy to confirm that ρ conforms to MCG, but it does not satisfy BilComCSA.
Example 3.
Define an output ρ on Λ by for every ( P , e , h ) Λ and for every ( p , q ) L P , e ,
ρ p , q ( P , e , h ) = Θ p , q A C ¯ ( P , e , h ) , i f | P | 2 0 , o t h e r w i s e .
It is easy to confirm that ρ conforms to ACCG, but it does not satisfy BilSumCSA.
Example 4.
Define an output ρ on Λ by for every ( P , e , h ) Λ and for every ( p , q ) L P , e ,
ρ p , q ( P , e , h ) = Θ p , q A V ¯ ( P , e , h ) , i f | P | 2 0 , o t h e r w i s e .
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 ( P , e , h ) Λ with Θ p , k p M ( P , e , h ) = Θ q , k q M ( P , e , h ) for some ( p , k p ) , ( q , k q ) L P , e and for every ω E P { p , q } , ρ p , k p ( P , e , h ) = ρ q , k q ( P , e , h ) .
  • ρ conforms to accumulated symmetry (ACSYM) if for every ( P , e , h ) Λ with Θ p , k p A C ( P , e , h ) = Θ q , k q A C ( P , e , h ) for some ( p , k p ) , ( q , k q ) L P , e and for every ω E P { p , q } , ρ p , k p ( P , e , h ) = ρ q , k q ( P , e , h ) .
  • ρ conforms to average symmetry (AVSYM) if for every ( P , e , h ) Λ with Θ p , k p A V ( P , e , h ) = Θ q , k q A V ( P , e , h ) for some ( p , k p ) , ( q , k q ) L P , e and for every ω E P { p , q } , ρ p , k p ( P , e , h ) = ρ q , k q ( P , e , h ) .
  • ρ conforms to accordance (ADE) if for every ( P , e , h ) , ( P , e , ζ ) Λ with h ( ω ) = ζ ( ω ) + p S ( ω ) b p , ω p for some b R L P , e and for every ω E P , ρ ( P , e , h ) = ρ ( P , e , ζ ) + b .
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.
Lemma 3.
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.
Proof of Lemma 3.
Assume that an output ρ conforms to EIY, MASYM, and ADE. Given ( P , e , h ) Λ with P = { p , q } for some i j , we define a game ( P , e , ζ ) to be that for every ω E P ,
ζ ( ω ) = h ( ω ) p S ( ω ) Θ i , ω p M ( P , e , h ) .
By the definition of ζ ,
Θ i , 1 M ( P , e , ζ ) = ζ ( 1 , e q ) ζ ( 0 , e q ) = h ( 1 , e q ) Θ i , 1 M ( P , e , h ) Θ q , e q M ( P , e , h ) h ( 0 , e q ) + Θ q , e q M ( P , e , h ) = h ( 1 , e q ) h ( 0 , e q ) Θ i , 1 M ( P , e , h ) = Θ i , 1 M ( P , e , h ) Θ i , 1 M ( P , e , h ) = 0 .
Further,
Θ i , 2 M ( P , e , ζ ) = ζ ( 2 , e q ) ζ ( 1 , e q ) = h ( 2 , e q ) Θ i , 2 M ( P , e , h ) Θ q , e q M ( P , e , h ) h ( 1 , e q ) + Θ i , 1 M ( P , e , h ) + Θ q , e q M ( P , e , h ) = h ( 2 , e q ) h ( 1 , e q ) Θ i , 2 M ( P , e , h ) Θ q , e q M ( P , e , h ) + 0 Θ q , e q M ( P , e , h ) = Θ i , 2 M ( P , e , h ) Θ i , 2 M ( P , e , h ) = 0 .
Similarly, Θ p , k p M ( P , e , ζ ) = 0 for every k p E p + . Since Θ i , 0 M ( P , e , ζ ) = 0 , we have that Θ p , k p M ( P , e , ζ ) = 0 for every k p E p . Similarly, Θ q , k q M ( P , e , ζ ) = 0 for every k q E q . Since Θ p , e p M ( P , e , ζ ) = 0 = Θ q , e q M ( P , e , ζ ) , by the MASYM of ρ , ρ p , e p ( P , e , ζ ) = ρ q , e q ( P , e , ζ ) . By the EIY of ρ ,
ζ ( e ) = ρ p , e p ( P , e , ζ ) + ρ q , e q ( P , e , ζ ) = 2 · ρ p , e p ( P , e , ζ ) .
Therefore, by Equation (5) and the definition of ζ ,
ρ p , e p ( P , e , ζ ) = ζ ( e ) 2 = 1 2 · h ( e ) Θ p , e p M ( P , e , h ) Θ q , e q M ( P , e , h ) .
By the ADE of ρ ,
ρ p , k p ( P , e , h ) = ρ p , k p ( P , e , ζ ) + Θ p , k p M ( P , e , h ) = 1 2 · h ( e ) Θ p , e p M ( P , e , h ) Θ q , e q M ( P , e , h ) + Θ p , k p M ( P , e , h ) = Θ M ¯ p , k p ( P , e , h ) .
Similarly, ρ q , k q ( P , e , h ) = Θ M ¯ q , k q ( P , e , h ) for every k q E q . 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.
Theorem 2.
1. 
An output ρ conforms to EIY, MASYM, ADE, and BilComCSA if and only if ρ = Θ M ¯ .
2. 
An output ρ conforms to EIY, ACSYM, ADE, and BilSumCSA if and only if ρ = Θ A C ¯ .
3. 
An output ρ conforms to EIY, AVSYM, ADE, and BilAveCSA if and only if ρ = Θ A V ¯ .
Proof of 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.
Definition 4.
  • The *-efficacious marginal output, Θ M ¯ , is the output on Λ that associates with P , e , h Λ and all ( p , q ) L P , e the value:
    Θ p , q M ¯ ( P , e , h ) = Θ p , q M ( P , e , h ) + 1 | P | · h ( e ) k P Θ k , e k M ( P , e , h ) ,
    where Θ p , q M ( P , e , h ) = h ( e p , e p ) h ( e p , q 1 ) is the general marginal value of performer p from level q 1 to e p in the grand coalition.
  • The *-efficacious accumulated output, Θ A C ¯ , is the output on Λ that associates with P , e , h Λ and all ( p , q ) L P , e the value:
    Θ p , q A C ¯ ( P , e , h ) = Θ p , q A C ( P , e , h ) + 1 | P | · h ( e ) k P Θ k , e k A C ( P , e , h ) ,
    where Θ p , q A C ( P , e , h ) = p S S P h ( e p , e p ) S , 0 P S h ( e p , q 1 ) S , 0 P S is the total marginal value of performer p from level q 1 to e p among all participating coalitions.
  • The *-efficacious average output, Θ A V ¯ , is the output on Λ that associates with P , e , h Λ and all ( p , q ) L P , e the value:
    Θ p , q A V ¯ ( P , e , h ) = Θ p , q A V ( P , e , h ) + 1 | P | · h ( e ) k P Θ k , e k A V ( P , e , h ) ,
    where Θ p , q A V ( P , e , h ) = 1 2 | P | 1 · p S S P h ( e p , e p ) S , 0 P S h ( e p , q 1 ) S , 0 P S is the average marginal value of performer p from level q 1 to e p among all participating coalitions.
Clearly, Θ M ¯ , Θ A C ¯ and Θ A V ¯ conform to EIY. The main dissimilarity among Θ M ¯ ( Θ A C ¯ , Θ A V ¯ ) and Θ M ¯ ( Θ A C ¯ , Θ A V ¯ ) 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 ( P , e , h ) Λ with | P | 2 , ρ ( P , e , h ) = Θ M ¯ ( P , e , h ) .
  • *-accumulated-criterion for games (*ACCG): for every ( P , e , h ) Λ with | P | 2 , ρ ( P , e , h ) = Θ A C ¯ ( P , e , h ) .
  • *-average-criterion for games (*AVCG): for every ( P , e , h ) Λ with | P | 2 , ρ ( P , e , h ) = Θ A V ¯ ( P , e , h ) .
Remark 2.
Clearly, Θ M ¯ , Θ A C ¯ and Θ A V ¯ conform to *MCG, *ACCG, and *AVCG respectively. It is easy to derive that if an output ρ conforms to *MCG (*ACCG, *AVCG) and BilComCSA (BilSumCSA, BilAveCSA), then ρ p , e p ( { p } , e p , v ) = h ( e p ) for every ( { p } , e p , h ) Λ .
Similar to the related results introduced throughout Section 3, several axiomatic results of Θ M ¯ , Θ A C ¯ , and Θ A V ¯ also can be provided as follows.
Lemma 4.
1. 
The output Θ M ¯ conforms to BilComCSA.
2. 
The output Θ A C ¯ conforms to BilSumCSA.
3. 
The output Θ A V ¯ conforms to BilAveCSA.
Proof of Lemma 4.
The proof is similar to Lemma 1. □
Lemma 5.
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.
Proof of Lemma 5.
The proof is similar to Lemma 2. □
Theorem 3.
Let ρ be an output on Λ.
1. 
ρ conforms to *MCG and BilComCSA if and only if ρ = Θ M ¯ .
2. 
ρ conforms to *ACCG and BilSumCSA if and only if ρ = Θ A C ¯ .
3. 
ρ conforms to *AVCG and BilAveCSA if and only if ρ = Θ A V ¯ .
Proof of 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.
Example 5.
Define an output ρ on Λ by for every ( P , e , h ) Λ and for every ( p , q ) L P , e ,
ρ p , q ( P , e , h ) = 0 .
It is easy to confirm that ρ conforms to BilComCSA, BilSumCSA, and BilAveCSA, but it does not satisfy *MCG, *ACCG, and *ACCG.
Example 6.
Define an output ρ on Λ by for every ( P , e , h ) Λ and for every ( p , q ) L P , e ,
ρ p , q ( P , e , h ) = Θ p , q M ¯ ( P , e , h ) , i f | P | 2 0 , o t h e r w i s e .
It is easy to confirm that ρ conforms to *MCG, but it does not satisfy BilComCSA.
Example 7.
Define an output ρ on Λ by for every ( P , e , h ) Λ and for every ( p , q ) L P , e ,
ρ p , q ( P , e , h ) = Θ p , q A C ¯ ( P , e , h ) , i f | P | 2 0 , o t h e r w i s e .
It is easy to confirm that ρ conforms to *ACCG, but it does not satisfy BilSumCSA.
Example 8.
Define an output ρ on Λ by for every ( P , e , h ) Λ and for every ( p , q ) L P , e ,
ρ p , q ( P , e , h ) = Θ p , q A V ¯ ( P , e , h ) , i f | P | 2 0 , o t h e r w i s e .
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 ( P , e , h ) Λ with Θ p , k p M ( P , e , h ) = Θ q , k q M ( P , e , h ) for some ( p , k p ) , ( q , k q ) L P , e and for every ω E P { p , q } , ρ p , k p ( P , e , h ) = ρ q , k q ( P , e , h ) .
  • ρ conforms to *-accumulated symmetry (*ACSYM) if for every ( P , e , h ) Λ with Θ p , k p A C ( P , e , h ) = Θ q , k q A C ( P , e , h ) for some ( p , k p ) , ( q , k q ) L P , e and for every ω E P { p , q } , ρ p , k p ( P , e , h ) = ρ q , k q ( P , e , h ) .
  • ρ conforms to *-average symmetry (*AVSYM) if for every ( P , e , h ) Λ with Θ p , k p A V ( P , e , h ) = Θ q , k q A V ( P , e , h ) for some ( p , k p ) , ( q , k q ) L P , e and for every ω E P { p , q } , ρ p , k p ( P , e , h ) = ρ q , k q ( P , e , h ) .
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.
Lemma 6.
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.
Proof of Lemma 6.
The proof is similar to Lemma 3. □
Theorem 4.
1. 
An output ρ conforms to EIY, *MASYM, ADE, and BilComCSA if and only if ρ = Θ M ¯ .
2. 
An output ρ conforms to EIY, *ACSYM, ADE, and BilSumCSA if and only if ρ = Θ A C ¯ .
3. 
An output ρ conforms to EIY, *AVSYM, ADE, and BilAveCSA if and only if ρ = Θ A V ¯ .
Proof of 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

  1. Banzhaf, J.F. Weighted voting does not work: A mathematical analysis. Rutgers Law Rev. 1965, 19, 317–343. [Google Scholar]
  2. Owen, G. Multilinear extensions and the Banzhaf value. Nav. Res. Logist. Q. 1975, 22, 741–750. [Google Scholar] [CrossRef]
  3. Dubey, P.; Shapley, L.S. Mathematical properties of the Banzhaf power index. Math. Oper. Res. 1979, 4, 99–131. [Google Scholar] [CrossRef]
  4. Moulin, H. The separability axiom and equal-sharing methods. J. Econ. Theory 1985, 36, 120–148. [Google Scholar] [CrossRef]
  5. Lehrer, E. An axiomatization of the Banzhaf value. Int. J. Game Theory 1988, 17, 89–99. [Google Scholar] [CrossRef]
  6. 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]
  7. 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]
  8. Hwang, Y.A.; Liao, Y.H. Consistency and dynamic approach of indexes. Soc. Choice Welf. 2010, 34, 679–694. [Google Scholar] [CrossRef]
  9. Ransmeier, J.S. The Tennessee Valley Authority; Vanderbilt University Press: Nashville, TN, USA, 1942. [Google Scholar]
  10. Davis, M.; Maschler, M. The kernel of a cooperative game. Nav. Res. Logist. Q. 1965, 12, 223–259. [Google Scholar] [CrossRef]
  11. Hart, S.; Mas-Colell, A. Potential, value and consistency. Econometrica 1989, 57, 589–614. [Google Scholar] [CrossRef]
  12. 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]
  13. Hwang, Y.A.; Liao, Y.H.; Yeh, C.H. Consistent extensions and subsolutions of the core for the multichoice transferable-utility games. Optimization 2015, 64, 913–928. [Google Scholar] [CrossRef]
  14. Hwang, Y.A.; Liao, Y.H. A solution concept and its axiomatic results under non-transferable-utility and multi-choice situations. Mathematics 2020, 8, 1559. [Google Scholar] [CrossRef]
  15. 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]
  16. Liao, Y.H. The maximal equal allocation of non-separable costs on multi-choice games. Econ. Bull. 2008, 3, 1–8. [Google Scholar]
  17. 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]
  18. 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]
  19. Maschler, M.; Owen, G. The consonant Shapley value for hyperplane games. Int. J. Game Theory 1989, 18, 389–407. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Liao, Y.-H. Consonance, Symmetry and Extended Outputs. Symmetry 2021, 13, 72. https://doi.org/10.3390/sym13010072

AMA Style

Liao Y-H. Consonance, Symmetry and Extended Outputs. Symmetry. 2021; 13(1):72. https://doi.org/10.3390/sym13010072

Chicago/Turabian Style

Liao, Yu-Hsien. 2021. "Consonance, Symmetry and Extended Outputs" Symmetry 13, no. 1: 72. https://doi.org/10.3390/sym13010072

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop