Reducing incompatibility in a local AHP-group decision making context

In the context of local analytic hierarchy process-group decision making (AHP-GDM), this paper presents a theoretical framework and a semi-automatic procedure for reducing incompatibility between the actors involved in the decision making process and the collective position. The row geometric mean is employed as the prioritisation procedure and the geometric compatibility index (GCOMPI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textrm{GCOMPI}$$\end{document}) as the incompatibility measure; individual pairwise comparison matrices are considered as the input of the reduction process, whilst the collective vector is the output. The reduction is attained by slightly modifying, in relative terms, the judgements of the collective pairwise comparison matrix, irrespective of the method used to obtain it, that further improve the GCOMPI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textrm{GCOMPI}$$\end{document}. The resulting judgements of the collective matrix and the associated collective priorities are close to the initial collective values. The procedure does not modify the judgements of the initial individual matrices and this simplifies the process of reaching consensus. A simulation analysis is utilised to study the performance of the algorithm along with an illustrative numerical example. The analysis proves that the proposed algorithm is easy to implement and efficient, it provides mathematically closed results and significantly reduces the GCOMPI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textrm{GCOMPI}$$\end{document} associated with the precise consistency consensus matrix which is one of the AHP-GDM tools. The framework allows the procedure to be adapted to specific interests.


Introduction
The analytic hierarchy process (AHP) (Saaty, 1977(Saaty, , 1980 is one of the most widely used multicriteria techniques (Ho and Ma, 2018;Kułakowski, 2020). Among other reasons, this is due to (Aguarón et al., 2021): (i) its potential for addressing multiactor decisions; (ii) its capacity for measuring the actors' consistency when eliciting their preferences; and, (iii) its ability to combine tangible and intangible aspects in formal models. The two methods traditionally employed in local (one criterion) AHP-group decision making (AHP-GDM) contexts (Saaty, 1989;Ramanathan & Ganesh, 1994;Forman & Peniwati, 1998) are the aggregation of individual judgements (AIJ) and the aggregation of individual priorities (AIP). They both use a weighted geometric mean as a synthesis method. As is well known, any mean measure is representative of the collective behaviour if the data does not present a high degree of variability (Saaty & Vargas, 2007). It is therefore necessary to measure the compatibility or proximity between the initial individual positions and the collective position; an acceptable level of incompatibility must also be guaranteed.
Assuming a local AHP-GDM context, where the Row Geometric Mean (RGM) is used for obtaining the local priorities and the geometric compatibility index (GCOMPI) (Escobar et al., 2015;Aguarón et al., 2019) is used for evaluating the incompatibility of the individual positions with regards to the collective position, the paper presents the seminal ideas of the theoretical framework and the semi-automatic procedure proposed by the authors for reducing the incompatibility of the collective matrix (regardless of how it was obtained). This reduction is achieved by slightly modifying, in relative terms, the judgements of the collective matrix that further improve the GCOMPI.
The proposed framework considers relative modifications, instead of absolute, because they better reflect the perceived relevance of changes. When considering small changes, both the judgements and the derived collective priority vector will be close to the initial values, as recommended by Saaty (2003). This framework also provides closed (optimal) results in terms of the judgements that most rapidly reduce incompatibility and the range of values over which the reduction occurs. The expression of the GCOMPI employed in this paper for evaluating incompatibility takes the individual pairwise comparison matrices (PCMs) as the input and the priority vector associated to the collective PCM as the output. Depending on the available information (input and output), other variants of the GCOMPI can be seen in Aguarón et al. (2022), a work that is an extension of this present study and that, following the same theoretical framework, develops and demonstrates analogous results to those presented here, but for the other variants.
The proposed procedure does not modify the judgements of the initial individual matrices, so the continuous intervention by decision makers is not required to corroborate changes made to the judgements in the individual matrices. The paper also includes a simulation study and new mathematical tools that evidence the excellent performance of the algorithm. Finally, it should be noted that the procedure can be adapted to different situations, and therefore has enormous cognitive potential (Moreno-Jiménez & Vargas, 2018).
The paper is structured as follows: Sect. 2 outlines the background of AHP-GDM and the measurement of compatibility; Sect. 3 sets out the theoretical results necessary for the proposal; Sect. 4 describes the procedure for revising judgements and reducing incompatibility, presents a study of its performance, and it also highlights its most outstanding characteristics; Sect. 5 illustrates the procedure by means of a numerical example and justify its potential by comparing its results with those of the Precise Consistency Consensus Matrix (PCCM); and, Sect. 6 highlights the most important conclusions of the study.

AHP in a local group decision making context
AHP methodology consists of three phases (Saaty, 1980): (a) modelling; (b) valuation; and, (c) prioritisation and synthesis. The two methods most commonly employed for obtaining the local priorities are the Eigenvector (EGV) and the Row Geometric Mean (RGM). This paper uses the RGM due to its psychological, mathematical and statistical properties and relationships (Aguarón et al., 2020(Aguarón et al., , 2021. Considering a PCM of order n as a squared matrix A = a i j n×n with a i j a ji = 1 and a i j > 0, i, j = 1, . . . , n, the priority vector using the RGM (except for the normalization factor) is given by: AHP allows measurement of the degree of internal coherence of the decision maker when incorporating their preferences (valuation) through the judgements elicitation process. This internal coherence is known as consistency and guarantees the quality or validity of the priority vector derived from the PCM. For the RGM, Crawford and Williams (1985) advanced an unbiased estimator of the variance of log-errors as a measure of inconsistency.  referred to this measure as the Geometric Consistency Index (GCI) and established thresholds for the GCI.
AHP stands out for its potential to address multi-actor decisions. Where a number of actors evaluate a set of alternatives according to multiple conflicting criteria (tangible and intangible), Escobar and Moreno-Jiménez (2007) distinguish three situations: (i) Group Decision Making (GDM); (ii) Negotiated Decision Making (NDM); and, (iii) Systemic Decision Making (SDM). In GDM, individuals work together in pursuit of a common goal under the principle of consensus.
In the local AHP-GDM context considered in this work (Altuzarra et al., 2019), consensus refers to the acceptance of the procedure followed to aggregate the individual positions into a collective position (collective matrix of final group priority vector). If the decision makers agree, at the beginning of the Consensus Reaching Process (CRP), on how to obtain the collective position and no intervention is made during the process (AHP-GDM), it is understood that there is an implicit acceptance of the result. If the decision makers directly and continuously participate in obtaining the collective position (AHP-NDM), it is understood that there is an explicit acceptance of that position.
, k = 1, . . . , d be a family of PCMs provided, respectively, by d decision makers with weights α k d k=1 α k = 1 , and w (k) , k = 1, . . . , d, the priority vectors derived from these matrices using a prioritisation method. The two methods traditionally used in AHP-GDM are the AIP and the AIJ . With AIP, once the individual priorities are obtained, the priority vector for the group is calculated as the normalised (distributive mode) weighted geometric mean of the individual priority vectors, component by component: With AIJ, a collective matrix A G = a G i j n×n is constructed first, where each entry is . Then, the priority vector w G|J is calculated following a prioritisation method. When the priorities are obtained by means of RGM, both AIJ and AIP provide (Barzilai & Golany, 1994;Escobar et al., 2004) the same collective priority vector (w

Compatibility in AHP-GDM
Irrespective of the method employed to obtain the collective matrix (voting, consensus on the judgements, aggregation, AIJ, AIP, etc.), this matrix cannot be representative of the group position if the individual positions are not homogeneous or their incompatibility is high (Saaty & Vargas, 2007;Scala et al., 2016). It is then necessary to evaluate the compatibility (an objective distance measure) or the agreement (a subjective acceptance that requires personal intervention) between the individual positions, . . , d, and the collective position, w G = w G 1 , . . . , w G n . If the group's internal coherence (compatibility or agreement) in choosing its collective position is not reached, the suitability of the aggregation followed is not guaranteed. In this case, the different homogeneous positions of the actors must be identified in order to initiate posterior negotiation processes to achieve final decisions that are as representative as possible (Altuzarra et al., 2019). In addition, from a cognitive perspective (Moreno-Jiménez & Vargas, 2018), the arguments that justify the different positions must be provided.
It is therefore necessary to establish (define and characterise) compatibility measures, procedures for their improvement and thresholds that allow validation of the use of collective priorities that represent the individual priorities. Garuti (2020) defines compatibility as the sharing of similar value systems. Compatibility is generally calculated without the personal intervention of the individuals with the exception of the emission of the initial judgements of the PCMs. The published literature (Lipovetsky, 2020;Escobar et al., 2015) describes ordinal and cardinal tools for the assessment of compatibility. Ordinal tools (e.g. ordinal correlation coefficients) work with rankings of the alternatives, but some authors (Garuti, 2012) do not recommend their use in the context of AHP (weighted spaces). Cardinal tools include the S-compatibility (Saaty, 1996), the G-compatibility (Garuti, 2007), the coefficient of multiple determination R 2 that is commonly used in regression analysis (Lipovetsky, 2009); and, the Geometric Compatibility Index (GCOMPI). Dong et al. (2010), Escobar et al. (2015) and Aguarón et al. (2016) advanced initial proposals of the GCOMPI for the evaluation of the compatibility of individual positions with respect of the collective position. As can be seen in Sect. 3, the expression considered for the GCOMPI in a local context (one criterion) combines the individual PCMs and the collective priority vector. The choice of this expression of the GCOMPI is justified by the fact that it measures the compatibility between the input of the decision makers (individual PCMs) and the output of the group (collective priority vector) used to rank the alternatives and make decisions. Different approaches have been followed for studying the improvement of incompatibility. They differ with regards to the modification considered for the judgements (in absolute or relative terms), or with regards to the degree of the participation of the actors (automatic, semi-automatic, personal). Most of the procedures in the literature for reducing inconsistency (Dadkhah & Zahedi, 1993) and incompatibility (Dong et al., 2010;Grošelj et al., 2015) include modifications in absolute terms. However, the perception of the importance an actor gives to a change that can lead to consensus positions, that is to say, the acceptability or unacceptability of a modification, is better captured in relative, rather than absolute, terms. In absolute terms, the changes in judgements from 2 to 3 and from 8 to 9 are the same, but the perception of their importance is not; in the first case, the relative change is 50%, in the second, it is just 12.5%.
Modifications in relative terms are in line with the suggestions of Kahneman and Tversky (1979): "the preferences, associated with the same physical magnitude, are relative rather than absolute, depending on the situation of gain or loss, and also on the point of departure" and Grzybowski (2016): "small errors (in terms of absolute values) may significantly change the final rankings if they are big in relation to the true value". In addition, when working in relative terms, the absolute values of the modifications allowed by each decision maker for each judgement, alternative or criterion (bounded confidences) do not have to be provided. These two arguments: (i) suitability to perceive the importance of changes and (ii) lower transaction costs, validate the use of relative changes.
The maximum relative variation allowed for the modification of any judgement is given by the parameter known as permissibility (Aguarón et al., 2021). It considers the attitudes or flexibility of the actors in consensus reaching. This allows them to adapt their initial positions (individual or collective), facilitating the establishment of consensus paths for reaching a more satisfactory final agreement (Altuzarra et al., 2010).
Regarding the degree of actors' participation, automatic procedures are not appropriate in GDM unless they are used to simulate and explore scenarios. CRPs require the personal intervention of the actors, either at the beginning of the process, by setting its degree of flexibility, or throughout, in an interactive manner. The procedure put forward in this current work is semi-automatic; the actors provide at the beginning of the CRP their initial PCMs and establish the permissibility level. However, the procedure can be easily adapted to allow a more personal intervention of the actors in the agreement or consensus searching (interactive procedure).

Theoretical results
This section presents the theoretical results (see Appendix A for proofs) that are necessary to develop the procedure to reduce the incompatibility (Sect. 4). In what follows, all the matrices (PCMs) and the priority vectors are of order n, and w G will refer to the priority vector obtained either applying AIJ or AIP to the matrices of a family A when using the RGM as the prioritisation method (w G = w G|J = w G|P ).
Definition 1 Let A = a i j be a PCM and u = (u i ) be a priority vector. The Geometric Compatibility Index between A and u is defined as Definition 2 Let A = A (k) be a family of PCMs and u = (u i ) be a priority vector. The Geometric Compatibility Index between family A and u is defined as Remark 1 If A is a PCM and w is its priority vector obtained with the RGM method: where GCI is the Geometric Consistency Index .

Remark 2 If
Remark 3 Let w = (w 1 , . . . , w n ) be a priority vector. It is obvious that Theorem 1 Let A = a i j and P = p i j be two PCMs and w = (w i ) and v = (v i ) be the corresponding priority vectors associated to A and P obtained with the RGM method. It holds that Theorem 2 Let A = A (k) be a family of PCMs, P = p i j be a collective PCM and v = (v i ) be the corresponding priority vector associated to P obtained with the RGM method. It holds that From the above result, it is obvious that, when v = w G , all partial derivatives cancel out. This situation corresponds to a critical point and it is easy to see that it is a minimum, consistent with Remark 2. Therefore, any PCM whose priority vector obtained by the RGM method coincides with w G will provide the minimum value of the GCOMPI.
If the judgement p rs is modified with p rs as its new value, t rs = p rs / p rs denotes the relative variation of this judgement, P = p i j is the modified PCM and v = v i the associated priority vector obtained with the RGM. The modified values of the GCOMPI are given by the following theorems.

Theorem 3 In the same conditions of Theorem 1, it holds that
Theorem 4 In the same conditions of Theorem 2, it holds that The following corollaries provide the partial derivatives of the GCOMPI with respect to the relative variation of a judgement (t rs ). When small variations are considered, the value of t rs moves around 1, so the values of the derivatives at that point are also presented.

Corollary 1 In the same conditions of Theorem 1, it is easy to prove that
It follows that the judgement p rs that most decreases the GCOMPI is the judgement for which there is a greater relative difference between ratios v r /v s and w r /w s . This seems quite logical; if v r /v s > w r /w s it is necessary to decrease p rs , and increase it otherwise.

Corollary 2 In the same conditions of Theorem 2, it is easy to prove that
In the case of a family of matrices, the judgement p rs that most decreases the GCOMPI is also the one for which there is a greater relative difference between the ratios v r /v s and w G r /w G s .

Corollary 3
In the same conditions of Theorem 1, the relative variation of judgement p rs that produces the greatest decrease of Corollary 4 In the same conditions of Theorem 2, the relative variation of judgement p rs that produces the greatest decrease of GCOMPI(A, v) is and the variation of the From the above corollaries, it follows that the the judgement identified in (14) or (16) is that which most rapidly decreases the value of the GCOMPI; it is also the one that allows the greatest reduction in absolute terms.

Remark 4
In contrast to absolute variations, (9) and (10), the gradient associated with the variation in relative terms of the judgement p rs does not depend on p rs ; it is given exclusively in terms of the log quadratic discrepancies between the ratios of the elements of the priority vector associated with the collective matrix (P) and that obtained for the family A . This expression will be used to select the judgements that must be considered for reducing the GCOMPI.

Procedure
The results from the previous section give the judgement of the collective matrix that will most rapidly reduce incompatibility and determine its optimal relative variation. The iterative modifications of the judgements of the collective matrix (P) bring it closer to a matrix (P ) with the same priority vector (v ) as the AIJ matrix (w G ), both vectors obtained with the RGM method. Note that this last vector is the one that minimises the weighted log-quadratic deviation between the individual matrices and a priority vector (see Remark 2).
The value that provides the maximum possible reduction of inconsistency could be far from the initial value in the collective matrix (Khatwani and Kar, 2017). Limiting the intensity of the modifications is a logic criterion to guarantee the validity of the improvement procedure (Saaty, 2003). A parameter of permissibility (Aguarón et al., 2021), ρ, is employed to avoid major modifications of the judgements of the collective matrix in the process of reducing incompatibility. This parameter is incorporated by multiplying the judgements by the factor 1 ± ρ and indicates the maximum relative variation permitted for the modifications of any judgement, and is established by the decision makers or by the facilitator (if there is one).

The AEM-COM algorithm
Using the RGM as the prioritisation method and the GCOMPI as the incompatibility measure, this section describes a semi-automatic procedure for improving (reducing) the incompatibility between the actors involved in the decision making process and the collective position (matrix) obtained by any method. The procedure considers variations in judgements in relative terms, limited by the permissibility. Expression (16) is used to select the judgement that will be considered for each of the iterations. Expression (19) provides the limit of the variation for this judgment. A modification beyond this value will produce an increase in the GCOMPI.
In order to apply this semi-automatic procedure, it is necessary to provide the weights of the decision makers (α k ), their individual pairwise comparison matrices (A (k) ), the collective matrix (P) and the parameter of permissibility (ρ). Regarding the collective matrix, the decision makers agree on P using an existing AHP-GDM methodology. This initial matrix is assumed to have an acceptable level of inconsistency which ensures the validity of the collective priority vector that is derived from it.
The AEM-COM (Aguarón, Escobar, Moreno-COMpatibility) algorithm: Algorithm for improving the GCOMPI in terms of relative changes Inputs: A = {A (k) } a family of pairwise comparison matrices, α k their respective weights with d k=1 α k = 1, P a collective matrix and ρ the permissibility allowed in relative terms for the modification of judgements of P. Outputs: The updated matrix (P ), its priority vector v and the GCOMPI(A, v ).
Step 0. Using RGM, obtain the priority vector v for the matrix P and the priority vector w G for the matrices of family A.
and log q rs for all (r , s) ∈ J .
Step 2. Choose the pair (r , s ) ∈ J for which log q r s has the largest absolute value.
Step 4. Modify p rs considering the following value of the relative variation t rs that will depend on the sign of log q rs . Let t * Update matrix P with new values p rs = p rs t rs and p sr = 1/ p rs . Update J = J \ (r , s ).
Step 5. Using RGM, obtain the priority vector v for the matrix P . Calculate the GCOMPI(A, v ). If J is not empty, repeat steps 1 to 4 with v = v . Otherwise, stop and provide P , v and GCOMPI(A, v ).
If log q rs < 0 (Step 4a), it is necessary to increase p rs (t rs ≥ 1) in order to reduce the GCOMPI. In this case, the maximum relative increase delimited by the permissibility and the range of improvement is t rs = min 1 + ρ, t * rs . If log q rs > 0 (Step 4b), the value of p rs should be reduced (t rs ≤ 1). In this situation, permissibility is incorporated as 1 1+ρ to keep the property of reciprocity.
If working with judgements between 1/9 and 9, as is usual in the context of AHP (Saaty, 1980), the new values p rs in Step 4 are limited to the continuous interval [1/9,9]. In what follows, only judgements that fall within this range are considered.

Performance of the algorithm
It can be verified that, whenever there are judgements that meet the required conditions, the algorithm, by construction, takes n(n − 1)/2 iterations and reduces the initial GCOMPI. Obviously, small values of permissibility will produce small modifications in the GCOMPI.
A simulation study was undertaken to determine the efficiency of the algorithm by measuring the improvement reached for the GCOMPI in different situations. Efficiency is defined as the reduction achieved with respect to the maximum possible reduction, indicating the improvement in GCOMPI: where GCOMPI 0 refers to the initial GCOMPI = GCOMPI(A, v), GCOMPI f refers to the final GCOMPI = GCOMPI(A, v ) and GCOMPI min refers to the minimum GCOMPI = GCOMPI(A, w G ).
For the simulation, families of matrices were generated: the first step was to randomly generate a priority vector, u. The vector was randomly perturbed, giving different priority vectors for each decision maker, u (k) . The vectors are not too far away from u, but they are sufficiently different from each other for different rankings to exist. From these priority vectors, the corresponding consistent matrices are obtained; these matrices are randomly perturbed (using a lognormal distribution) and then corrected so that the priority vector of A (k) is u (k) . The AEM-COM algorithm is applied to the matrices which all have same weights. Note that, without loss of generality, the PCCM (Escobar et al., 2015;Aguarón et al., 2016) is used as the collective matrix. The behaviour of our procedure can therefore be compared with that of the PCCM methodology employed for AHP-GDM.
As previously explained, 10,000 families of matrices were generated for each combination of d (3 to 6) and n (3 to 9). The proposed algorithm was applied to each of them for different permissibility values. The efficiency of the algorithm was calculated for each situation. Table 1 shows the average efficiency for 3 decision makers (d = 3) and different values of n and ρ. It can be observed that the greater the permissibility, the greater the average efficiency, for any size of the matrix (n). Permissibility of 5%, which is clearly acceptable, is sufficient to achieve an average efficiency improvement of more than 40% for any given n. For permissibility levels greater than 20%, the average efficiency is higher than 91.8%. In the particular case considered in the numerical example presented in Sect. 5 (n = 5 and ρ = 15%), average efficiency is 83.9%. Table 2 shows the percentage of times that different levels of efficiency are reached for d = 3 and n = 5, depending on the value of ρ. It can be seen that an efficiency of 10% (adequate in most cases) is achieved for any value of permissibility considered in this table. It can also be observed that a level of efficiency of 60% is achieved 95.8% of the time when ρ = 15%. With the same permissibility, efficiency of 50% was possible 99.6% of the time. For ρ = 50%, the collective matrix resulting from the AEM-COM algorithm has a priority vector that almost coincides with the w G . In general, the greater the permissibility, the greater is the likelihood of achieving a given efficiency.
Similar results to those presented in Tables 1 and 2 were obtained for the other values of d and n (they have not been included for reasons of space). The results of the simulation study also show that the average differences between the initial and final priorities do not exceed 10% for all combinations of d, n and ρ values.   The computational complexity of the algorithm was o(n 3 ) where n is the size of the matrix. Given the values of n that are usually considered in AHP (from 3 to 9), it is clear that the algorithm is quite efficient. The algorithm has been applied to 1,000 different problems with 9 decision makers (d = 9) and 9 alternatives (n = 9), obtaining a total execution time of 0.88 s, using an Intel i3 computer.
In short, the new procedure (AEM-COM) for improving the incompatibility measured by the GCOMPI considers relative changes in the judgements of the collective matrix (individual matrices are not modified). It is computationally efficient, easy to implement and can be adapted to fit specific interests; furthermore, it provides closed results and bounds relative changes to guarantee slight modifications in the collective matrix and its priority vector, as recommended by Saaty (2003).

Numerical example
The procedure is illustrated with an example from the published literature (Moreno-Jiménez et al., 2009;Escobar et al., 2015;Aguarón et al., 2016;Turón et al., 2019). The problem has n = 5 alternatives and d = 3 decision makers with weights α 1 = 5/11; α 2 = 4/11; and α 3 = 2/11. The individual pairwise comparison matrices are: The first of the following collective matrices was obtained using AIJ, the second corresponds to the PCCM which was determined by means of the procedure described in Escobar et al. (2015) and Aguarón et al. (2016): In general, the collective matrix P can be obtained by any of the procedures allowed for AHP-GDM. In this case, the proposed algorithm (AEM-COM) is applied to improve the incompatibility of the second of the two previous matrices (P = PCC M). This collective matrix ensures that the judgements are within the consistency stability intervals for all the actors . Table 3 details the priorities (obtained with the RGM method) of the three individual and the two collective matrices. It also shows the consistency (GCI) and the compatibility (GCOMPI) indicators for all the matrices. The GCOMPI values in the first 3 rows measure the incompatibility between the individual matrices and the priority vector (v) associated to the collective matrix P. The GCOMPI values in the last 2 rows measure the incompatibility between the family A and vectors w G and v, respectively.
As can be seen in Table 3, the GCOMPI value for the collective matrix P is 0.529. The application of the AEM-COM algorithm aims to reduce this value, knowing that the minimum value that can be reached with this indicator for family A is GCOMPI(A, w G ) = 0.464 (Remark 2).
In this illustrative example, it is assumed that the decision makers (or the facilitator) have established a permissibility value ρ = 15% (they would accept the modification of some judgements of the collective matrix up to 15% of their initial values), and that the judgements are limited to the continuous interval [1/9, 9].
From the priority vectors associated to the P matrix (v) and to the AI J matrix (w G ), and the associated matrix log Q that contains the natural logarithms of the q i j are obtained to determine the order of entry of the judgements in the algorithm: The maximum value, in absolute terms, corresponds to the judgement (r , s ) = (1, 2). As p 12 = 2.049 > 1, this judgement is directly considered, and not its inverse, i.e, (r , s) = (1, 2). This is the judgement that would most rapidly decrease the value of the GCOMPI.
Since log q 12 = −0.334 < 0, the judgement must be increased. The optimal relative variation is determined by t * 12 = q −n/2 12 = 2.307. This would mean an increase of 130.7%, greater than a permissibility level of 15%, so the relative variation of the judgement will be determined by the permissibility: The new value of the judgement is p 12 = 1.15 × p 12 = 2.356 (then, p 21 = 1/2.356), and the associated incompatibility measure of matrix P for the first iteration is GCOMPI = 0.5146. Table 4 summarises the iterations of the procedure. In the second iteration, the selected judgement (1, 4) is not modified because its new value would be outside the range [1/9, 9]. In this example, the modifications of the judgements in the rest of the iterations (except the last one) have been determined by the permissibility (15%) and not by the value that provides the maximum possible reduction of inconsistency (t * rs ); the average relative change of the judgements is 11.26%.
After considering all the judgements (10 iterations) the final pairwise comparison matrix, P , its associated priority vector, v , and the corresponding values of the GC I and the GCOMPI are: As the algorithm advances it is possible to measure the improvements achieved for the GCOMPI and to obtain measurements of the proximity between the initial and final priority vectors, v and v (see Table 5). Efficiency, defined in expression (21), can be adapted to reflect how the GCOMPI improves at each iteration: where GCOMPI i refers to the GCOMPI at iteration i. The maximum differences in relative terms and the value of the G-compatibility index (Garuti, 2007;Garuti & Salomon, 2012) are calculated to measure the distances between the priority vectors. The vectors are said to be highly compatible when the value of the latter indicator is above 0.90.  Table 5 shows that the application of the proposed procedure significantly reduces incompatibility, resulting in an efficiency rate of 73.1% (percentage of the maximum possible reduction) with slight modifications of the collective priorities (Max. Rel. Dif. (v, v ) = 10.1% and G(v, v ) = 0.938). This demonstrates that the new approach has significantly improved the incompatibility of the decision makers regarding the collective position obtained with the PCCM methodology. If, instead of completing all the iterations of the algorithm, a specific reduction in GCOMPI had been set, e.g. 60%, the algorithm would have been finished on the 6th iteration, when the target had been reached (with Max. Rel. Dif. (v, v ) = 7.7% and G(v, v ) = 0.944). With regards to the relative changes of the collective priority vectors, the maximum differences during the process remain below 10.2%. The G values indicate that for all the iterations, the initial and the updated priority vectors are highly compatible (G > 0.9). In particular, the G value between the initial and the final priority vectors is G(v, v ) = 0.938. In terms of the compatibility of the collective vectors (v and v ) with w G , the procedure has made it possible to move from a compatible vector v -G(v, w G ) = 0.874 ≥ 0.85 -to a highly compatible vector v -G(v , w G ) = 0.929 ≥ 0.9: v is highly compatible with v and w G .
With the initial individual PCMs, the proposed procedure (AEM-COM) has made it possible (Table 6) for the three decision makers to improve their compatibility with respect to the final collective position (v ). All three have improved the category considered on the scale associated with Garuti's G index (Garuti, 2017). Table 7 shows the results obtained by applying the procedure with different values of the permissibility (ρ between 5% and 50%). As might be expected, it can be observed that the greater the permissibility, the greater is the % of reduction of the GCOMPI (efficiency), but   also the greater is the distance between the initial and final priority vectors. The improvement in incompatibility increases rapidly when permissibility is low and slows down when permissibility is higher, maintaining small distances between the priority vectors. For example, for a permissibility level of ρ = 25%, a reduction in the value of the GCOMPI of 92.2% is achieved, with just 14% maximum difference between the priority vectors. The associated value of the G index is 0.907, indicating high compatibility between the initial and final priority vectors. For higher values of permissibility (25% < ρ ≤ 50%), the value of G indicates compatibility (G > 0.85). It should also be mentioned that, for each value of ρ, the inconsistency measure (GCI) of the resulting P matrix does not exceed the threshold allowed for ensuring the validity of the priority vectors. If the permissibility constraint is removed (a situation not in accordance with the proposal), efficiencies of 71.72% and 94.66% would be achieved in the first and second iterations. The substantial improvement of incompatibility occurs at the cost of greater maximum relative changes in judgements (130.7%) and priorities (19.52%), which might not be accepted.

Conclusions and recommendations
Assuming a local AHP-GDM context and the Row Geometric Mean as the prioritisation method, this paper presents a theoretical framework and a semi-automatic procedure (AEM-COM) for improving the representativity (incompatibility) of the collective pairwise comparison matrix, irrespective of the method by which the collective matrix is obtained. It should be noted that the AEM-COM procedure does not require the continuous intervention of decision makers and does not modify the individual matrices; it only modifies the judgements of the collective matrix. It is based on the consideration of relative changes and on the slight modification of the judgements of the collective matrix that further improve the GCOMPI. The maximum relative variation allowed for the modification of any judgement is bounded by the parameter known as permissibility (ρ).
The input data for the procedure comprise the weights of the decision makers, their individual pairwise comparison matrices, the collective matrix (obtained using any CRP) and the parameter ρ. To apply the procedure for reducing incompatibility, it is necessary to check that the initial collective matrix has an acceptable level of inconsistency. If it does not, inconsistency should be reduced (Aguarón et al., 2021) until it reaches the threshold necessary to guarantee the validity of the collective vector.
It may be sufficient to consider a small value of permissibility, since the empirical studies have shown that even when using small values, significant reductions of the GCOMPI are achieved. If the reduction is not sufficient and further improvement is desired, an increase of the value of ρ is suggested. Performing a sensitivity analysis of the permissibility parameter may provide relevant information on the critical points and the decision opportunities of the resolution process. The initial value of ρ can be determined by consensus among the decision makers. If there is no consensus, it is recommended to take the minimum of the individual permissibility values (ρ = min ρ k ) to solve the problem. In both cases an implicit acceptance of the final result is assumed.
The analysis of the behaviour of the algorithm and the numerical example used to illustrate the new methodology give a clear idea of its practical potential. The algorithm is computationally efficient, easy to implement, and can be adapted to allow the consideration of several variants.
The proposed framework makes it possible to incorporate specific interests of the decision makers as additional restrictions, as a veto or the imposition of rigid constraints. The modifications of the judgements can be limited so that they do not lie outside of a specific range (Saaty's scale, priority or consistency stability intervals...). In addition, the algorithm can be adapted to incorporate the personal intervention of decision makers to a greater extent, not only at the beginning of the CRP. The interactive variant would require more time and effort.
Other stopping rules based on thresholds for efficiency, or based on distances between collective priority vectors can be contemplated. For example, with the G-compatibility index (Garuti, 2007), the algorithm would stop when the distance between the initial and final collective positions is lower than a value fixed in advance. The combination of the information provided by the efficiency and the Garuti G measure would allow the establishment of thresholds for the GCOMPI. In case there is different information available (input and/or output), compatibility can be measured by other GCOMPI expressions (Aguarón et al., 2022).
The range of possibilities for adapting the procedure gives it enormous cognitive potential. These variants and other possible extensions of the current work, including new measures for compatibility and direct thresholds for the GCOMPI that would make it operative, will be the subject of future research.
Acknowledgements This research is partially financed by the "Grupo Decisión Multicriterio Zaragoza" research group (S35-20R) and the project "Participación Ciudadana Cognitiva y Decisiones Públicas. Aplicaciones Sociosanitarias" (Ref. , both supported by grants from the Regional Government of Aragon and FEDER funds. The authors would also like to acknowledge the efforts of the experienced, native English language translation professional David Jones in preparing and proofreading the final draft. The authors are grateful to the editor and the two anonymous referees for their comments and suggestions that have improved the quality of the article.
Funding Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Appendix A. Proofs of the theorems
In what follows GCOMPI(x, y) is denoted as G(x, y). It will be also assumed that the priority vectors obtained with the RGM method are standardized being the product of its components equal to the unit.

Proof of Remark 2
The only terms in the inner sum that depend on v r are those that are in row r or column s. It is obvious that log 2 a i j v j /v i = log 2 a ji v i /v j so we only consider twice the terms log 2 a r j v j /v r : Taking into account that k α k = 1 and that a G i j = d k=1 a (k) i j α k and assuming that v has been normalised as j v j = 1, then: In other words, a critical point exists when the vector v is the same as the priority vector obtained by applying the RGM method to the matrix AIJ derived from the matrices of family A. To verify that this point corresponds to a minimum, it is enough to note that the second partial derivatives are: With the above extreme condition, the parenthesis is cancelled and the second partial derivatives are positive. The cross partial derivatives are zero, so the Hessian matrix is positive-definite and the critical point corresponds to a minimum.

Lemma 1 Let
( p r 1 · · · p rs · · · p rn ) 1/n = a r j p where w is the priority vector associated to A obtained with the RGM method.
Proof Based on the definition of the errors (e i j ) and assuming that the priority vectors are standardized so that the product is equal to the unit:  (4), that depend on p rs are those that are in rows r , s or columns r , s. As e i j = a i j v j /v i , it is obvious that log 2 e i j = log 2 e ji so we only consider two-time terms e rs , e r j with j = s and e s j with j = r : Proof If the judgement p rs is modified, with p rs as its new value, the only priorities corresponding to matrix P which are modified are v r and v s , so the only errors which will be modified are those corresponding to any index r or s.
Let us consider the error e r j with j = r , s. From definition of errors and the previous lemma: With this expression, we automatically obtain that of e sr .

Proof of Theorem 3
The GCOMPI expression uses the aggregation of terms that depend on errors (e rs ). Thus, its variation depends exclusively on the modification of the elements located in the rows or columns r and s. Therefore, it can be written as: where r G indicates the variation due to the elements with any index equal to r except for the e rs , s G indicates the variation due to the elements with any index equal to s except for e rs , and rs G indicates the variation due to the term e rs . The addends that appear in the G expression are log 2 e i j , so the term e i j and its reciprocal e ji contribute the same amount. Therefore, it is sufficient to operate with half of the terms and afterwards multiply the result by two.
Let us consider the term r G. This represents the variation due to the elements, different from e rs , that are in row r or in column r . Given that the elements of the row and the column are reciprocal, it is sufficient to operate with one of them, i.e., the row: r G = 2 j =r ,s (log 2 e r j − log 2 e r j ) We will now operate only with the numerator of the G expression, leaving the denominator to be included at the end of the proof. Developing the value of e r j we have: Finally, including the denominator, we have G = 4 (n − 1)(n − 2) log t rs log v r /v s w r /w s + log t rs n and then G(A, v (t rs )) = G(A, v) + 4 (n − 1)(n − 2) log t rs log v r /v s w r /w s + log t rs n