You are currently viewing a new version of our website. To view the old version click .
Systems
  • Article
  • Open Access

29 July 2022

Distance-Based Decision Making, Consensus Building, and Preference Aggregation Systems: A Note on the Scale Constraints

,
and
1
Department of International Trade and Business, Istanbul Topkapı University, Istanbul 34020, Turkey
2
Department of Management Information Systems, Istanbul Topkapı University, Istanbul 34020, Turkey
*
Author to whom correspondence should be addressed.
This article belongs to the Section Systems Practice in Social Science

Abstract

Distance metrics and their extensions are widely accepted tools in supporting distance-based decision making, consensus building, and preference aggregation systems. For several models of this nature, it may be necessary to elucidate the problem output in the original input domain. When a particular parameter of interest is desired to be produced in this original domain, i.e., the scale, the decision makers simply resort to constraints that function in parallel with this goal. However, there exist some cases where such a membership is guaranteed by the mathematical properties of the distance metric utilized. In this paper, we argue that the scale constraints utilized in this manner under the distance-metric optimization framework are, in some cases, completely redundant. We provide necessary mathematical proofs and illustrate our arguments through an abstract physical system, examples, a case study, and a brief computational experiment.

2. An Abstract Physical System

Consider a finite number of points located in a bounded two-dimensional region R and associate a nonnegative scalar with each point representing some form of weight assigned to it. Suppose that we measure the distances between the point locations using the Euclidean metric  2 . Furthermore, suppose that we aim to determine a new point in R , say v, such that the sum of the weighted Euclidean distances from v to these points is minimal. This problem has a long history and is called the Weber, min-sum or 1-median problem (see [] for a complete treatment of the problem and [] for a connection to other location problems). In an industrial setting, each distinctive weight usually assumes the costs per unit distance of delivering some commodity from v to the respective point. In this scenario, the totality obtained by the summation of the resulting weighted Euclidean distances is a function representing the total transportation cost. The location of point v is the minimizer of this totality and is called the point of minimum aggregate travel, the Weber point, or simply the spatial median.
The above-stated problem is particularly important for our discussion in this paper. A surprisingly easy solution method for this problem is based on a mechanical device, as follows. Suppose we have a plane representing the two-dimensional region R . First, we drill holes through this plane at the coordinates representing the point locations. Then, for each point, we bring out a string and a physical mass of the same magnitude as its specific weight. We tie the ends of the strings together to obtain a knot. Leaving the knot on one surface of the plane, we steer each string through a hole to its other surface. After that, we position the plane horizontally to stillness such that the free ends of the strings hang down from the holes. Finally, we attach the physical mass associated with each point to the string assigned to it. The apparatus we obtain by following these guidelines is called the Varignon frame. An illustration of a frame designed to find the spatial median of the four given points is provided in Figure 1a.
Figure 1. (a) The Varignon frame; (b) convex hull of points.
Now, suppose that the device we prepared is isolated from the drawbacks of a physical environment. For example, it is under the conditions in which the plane is frictionless, the holes are very small and also frictionless, the strings are very thin, such that their weights are almost ignored, etc. What happens in the case that we leave the masses to gravity and allow the knot to move liberally on the surface? It is easy to see that, due to the masses, each string will impose a force component on the knot and try to pull it towards its hole as much as possible. Eventually, the knot will move to a stable position and stop. This ultimate knot location is the anticipated spatial median of the given points.
To gain valuable insights from this solution, let us now construct the convex hull associated with these points on the surface. Figure 1b is a depiction of the surface where the convex hull, denoted here by C , is shown with a shaded area. It is important for us at this point to observe that the spatial median cannot occur outside the convex hull. This is because there is no force component pulling the knot outside the convex hull. What then happens when a mass outweighs the sum of all the other masses? As there is no friction, the weight of this particular mass will pull the knot down its own hole. This is the most extreme case that can happen, where the optimal solution of the underlying Weber problem occurs exactly on one of the given points. To see it alternatively, recall the Weber problem under the industrial setting and observe that translating the knot location to any neighborhood of the hole is costly in this case.
To summarize, the optimal solution of the above Weber problem can only occur within a non-dominated subset of feasible solutions. Moreover, this set exactly sizes up to the convex hull of given points. While we aimed to generate a point v in R at the beginning, we came to see that its membership is guaranteed even in a more reserved set. It is clearly evident that we did not need a constraint to impose v R , especially when we found out that v C was guaranteed.

3. Analysis

For our purposes, consider the following consensus-building problem.
Problem 1.
Given n decision alternatives and m committee members, each providing a judgment matrix A k = a i j k of order n , compute a consensus matrix C = c i j from the judgment set A = A k   : k = 1 , , m such that the collective error due to individual displacements c i j a i j k between the consensus judgment and the personal judgments is as small as possible.
The above problem arises when the members of a committee settle upon acting as an individual decision-making unit. Hence, a consensus matrix representing the members’ aggregated preferences in the form of consensus judgments has to be computed. This problem is elaborated by the adoption of a metric-based approach to compute C that differs from A to the smallest possible extent under a pair-wise comparison scheme []. In this approach, the collective error originates from a series of displacements of each c i j from the corresponding m entries a i j k arranged in the same position i j of m pair-wise comparison matrices A k , and it is measured with the employment of the general p metric. Though we selected this particular DBS and some related examples to illustrate our arguments, one very important clarification is needed at this point. We clearly and vigorously stress that our aim is neither to criticize the valuable mathematical models presented nor to judge the usefulness of the results in []. Our only aim is to illustrate the argument that relates to scale constraints. These models are only selected because they are of very appropriate simplicity, which enhances the demonstration of our idea and the comprehension of the argument by the reader.
The optimization model associated with Problem 1 is as follows:
M 1                 m i n             f C = k = 1 m i = 1 n j = 1 j i n c i j a i j k p 1 p
subject to
0.111 c i j 9 ,           i , j = 1 , , n ,   j i .
It was suggested that the constraint set must satisfy some scale conditions to anchor the consensus judgments to the original scale domain. Hence, the constraints (3) were appended to establish those of Saaty’s pair-wise comparison scale (Saaty, 1980). This is an uncomplicated model and a good basis by which to illustrate the redundancy of scale constraints.
Consider a general-purpose pair-wise comparison scale S = 1 / s , , 1 , , s , where s > 0 , and suppose that the personal judgments a i j k are selected from S and arranged in m pair-wise comparison matrices A k . Thus, the scale constraints under S are of the form:
1 s c i j s ,           i , j = 1 , , n ,   j i .
To establish the redundancy result, first let a i j k be arranged on the real line and consider the sets A i j = a i j k   : k = 1 , , m . We introduce the following definition.
Definition 1.
The linear hull H A i j of the set A i j is the intersection of all real line segments containing A i j .
On the real line, we simply have H A i j = a i j ,   a i j + , where a i j = m i n k a i j k   :   a i j k A i j and a i j + = m a x k a i j k   :   a i j k A i j . For convenience, denote the elements of the unknown optimal consensus matrix C by c i j and refer to this matrix as the optimal solution to Problem 1.
Theorem 1.
C where c i j H A i j ,   i , j ; j i .
Proof of Theorem 1.
To prove Theorem 1 for M 1 , we create two solutions, C and C , as follows. First, we isolate the entries c h l and c h l at the position h l of both matrices. Then, we fill the matrices by picking an element from each set A i j and assigning it to the position i j of both matrices. Hence, we have c i j = c i j   i h ,   j l , i . Yet, for c h l we assign c h l = a h l + . Then, since c i j A i j H A i j H S and c h l A h l H A h l H S , clearly C is a feasible solution satisfying f C f C . Now, suppose that we select c h l H S \ H A h l , where c h l is arranged at a distance ε > 0 to the closest judgment term c h l = a h l + , as shown in Figure 2a. Observe that only the displacements associated with c i j and the corresponding m judgment terms a i j k arranged in the same position i j of the m pair-wise comparison matrices are considered in the objective function f C . A similar argument is also true for f C . As c i j = c i j   i h ,   j l , i ; the difference between f C and f C is solely due to the terms c h l a h l k p and c h l a h l k p . For convenience, we bring in the following term:
z p = i = 1 i h n j = 1 j l , i n c i j a i j k p = i = 1 i h n j = 1 j l , i n c i j a i j k p .
Note that the judgment terms a h l k on the real line are in total order. Hence, without loss of generality, they can be re-indexed, say by q , leading to a h l q , as shown in Figure 2b. Denote the absolute displacement between each adjacent pair a h l q ,   a h l q + 1 by d q , where d q = a h l q + 1 a h l q . Then, in particular, the objective functions f C and f C are given by the following:
f C = z p + d 1 + + d m 1 p + d 2 + + d m 1 p + + d m 2 + d m 1 p + d m 1 p + 0 1 p
f C = z p + d 1 + + d m 1 + ε p + d 2 + + d m 1 + ε p + .. + d m 2 + d m 1 + ε p + d m 1 + ε p + ε p 1 p .
As d q 0 , ε > 0 , and p 1 , a member-to-member comparison of the above objective functions shows that f C < f C . Therefore, we have f C f C < f C , which proves Theorem 1 for M 1 . □
Figure 2. Illustration of Theorem 1: (a) an arrangement; (b) re-indexing.
Theorem 1 clearly shows that the optimal solution of M 1 can only occur in a subset of feasible solutions where each entry c i j of the optimal solution is a member of the corresponding linear hull H A i j . Then, the following results apply.
Corollary 2.
The non-dominated subset N of feasible solutions associated with the mathematical program M 1 is given by:
N = C = c i j   :   c i j H A i j .
Corollary 3.
Scale constraints are redundant for M 1 .
Proof of Corollary 3.
Due to the fact that H A i j H S ,   i , j ,   j i . □
Having formalized our previous observation, we now argue that the scale constraints may remain redundant on possible extensions of M 1 to solve Problem 1. Note that M 1 is a non-linear optimization program due to order parameter p. Therefore, it may be found to be complex from a computational perspective. When rectilinear metric 1 is imposed on M 1 , the displacements between the consensus judgment and the personal judgments are of the form c i j a i j k . In this case, observe that the resulting model can be converted to a goal program. Along these lines, let us now analyze the following lexicographic goal program substituted for M 1 as an alternative solution method [] for the same problem:
M 2           m i n         g C = 1 λ   ·   δ + λ   · k = 1 m i = 1 n j = 1 j i n u i j k + ϑ i j k
subject to
c i j a i j k + u i j k ϑ i j k = 0 ,           i , j = 1 , , n ; j i ; k = 1 , , m
i = 1 n j = 1 j i n u i j k + ϑ i j k δ ,               k = 1 , , m
0.111 c i j 9 ,           i , j = 1 , , n ; j i
u i j k 0 ,   ϑ i j k 0 ,       i , j = 1 , , n ; j i ;   k = 1 , , m
λ 0 , 1 ,   δ   unrestricted
where u i j k and ϑ i j k are the deviational variables associated with the displacements c i j a i j k . In the above formulation, g is a convex combination of two essential objectives:
(i)
The min-max objective. This term is employed for the minimizing of the maximum total displacement from any pair-wise comparison matrix A k . Hence, δ is a free variable utilized for carrying this objective to the objective function g .
(ii)
The min-sum objective. This term is employed for the minimizing of the total displacement from the judgment set A .
Finally, λ is a user-defined control parameter utilized for achieving a convex combination of these two objectives. Similarly to M 1 , the constraint set (12) of this program is found to be redundant. The related construction is as follows.
Corollary 4.
Theorem 1 is valid for M 2 .
Proof of Corollary 4.
Recall the solutions C and C . On this occasion, the difference between g C and g C is solely due to terms c h l a h l k and c h l a h l k . Thereby, we utilize z 1 according to 5 . We also let a h l k be re-indexed, as shown in Figure 2b. As we selected c h l = a h l + and c h l = a h l + + ε , due to 10 we must have u h l q = 0 for C and C . For C , we also obtain:
ϑ h l 1 = d 1 + + d m 1 , ϑ h l 2 = d 2 + + d m 1 , , ϑ h l m 1 = d m 1 ,     ϑ h l m = 0 .
Yet, for C we have:
ϑ h l 1 = d 1 + + d m 1 + ε ,     ϑ h l 2 = d 2 + + d m 1 + ε , ,     ϑ h l m 1 = d m 1 + ε ,     ϑ h l m = ε .
Then, in particular, the objective functions g C and g C are given by the following:
g C = 1 λ   ·   δ + λ   · q = 1 m ϑ h l q + z 1   ,
g C = 1 λ   ·   δ + m   ·   ε + λ   ·   q = 1 m ϑ h l q + ε + z 1 .
Upon simplification and comparison, we obtain:
g C = g C + 1 λ   ·   m   ·   ε + λ   ·   m   ·   ε
g C = g C + m   ·   ε ,
which shows that g C g C < g C . This proves Theorem 1 for M 2 . □
Remark 2.
H S \ H A h l = 1 / s ,   a h l a h l + ,   s , and we have proved Theorem 1 by selecting two solutions, C and C , such that c h l = a h l + and c h l a h l + ,   s . Alternatively, one can prove Theorem 1 by selecting c h l = a h l and c h l 1 / s ,   a h l .
In sum, our analysis with M 1 shows that its underlying model is in fact the following unconstrained nonlinear convex optimization program:
M 3           min           f C .
Corollary 4 implies that Corollaries 2 and 3 are valid for M 2 , and therefore, its core is the following linear goal program:
M 4     min       g C   :   s . t .       10 11 ,   13 14 .

4. Illustration of the Arguments

In this section, we will present our arguments numerically, with the aid of four studies.

4.1. Study 1—Illustration of M1 and M3: Analysis of a Published Example

To illustrate the redundancy of the scale constraints under a representative DBS, we consider the following example.
Example 1.
This is a slight modification of an original example [] (p. 128), where consensus between four committee members, each providing judgments in the form of a pair-wise comparison matrix, is sought. In this original example, a few illogical personal judgments are purposely tolerated. For the moment, we assume that violations of the reciprocity condition a i j = 1 / a j i   i , j are not allowed in this modified example. Hence, we adjusted those judgments where the reciprocity was violated in order to obtain the following judgment set:
A 1 = 1 1 / 5 5 3 5 1 1 / 7 1 / 3 1 / 5 7 1 1 / 3 1 / 3 3 3 1 ,     A 2 = 1 3 1 / 3 1 / 3 1 / 3 1 1 5 3 1 1 7 3 1 / 5 1 / 7 1 ,
A 3 = 1 1 1 / 2 7 1 1 1 / 4 5 2 4 1 8 1 / 7 1 / 5 1 / 8 1 ,     A 4 = 1 7 7 3 1 / 7 1 1 1 / 5 1 / 7 1 1 1 / 5 1 / 3 5 5 1 .
The aim in this example is to compute a consensus matrix out of this judgment set under the distance-metric optimization framework, using the Euclidean metric. Suppose M 1 and M 3 are utilized for this aggregation task. Comparing the results obtained separately by M 1 and M 3 will be of key assistance in recognizing the role of the scale constraints. We utilized the Euclidean metric by imposing p = 2 on M 1 and M 3 . We coded both M 1 with scale constraints and its unconstrained counterpart M 3 under the GAMS modelling system. In order to solve the resulting models, we utilized BARON as the global optimization solver. The model statistics of these two formulations for a general case of n decision alternatives and m committee members, i.e., for computing an order n consensus matrix, are shown in Table 2.
Table 2. Model statistics for M 1 M 4 .
When the problem is solved separately with formulations M 1 and M 3 , the objective function values and the consensus matrices attained by the two programs under this setting are found to be exactly the same. This result confirms the redundancy of the 2 n n 1 scale constraints in M 1 . The consensus matrix and the objective function value we obtained by the two programs are as follows:
C = 1 2.8 3.2 3.33 2.33 1 0.59 2.63 1.33 3.25 1 3.88 1.46 2.1 2.08 1 ,   f C = 15.918 .
Observe that the existence of the scale constraints has no effect on the objective function value and the consensus matrix. We may check whether the consensus judgments in this matrix are elements of the corresponding linear hulls, as indicated by Theorem 1. A summary is as follows:
2.8 1 5 ,   7 = H A 12 ,                                       3.2 1 3 ,   7 = H A 13 ,
3.33 1 3 ,   7 = H A 14 ,                                       2.33 1 7 ,   5 = H A 21 ,
0.59 1 7 ,   1 = H A 23 ,                                       2.63 1 5 ,   5 = H A 24 ,
1.33 1 7 ,   3 = H A 31 ,                                       3.25 1 ,   7 = H A 32 ,
3.88 1 5 ,   8 = H A 34 ,                                       1.46 1 7 ,   3 = H A 41 ,
2.1 1 5 ,   5 = H A 42 ,                                       2.08 1 8 ,   5 = H A 43 .
Note that Theorem 1 is validated for M 1 with the above results.

4.2. Study 2—Illustration of M 2 and M 4 : Analysis of Displacements with Performance Metrics

To illustrate that our reasoning holds true for M 2 , and in order to analyze the displacements from a given judgment set, we utilize the original set of judgments in Example 1 for this study. This set is the same as A 1 A 4 except that the following pairs, though each contradicts the notion of a pair-wise comparison, are tolerated throughout the process:
a 12 1 ,   a 21 1 = 1 / 5 , 3 , a 14 2 ,   a 41 2 = 1 / 3 , 5 , a 34 2 ,   a 43 2 = 7 , 1 / 5 , a 14 3 ,   a 41 3 = 7 , 1 / 5 , and a 12 4 ,   a 21 4 = 7 , 5 . Nevertheless, we will stick to this set so that our solution is comparable with the results of the original example. Our aim for now is to compute a consensus matrix by employing the formulations M 2 and M 4 and by comparing their displacements from the judgments against each other to find out the real significance of the scale constraints.
For this purpose, we coded linear goal programs M 2 and M 4 under the same setting and utilized CPLEX as the linear program solver. We again refer the reader to Table 2 for the model statistics of these two formulations concerning the general case of n decision alternatives and m committee members. Suppose we prefer a balanced solution between the basic min-sum and the min-max objectives introduced. That is to say, our purpose on one hand is to minimize the total displacement from the judgment set; yet, on the other hand, we aim to be as close as possible to the most displaced pair-wise comparison matrix. Such a balance may be captured by equalizing the contributions of these two fundamental objectives to the objective function. This requires imposing λ = 0.5 on M 2 and M 4 . When we solved the problem by using formulations M 2 and M 4 separately under this setting, the resultant objective function values and consensus matrices were again found to be exactly same, confirming that the 2 n n 1 scale constraints in M 2 are not functioning. The consensus matrix, hereafter augmented with a subscript under its notation to denote the preference of λ , and the objective function value we obtained using these programs are given by:
C 0.5 = 1 3 0.5 3 1.16 1 1 0.33 0.2 1 1 0.33 0.33 0.2 0.2 1 ,   g C 0.5 = 58.43 .
On the other hand one may check the authenticity of Theorem 1 for M 2 as follows:
3 1 5 ,   7 = H A 12 ,                                       0.5 1 3 ,   7 = H A 13 ,
3 1 3 ,   7 = H A 14 ,                                       1.16 1 3 ,   5 = H A 21 ,
1 1 7 ,   1 = H A 23 ,                                       0.33 1 5 ,   5 = H A 24 ,
0.2 1 7 ,   3 = H A 31 ,                                       1 1 ,   7 = H A 32 ,
0.33 1 5 ,   8 = H A 34 ,                                       0.33 1 5 ,   5 = H A 41 ,
0.2 1 5 ,   5 = H A 42 ,                                       0.2 1 8 ,   5 = H A 43 .
Note that Theorem 1 is validated for M 2 with the above results.
It is also worthwhile noting that M 2 and M 4 have a large number of compensatory solutions due to different preferences of λ . These solutions reflect different attitudes of the decision maker(s) towards balancing the minimization of total displacement and the displacement associated with the most displaced matrix, respectively. For instance, under λ = 1 , the following consensus matrix is reported [] (p. 129):
C 1 = 1 2.11 4.43 3 1 1 1 0.33 2 1 1 7 0.33 3 0.2 1 .
There was no information on the objective function value, but we would like to note that the corresponding value should be g C 1 = 92.6 . To uncover the compensatory mechanism here, let us compare this solution with our findings for λ = 0.5 . First, observe that the objective function values g C 0.5 = 58.43 and g C 1 = 92.6 are not cardinally comparable with each other. This is because they are composed of different contributions of the min-sum and min-max objectives. On the other hand, the mechanism of the deviational variables u i j k and ϑ i j k suggests that if these two solutions were alternatives optimal to each other, the total absolute displacement of the resultant consensus matrices to the judgment set should be equal. In this line, we provide an analysis of the absolute displacements associated with the two solutions in Table 3. For a sensible comparison between them, three practical performance metrics are defined.
Table 3. Analysis of absolute displacements for our solution λ = 0.5 and original solution λ = 1 .
The total absolute displacement, denoted by T C , is the measure of the overall absolute displacement of a consensus matrix C from the entire judgment set A . This totality is given by:
T C = k = 1 m i = 1 n j = 1 j i n   c i j a i j k .
The maximum absolute displacement from any matrix, denoted by δ C to ensure consistency with the goal program, is the measure of the total absolute displacement of a consensus matrix C from the most displaced matrix. As the optimization direction in M 2 and M 4 is through minimization, at optimality due to constraint (11) we have:
δ C = m a x k i = 1 n j = 1 , j i n   c i j a i j k .
The mean absolute displacement, denoted by M A D C , is the measure of the average absolute displacement of consensus judgments c i j from judgment terms a i j k . Provided that there are m n n 1 individual displacement terms c i j a i j k to consider in total, we must have:
M A D C = T C m n n 1 .
The values for these metrics are calculated for λ = 0.5 and λ = 1 and summarized in Table 4. Observe that for the measures of the total and mean absolute displacement we obtained exactly the same values; hence, the solutions for λ = 0.5 and λ = 1 are granted as being alternative optimal solutions to the consensus problem. This result numerically justifies the fact that the scale constraints are inessential.
Table 4. Summary of performance metrics.
The fact remains that our consensus matrix turned out to be closer to the most displaced matrix, as we obtained δ C 0.5 = 24.26 and δ C 1 = 27.05 . This is because in our solution we enhanced the contribution of the min-max objective to g C λ by selecting λ = 0.5 . Therefore, we were able to attain a slightly better fit to m individual matrices, where the total displacement from the entire judgment set is not affected.

4.3. Study 3—Treating the Non-Linear Objective Function of M1 and M3: A Real-Life Case Study

In this study, we show how our argument might work in practice by analyzing a real-life case. Through analyzing this case, we also illustrate a surprisingly practical treatment of the non-linear objective function (2).
This is a case we implemented at a private university’s newly established Centre for Distance Learning (CDL), located in İzmir, Turkey. The CDL coordinators were concerned with determining which additional servers to utilize in order to cope with capacity requirements due to an increasing number of online night-training programs. Several important performance criteria were relevant to this decision. In an ex ante assessment of the problem, we identified the following criteria: the storage capacity, clock speed, connection interface bandwidth capacity, frequency of the processor, core number, set of commands supported by the processor, number of RAM types supported, processing capabilities of the RAID controller, number of RAID functions, number of ports, RAM capacity, technical support warranties from the provider, and the length of the guarantee period. In order to finalize the criteria set that would be singled out from these options, a preliminary set of visits to the coordinators and technical staff of the center took place. Once the criteria set was established, the staff conducted an internal screening process with the purpose of coming up with a shortlist of servers available that supported the selected technical specifications and the budget approved by the university. At the end of this process, three feasible alternatives were identified. These were the HP S***, IBM X***, and DELL R*** servers, hereafter called Brand 1, Brand 2, and Brand 3, irrespectively. We chose to hide the model codes upon the center’s request, and also the association between the brands and their dummy names, as our local application should not be generalized to conclude that one brand should outperform the others in any similar case.
After profiling the criteria and choice sets, a second round of visits was conducted in order to reveal the preferences of the coordinators and the technical staff. They were asked to evaluate the performances of the three servers with respect to the established criteria through the use of Saaty’s scale [] and its original definitions. We chose this scale as the staff disclosed that they were familiar with it and felt much more at ease with such a comparison style. Five questionnaires were extracted on those visits, which resulted in the following pair-wise comparison matrices:
A 1 = 1 5 3 1 / 5 1 2 1 / 3 1 / 2 1 ,     A 2 = 1 1 / 3 1 / 2 3 1 2 2 1 / 2 1 ,     A 3 = 1 2 4 1 / 2 1 2 1 / 4 1 / 2 1 ,
The center’s aim was to create a group consensus based on the individual assessments of the technical staff. To this end, these valuations first need to be aggregated into a consensus judgment set. One way of processing this information is to use the non-linear convex optimization program M 1 with such input.
Nevertheless, based on the arguments in this paper, this aggregation problem can be solved without resorting to optimization, as follows. According to our analysis, we replace the model M 1 with the unconstrained nonlinear convex optimization program M 3 and eliminate the scale constraints. We then construct the sets A i j , where j i , and hence do not consider the entries arranged in the main diagonals of the pair-wise comparison matrices A k . Note that all these entries are simply composed of the ones both in the matrices A k and, as such, in the consensus matrix. Thus, we obtain n n 1 sets with m elements each.
We recognize that model M 3 with the above input is an n n 1 -dimensional Weber problem with m data points, which can be solved with a generalized Weiszfeld procedure [] without requiring optimization. However, this is the case with p 2 . Had we used p = 1 , we could have done more than that. Assuming we consider the absolute displacements from the judgment terms and thus impose the rectilinear metric 1 , the model M 3 becomes a separable program and further decomposes into n n 1 independent univariate Weber problems, all of which are very easy to solve.
Turning our attention to the case study at hand, recall that we utilize a Euclidean metric with p = 2 , and according to the above process, we obtain the following six sets, with five elements each:
A 12 = 5 ,   1 3 ,   2 ,   1 ,   3 ,     A 13 = 3 ,   1 2 ,   4 ,   1 ,   3 ,     A 21 = 1 5 ,   3 ,   1 2 ,   1 ,   1 3 ,
A 23 = 2 ,   2 ,   2 ,   2 ,   1 ,     A 31 = 1 3 ,   2 ,   1 4 ,   1 ,   1 3 ,     A 32 = 1 2 ,   1 2 ,   1 2 ,   1 2 ,   1 .
Solving the resultant six-dimensional Weber problem with the Weiszfeld procedure, we obtain the following consensus matrix:
C = 1 2.267 2.3 1.007 1 1.8 0.783 0.6 1 .
Finally, to determine the rank-order of the server alternatives, the consensus judgments should be prioritized. Using the row-geometric mean method [], we have the final priorities 0.464, 0.327, and 0.208 for Brand 1, 2 and 3, respectively. These findings show that the evaluations of the technical staff suggest installing server Brand 1, which in turn was the final decision of the CDL coordinators.

4.4. Study 4—Scale Constraints as Auxiliary? A Computational Experiment

Suppose in this case that Theorem 1 is not known to decision maker(s) and does not apply in this study. For rational decision maker(s), appending auxiliary constraints that restrict the solution space as much as possible to ensure computational efficiency is a good idea that can be resorted to in many optimization models. Finally, in this section, we investigate whether the scale constraints are essential for the distance-based consensus searching of model M 1 in this manner, and whether they lead to a reduction in the computation times when compared to the performance of its unconstrained counterpart M 3 .
For this purpose, we considered fair numbers of decision alternatives and committee members in a sensible decision situation and tried augmenting the problem size gradually by increasing both n and m simultaneously from 3 to 15. This sufficed to obtain a set of test instances for our practical purposes. For each instance, the preference information is randomly generated according to Saaty’s scale [] and arranged in matrices of appropriate number and dimension with the enforcing of each matrix to comply with the reciprocity condition to ensure authenticity. We coded respective models in the GAMS modelling system and utilized BARON as the global optimization solver. The computation was implemented on a 2.27 GHz CPU with 4 GB RAM. Our findings are reported in Table 5, where we used the abbreviations Nscale to denote the number of scale constraints utilized and Nnzero to represent the number of non-zero elements required in the relevant model. The CPU times are decoupled to compilation (Tcom), model generation (Tgen), and execution (Texe) efforts and measured as computer-seconds under the above-mentioned setting.
Table 5. Analysis of computation times.
Our experience with the instances using this setting revealed that there is no meaningful difference between computing the solutions for constrained and unconstrained models in terms of CPU effort. Clearly, the scale constraints are not functioning positively from the point of view of computational efficiency either.
Lastly, we would like to highlight that we are not trying to beat the computation times of the constrained model with the unconstrained model in this table. This study shall not be understood in that manner. We just suggest to the decision makers that the 2 n n 1 scale constraints are not mathematically valid; most probably, all of them will be pruned before the real optimization phase by powerful solvers at the pre-processing stage and hence never work, and therefore, the true underlying model is the unconstrained one, as we have shown.

5. Conclusions

The DBS literature accommodates a considerable variety of procedures and cases that rest upon novel applications of the distance measures. It is natural, as well as convenient to the decision maker(s), to enforce well-practiced and well-received p metrics and their purposeful extensions through implementation of a procedure and then try to describe the output in the original input domain of a specific problem. When a parameter of interest is to be elucidated in this original domain, the decision maker(s) usually resort to constraints that go through with this purpose.
On the other hand, what is occasionally ignored is that such an intercourse may readily be ensured by the mathematical properties of the distance metric utilized. In this paper, we introduced this idea. We first presented the implications of a completely different physical system whose behavior is interestingly in-line with our arguments. We then constructed the necessary mathematical proofs by considering a group consensus scenario, a well-represented and studied problem in DBS, and two existing mathematical models. We showed that our mathematical construction holds true by referring to four illustrative studies. Our findings indicate the existence of some situations in DBS where the final value of a variable of concern cannot occur exterior to a non-dominated subset of feasible solutions associated with the problem under study. In this regard, the scale constraints used in DBS to delimit such variables are found to be redundant in those situations.
We would like to note that there exist other DBS where our arguments apply in some way. Some examples are, but are not limited to, approximation scenarios to a consistent judgment matrix, the case of inferring priorities to chosen set elements, a consensus searching process between minority and majority principles, and the analysis of bargaining scenarios. Under the principles provided in this paper, it can be shown that scale constraints adopted in a similar fashion are also inessential. This requires further analysis of the mathematical properties and the real meaning of similar constraints under such scenarios.
In the future, we propose that researchers apply similar analysis in the extensions of distance metrics, as well as in their modifications based on the specific theory under study to see whether the same arguments hold. In this manner, one can explore the cases of similarity and dis-similarity measures, fuzzy distances, and other context-based distance definitions in the literature.

Author Contributions

Conceptualization, İ.G., O.Ç. and B.G.; methodology, İ.G., O.Ç. and B.G.; formal analysis, İ.G., O.Ç. and B.G.; writing—original draft preparation, İ.G., O.Ç. and B.G. All authors have read and agreed to the published version of the manuscript.

Funding

The APC was funded by İstanbul Topkapı University.

Institutional Review Board Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors acknowledge the careful reading and useful suggestions by the referees. The authors also acknowledge APC support by İstanbul Topkapı University.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Kumar, K.A.; Singh, Y.; Sanyal, S. Hybrid approach using case-based reasoning and rule-based reasoning for domain independent clinical decision support in ICU. Expert Syst. Appl. 2009, 36, 65–71. [Google Scholar] [CrossRef]
  2. Li, J.; Wei, L.; Li, G.; Xu, W. An evolution strategy-based multiple kernels multi-criteria programming approach: The case of credit decision making. Decis. Support Syst. 2011, 51, 292–298. [Google Scholar] [CrossRef]
  3. Liu, Z.-G.; Dezert, J.; Pan, Q.; Mercier, G. Combination of sources of evidence with different discounting factors based on a new dissimilarity measure. Decis. Support Syst. 2011, 52, 133–141. [Google Scholar] [CrossRef]
  4. Peng, Y.; Zhang, Y.; Tang, Y.; Li, S. An incident information management framework based on data integration, data mining, and multi-criteria decision making. Decis. Support Syst. 2011, 51, 316–326. [Google Scholar] [CrossRef]
  5. Chakraborty, C.; Chakraborty, D. A fuzzy clustering methodology for linguistic opinions in group decision making. Appl. Soft Comput. 2007, 7, 858–869. [Google Scholar] [CrossRef]
  6. Chen, T.-Y. Multiple criteria group decision-making with generalized interval-valued fuzzy numbers based on signed distances and incomplete weights. Appl. Math. Model. 2012, 36, 3029–3052. [Google Scholar] [CrossRef]
  7. Contreras, I. Emphasizing the rank positions in a distance-based aggregation procedure. Decis. Support Syst. 2011, 51, 240–245. [Google Scholar] [CrossRef]
  8. Dong, Y.; Zhang, G.; Hong, W.-C.; Xu, Y. Consensus models for AHP group decision making under row geometric mean prioritization method. Decis. Support Syst. 2010, 49, 281–289. [Google Scholar] [CrossRef]
  9. Kruger, H.A.; Kearney, W.D. Consensus ranking-An ICT security awareness case study. Comput. Secur. 2008, 27, 254–259. [Google Scholar] [CrossRef]
  10. Tavana, M.; Smither, J.W.; Anderson, R.V. D-side: A facility and workforce planning group multi-criteria decision support system for Johnson Space Center. Comput. Oper. Res. 2007, 34, 1646–1673. [Google Scholar] [CrossRef][Green Version]
  11. Chen, Y.; Kilgour, D.M.; Hipel, K.W. A case-based distance method for screening in multiple-criteria decision aid. Omega 2008, 36, 373–383. [Google Scholar] [CrossRef]
  12. Yu, L.; Lai, K.K. A distance-based group decision-making methodology for multi-person multi-criteria emergency decision support. Decis. Support Syst. 2011, 51, 307–315. [Google Scholar] [CrossRef]
  13. Jabeur, K.; Martel, J.-M. A collective choice method based on individual preferences relational systems. Eur. J. Oper. Res. 2007, 177, 1549–1565. [Google Scholar] [CrossRef]
  14. Xu, X.; Martel, J.-M.; Lamond, B.F. A multiple criteria ranking procedure based on distance between partial preorders. Eur. J. Oper. Res. 2001, 133, 69–80. [Google Scholar] [CrossRef]
  15. Parreiras, R.O.; Ekel, P.Y.; Martini, J.S.C.; Palhares, R.M. A flexible consensus scheme for multicriteria group decision making under linguistic assessments. Inf. Sci. 2010, 180, 1075–1089. [Google Scholar] [CrossRef]
  16. Tanino, T. Fuzzy preference relations in group decision making. In Non-Conventional Preference Relations in Decision Making; Kacprzyk, J., Roubens, M., Eds.; Springer: Berlin, Germany, 1988; pp. 54–71. [Google Scholar]
  17. Xu, Z. A method based on distance measure for interval-valued intuitionistic fuzzy group decision making. Inf. Sci. 2010, 180, 181–190. [Google Scholar] [CrossRef]
  18. Çakır, O. The grey extent analysis. Kybernetes 2008, 37, 997–1015. [Google Scholar] [CrossRef]
  19. Çakır, O. Post-optimality analysis of priority vectors derived from interval comparison matrices by lexicographic goal programming. Appl. Math. Comput. 2008, 204, 261–268. [Google Scholar] [CrossRef]
  20. Çakır, O. On visualizing the number comparison scheme in grey extent analysis. Kybernetes 2013, 42, 94–105. [Google Scholar] [CrossRef]
  21. Chen, Z.F.; Ben-Arieh, D. On the fusion of multi-granularity linguistic label sets in group decision making. Comput. Ind. Eng. 2006, 51, 526–541. [Google Scholar] [CrossRef]
  22. Fan, Z.-P.; Liu, Y. A method for group decision-making based on multi-granularity uncertain linguistic information. Expert Syst. Appl. 2010, 37, 4000–4008. [Google Scholar] [CrossRef]
  23. Chiclana, F.; Herrera, F.; Herrera-Viedma, E. Integrating multiplicative preference relations in a multipurpose decision-making model based on fuzzy preference relations. Fuzzy Sets Syst. 2001, 122, 277–291. [Google Scholar] [CrossRef]
  24. Ma, J.; Fan, Z.-P.; Jiang, Y.-P.; Mao, H.-Y. An optimization approach to multiperson decision making based on different formats of preference information. IEEE Trans. Syst. Man Cybern. Part A 2006, 36, 876–889. [Google Scholar]
  25. González-Pachón, J.; Romero, C. Inferring consensus weights from pair-wise comparison matrices without suitable properties. Ann. Oper. Res. 2007, 154, 123–132. [Google Scholar] [CrossRef]
  26. Saaty, T.L. The Analytic Hierarchy Process; McGraw-Hill: New York, NY, USA, 1980. [Google Scholar]
  27. Dopazo, E.; Ruiz-Tagle, M. A parametric GP model dealing with incomplete information for group decision-making. Appl. Math. Comput. 2011, 218, 514–519. [Google Scholar] [CrossRef]
  28. Li, D.-F. Closeness coefficient based nonlinear programming method for interval-valued intuitionistic fuzzy multiattribute decision making with incomplete preference. Appl. Soft Comput. 2011, 11, 3402–3418. [Google Scholar] [CrossRef]
  29. Çakır, O. A compensatory model for computing with words under discrete labels and incomplete information. Knowl. Based Syst. 2012, 27, 29–37. [Google Scholar] [CrossRef]
  30. Brimberg, J. Properties of distance functions and mini-sum location models. Ph.D. Thesis, McMaster University, Hamilton, ON, Canada, 1989. [Google Scholar]
  31. Love, R.F.; Morris, J.G. Modelling inter-city road distances by mathematical functions. Oper. Res. Q. 1972, 23, 61–71. [Google Scholar] [CrossRef]
  32. Love, R.F.; Morris, J.G.; Wesolowsky, G.O. Facilities Location: Models and Methods; North-Holland: New York, NY, USA, 1988. [Google Scholar]
  33. Charnes, A.; Cooper, W.W. Management Models and Industrial Applications of Linear Programming; Wiley and Sons: New York, NY, USA, 1961. [Google Scholar]
  34. Wierzbicki, A.P. A mathematical basis for satisficing decision making. Math. Model. 1982, 3, 391–405. [Google Scholar] [CrossRef]
  35. Zeleny, M. Compromise programming. In Multiple Criteria Decision Making; Chochrane, J.L., Zeleny, M., Eds.; University of South Carolina Press: Columbia, South Carolina, 1973; pp. 262–301. [Google Scholar]
  36. Bardossy, A.; Bogardi, I.; Duckstein, L. Composite programming as an extension of compromise programming. In Mathematics of Multiple-Objective Optimization; Serafini, P., Ed.; Springer: Wien, Austria, 1985; pp. 375–408. [Google Scholar]
  37. Terol, A.B. A new approach for multiobjective decision making based on fuzzy distance minimization. Math. Comput. Model. 2008, 47, 808–826. [Google Scholar] [CrossRef]
  38. Andrés, R.; García-Lapresta, J.L.; González-Pachón, J. Performance appraisal based on distance function methods. Eur. J. Oper. Res. 2010, 207, 1599–1607. [Google Scholar] [CrossRef]
  39. Liu, P. A weighted aggregation operators multi-attribute group decision making method based on interval-valued trapezoidal fuzzy numbers. Expert Syst. Appl. 2011, 38, 1053–1060. [Google Scholar] [CrossRef]
  40. Sadi-Nezhad, S.; Damghani, K.K. Application of a fuzzy TOPSIS method base on modified preference ratio and fuzzy distance measurement in assessment of traffic police centers performance. Appl. Soft Comput. 2010, 10, 1028–1039. [Google Scholar] [CrossRef]
  41. Bernroider, E.; Stix, V. Profile distance method—A multi-attribute decision making approach for information system investments. Decis. Support Syst. 2006, 42, 988–998. [Google Scholar] [CrossRef]
  42. Polat, K.; Güneş, S. A novel data reduction method: Distance based data reduction and its application to classification of epileptiform EEG signals. Appl. Math. Comput. 2008, 200, 10–27. [Google Scholar] [CrossRef]
  43. Merigó, J.M.; Gil-Lafuente, A.M. Decision-making in sport management based on the OWA operator. Expert Syst. Appl. 2011, 38, 10408–10413. [Google Scholar] [CrossRef]
  44. Phua, M.; Minowa, M. A GIS-based multi-criteria decision making approach to forest conservation planning at a landscape scale: A case study in the Kinabalu Area, Sabah, Malaysia. Landsc. Urban Plan. 2005, 71, 207–222. [Google Scholar] [CrossRef]
  45. Yue, Z. Deriving decision maker’s weights based on distance measure for interval-valued intuitionistic fuzzy group decision making. Expert Syst. Appl. 2010, 38, 11665–11670. [Google Scholar] [CrossRef]
  46. Bernroider, E.; Obwegeser, N.; Stix, V. Analysis of heuristic validity, efficiency and applicability of the profile distance method for implementation in decision support systems. Comput. Oper. Res. 2011, 38, 816–823. [Google Scholar] [CrossRef][Green Version]
  47. González-Pachón, J.; Romero, C. Distance-based consensus methods: A goal programming approach. Omega 1999, 27, 341–374. [Google Scholar] [CrossRef]
  48. Li, H.-L.; Ma, L.-C. Visualizing decision process on spheres based on the even swap concept. Decis. Support Syst. 2008, 45, 354–367. [Google Scholar] [CrossRef]
  49. Dheena, P.; Mohanraj, G. Multicriteria decision-making combining fuzzy set theory, ideal and anti-ideal points for location site selection. Expert Syst. Appl. 2011, 38, 13260–13265. [Google Scholar] [CrossRef]
  50. Merigó, J.M.; Casanovas, M. A new Minkowski distance based on induced aggregation operators. Int. J. Comput. Intell. Syst. 2011, 4, 123–133. [Google Scholar]
  51. Zeng, S.; Su, W. Intuitionistic fuzzy ordered weighted distance operator. Knowl. Based Syst. 2011, 24, 1224–1232. [Google Scholar] [CrossRef]
  52. Xu, Z.; Xia, M. Distance and similarity measures for hesitant fuzzy sets. Inf. Sci. 2011, 181, 2128–2138. [Google Scholar] [CrossRef]
  53. Ding, Y.-S.; Hu, Z.-H.; Zhang, W.-B. Multi-criteria decision making approach based on immune co-evolutionary algorithm with application to garment matching problem. Expert Syst. Appl. 2011, 38, 10377–10383. [Google Scholar] [CrossRef]
  54. Luo, D.; Wang, X. The multi-attribute grey target decision method for attribute value within three-parameter interval grey number. Appl. Math. Model. 2012, 36, 1957–1963. [Google Scholar] [CrossRef]
  55. Zeng, S.; Su, W.; Le, A. Fuzzy generalized ordered weighted averaging distance operator and its application to decision making. Int. J. Fuzzy Syst. 2012, 14, 402–412. [Google Scholar]
  56. Xu, J.; Wu, Z. A maximizing consensus approach for alternative selection based on uncertain linguistic preference relations. Comput. Ind. Eng. 2013, 64, 999–1008. [Google Scholar] [CrossRef]
  57. Intepe, G.; Bozdağ, E.; Koç, T. The selection of technology forecasting method using a multi-criteria interval-valued intuitionistic fuzzy group decision making approach. Comput. Ind. Eng. 2013, 65, 277–285. [Google Scholar] [CrossRef]
  58. Damghani, K.; Sadi-Nezhad, S. A decision support system for fuzzy multi-objective multi-period sustainable project selection. Comput. Ind. Eng. 2013, 64, 1045–1060. [Google Scholar] [CrossRef]
  59. González-Pachón, J.; Diaz-Balteiro, L.; Romero, C. How to combine inconsistent ordinal and cardinal preferences: A satisficing modelling approach. Comput. Ind. Eng. 2014, 67, 168–172. [Google Scholar] [CrossRef]
  60. Liao, H.; Xu, Z. Approaches to manage hesitant fuzzy linguistic information based on the cosine distance and similarity measures for HFLTSs and their application in qualitative decision making. Expert Syst. Appl. 2015, 42, 5328–5336. [Google Scholar] [CrossRef]
  61. Dezert, J.; Han, D.; Tacnet, J.-M.; Carladous, S.; Yang, Y. Decision-making with belief interval distance. Lect. Notes Comput. Sci. 2016, 9861, 66–74. [Google Scholar]
  62. Wang, J.-Q.; Wu, J.-T.; Wang, J.; Zhang, H.-Y.; Chen, X.-H. Multi-criteria decision-making methods based on the Hausdorff distance of hesitant fuzzy linguistic numbers. Soft Comput. 2016, 20, 1621–1633. [Google Scholar] [CrossRef]
  63. Singh, S.; Garg, H. Distance measures between type-2 intuitionistic fuzzy sets and their application to multicriteria decision-making process. Appl. Intell. 2017, 46, 788–799. [Google Scholar] [CrossRef]
  64. Wang, J.-Q.; Cao, Y.-X.; Zhang, H.-Y. Multi-criteria decision-making method based on distance measure and Choquet integral for linguistic Z-numbers. Cogn. Comput. 2017, 9, 827–842. [Google Scholar] [CrossRef]
  65. Garg, H.; Kumar, K. Distance measures for connection number sets based on set pair analysis and its applications to decision-making process. Appl. Intell. 2018, 48, 3346–3359. [Google Scholar] [CrossRef]
  66. Peng, X.; Krishankumar, R.; Ravichandran, K.S. Generalized orthopair fuzzy weighted distance-based approximation (WDBA) algorithm in emergency decision-making. Int. J. Intell. Syst. 2019, 34, 2364–2402. [Google Scholar] [CrossRef]
  67. López-Ortega, O.; Castro-Espinoza, F. Fuzzy similarity metrics and their application to consensus reaching in group decision making. J. Intell. Fuzzy Syst. 2019, 36, 3095–3104. [Google Scholar] [CrossRef]
  68. Song, Z.; Moon, Y. Sustainability metrics for assessing manufacturing systems: A distance-to-target methodology. Environ. Dev. Sustain. 2019, 21, 2811–2834. [Google Scholar] [CrossRef]
  69. Zhang, C.; Liao, H.; Luo, L.; Xu, Z. Distance-based consensus reaching process for group decision making with intuitionistic multiplicative preference relations. Appl. Soft Comput. 2020, 88, 106045. [Google Scholar] [CrossRef]
  70. Kabwe, F.; Phiri, J. Identity attributes metric modelling based on mathematical distance metrics models. Int. J. Adv. Comput. Sci. Appl. 2020, 11, 450–464. [Google Scholar] [CrossRef]
  71. Hao, Z.; Xu, Z.; Zhao, H.; Zhang, R. The context-based distance measure for intuitionistic fuzzy set with application in marine energy transportation route decision making. Appl. Soft Comput. 2021, 101, 107044. [Google Scholar] [CrossRef]
  72. Yiru, Z.; Tassadit, B.; Yewan, W.; Arnaud, M. A distance for evidential preferences with application to group decision making. Inf. Sci. 2021, 568, 113–132. [Google Scholar] [CrossRef]
  73. Xiao, F.; Wen, J.; Pedrycz, W. Generalized divergence-based decision making method with an application to pattern classification. IEEE Trans. Knowl. Data Eng. 2022, in press. [Google Scholar] [CrossRef]
  74. Xiao, F.; Pedrycz, W. Negation of the quantum mass function for multisource quantum information fusion with its application to pattern classification. IEEE Trans. Pattern Anal. Mach. Intell. 2022, in press. [Google Scholar] [CrossRef]
  75. Zhu, C.; Xiao, F.; Cao, Z. A generalized Rényi divergence for multi-source information fusion with its application in EEG data analysis. Inf. Sci. 2022, 605, 225–243. [Google Scholar] [CrossRef]
  76. Zhang, L.; Xiao, F. A novel belief χ2 divergence for multisource information fusion and its application in pattern classification. Int. J. Intell. Syst. 2022, in press. [Google Scholar] [CrossRef]
  77. Wesolowsky, G.O. The Weber problem: History and perspectives. Locat. Sci. 1993, 1, 5–23. [Google Scholar]
  78. Çakır, O.; Wesolowsky, G.O. Planar expropriation problem with non-rigid rectangular facilities. Comput. Oper. Res. 2011, 38, 75–89. [Google Scholar] [CrossRef]
  79. Weiszfeld, E. Sur le point pour lequel la somme des distances de n points donnes est minimum. Tohoku Math. J. 1937, 43, 355–386. [Google Scholar]
  80. Crawford, G.; Williams, C. A note on the analysis of subjective judgement matrices. J. Math. Psychol. 1985, 29, 387–405. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Article Metrics

Citations

Article Access Statistics

Multiple requests from the same IP address are counted as one view.