3.1. Basic Concepts in GMCR
A real-world conflict can be modeled as
within the GMCR paradigm, containing four key elements [
7,
8,
9]:
- (1)
, the set of DMs involved in the conflict, in which “n” is the total number of DMs;
- (2)
, the set of feasible states, in which “m” is the total number of feasible states;
- (3)
, the set of oriented arcs of DM , which records all the unilateral moves (UMs) in one step by DM i;
- (4)
, the preference relations of DM i, in which means that state q is more preferred to state s by DM i, and indicates that q is equally preferred to s by DM i. Furthermore, means that or .
If DM
i can unilaterally move to a state which is more preferred to the initial state, then this kind of move is called a unilateral improvement (UI). The set of UMs and unilateral improvements (UIs) for DM
i can be defined as follows, respectively [
10,
11].
Definition 1. Let and DM . The set of UMs of DM i at state s can be denoted by Definition 2. Let and DM . The set of UIs of DM I at state s can be expressed by Let a coalition be
and
. The reachable list of
H at state
can be denoted by
, including all the states that can be reached by any legal sequences of UMs by the DMs in
H [
8,
9]. Note that no DM can move twice consecutively in
.
Definition 3. Let . State q can be reached by H from state s, as denoted by , if and only if there exists a legal sequence in which and , such that , , and for , with the constraint that for .
Definition 4. Let . State q is a UI from state s for H denoted by if and only if there exists a legal sequence in which and , such that , , and for with the constraint that for .
Note that in Definition 4, each DM in H is credible and moves to only more preferred states, and this is different from that in Definition 3.
Let a focal DM
, the set of other DMs except
i, be
H =
N\{
i}, and the initial state
. Then, the four classical solution concepts, i.e., Nash, GMR, SMR, and SEQ, can be formally defined as follows [
10,
11].
Definition 5. State s is Nash stable for DM i, denoted by , if .
In Nash stability, the focal DM i only takes into account its unilateral improvements from the initial state s but does not consider the counterattacks or sanctions from its opponents (one-step game).
Definition 6. State s is GMR stable for DM i, denoted by , iff for any state , there exists at least one reachable state by H such that .
In GMR stability, DM i considers all possible sanctions by its opponents, H, after its unilateral improvements from state s (two-step game).
Definition 7. State s is SMR stable for DM i, denoted by , if for any state , there exists at least one reachable state by H, such that , and holds for each state .
In comparison to GMR, SMR stability further considers the re-movement by DM I (three-step game).
Definition 8. State s is SEQ stable for DM i, denoted by , if for any state , there exists at least one reachable state by H such that .
Compared to GMR, all of the counterattack actions by the opponents, H, are assumed to be rational in SEQ stability (two-step game).
The aforementioned four classical stabilities dynamically characterize the complex interactions and decision-making behaviors and can predict the equilibrium outcomes of conflict games with rational or irrational counterattacks and attitudes to risk (conservative or adventure) taken into account.
However, the counterattacks or sanctions of DM i’s opponents are assumed to be homogeneous in GMR, SMR, and SEQ stabilities, either rational or irrational. In many conflicts, in fact, the sanctions could be hybrid or heterogeneous with both rational and irrational counterattacks, in which non-credible opponents take any countermoves regardless of preference when sanctioning, whereas credible players levy only unilateral improvements as sanctions. In order to describe this kind of heterogeneous sanctioning behaviors of stakeholders involved in a given conflict, the MUIs and two mixed stabilities are formally defined below, followed by a detailed procedure for carrying out the mixed stability analyses to systematically forecast the equilibrium outcomes or possible solutions for cross-basin water pollution disputes with heterogeneous sanctions.
3.2. Mixed Stabilities with Heterogeneous Opponents
Let a focal DM and the set of its heterogeneous opponents be , and O consists of two subsets: the set of rational opponents, ; and the set of irrational opponents, . A mixed unilateral improvement (MUI) by heterogeneous opponents should satisfy the following three requirements:
- (1)
If DM , then the sanctioning DM j can shift only to more preferred states;
- (2)
If DM , then sanctioning DM j can move to any reachable states regardless of preference;
- (3)
Each DM cannot move twice consecutively.
Let be the set of MUIs for the heterogeneous opponents O from state s. The set of MUIs, , can be defined similar to Definitions 3 and 4.
Definition 9. Let . State q can be reached by the heterogeneous opponent O from state s, denoted by , if and only if there exists a legal sequence in which and , such that , , if and if with the constraint that for .
In Definition 9, if DM i’s opponent is credible, then it levies only UIs against DM i; if DM i’s opponent is non-credible, then it can shift to any reachable states to block DM i.
According to Definitions 3, 4, and 9, one can determine that
. In particular,
holds if
, and
holds when
. This indicates that Definition 9 is the same as Definitions 3 and 4 if all of the opponents are irrational and rational, respectively. The interrelationships among
,
, and
are illustrated in
Figure 1.
Mixed stabilities were developed by Zhao et al. [
17,
18] to systematically portray the different sanctioning behavior of heterogeneous opponents. Let DM
and the set of its heterogeneous opponents be
. Then, two kinds of mixed stabilities can be defined as follows.
Definition 10. State is mixed two-step stability (MTS) stable for DM i, as denoted by , if for every , there exists at least one state, , such that .
In MTS stability, DM i believes that its sanctioning opponents are heterogeneous, in which case some credible opponents levy only UIs to block DM i’s UIs, while some non-credible opponents go to any reachable states when sanctioning. Note that MTS in Definition 10 will be identical to GMR and SEQ if all of DM i’s opponents are non-credible and credible, respectively.
Definition 11. State is mixed SMR (MSMR) stable for DM i, as denoted by , if for every , there exists at least one state, , such that and for every .
In comparison with Definition 10, DM
i in Definition 11 consider
s not only the sanctions by its heterogeneous opponents but also its further reaction to escape from the deterrent by its opponents. Furthermore, MSMR stability will be the same as SMR and SSEQ if all of DM
i’s opponents are non-credible and credible, respectively. The mixed stabilities and four classical stabilities are compared in
Table 2.
A detailed procedure for implementing mixed stability analyses was purposefully designed, as shown in
Figure 2, for addressing a conflict with heterogeneous sanctions.
As illustrated in
Figure 2, the mixed stability analyses are divided into two stages: the modeling and analysis stages. In the modeling stage, the key DMs involved in the conflict, their options, feasible states, and each DM’s preference should be identified. Furthermore, from the perspective of a particular DM, its credible and non-credible opponents should be determined. In the analysis stage, the outcomes of individual mixed stability analyses can be determined according to Definitions 10 and 11. Subsequently, the equilibria of the conflict can be obtained. A state is called an equilibrium if it is stable for all of the DMs under a particular solution concept in a conflict. Furthermore, one can conduct sensitivity analyses to determine how the changes of the elements in the modeling stage, such as DMs’ preferences and opponents’ different sanctioning behavior, can affect the results of the analysis. Consequently, valuable strategic insights can be attained to make more informed decisions for addressing the dispute.
Compared with existing research related to cross-border water pollution disputes, the improved GMCR methodology in this study incorporates the impact of heterogeneous sanctions that were not taken into account in the other literature on the optimal strategies of DMs and the equilibria of the transboundary pollution controversy and can provide useful strategic insights and meaningful information for addressing transboundary water pollution disputes with both rational and irrational sanctions.