Allocating Cost to Freight Carriers in Horizontal Logistic Collaborative Transportation Planning on Leading Company Perspective

Interest has been raised by the recent identification of cooperation cost through collaborative planning in horizontal logistics operations. Even though cooperation cost can be realized, one key question exists: how should cooperation cost be divided among a group of collaborating companies. In this article, the question is studied in a centralized framework context. We divide the participants into two groups, leading companies (LC) and nonleading companies (NLC), and propose five fair distribution rules from the perspective of leading companies. According to these distribution principles, we developed an allocation method called Leading-idealism Cost Allocation Model (LiCAM) and compared it with three existing classic allocation mechanisms which violate some of these criteria are discussed. Computational results show that our method has acceptable calculation time, stability, consistency, and monotony. Our model can fully reflect the value as a leading company which is consistent with the actual practice requirements. We also illustrate the value and operability of our model by discussing the number of leading companies and the size of the alliance.


Introduction
With the rapid development of the world economy and the advancement of science and technology, the modern logistics industry has become an important part of the booming modern economy worldwide [1]. Due to the globalization and network characteristics of the logistics industry, it is difficult for any logistics company to cover all areas and to efficiently undertake a variety of transportation modes at the same time, so the cooperation between logistics companies is continuously deepening. ere are generally two forms of cooperation, namely, horizontal cooperation and vertical cooperation. e European Union [2] defines horizontal cooperation as "an agreement or concerted practice (y) between companies operating at the same level (s) in the market." Cooperating companies can compete with each other or not. But, they should perform the same type of activities and/or services rather than complementary activities and/or services, which is related to vertical cooperation. A definition of horizontal cooperation based on logistics was proposed by Cruijssen et al. [3]. He concluded that horizontal logistics are two or more firms performing a comparable logistics function at the same level of the supply chain on the landside.
Horizontal logistic is an effective way to improve logistic operations.
ere are a number of papers reporting on horizontal logistic transportation studies within specific contexts, such cooperative planning in express carrier networks [4], collaborative transportation planning of lessthan-truckload freight [5], specific possibility for horizontal cooperation by planning linked deliveries [6], forest fuel transportation collaboration in Sweden [7], and request selection and exchange approach for carrier collaboration based on auction of a single request [8].
In order to realize cooperation, in practice, two methods can be used to solve the problem of cooperative logistics: centralized method and decentralized method. In the centralized method, multiple carriers reach an agreement and form a cooperative alliance with the coordinator responsible for making cooperative transportation plans for them. e coordinator redistributed the alliance's transportation request to all carriers as a way to maximize the total profit of the alliance under the restriction that each request is allocated to at most one carrier. As for decentralized methods, the framework involves two types of participants, namely, auctioneers and bidders (carriers). Among them, the auctioneer's function is to determine and update the price of each service request and to maximize the total profit. Each bidder chooses its best requirements according to the price proposed by the auctioneer to maximize its personal profit. e centralized framework can usually bring more profits to the alliance than the total profits generated by the decentralized framework [9], while the decentralized methods offer carrier more autonomy. e cooperative gaming method as the mainstream method can be used to solve the problem of cost allocation. In recent years, this issue has caused widespread concern. Cooperative game theory has some well-known solutions concepts, such as the core theory, the Shapley value theory proposed by Shapley [10], and the nucleolus theory put forward by Schmeidler [11]. e core theory requires the rationality of individuals, groups, and alliances, and these attributes are the basis for cost allocation in most literature. However, two drawbacks are visible because core is not unique and it will probably be empty. e Shapley value method is used in many literatures to conduct cost allocation or profit sharing ( [12,13]). e nucleolus cost-allocating method to solve routing problems also was studied in many articles, e.g., Yin et al. [14]. e scholars discuss some new methods based on the classic solution concept. Frisk et al. [15] studied the issue of forest transportation cooperative planning and proposed the EPM (equal profit method). Audy et al. [16] proposed four business models to study on coalition formation and cost/savings allocation. Naber et al. [17] developed four emission allocation methods. Sun et al. [18] considered a contribution constrained packing model for cost allocation. Liu and Cheng [19] developed LCAM (location cost allocation model), which take geographical location factor into account.

Problem Descriptions
In practice, common scenarios for horizontal logistics collaborative transportation planning can be described as follows.
e Figure 1 shows a typical non-cooperative scenario where each freight carrier designs its own set of routes to deliver its own customers. In contrast, the Figure 2 shows the same routing problem in a cooperative scenario, where each distribution unit is reasonably assigned to its adjacent logistics facility. It also realizes to improve actual utilization of vehicles during a roundtrip and reduce the crisscross transportation phenomenon in complex transportation networks. We can find practical examples from the article Krajewska et al. [20]; Frisk et al. [15]; Perez-Bernabeu et al. [21], and so on. Obviously, prior to horizontal cooperation, each carrier had an independent cost. After horizontal cooperation, all carriers formed an alliance to complete the task together, which resulted in lower total cost.
In this article, it leads to a lower cost for the alliance as a whole using the centralized collaboration framework. Under this framework, there are two roles in the alliance, one is leading company (s) (LC) and the other is participant (NLC). e responsibility of the leading company is to develop participants in order to form an alliance, collect information about supply and demand, formulate a feasible operation plan, and make each participating company put the cooperation plan into practice. Two major problems can be summarized to be solved. One problem is the collaborative planning. e problem to achieve the lowest overall cost for the carriers has been studied in many literatures, including but not limited to vehicle routing optimization or inventory routing problems. Another problem lies in the equitable allocation of the total cost amount to each carrier concerned, leading to a lower cost for each carrier as a result of the cooperation. Cruijssen et al. [22] and Leitner et al. [23] both point to fair cost allocation as one of the most important obstacles to horizontal logistics. e paper emphatically probes into the second problem. More details on the allocation rule are provided in Section 4. Our concept of model allows allocating cost to freight carriers on leading company perspective according to the specific context of such a collaborative organization.

Core Allocation.
e concept of core has some of the most frequently used properties. A participant's subset is denoted with coalition S, and all participants are denoted by grand coalition N. Assume that every participant has the chance to generate and cooperate in coalitions. In the case of cooperation of coalition S, we can generate the common cost C(S). According to the cooperative game theory, such function of cost is referred to as characteristic cost function, and every participant is known as a player. erefore, the problem of cost allocation can be considered as a cooperation game.
A cost allocation method is applied to the separation of total cost, i.e., C(N). Among the participants, j ∈ N is said to be efficient, that is, j∈N y j � C(N), in which y j denotes the cost which is allocated to the participant j. A cost allocation can be considered as individual rational if there is no participant which makes a payment higher than the "stand alone cost" (that is, the cost of the participant), when no coalition is generated. If we put it mathematically, we can express the property as y j ≤ C( j ). e core of the game is identified as those who meet the requirements of the cost allocation. It is considered that the cost allocation at the core is stable:

e Shapley Value.
e Shapley value is a concept of solution, with which we can have one and only solution to the problem of cost allocation. According to the formula below for calculation, it is assumed that only one participant j is accessible to the grand coalition each time. As the coalition is entered by every participant, the marginal cost is allocated, which suggests that, through such entry, the total coalition cost is increased. e amount received by participants in this program depends on the order in which participants joined. e cost assigned to participant j is equal: where | · | shows the number of participants in the coalition considered. e sum of this formula is equal to that over all coalitions S that include the participant j.

Mathematical Problems in Engineering
S − j . With Shapley value, we can obtain one and only cost allocation. Nevertheless, it cannot be guaranteed that it is stable. For example, the individual rationality is not satisfied necessarily.

e Nucleolus.
e nucleolus refers to the allocation x, and it is individually rational and efficient; for this reason, in all allocations, f (x) is a lexicographic minimum. As reported by Schmeidler [11], a coalition excess shows the "attitude" that the coalition has towards such allocation, while the nucleolus could be considered as the allocation which is most accepted. e nucleolus is located in the core and it is unique, if the core is not empty.
To identify the nucleolus, a method adopted by Engevall et al. [24] is used here. With the method, different problems of linear programming (LP) are solved one by one. First, an allocation is identified by having the smallest excesses maximized. It should be noted that such excesses will be negative in the case of empty core. For the allocation obtained, if it is not a unique allocation, then have the obtained excesses fixed for every coalition whose dual variables are positive. Based on the fixed excess of the coalitions, for the rest of the coalitions, the smallest excesses are maximized. e procedure is repeated until we find one and only solution to the problem of LP. e one and only allocation is the so-called nucleolus.

Nash Bargaining Solution.
e solution of Nash bargaining is a very powerful instrument when the negotiator interactions are modeled, and for bargaining games, it is one and only solution that meets the conditions of scale independence, symmetry, Pareto optimality, and independent irrelevant alternatives. According to past researches [25], the set including all individuals are denoted as N � 1, 2, . . . , n { }, a vector of payoff refers to an factor of the payoff space R N , and a feasible set S refers to a subset of the payoff space; a breakdown point b refers to an factor of the payoff space. erefore, the problem of bargaining problem can be specified as the triple (N, S, b). e solution is based on a function which is related to every bargaining problem (N, S, b), and it can be expressed as F (N, S, b), where such a feasible set is convex and compact, it includes several vectors of payoff, and then every payoff of individual is higher than the breakdown payoff of the individual; in the case, the solution ensures that the four properties of Nash is unique, and it can be worked out by solving the problem of maximization as follows: where u i refers to the payment vector of individual which is assigned by the cooperation and b i refers to the independent payoff of individuals. Make sure that the income distributed is equal to the general income.

Allocation Rule of Model.
ere is no single and allpurpose method to achieve cost allocation. e cooperative game theory provides a set of ideal attributes for the cost allocation method among a group of participants. When it comes to choose an existing method or developing a new method, we will look for a method that satisfies certain properties that are considered essential in our context. In the context of our cooperative organization, the allocation rules of the allocation model must satisfy five of these properties. First, the property of efficiency requires that the common cost of a coalition must be entirely split among its players. Second, the property of coalition rationality is the strongest stability condition and implies individual rationality and group rationality. e third property is a reinforced individual rationality: the ratio of cost allocated to NLC to coalition that include the NLC and LC should be less than the ratio of NLC's independent cost to the NLC and LC total independent cost. Fourth, the monotonic property requires that the cost of a collaborating player does not increase with a new player to join in the alliance. We also propose a fifth property, called it leader allocation advantage, which is LC should be allocated less cost. Because under the centralized framework, the LC acts as a coordinator, and it has to bear more work and invests a lot of alliance establishment and management costs. So, in every coordinated transportation task, it should bear less operating costs. Some authors have studied the establishment cost and management cost in the literature on alliance formation, such as the connecting cost is used to study establishment cost of alliance by Slikker et al. [26] and Galeotti et al. [27]. While some other authors (e.g., Audy et al. [28]) use fixed unit costs to study the management cost.

Allocation Model.
e formulation of LiCAM is in fact a multistage model. Let us take a look at the first stage. We build the following linear programming model to achieve x * i . e model is as follows: x i ≥ 0. (9) Objective function (5) guarantees that LC is allocated less cost, and it corresponds to the leader allocation advantage property. Constraint (6) corresponds to the efficiency condition, which states total cost should be completely allocated. Constraint (7) corresponds to the coalition rationality conditions. Constraint (8) demonstrates cost allocated to NLC is related to coalition M, and it corresponds to the reinforced individual rationality. Constraint (9) demonstrates that being a collaborating player in a coalition must bear a positive cost. By solving model P1, we can get the value of x i , denoted as x * i . e next step is the second stage. At this time, the alliance has new participants to join in. A new constraint must be added, that is the cost (y i ) of a collaborating player does not increase with a new player to join in the alliance. e new constraint (10) is as follows which corresponds to the monotonic property: is condition is too strict; many times, alliance leading company will be willing to sacrifice some benefits in exchange for other potential benefits (e.g., faster delivery time, to protect the company's market share and to broaden their services at the same time) and accept new members to join. Constraint (10) can be modified to the following constraint: ese formulas can be generalized in the following way; at iteration t + 1, solve the following linear program: Model: i∈S t+1 If constraint (16) the model is called the strict model. Model LiCAM is a linear programming model, which can be solved by many classical algorithms, such as simplex algorithm, ellipsoid method, and Karmarkar's algorithm.
e specific algorithm to be selected is determined by the software. Relative indices, sets, parameters, and decision variables are illustrated in Table 1.

Case Description.
e case study in this article is based on horizontal cooperation among freight carriers. A complete description of the case is found in Krajewska et al. [20]. ey have generated three instances for five carriers. Each carrier possesses one depot. e vehicle fleet is unlimited and homogenous for all carriers. e instances are different with regard to the number of requests that each carrier has to fulfill. For each instance, all 31 possible coalitions, consisting of one, two, three, four and five carriers, are assumed. Coalition S the minimum total cost is cited in Table 2.
In this section, we present the results of applying the allocation methods to the cases. We can evaluate the effect of each method and gain insight into the performance of method in practice. All results are calculated by Lingo11 using an Intel (R) Core (TM) i5-5200@2.20 GHz with 8 GB of RAM.
By comparison with classic methods such as the Shapley, nucleolus, and Nash bargaining solution, the aim is to demonstrate through simple and easily customized allocation rules how the Leading-idealism Cost Allocation Model can affect cost allocation among the collaborating players.
From Table 2, we further explain what the independent cost is and what the total independent cost is. e independent cost is the cost of participant to complete tasks independently. e total independent cost includes NLC's independent cost and LC's completion cost. For example, 5603.7 is the independent cost of participant A. 4156.9 is the independent cost of participant B. 4598.4 is the independent cost of participant C. If A is the LC and B is the NLC, then the total independent cost is (5603.7 + 4156.9) for the alliance {A, B}. If A is the LC, B is the LC, and C is the NLC, then the total independent cost is (8543.9 + 4598.4) for the alliance {A, B, C}.

Allocation Result Analysis.
e allocation results of different coalition are calculated according to the methods of the Shapley, nucleolus, Nash, and LiCAM proposed by article as shown in Tables 3-5. Here, we assume that A is the leader of the alliance.

Computation Time.
Among the four methods, the Nash method takes the longest time to calculate, and the main reason is that it is a nonlinear programming. e other three methods are very close. e average time of each method in the three cases is shown in Table 6.

Stability.
Stable allocation is a concept from cooperative game theory. For such allocations, no subset of carriers has an incentive to withdraw from the collaborative planning on the basis of the allocation. As can be seen from the definition of LiCAM, their solutions satisfy efficiency condition corresponds to constraint (6) and coalition rationality condition corresponds to constraint (7). e core of game is the set of all vectors satisfying constraints (6) and (7). An allocation that belongs to the core is said to be stable. erefore, the stability of LiCAM model is fully guaranteed in theory. In the same way, Nucleolus also guarantees its stability by definition, that is, their solutions satisfy individual rationality and coalition rationality. But, the Shapley value and Nash methods are not constructed by implicitly using any of the core criteria. erefore, from a stability Mathematical Problems in Engineering point of view, the Shapley value and Nash methods performs worst. However, for each instance in Tables 3-5, all four mechanisms develop a cost allocation that stays at the core.

Consistency with the Leader Allocation Advantage
Property. In order to determine the consistency with the principle that the leading company's cost allocation is as small as possible, the calculation results are analyzed. In cases 1 and 2, as the number of alliance members continues to increase, it can be seen that the cost of leading company A calculated by LiCAM method is allocated the smallest cost in each phase of the alliance. In case 3, only in the case of {AB} coalition, the cost allocated to leading company A calculated by LiCAM method is a little more than that of the other methods.
We use the following method to calculate average consistency. e consistency is divided into 4 levels, which are scored 1, 2, 3, and 4, respectively. e lowest cost allocation method for leading company A is 4 points, the second lowest is 3 points, and the highest is 1 point. e calculation formula is as follows:   where p method is the consistency score obtained by the same method in every coalition in the case, |C| is the number of cases, and |S c | is the number of coalitions generated in the case. According to the above method, it can be seen that the average consistency of LiCAM is the highest. In terms of frequency, the consistency illustrates the probability that the LiCAM method will allow leading companies to be allocated less cost. e specific results are shown in Table 7.

e Value of Being a Leading Company.
From the perspective of individual participants, the value of being an alliance leader is obvious. We do the following test. In the ABCDE Alliance of Case 1, company B will save up to 35.31% if company B as the leader, which also reflects the protection of the leader's interests by this method. e allocation results are shown in Table 8. From a holistic perspective, the value of being a leader can be reflected in the LiCAM method. In case 1, the Nash method has the highest cost allocation to leading company A, and the nucleolus method has the lowest. LiCAM saves 11.23% on average compared with the Nash method. It also saved an average of 8.21% compared with the nucleolus method. In Case 2, the nucleolus method allocated the highest cost to leading company A, and the Shapley method has the lowest. LiCAM saved 8.97% on average compared with the nucleolus method. It also saved an average of 7.36% compared with the Shapley method. In case 3, the nucleolus method has the highest cost allocation to the leading company A, and the Nash method has the lowest. LiCAM saves 9.29% on average compared with the nucleolus method and also saves 6.91% on average compared with the Nash method. In terms of quantity, the value of being a leading company reflects how much LiCAM can let leading companies allocate cost value less than other methods. Table 9 illustrates the average of the various methods in the three cases. When the number of leaders increases, in fact, the cost allocation of the original leader will be more than the original level. ere is a conflict of interest. Why did the original leader need a new leader to join in? Although cost reduction is usually by far the most important of the potential benefits, a question still remains: what payoff is required to incite a player to collaborate? In practice, this issue is much more complex. ere exist several other potential benefits (e.g., faster delivery time, to protect the company's market share and to broaden their services at the same time) than cost reduction to perform horizontal cooperation in transportation and logistics. Several opportunities and advantages to horizontal cooperation are also detailed in the literature review of Cruijssen et al. [22]. An added benefit of horizontal cooperation is that not only cost savings can be obtained but also CO 2 emissions can be reduced (e.g., Ballot and Fontane [29]).    e interesting result is that adding more partners to the collaboration will reduce the revenue [6]. e Shapley method and Nucleolus method prove this. When the number of participants increases, it may cause the cost of the existing alliance members to be allocated lower than the cost of the new alliance. is will cause alliance members to resist new members joining. In fact, this goes against the monotonic property discussed in Section 4.1. But, both the Nash method and the LiCAM method ensure that the cost allocated to members by the new larger alliance is still equal to or less than the cost allocated to the original alliance as the members increase. e original members of the alliance will not resist the joining of new members. e analysis results are shown in Table 13.

e Number of Leading
If we use the strict model, the results are shown in Table 14. Although the LiCAM method has increased the cost of leaders as new members joined, it must be seen that the initial cost is much lower than other methods. Even if the cost of the leader increases, it is still much lower than the cost allocated by other methods.
From the calculation results, although the later members can be guaranteed to be less than their own independent costs, they will undoubtedly be allocated more costs by the alliance. is is also in line with the actual situation. When the members can no longer obtain less than their own independent costs from the alliance, the alliance members reach the upper limit.

Conclusion
In this paper, we consider the cost allocation in horizontal logistic transportation planning. Five fairness criteria are introduced in this specific context. And, based on these criteria, we propose the Leading-idealism Cost Allocation Model. In our case study, the calculation time of LiCAM is as good as that of Shapley and Nucleolus, and the Nash method performs worst. In consistent with leader     T1 T2 T3 T1 T2 T3 T1 T2 T3 T1 T2 T3  Two     allocation advantage property, LiCAM performs best, which is 33.34%-45.84% higher than that of the other methods. e value of alliance leaders is fully respected, reflecting the balance of interests and responsibilities. Further, we analyzed the number of leaders in the alliance. Calculation shows that too many leaders in the alliance will weaken the distribution of leaders' interests. Finally, we analyzed the size of the alliance. When the members can no longer obtain less than their own independent costs from the alliance, the alliance members reach the upper limit.
Our proposed method ensures that the alliance remains stable as the size of the alliance increases. But, the Shapley and Nucleolus methods are not.

Data Availability
e data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest
e authors declare that they have no conflicts of interest.