Abstract
A cooperative is a business entity with the primary objective of providing benefits, services, and goods to its members, who both own and exercise democratic control over it. In the context of a cooperative, a fleet typically consists of vehicles owned by self-concerned individually rational owners who prioritize their own efficiency and the fairness of the system. This fairness refers to how their individual gain aligns with the gain of others. In this paper, we focus on the routing of such cooperative fleets. Considering only the fleet’s efficiency in terms of minimising its overall cost, the studied problem corresponds to the multiple Traveling Salesman Problem (mTSP). However, our interest lies in finding both efficient and fair solutions, so we propose two new variants of this problem that integrate and maximise the fleet’s egalitarian and elitist social welfare. Additionally, to enhance the balance between fleet efficiency and fairness, we propose the systematic elitist and systematic egalitarian social welfare optimisation algorithm. Through simulation results, we observe a wide diversity of routes depending on the approach considered. Therefore, a cooperative may choose a model that best balances its fleet’s efficiency and fairness based on its specific requirements.
Keywords
Introduction
Cooperatives are business entities where ownership and democratic control are entrusted to their member-owners. Diverging from the conventional business model, each member possesses the right to actively participate in the decision-making process governing the operation of the cooperative (see, e.g., [31]). The provision of services or goods by the cooperative is designed to serve the collective interests of all member-owners.
Cooperatives are prevalent within the agriculture industry, as they embody the concept of a shared economy, which plays a pivotal role in enhancing resource utilization efficiency and effectiveness. In this domain, cooperatives serve as collective platforms where farmers can consolidate their resources for various purposes, including land cultivation, as well as offering, aggregating, marketing, and processing services. However, resource-sharing in this context presents significant computational challenges, primarily due to the involvement of heterogeneous fleets comprising tractors, agricultural mobile robots (AMR), and associated machinery specifically designed for farm sensing and actuation.
A cooperative fleet consists of a collection of vehicles and equipment that are usually owned by self-interested individuals, which include member-owners and rental companies. The primary focus of these individuals in engaging in vehicle sharing is to maximise their own benefits while minimising the costs associated with the vehicles’ operations. Additionally, they emphasize the importance of fairness within the system, ensuring that their gains are equitable related to the gains of other participants. To be part of a cooperative fleet, vehicle owners must make individually rational decisions based on their self-interest. They willingly share their vehicles and participate in the fleet only if it is advantageous for them on an individual level. This implies that their involvement in the fleet should yield personal benefits, aligning with their own goals and objectives.
Considering efficiency in terms of the minimisation of the overall fleet costs, in this paper, we study fairness in cooperative routing of a fleet of homogeneous vehicles. Since vehicles can join and leave a cooperative fleet based on their owners’ individual interests, the cooperative fleet aims to satisfy a given demand and minimise the fleet’s overall workload cost while considering fairness in its distribution among the fleet’s vehicles.
Cooperatives are usually large enterprises whose fleets may be of substantial size. By increasing the number of vehicles in the fleet, the number of possible combinations of allocating vehicles to the tasks also increases, which, in its turn, allows for decreasing the overall fleet’s costs. optimising economic efficiency of allocation of customers to visit (tasks to perform) to the vehicles in the fleet in terms of maximising the overall profit and/or minimising the overall cost of the fleet is often a conflicting objective with maximising fairness. Fairness may be considered as the quality of treating individuals equally or in a way that is right or reasonable. Within the scope of this paper, we consider fairness in terms of distributive justice, which is concerned with the equitable distribution of burdens and benefits that arise from social cooperation among vehicle agents, who possess competing objectives and requirements. This approach studies how task allocation to vehicle routes comes about and is not concerned about the impact on the overall cost of the entire fleet (see, e.g., [14]).
Finding a good efficiency-fairness balance is essential for the survival and growth of a cooperative fleet over time. Insufficient fairness can deter potential members from joining a cooperative, despite the potential cost reduction compared to individual competition. Even more, an insufficiently fair cooperative may be a reason for cooperative members to abandon the system and join a fairer one, thus putting in jeopardy its survival. Thus, cooperative vehicle routing mechanisms that are both efficient globally for the fleet as a whole and fair individually for each vehicle in the fleet are essential for cooperative fleet prosperity.
In this paper, we study economic welfare to tackle this issue in the context of cooperative vehicle routing. Broadly, economic welfare is the level of prosperity or well-being that individuals or groups experience as a result of their activities and conditions. In the field of economics, it specifically refers to utility gained through the achievement of material goods and services. A utilitarian welfare function sums the utility of each individual in order to obtain society’s overall welfare. Generally, the optimisation of utilitarian social welfare concentrates on maximising the benefit and/or minimising the cost for the whole system independently of how the costs are distributed among its components. The egalitarian welfare, on the other hand, defends the position that equality is central to justice. It postulates that the best social policy is the one which ensures equality of cost/benefit distribution among all the members of a system. Contrarily, elitism revolves around the belief that only a small fraction of members truly changes a system since they have an intrinsic quality and are more likely to be constructive to society as a whole, and therefore deserve influence or authority greater than that of others.
Concentrating on the optimisation of the system’s egalitarian social welfare without other concerns will generally result in the solution that will minimise the cost of the worst-off agent (an agent with the highest cost or the lowest benefit), while optimising the elitist social welfare will give us the solution that will minimise the cost of the best-off agent (the one with the lowest cost or the highest benefit), both without any concern for other agents.
The aim of this study is to develop a methodology for equitable distribution of routes among vehicles in a cooperative fleet in order to achieve both fairness and cost efficiency. This is done by incorporating the concepts of utilitarian, egalitarian, and elitist social welfare into the mathematical model of the uncapacitated Vehicle Routing Problem (VRP). In contrast to the capacitated VRP, the uncapacitated VRP is a variant of the VRP where vehicles have unlimited carrying capacities (see, e.g., [3]). The studied problem corresponds to the multiple Traveling Salesman problem (mTSP) that considers a set of customers (destinations or tasks) to visit in a region of interest by a set of vehicles starting and ending their routes in a depot. Each customer has to be visited exactly once and by only one vehicle. The objective of the conventional mTSP is to minimise the overall cost associated with the movements of the vehicles.
Moreover, note that neither the egalitarian social welfare nor the elitist social welfare consider the distribution of the costs or benefits among all the agents in the system. They only consider the worst-off and the best-off agent, respectively. To resolve this issue, in this paper, we also present the systematic egalitarian social welfare optimisation algorithm and the systematic elitist social welfare optimisation algorithm that not only minimise the cost of the worst-off and the best-off vehicle, respectively, but also consider finding efficient and fair routes for all the other vehicles in the fleet.
The rest of the paper is organised as follows. In Section 2, we resume the most relevant works on balancing fairness and efficiency in collaborative vehicle routing. In Section 3, we describe the problem and present the starting mathematical model for conventional mTSP. In Section 4, the mTSP model is modified for the three welfare measures and we present algorithms for the systematic egalitarian social welfare and systematic elitist social welfare optimisation. Section 5 analyses and compares the results of the proposed approaches in a set of experiments in structured as well as randomly created transportation networks. We analyse fairness and efficiency measures of the proposed algorithms as well as their computational complexity considering the execution times. Finally, Section 6 closes the article giving an overview of the proposed models and algorithms and the achieved results with indications about future work.
Related work
The VRP was first introduced in 1959 by Dantzig and Ramser [5], and is a generalisation of the famous travelling salesman problem (TSP) [8]. The objective of VRP is to minimise the total travel cost through a given set of locations to be visited by a given set of vehicles. This problem has been widely studied since its inception and is currently of increasing interest due to the need to save fuel, reduce
However, the reduction of the total cost of the vehicles’ trips is no longer the only objective to be taken into account. Others, such as profitability, quality of service, consistency, fairness and equality in the workload or simplicity and efficiency of individual routes are also valued by the industry and public administration and in many cases are in conflict with the cost reduction (e.g. [6,19–22,32]). In this context, a new problem called vehicle routing problem with route balance (VRPRB) arises, which proposes to balance the workload performed by each vehicle [16]. To find this balance in workloads, multi-objective techniques are proposed, where each objective considers one of the above aspects to balance the workload of each vehicle [13,16]. A formulation for the two-objective version, minimising the cost and the difference in distance travelled by the vehicles can be found in [28]. Due to the added complexity of solving more than one objective and analysing the various non-dominated solutions (Pareto optimal [15]), the solution process involves using various techniques such as transforming the bi-objective problem into a single objective problem [25], column generation techniques [7,11] or the use of different metaheuristics [12,27,30,34].
When different vehicles in a fleet are owned by different actors (agents), it is no longer important to consider only the balance between vehicle routes. It is also necessary to introduce other metrics representing fairness, equality, and equity in the generated routes. In [24], an axiomatic analysis is performed on different fairness metrics and fairness measures applied to VRP problems. In this study, the authors distinguish between the resources to be balanced such as distance, delivery time, amount of load, and the different functions that measure how unfair a solution is for each agent. Some examples of functions are the rank function, maximum, standard deviation or the Gini coefficient. In [35], Wu et al. introduce another type of fairness measure when goods are delivered to people in emergency relief distribution. For this purpose, they include in the objective function a fairness coefficient that weights the cost of the trip by the number of people receiving assistance by the service divided by the time spent on a direct trip without taking into account other destinations. Finally, other authors have considered as justice functions the
When applying the concept of fairness to large fleets of vehicles belonging to multiple owners, the fairness measure must be adapted. It is necessary that not only the vehicles perform the routes in a balanced way, but also that the profits of their owners are balanced. The method proposed by [17] is based on multi-objective optimisation and with a max-min objective function, which tries to maximise the minimum satisfaction of the owners. Finally, in [29] the assumptions of competition, mutual aid and total cooperation between fleet owners are compared, concluding that, if they choose to cooperate, the range of benefits they can mutually obtain is expanded.
An Agriculture Fleet Vehicle Routing Problem (AF-VRP) described in [22] not only involves the creation of an optimal route for each vehicle in the fleet, but it also considers fairness and justice concepts for each of the mutually collaborating owners of the vehicles, since an individual owner does not want their vehicles to accumulate a too high cost or a too low profit in relation to the others.
Zibaei et al. [36] propose a cooperative vehicle routing problem for (capacitated) multi-depot VRP where each depot with only one vehicle in it (both owned by a single owner) has its own customers and can also serve the customers of partners. Each customer is visited by exactly one vehicle. The routing problem is solved for an individual vehicle/depot with its own customers and for any coalition (combination) of vehicles considering customer sharing. When the routing cost for any coalition is smaller than the accumulated cost of its vehicles considered individually, the owners (considered players of a cooperative game) have the incentive to coordinate with each other. The key mechanisms of the game are presented for this setting including its Shapley value, game core, τ value and the equal cost saving method that provides a stable and uniform allocation of vehicles’ routes. Based on the results obtained from the cost saving allocation, the owners can decide about joining the coalitions that bring them more profit. How to achieve that is not the topic of the paper. Moreover, solving the problem for any coalition structure is computationally expensive and intractable.
To the best of our knowledge, the state of the art on balancing fairness and efficiency in a cooperative fleet vehicle routing problem is scarce or missing. While [22] provided qualitative discussions on this topic, it did not include mathematical modeling formalizations or algorithmic solution approaches. The present work is an extended version of [18]. The aim is to provide the formalization of the problem through proposed mathematical models as well as to propose computationally efficient routing algorithms that balance the fairness and efficiency of a cooperative fleet. The key distinctions between this work and [18] lie in the introduction of the systematic egalitarian social welfare optimisation algorithm (SEGSW) and the systematic elitist social welfare optimisation algorithm (SELSW) for the optimisation of egalitarian and elitist social welfare concepts introduced in [18], as well as the inclusion of extended functional experiments presented in Section 5.
Problem description
In this Section, we first qualitatively describe the problem that we tackle in this paper. Then, we describe the analysed social welfare measures in more detail and finally, we present a formal description of the problem.
Motivation
In the VRP context described before, there exist multiple routing solutions that consider different social welfare measures and may impact differently the individual performance of vehicles or the overall performance of the fleet.
In Fig. 1, we present an example of this problem where we deal with a transportation network modelled as a complete digraph composed of 9 vertices and a fleet of 3 vehicles.1
Note that a complete digraph may be seen as an abstraction of a transportation network where routes from each vertex to every other vertex are precomputed and their costs are considered as the costs of the arcs in the complete digraph. Only the task vertices are presented in the graph, and the transit vertex are implicit in the arcs. This implies that when the solution found in the complete graph is applied to the transportation network, a vertex in the transportation network may be visited more than once as it may serve as a transit vertex, but the tasks will be performed once and only once by a single vehicle of the fleet.
The three different routing solutions correspond to optimal solutions under the consideration of different social welfare measures. Figure 1a represents a routing solution considering the optimisation of the utilitarian social welfare of the fleet (minimise the overall cost). Figure 1b gives us a egalitarian social welfare solution (minimise the worst-off cost), while Fig. 1c provides a elitist social welfare solution (minimise the best-off cost). The differences in the routing of the vehicles are obvious and in the following subsection, we will describe the used welfare measures in more detail.

Examples of routing approaches focusing on different social welfare measures impacting distinctly individual vehicles’ and the overall fleet’s cost. The colours of the vehicles are the same in all three figures.
Utilitarian social welfare (USW) considers the overall cost or profit of the system as a whole. Maximising the utilitarian social welfare in the routing of fleets composed of homogeneous vehicles translates into minimising the overall fleet’s cost obtained as a sum of the costs of all vehicles’ routes, without taking into account the distribution of these costs among the vehicles. The overall cost obtained by maximising utilitarian social welfare represents a lower bound of the overall routes’ cost for the whole vehicle fleet.
Egalitarian social welfare (EGSW) is a concept that increases fairness in terms of equality Here, the cost/profit of the worst-off agent in the system is minimised/maximised. In particular, maximising egalitarian social welfare in m-TSP translates into minimising the route cost of the worst-off vehicle. Note that this approach only focuses on the vehicle(s) with the highest route’s cost and it does not consider the routes taken by other vehicles (the ones that do not match that cost). The value of the routing solution that optimises egalitarian social welfare will be an upper bound for the maximum cost that each vehicle’s route can assume; any solution that involves a vehicle travelling more than that distance could be considered less fair from the egalitarian point of view.
Elitist social welfare (ELSW) has the objective to minimise the cost of the best-off vehicle (the vehicle with the route of the minimum cost). In terms of fairness looking from the fleet’s perspective, this can be seen as an unfair solution, since it increases the differences in costs (or benefits) among the fleet’s vehicles. However, from the fleet’s clients’ point of view, elitist welfare may be applied, e.g., in emergency cases (emergency medical assistance, firemen, or police) where any of the vehicles in a fleet needs to reach an incident location as soon as possible. Opposite to egalitarian social welfare, elitist social welfare only looks at the cost of the best-off vehicle, with no regard for other vehicles. The minimum cost of the routes found by using elitist social welfare represents a lower bound on any vehicle route’s cost.
As we have commented, optimal egalitarian or elitist solutions only consider the worst-off or best-off vehicle, but do not constrain the routes chosen for the other vehicles. We can obtain different solutions with equal egalitarian or elitist social welfare optimum value but with less or more efficient route distributions for the rest of the vehicles. As an alternative, in this paper, we present the Systematic egalitarian social welfare optimisation (SEGSW) and the Systematic elitist social welfare optimisation (SELSW) as methods that calculate optimal solutions for egalitarian or elitist social welfare, but also consider the distribution of the routes for all vehicles in a fleet.
The solution process in both cases is done iteratively. The systematic egalitarian social welfare approach first minimises the cost of the itinerary of the worst-off vehicle and then, in an iterative way, repeats the same with every other vehicle in a non-increasing preference order based on the vehicles routes’ costs up to the best-off vehicle with the least costly route. The systematic elitist social welfare approach, similarly, applies elitist social welfare maximisation iteratively, starting from the best-off and ending with the worst-off vehicle in the preference order based on the non-decreasing vehicles routes’ costs.
In both cases, once a solution is found in an iteration, we ignore the worst-off/best-off vehicle and the vertices that it visits in the next iteration, where we calculate a solution for the remaining vertices and vehicles. This process is repeated until there are no more remaining vertices to visit or vehicles without an assigned route. In this way, the two systematic approaches do not focus only on the worst-off/best-off vehicle but they also consider all the other vehicles in the fleet.

Differences between egalitarian social welfare and systematic egalitarian social welfare.
An example of the differences in the routes that can be obtained by applying egalitarian social welfare versus systematic egalitarian social welfare (in this case for 3 vehicles) is presented in Figs 2a and 2b, respectively. Both sets of routes minimise the cost of the worst-off vehicle, coloured in green. However, the cost of the blue and red circuits in Fig. 2a is higher than the cost of the routes in Fig. 2b. By applying the systematic egalitarian social welfare approach, we obtain a more efficient solution from an (utilitarian) point of view. That is, we reduce the overall cost.
It is interesting to analyse another criterion in Fig. 2: fairness. If we consider a fair solution as one where the cost differences between the vehicle routes are small, that is, that the cost range between the best and the worst vehicle route is small, the solution of Fig. 2a is fairer than the one of Fig. 2b. However, it is clear that this solution unnecessarily increases the cost of two of the three vehicles by assigning them both a more costly route. This indicates that fairness by itself (defined in this way) is not an appropriate measure. In fact, from a purely individual utilitarian point of view, none of the vehicles/agents would be better of with the solution provided in Fig. 2a and thus, from a rational perspective should prefer the less costly route over the “fairer” but more costly distribution. The former type of solution is exactly what we aim to achieve with the systematic egalitarian and systematic elitist welfare algorithm that we propose in this paper.
Let us consider a complete arc-weighted digraph
Given is a set V representing a fleet of vehicles, where
Elements of the studied problem
Elements of the studied problem
We start with the VRP formulation of the Multiple Travelling Salesman Problem (mTSP) in [1]. To eliminate the subcircuits that may occur in the routing of the vehicles in the graph, we consider the Miller-Tucker-Zemlin formulation [23,26] since it grows linearly with the size of the problem, unlike other formulations that show exponential growth. To avoid subcircuits, it uses auxiliary decision variables
The original objective of mTSP is to minimise the overall cost of the routes. In the following, we give its mathematical formulation.
Model (
1
)–(
7
) is equivalent to model (35)–(39) in [
1
], but with lower bounds on the auxiliary variables
In the original formulation in [1], for each destination
In this section, we modify the mTSP formulation (Equations (1)–(7)) to balance efficiency and fairness in a fleet. We adapt the concepts of utilitarian, egalitarian, and elitist social welfare for the mTSP context and describe the aforementioned systematic approaches for the latter two.
Utilitarian Social Welfare (USW) model
A utilitarian social welfare function sums the utility of each vehicle to obtain the overall fleet’s welfare. Translated into costs, it minimises the overall fleet’s cost (over all vehicles’ routes). The mathematical model for utilitarian social welfare is just the formulation of the mTSP as defined before, with the objective function being the sum of the vehicle routes’ costs.
Egalitarian Social Welfare (EGSW) model
As mentioned before, the utilitarian model (1)–(7) only focuses on the overall performance of the fleet as a whole. By doing so, the found solution may be unfair as, in general, there may be no limit on the differences between the costs of the routes assigned to individual vehicles. The egalitarian social welfare model takes into account these differences by minimising the maximum cost of the vehicle with the worst-off (the most costly) route applying the constraints of the mTSP. Formally:
This model fixes the maximum cost for each vehicle of the fleet to the value of z and the objective is to minimise this value. As mentioned in Section 3.2, this approach considers only the worst-off route.
Systematic Egalitarian Social Welfare (SEGSW) algorithm
Systematic Egalitarian Social Welfare (SEGSW) Algorithm) (Algorithm 1) finds the routes of the fleet’s vehicles optimising the fleet’s egalitarian social welfare systematically.

Systematic Egalitarian Social Welfare (SEGSW) algorithm
To do so, the Algorithm performs
In each iteration,
Feasible solution
Elitist social welfare is of relevance in cases where a fleet needs to reach some location as soon as possible. The objective here is to minimise the cost (arrival time) of the vehicle with a minimum route cost. With this aim, we introduce a new continuous decision variable w whose value is the best-off vehicle route’s cost. Furthermore, we introduce
Constraint (12) fixes the value of only one variable
Systematic Elitist Social Welfare (SELSW) algorithm
In order to find a systematically optimised elitist welfare solution, Systematic Elitist Social Welfare (SELSW) Algorithm (Algorithm 2) finds the routes of the fleet’s vehicles iteratively optimising the fleet’s elitist social welfare. It uses an optimisation approach similar to the SEGSW Algorithm (Algorithm 1), through

Systematic Elitist Social Welfare (SELSW) algorithm
It can be noted that the way we model the systematic elitist social welfare reduces to finding the first
In this Section, we analyse the performance of the proposed models and algorithms and present the results of the performed simulation experiments. We describe the experiment setup in random and graphs with grid, rectangular, and line structure and present the key performance indicators of the analysis. We finish the Section with the discussion of the results.
Setup of simulation experiments
The simulation experiments were run on an Intel Xeon Gold 6226R2
We test the proposed models and algorithms considering two types of transportation networks and related graph topology: random (e.g., as seen in Fig. 3) and graphs with grid, rectangular, and line structure (Fig. 4). In the experiments, we consider complete graphs in a 2D plane where the cost between any two vertices

Examples of experimented random complete graphs. Arcs are excluded for visibility.

Examples of a 17-vertex complete graph with a grid, rectangular, and line structure. Arcs are excluded for visibility.
To ensure manageable computational times and standardized solutions, the costs of vehicles’ routes are rounded to the third decimal point, which corresponds to meters. Additionally, each model’s instance run in the solver is constrained to a standardized one-hour time limit, a common practice in the state of the art allowing for practical and consistent solutions to be obtained. We only consider the optimal solutions of the studied models, so that instances whose runs take more than one hour to reach an optimal solution are not considered.
Random graphs. We perform the experiments on random graphs with the following number of vertices: 10, 12, 15, 17 and 20. We consider two scenarios of the fixed position of the deposit vertex, one in the left lower corner and the other one in the centre of the graph. For each number of vertices and each position of the deposit, we generate 10 random instances in a 2D square environment
Graphs with a regular structure. In certain large cities, such as in New York (Manhattan) and Barcelona (L’Eixample), or in agriculture fields for precision farming, the transportation network usually has a regular structure. Here, we consider the structures presented in Fig. 4: a grid structure with equidistant neighbour vertices to visit (Fig. 4a), a rectangular structure with vertices to visit concentrated on four sides of a rectangle (Fig. 4b), and the line structure in Fig. 4c, where all the vertices to visit are on the same line. To add variance, we generate 5 instances for each structured graph type where the position of each vertex is randomly generated following a uniform distribution on the circle of unitary radius centred at the initial position of the vertex. For the deposit, we consider the two same positions as before, one in the left lower corner and the other in the centre of the graph.
For each generated graph, we examine the scenarios with 2, 3 and 5 vehicles. This makes a total of 390 different problem instances (scenarios); 300 on the random and 90 on the regular graph structures.
In the analysis of the results, we are interested in different key performance indicators (KPIs) related with cost efficiency and fairness. We consider the overall vehicles’ cost, which aggregates the costs of individual vehicles’ routes, the individual maximum vehicles’ cost, which gives the cost of a vehicle’s route with the highest cost, and the individual minimum vehicles’ cost, which represents the minimum cost of the vehicles’ routes.
The USW model (1)–(7) minimises the overall vehicles’ cost. The EGSW model (8)–(10) minimises the individual maximum vehicles’ cost, while the SEGSW Algorithm 1 systematically minimises the maximum vehicles’ cost. On the other hand, the ELSW model (11)–(15) minimises the individual minimum vehicles’ cost, while the SELSW Algorithm 2 systematically minimises the minimum vehicles’ cost. In addition, we consider three statistical measures of dispersion of the routes’ costs to analyse fairness: range, standard deviation, and Gini coefficient (see, e.g., [24]).
Range measures the difference between the maximum and the minimum cost of the vehicles’ routes. Let
Standard Deviation measures how dispersed the route costs are in relation to the mean. A high standard deviation shows that the routes’ costs are widely spread (less fairness) and a low standard deviation shows that the costs are clustered closely around the mean (a higher fairness). Similar to the range, values close to zero imply the highest fairness.
Let
Gini coeficient is a dispersion measure that is used in economics to reflect the inequality within a social group and is formulated as follows.
Simulation results
In the experiments, we tested the three presented social welfare models for mTSP (USW, EGSW, ELSW) and the two Algorithms (SEGSW and SELSW) on the 390 generated problem instances. Tables 2 and 3 present the results obtained for the experiments on random graphs and Table 4 on regular graphs. The results correspond to the average values obtained on the 300 instances for random and 90 instances for regular graph structures. These include 20 and 10 instances for the two deposit locations for random and regular structures, respectively.
Besides the performance indicators mentioned previously, we also include a study of the execution times of the proposed mathematical models and algorithms to check their scalability. In the tables, ♯Vert. is the number of vertices and ♯Veh. number of vehicles. Social welfare is the social welfare model used to solve the instances. Moreover, Max represents the maximum vehicles’ cost, Min the minimum vehicles’ cost, and O. cost the overall vehicle fleet cost. Additionally, Range is the cost range value, while GC is the Gini coefficient. SD represents the standard deviation and Time the execution time of the model. Rows marked with a star (*) in the ♯Veh field mean that not all of the instances have been solved to optimality in the one hour limit. In this case, the best solution found within one hour is taken.
Key performance indicators for instances in random structure graphs
Key performance indicators for instances in random structure graphs
Key performance indicators for instances in random structure graphs (continue)
Key performance indicators for instances in regular structure graphs
Execution time analysis. The execution times of the optimisation runs depend mainly on the social welfare optimisation model used. In more than 96.5 % of the experimented optimisation runs (1448 out of the total of 1500) for the random structures, we achieved the optimal solution within one hour.
In general, the EGSW model and the SEGSW Algorithm take much more execution time than the USW and ELSW models or the SELSW algorithm. Also, the SEGSW Algorithm takes more execution time than the EGSW model since it repeats the execution of the EGSW model for each number of vehicles going from |V| to 1.
In our experiments, the USW model, the ELSW model and the SELSW Algorithm obtain an exact solution in all the runs in less than one hour. However, the EGSW model and the SEGSW Algorithm do not. Also, the number of vertices and vehicles strongly influence the total execution time; the instances with less than 17 vertices and 5 vehicles are solved exactly to optimum in all the social welfare models. However, in 5 out of 20 runs with 17 vertices and 5 vehicles, and in some runs with 20 vertices and any number of vehicles, the EGSW model and the SEGSW Algorithm were unable to find an optimal solution within the one-hour time limit, obtaining gaps of the best found incumbent of up to 5%.
Tables 2 and 3 demonstrate that when the model successfully finds an optimal solution for the instances, the computation times are considerably shorter compared to the one-hour limit. Notably, the EGSW model and the SEGSW Algorithm exhibit longer computation times in scenarios involving a greater number of vehicles and vertices.
Regarding the regular structures, Table 4 demonstrates that 91,6 % (412 out of the total of 450) of the optimisation runs achieve the optimal solution within one hour. Most of the instances for which the solver does not achieve an optimal solution in one hour belong to the linear structure instances with the deposit in the left corner. This is because these instances present a symmetric combinatorial problem structure with possibly numerous solutions having the same cost. The mathematical model requires considering each one of them. Thus, although the solver may find the optimal solution within the time limit, it cannot mathematically prove its optimality. To ensure optimality for the solutions provided within the one-hour range, symmetry-breaking techniques are employed to reduce the search space. An additional constraint is added, giving preference to solutions that visit more vertices in case of equal cost [33]. By utilizing this method, 98,2 % (442 cases) are solved exactly to optimality (as seen in Table 4).
Comparison of the EGSW model and the SEGSW algorithm (Algorithm 1 ). With the EGSW Model and the related SEGSW Algorithm, we obtain that in 54 % of the instances, the systematic approach is better in at least one of the KPI values and equal in the others. In Tables 2 and 3, the SEGSW Algorithm strictly dominates the EGSW Model solution in both efficiency and fairness in instances with 5 vehicles. Comparing fairness measures, in case of range or the Gini coefficient, the SEGSW Algorithm dominates the EGSW Model in 7 % of the tested instances, but if we consider the standard deviation, this number increases to 10%. In particular, in Fig. 5, we can see the solution routes of the instance with 12 vertices and 5 vehicles where the SD values are better for the SEGSW Algorithm and the range is better for the EGSW Model solution. For example, for this specific instance, the SEGSW Algorithm obtains an overall vehicles’ cost of 227.27, a range of 14.51, and the SD value of 4.822. On the other hand, the EGSW Model reaches a higher overall vehicles’ cost of 248.96, a lower range of 13.81 and a higher SD value of 5.133.

Solution obtained with the 5 social welfare models in a random graph with 12 vertices and 5 vehicles initially located in the depot in the lower left corner.
Comparison of the ELSW model and the SELSW algorithm (Algorithm 2 ). In terms of efficiency, the SELSW Algorithm always achieves a lower overall vehicles’ cost than the ELSW Model, but the results on fairness measures are different. Considering the range and the standard deviation as fairness measures, in 88% of the cases, the SELSW Algorithm dominates the ELSW Model. If we consider the Gini coefficient, this only occurs in 46 % of the instances. This is due to the fact that the SELSW Algorithm minimises the costs of the routes of all the vehicles and achieves the best route combination for all the vehicles except for the last one that has to visit the rest of the vertices. In other words, this behaviour is the unfair economic interpretation of the Gini coefficient. As an example, in Fig. 6e we see the solution of the SELSW Algorithm where 4 vehicles obtain the minimum costs possible and the last one visits all the remaining vertices, achieving a Gini coefficient of 0.536, a range of 16 and an SD of 5.65. On the other hand, in Fig. 6c, the ELSW Model routes are shown where only one vehicle achieves the minimum vehicles’ cost possible and the others share the rest of the vertices achieving a Gini coefficient of 0.477, a range of 26.44 and an SD value of 9.68. The Gini coefficient is the only fairness measure that is better in the ELSW Model at the cost of decreased cost efficiency (overall vehicles’ cost).

Solution obtained by the 5 social welfare models in a graph with rectangular structure with 16 vertices and 5 vehicles initially located in a centrally positioned depot. The colors of the vehicles are the same as in Fig. 5.
Balancing cost efficiency and fairness. Next, we evaluate how many of the solutions obtained by the USW Model, the SEGSW and SELSW Algorithms achieve the best possible trade-off between efficiency and fairness. In the ideal case, the overall vehicles’ cost of the routes obtained by the SEGSW Algorithm would be the same as the overall cost obtained by the USW Model. This happens in 8% of the cases. An example of an instance where both approaches achieve the same overall vehicles’ cost is shown in Fig. 6. Even though this cost is the same in the USW Model and the SEGSW Algorithm, the 3 fairness KPIs (range/SD/Gini) are better (lower) in the SEGSW Algorithm. On the other hand, if we consider the vehicles clients’ point of view, the best balance occurs with the SELSW Algorithm and the USW Model that have the same overall vehicles’ cost. Referring to the experiments, in 54 % of the instances, both models return the same solution; i.e., when it is necessary to visit the vertices in order of priority, in more than half of the cases, the solution is efficient. An instance where both approaches achieve the same solution can be seen in Fig. 5.
Efficiency-fairness balance according to graph structure. In terms of efficiency, the USW Model obtains the set of routes that achieve the minimum overall cost while the SEGSW Algorithm achieves the fairest solution. Comparing the type of structure of the instances for which we obtain at the same time the minimum overall cost and the minimum maximum cost and their relation with cost efficiency and fairness, 83 % of the instances follow a regular structure and the other 27 % follow a random structure. The instances with the regular structure are divided in two, the ones with the depot in the left corner that have been executed on the graphs with linear structure and the rest of them with the depot in the centre and with the grid, square and line structure. All the random graph instances have the deposit in the centre of the graph. We believe that this happens because regular instances have more symmetries and therefore allow vehicles to follow similar routes while having the lowest possible cost. In addition, if we compare each of the instances according to the position of the depot, the overall cost obtained by the SEGSW Algorithm is closer in absolute terms to the USW Model’s solution cost in 93% of the instances. This result means that when the depot is located in the centre of the graph, the solutions obtained by the USW Model and the SEGSW Algorithm are similar in terms of overall cost but the latter provides better performance in terms of fairness.

Results achieved depending on the number of vehicles. The left axis presents the efficiency (overall vehicles’ cost) in red, where a lower value is better. The right axis shows the transformed value of the three fairness measures: range, standard deviation and the Gini coefficient, where, a higher value is better.
Behavior of efficiency-fairness balance with increasing fleet size. In Fig. 7, we examine the data when the number of vehicles increases. For each number of vehicles, we analyze the overall cost and various fairness measures for each social welfare model. The overall cost of the vehicles is displayed on the left vertical axis, while the values of fairness in terms of range, standard deviation, and Gini coefficient values are presented on the right vertical axis. The five studied algorithms and models are listed on the horizontal axis.
The fairness values are normalized on a scale between 0 and 1, where 1 represents the highest level of fairness and 0 corresponds to the highest level of unfairness. This normalization is necessary since the Key Performance Indicator values have the opposite interpretation, where a lower value implies greater fairness. They are transformed using the following formulas:
Figure 7 illustrates the relationship between the overall vehicles’ cost and the standard deviation as the number of vehicles increases. It can be observed that the overall cost of vehicles increases, while the standard deviation decreases with the increasing number of vehicles. Additionally, it can be noted that both the SEGSW algorithm and the EGSW model consistently achieve the fairest values for all three fairness measures.
In more detail, Fig. 7a with 2 vehicles shows the three measures of fairness that are almost the same since with two vehicles they have a similar meaning, i.e., if the cost of the vehicles is similar or not. The tendency, in this case, is that the SEGSW Algorithm and the EGSW Model obtain the fairest results at the very low cost of efficiency. Here, the differences between the USW Model and the SEGSW Algorithm’s normalised measures are 0.22 for the overall vehicles’ cost, −0.23 for the range, −0.29 for SD and −0.35 for the Gini coefficient. For 3 vehicles (Fig. 7b), we can observe how the different fairness measures start to differ, but the overall tendency is the same as before, the difference between overall vehicles’ costs is less compared to the different fairness values, the values are 0.42 for the overall vehicles’ cost, −0.32 for the range, −0.21 for SD and −0.40 for the Gini coefficient. Finally, with 5 vehicles (Fig. 7c), the pattern changes for the standard deviation. It is similar among the different social welfare models and lowers compared to the previous results, The Range and the Gini coefficient remain similar to the results with fewer vehicles. The differences with 5 vehicles are 0.74 for the overall vehicles’ cost, −0.29 for the range, −0.1 for SD and −0.30 for the Gini coefficient. Based on the obtained results, we can see that the behaviour of the USW Model and the SEGSW Algorithm is adequate. However, when the number of vehicles increases, the relative overall cost of the EGSW Model increases compared to the USW Model (0.22, 0.42 and 0.74). Nevertheless, the fairness values for range and the Gini coefficient do not vary significantly and, the standard deviation value even decreases. These values indicate tendency of increasing overall vehicles’ costs as we move from the USW Model to the SEGSW Algorithm and the EGSW Model. However, the higher the costs, the larger the gain in fairness. Lastly, this tendency does not translate also to the ELSW Model that shows both high overall vehicles’ costs and low fairness measures’ values.
In this paper, we studied the uncapacitated vehicle routing problem where a fleet composed of homogeneous vehicles, each one belonging to a different owner, collaborate to visit a set of locations distributed in an area of interest. Our aim was not only to find an optimal solution in terms of the overall fleet’s cost (as is the case in the conventional VRP). Instead, we searched for routes that represent a balance between fleet’s efficiency in terms of the overall vehicles’ cost and fairness or how the cost of one vehicle relates to the costs of the others. In this context, we mathematically modelled utilitarian, egalitarian, and elitist social welfare and adapted them for the Multiple Traveling Salesman Problem (mTSP).
The proposed models quantify various fairness and efficiency criteria of the routes: Utilitarian social welfare minimises the overall vehicles routes’ cost, egalitarian social welfare gives an upper-bound on the cost value for the vehicle whose route is of the highest cost and the elitist social welfare gives a lower bound on the route’s cost of the vehicle that assumes the least cost. Furthermore, since the latter two models consider only the worst-off and the best-off vehicle, respectively without any consideration of the rest of the vehicles, we proposed the Systematic Egalitarian Social Welfare (SEGSW) Algorithm and the Systematic Elitist Social Welfare (SELSW) Algorithm that not only minimise the costs of the worst-off and the best-off vehicle, respectively, but also minimise the costs of the routes in the rest of the fleet. This leads to a significantly improved balance between efficiency and fairness, as shown in the performed simulation experiments.
In the experiments, we analysed the balance between the fleet’s efficiency and fairness by using three well-known statistical measures of dispersion: range, standard deviation, and the Gini coefficient. Depending on the number of vehicles, we noted that the conventional mTSP (equivalent to the utilitarian social welfare model) can be unfair as it may introduce large differences among the routes assigned to vehicles. However, by increasing the number of vehicles in the fleet, it can reach fairer solutions as vehicle costs are reduced on average due to the combinatorial structure of the problem.
In our experiments, the proposed egalitarian social welfare model and the SEGSW Algorithm always achieve the best fairness values and good efficiency in terms of the overall vehicles’ cost. The utilitarian social welfare model is the protagonist of efficiency optimisation. However, the SELSW Algorithm showed a surprisingly close performance both in efficiency and fairness compared to the utilitarian social welfare model. The egalitarian social welfare model which does not take into account all the vehicles in the fleet is dominated by the SEGSW Algorithm and, similarly, the elitist social welfare model is strongly dominated by the SELSW Algorithm.
We found that the proposed SEGSW and the SELSW Algorithm obtain better results in balancing effectiveness and fairness than their non-systematic variants. Proposed (non-systematic) models are never better than their related systematic approaches at both fairness (Range/SD/Gini coefficient) and efficiency (overall vehicles’ cost).
For a good balance of efficiency and fairness, the intrinsic structure of the transport network at hand represented by a graph is also important. This is because the positioning of the tasks to be performed by the vehicles in relation to the depot has a great influence; fairer and more efficient solutions are obtained if the depot is located in central positions of the graph. Thus, the results show that if fairness is of concern, such concepts should be explicitly included or taken into account when finding the routes for the fleet’s vehicles. This is critical in cooperative fleets, as individual owners not only aim at improving their own utility (e.g., by sharing resources), but also require fair treatment.
The proposed centralized and exact mathematical programming solution approach has certain limitations that should be taken into account. The primary limitation lies in the computational complexity associated with the mathematical models employed, which rely on exact methods to achieve an optimal solution in a given timeframe. Indeed, in case the optimal solution is not found, the solver provides the best-found incumbent with quality-of-solution guarantees, which is a strong advantage in respect to ad-hoc heuristic and metaheuristic approaches.
In our experiments, the solver successfully obtained optimal solutions within the one-hour time limit for the most of the tested instances of the proposed models and algorithms. However, for the largest instances, the computational complexity of the models already imposes a considerable challenge for efficient exact computation, providing a best incumbent solution with quality of solution guarantees. Exact methods are generally unsuitable for large-scale, computationally complex vehicle routing problems due to their substantial computational requirements.
To overcome this challenge, in future work, we intend to explore decomposition techniques like Lagrange relaxation, column generation, and Dantzig-Wolfe decomposition. These techniques aim to decompose a large centralized model into smaller, more computationally efficient models that may parallelize the computation and through mutual interaction, efficiently resolve large-sized problems maintaining the quality-of-solution guarantees. Moreover, such approaches may be used to distribute decision-making in a multi-agent system composed of vehicle agents and further improve computation, which is anticipated to substantially reduce computation time. Ad-hoc heuristics algorithms may be used to solve computationally costly parts of such decomposed problems.
In future work, we will also investigate how to keep sensitive individual vehicle information private while finding the fleet’s routes. To this end, we will explore decomposition techniques to decompose the proposed models into interconnected decision making sub-problems, one per vehicle (agent), where each vehicle has its own private local parameters and variables and shares the global ones when needed. We also plan to consider strategic agents that can lie with the aim to maximize their own benefit and minimize cost. In this aspect, we will study mechanisms and incentives to obtain strategy-proof individual vehicle behavior alligned with the fleet’s objectives.
Footnotes
Acknowledgements
This work was partially funded by project “AGROBOTS” of the Rey Juan Carlos University funded by Community of Madrid, Spain and by project “InEDGEMobility” (RTI2018-095390-B-C33 MCIU/AEI/FEDER, UE) funded by Spanish Ministry MINECO and by project “COSASS” (PID2021-123673OB-C32) and by project VAE (TED2021-131295B-C33), both funded by Spanish Ministry MCIU.
