3.1. Problem Description
Shipping companies are continually striving to enhance profitability, expand their service networks, and use their fleet efficiently. Achieving these goals requires making numerous critical decisions, such as determining the operated routes, selecting the most suitable vessels for each route, and deciding the optimal amount of cargo to carry for customers. This decision-making process is further complicated by factors such as volatile fuel prices, fluctuating vessel lease costs, and evolving government regulations.
For a shipping company, several planning areas are closely interconnected and critically important. First, the company selects a set of routes to operate from a range of possible options. Second, it assigns an appropriate number and categories of vessels to each operated route. Third, the company decides how much cargo to accept from customers for each origin-destination (OD) pair. In addition, decisions are made regarding whether cargo should be transshipped, where transshipment should occur if necessary, and how to reposition empty containers throughout the shipping network. Poor coordination among these decisions can lead to significant issues. The company may be forced to reject profitable shipments, and vessels might operate with excessive unused capacity. Careful route selection is therefore essential, taking into account both transportation demand and the operational costs, including fuel cost, berthing cost, transshipment cost, and other surcharges. Additionally, finding the right balance between deploying the company’s owned vessels and leasing vessels strategically, as well as carefully routing both laden and empty containers, is essential to maintain a competitive and financially robust shipping network.
A significant new challenge has arisen with the introduction of proposed port fees for CN-constructed vessels at US ports. These fees specifically target larger CN-constructed vessels, while vessels from other countries or smaller CN-constructed vessels are exempt [
3]. For carriers operating a diverse fleet, this means that deploying large-tonnage vessels built in China on certain routes involving US ports can incur avoidable extra charges. As a result, these policy changes have introduced new financial considerations into network and fleet planning. In order to prevent a significant loss of profits, shipping companies must adopt clear and effective strategies that systematically account for such regulatory developments and their impact on operational choices.
We explore the LSND–CFM problem within the framework of a liner shipping network that offers consistent container services on a number of routes. We denote all ports in the framework by , with serving as the index. Transportation demands are specified as OD pairs, with the set containing all such pairs , where and represent departure and arrival ports, respectively. All candidate routes are represented by the set , with serving as the index. Each route is a fixed, cyclic itinerary, structured as a sequential series of legs (indexed by ), wherein each leg denotes the segment of the journey between two consecutive ports of call. Each route operates with a fixed weekly departure frequency. To maintain this schedule, the operator must allocate a sufficient number of vessels, with the required count determined by the route’s round-trip duration. Thus, the total number of vessels needed for route , denoted by , corresponds exactly to the route’s round-trip time in weeks.
One of the central challenges in this planning problem is to determine the specific routing of containers from their origin ports to their corresponding destinations. To address this, a path is defined as a specific sequence of maritime transport legs connecting an origin port to a destination port. This path can represent either direct sailing on a single route or a more complex itinerary that involves transshipment at one or more intermediate ports, where containers are transferred from one vessel to another via ports that are shared between different routes. Each path is composed of a sequence of legs, which represents the set of all legs between consecutive ports of call on the path. If path involves no transshipment, all legs used in the path are from a single route; otherwise, all legs used in the path are from multiple routes. The set of paths that use leg is denoted by . For each port pair , we denote the set of all feasible paths from to by .
Define (indexed by ) as the set of all container types considered. Specifically, this study focuses on two primary container types: dry containers and reefer containers. The weekly laden container transport demand in type for each OD port pair is denoted by , and the corresponding revenue earned per container transported is denoted by . For each container type , the total volume of accepted demand for each port pair cannot exceed , and the liner shipping company has the option to reject some of the demand if fully accepting it would result in unprofitable operations.
We denote all vessel categories by (indexed by ), with CN-constructed vessels forming the subset . One vessel of category can carry twenty-foot equivalent units (TEUs). The company maintains a fleet consisting of vessels for each category . The company can strategically lease in or lease out vessels across all categories, acquiring a vessel at a weekly cost of for inbound leases and earning income at a weekly price of for outbound leases. This adaptive strategy enables the firm to flexibly adjust its operational fleet: it scales up capacity by leasing in vessels during peak demand and obtains additional income by leasing out when surplus tonnage exists. Operating a vessel of category on route for one cyclic trip incurs several expenses: fuel costs , berthing costs , the transit cost, and additional charges that apply specifically to CN-constructed vessels serving US ports (). Thus, for each route , the weekly costs generated by vessel sailing on that route are expressed as for fuel cost, for berthing cost, and for the extra fee applied to CN-constructed vessels reaching US ports. The transit cost per TEU for laden containers in type on path , denoted by , is calculated as the number of transshipments incurred on path , denoted by , multiplied by the unit transshipment cost per TEU for the type’s laden containers , i.e., . For empty containers on path , the transit cost per TEU, denoted by , follows as analogous calculation: , where indicates the unit transshipment cost per TEU for empty containers in type .
The goal of this study is to maximize the weekly profit, which is calculated by taking the total revenue from accepted containerized transport demand, subtracting the total transportation costs, adding the revenue from leasing out idle vessels, and then subtracting the cost of leasing in vessels. Several key decisions are involved in this process. First, the selection of these paths dictate which candidate routes are operated, which is represented by the binary variable . This variable is assigned a value of 1 if route is chosen to be operated; otherwise, it is assigned a value of 0, indicating that the route is not in service. Second, the fleet composition on each operated route is captured by the integer decision variable , which specifies the total quantity of vessels belonging to category that are allocated to serve route . The integer decision variables and respectively indicate the quantity of vessels of category that are leased in and leased out. For each port pair and each path , the weekly transportation volumes of laden and empty containers in type are each defined by continuous decision variables and , which specifies the amount of accepted laden container transport demand and empty containers (in TEUs) in type allocated to path , respectively.
3.2. Model Formulation
This section introduces an MIP model based on the problem setting described above. The model provides a unified framework for optimizing the interconnected strategic decisions inherent in managing a container liner shipping service. The core of the model addresses two primary domains of decision-making. First, it determines the optimal network design and fleet strategy. This includes selecting which routes will be operational, assigning specific vessel types and quantities to those routes, and managing the fleet size through chartering activities. Second, it manages container flows for both dry containers and reefer containers, determining the volume of laden container demand to accept for transport between various port pairs while also deciding the repositioning paths for empty containers. All these decisions are optimized to maximize total weekly profit, with the model balancing this objective against a set of operational constraints. These constraints reflect practical limits on the number of vessels assigned, the availability of serviceable vessels and restrictions on vessel leasing out, caps on transport volumes, constraints on transport capacity, and requirements for balancing empty containers at ports. The main notations used in this study are summarized in
Table 1.
The MIP model is formulated to optimize vessel routing, leasing decisions, transport demand acceptance, transshipment strategy, and empty container reposition, which is structured as follows:
The objective Function (1) is designed to maximize the total weekly profit, which is composed of four main components: the revenue obtained from the transportation demand that is accepted, the costs related to vessel routing and cargo allocation (including fuel costs, berthing costs, transit costs, and extra fees), the costs associated with leasing in vessels from external providers, and the income earned from leasing out any surplus vessels owned. Constraint (2) ensures service integrity by mandating that the number of vessels assigned to any given operated route must precisely match the quantity needed to sustain its scheduled weekly sailing frequency. Fleet management is governed by two related conditions: Constraint (3) caps the total deployment of any single vessel category within the available fleet size, which incorporates both leased-in and leased-out vessels, while Constraint (4) further restricts the number of leased-out vessels to no more than the original owned fleet of the company. On the cargo side, Constraint (5) aligns transport activities with market conditions, stipulating that the total volume of laden containers moved between any port pair for a specific container type cannot surpass the total market demand. Constraints (6) manage transport capacity: for each distinct maritime leg that forms part of any candidate route, the total combined volume of both laden and empty containers in all types transported on all paths that specifically use this leg must not exceed the transport capacity of the particular route to which this leg belongs. Constraints (7) ensure that for each port in the network and each container type, the total quantity of containers in type dispatched from that port to all other ports must equal the total quantity of containers in the same type received at that port from all other ports. Constraints (8)–(11) are the domains of the decision variables.
Figure 1 illustrates the decision-making flow of our proposed model.
3.3. Model Integrality Properties
This section outlines several theoretical properties associated with the MIP model discussed in
Section 3.2.
3.3.1. Integrality Necessity of Binary and Integer Variables
To improve the efficiency of solving the MIP model, we first analyze whether relaxing the binary variables and integer variables can be relaxed. Through a detailed investigation, we establish Lemmas 1 and 2.
Lemma 1. Relaxing the binary variables to continuous variables results in non-integer solutions, which compromise practical feasibility and violate the problem’s real-world constraints.
Proof. Consider a counterexample where a single candidate route serves one port pair . Since only one route is considered, no transshipment occurs, and the route can only form a single path . The route needs two vessels for operation, i.e., . The transport demand for this port pair consists of 2000 TEUs dry containers and no reefer container needs to be transported, i.e., TEUs, . The revenue earned per laden dry container transported for is 700 USD/TEU, i.e., USD/TEU. The company owns two identical vessels of category (), each with a transport capacity of 4000 TEUs, i.e., , TEUs. The weekly lease-in cost for one vessel of this category is 0.3 million USD, and the weekly lease-out revenue is 0.2 million USD, i.e., million USD, million USD. Assume the route excludes a US port, then the operational cost for route per vessel consists of the following components: the fuel cost 3 million USD, the berthing cost million USD, and the extra fee of .
Given the instance parameters outlined above, we compare the solutions obtained when the variables
are restricted to binary versus when they are relaxed to continuous. For the original MIP model, two possible solutions exist: (i) operating no route, i.e.,
. This solution is feasible, and the company can lease out all two vessels to earn revenue. The objective value in this case is
million USD. (ii) operating route
, i.e.,
. In this case, the shipping company assigns all two owned vessels on the route, i.e.,
, and no leasing activity occurs, i.e.,
. Given that the demand is 2000 TEUs and each vessel has a capacity of 4000 TEUs, the demand is completely fulfilled, and the generated empty containers can be repositioned from
to
through the circular path
, i.e.,
TEUs, and thus constraints (6) and (7) can be satisfied. Therefore, the weekly profit in this scenario can be calculated as follows:
We can conclude that the decision (ii) is optimal. However, if we relax the integer variables
to continuous ones,
will also be feasible, as the number of required vessels becomes
. The company can deploy one owned vessel to route
, i.e.,
, and lease out the remaining idle vessel, i.e.,
. Since the vessel’s capacity is 4000 TEUs and the weekly transport demand is 2000 TEUs,
. Therefore, both the laden container transport demand and the empty container repositioning demand can be fully satisfied through path
, i.e.,
TEUs; thus, constraints (6) and (7) can be satisfied. Then, the objective function value can be calculated as follows:
This relaxed linear programming (LP) solution yields larger objective value compared to that with the integer solution within the relaxation framework. Critically, is practically invalid as we cannot operate a route by half. Therefore, the LP relaxation of inherently results in non-integer solutions, which conflicts with the real-world integer operation requirement, proving cannot be freely relaxed. □
Lemma 2. Relaxing the binary variables to continuous variables results in non-integer solutions, which compromise practical feasibility and violate the problem’s real-world constraints.
Proof. Consider a scenario with one candidate route serves one port pair . Since only one route is considered, no transshipment occurs, and the route can only form a single path . The demand of the port pair is entirely for dry containers, with TEUs. The unit freight revenue is USD/TEU. Assume that there are two vessel categories and . The company owns two 4000-TEU vessels of category and one 8000-TEU vessel of category , i.e., , , TEUs, TEUs. The weekly lease-in cost for one vessel of category and is set as 0.3 million USD and 0.5 million USD, respectively, i.e., million USD, million USD. The weekly lease-out revenue for one vessel of category and is set as 0.1 million USD and 0.3 million USD, respectively, i.e., million USD, million USD. Assume the route excludes a US port, then the operational cost for route per vessel of category consists of the following components: the fuel cost 3 million USD, the berthing cost million USD, and the extra fee of . The operational cost for route per vessel of category consists of the following components: the fuel cost 7 million USD, the berthing cost million USD, and the extra fee of .
For the instance stated above, we compare the solutions obtained when the variables
are restricted to integers and relaxed to continuous ones, respectively. For the original MIP model, two possible solutions exist: (i) operating no route, i.e.,
. This solution is feasible, and the company can lease out all three vessels to earn revenue. The objective value in this case is
million USD. (ii) operating route
, i.e.,
. In this case, the solution that maximizes the objective function is as follows: The shipping company leases out one vessel of category
and assigns the remaining two vessels on the route, i.e.,
,
,
. Since
, both the laden container transport demand and the empty container repositioning demand can be fully satisfied through path
, i.e.,
TEUs; thus, constraints (6) and (7) can be satisfied. Then, the objective function value can be calculated as follows:
We can conclude that decision (ii) is optimal. However, if we relax the integer variables
and
to continuous ones,
,
will also be feasible. In this case, no leasing activity occurs. Since
, both the laden container transport demand and the empty container repositioning demand can be fully satisfied through path
, i.e.,
TEUs; thus, constraints (6) and (7) can be satisfied. Then, the objective function value can be calculated as follows:
This relaxed LP solution yields larger objective value compared to that with the integer solution within the relaxation framework. Critically, , are practically invalid as vessels cannot be assigned by half. Therefore, the LP relaxation of inherently results in non-integer solutions, which conflicts with the real-world integer operation requirement, proving cannot be freely relaxed. □
3.3.2. Totally Unimodular Property of the Coefficient Matrix of Variables and
To enhance the computational tractability of the large-scale optimization model presented, this section investigates a method for relaxing its integer variable constraints. This approach is contingent upon ensuring that the relaxation does not compromise the optimality or precision of the final solution. The core of our analysis involves a rigorous examination of the mathematical structure of the model’s constraint matrix. By focusing on the properties of the variables and , we aim to identify the specific conditions under which these variables can be treated as continuous, thereby improving computational performance while maintaining solution integrity.
Our analysis is founded upon the principle of TU, a cornerstone concept in the fields of LP and combinatorial optimization. Formally, a matrix is considered totally unimodular if the determinant of each of its square submatrices is exclusively –1, 0, or 1 [
34]. A direct and powerful implication of this property is that for any LP problem where the coefficient matrix is TU and the right-hand-side vector is composed of integers, all basic feasible solutions are inherently integer-valued.
The TU property provides a powerful way for simplifying Integer Linear Programming (ILP) problems. When a problem’s constraint matrix is TU, its integer requirements can be safely removed, transforming the model into a standard LP without sacrificing the integer nature of the optimal solution. The computational benefit of this transformation is significant. While general ILP problems are NP-hard and often require extensive computational resources, LP problems can be solved efficiently with polynomial-time algorithms. Consequently, models in application areas like network flow, resource allocation, and scheduling that feature inherently TU matrices—such as the incidence matrices of bipartite graphs—are considerably more straightforward to solve.
The TU property is crucial for solving Integer Linear Programming (ILP) problems. It allows the relaxation of integer constraints on variables, transforming the problem into a standard LP without losing the integer optimality of the solution. The computational advantage of this transformation is substantial: LP problems can be solved by algorithms with polynomial-time complexity, whereas ILP problems are generally NP-hard and far more time-consuming to solve. As a result, in areas like network flow, scheduling, and resource allocation, models in application areas such as production planning, transportation routing, and workforce assignment are far easier to solve.
The relationship concerning the coefficient matrix of variables and is formalized in the theorem below.
Lemma 3. The integer variables and can be relaxed to continuous ones as their coefficient matrices are TU for each .
Proof. For ease of explanation, we first examine the coefficient matrix corresponding to the variables , denoted as . This matrix is composed of two submatrices:
Let
represent the coefficient matrix of the variables
, consisting of
related to constraints (3) and
related to constraints (4). The structure of
is shown in
Figure 2.
To prove that matrix
is TU, we rely on a widely accepted sufficient condition from [
34]. The condition holds if the rows of
can be split into two separate groups that satisfy four specific criteria: (i) all entries
of
belong to
; (ii) no column can have more than two non-zero entries; (iii) if a column has two entries of the same sign, their corresponding rows must belong to different partitions; and (iv) if a column contains two non-zero entries of different signs, their corresponding rows must belong to the same partition.
We apply these criteria to matrix by naturally partitioning its rows into two sets: and . By inspecting constraints (3) and (4), it is evident that in submatrices and , each column contains at most one 1, respectively. This implies that there are no more than two non-zero entries per column in the matrix , and all coefficients belong to , satisfying (i) and (ii). Therefore, we can divide all rows of into a set and that of into another, then the criteria (iii) and (iv) are also satisfied. Thus, we conclude that matrix is TU.
The coefficient matrix associated with the variables is linked solely to constraints (3), and each of its columns contain at most a single entry of , satisfying conditions (i) and (ii). Additionally, since no column has more than one non-zero entry, the criteria (iii) and (iv), which involve pairs of entries with either the same or different signs, do not require further consideration. Consequently, the coefficient matrix corresponding to is TU. Thus, we conclude that the coefficient matrices for both variables and are TU. □
The main advantage of the TU property is its ability to relax integer variables into continuous ones without affecting the integer nature of the optimal solutions, thereby reducing the computational time of the MIP model. More specifically, given any fixed integer variables and integer parameters the right-hand side of constraints (3) and (4) are always integers. As the coefficient matrices of and are TU, these integer variables can be relaxed to continuous ones.
3.3.3. Model Transformation via Variable Relaxation
Based on Lemmas 1–3, we establish Theorem 1 as the main theorem, which formally demonstrates that the original MIP model can be equivalently solved as a more computationally tractable, semi-relaxed formulation. This theorem provides the theoretical foundation for accelerating the model’s computation without sacrificing the optimality and integrality of the final solution.
Theorem 1. The original MIP model can be transformed into a SRMIP model by relaxing the integer variables for leasing in and leasing out to be continuous.
In the original MIP model, the binary variables for route operation and the integer variables for vessel assignment cannot be relaxed, as this would lead to impractical fractional operations. Conversely, the integer variables related to ship leasing and can be relaxed to be continuous variables because the coefficient matrices of these variables are TU. Therefore, the original MIP model can be transformed into a SRMIP by relaxing this specific subset of decision variables, which enhances computational efficiency without affecting the final optimal solution. Therefore, the SRMIP model is derived from the original MIP model by relaxing the integer constraints (10) to continuous, non-negative variables as follows: .
Moreover, the feasibility of relaxing the variables related to route operation, vessel assignment, and leasing variables is determined by the structural formulation of the model. In particular, the TU property is intrinsic to the leasing constraints and remains valid unless the constraints are significantly altered (e.g., through the introduction of chance constraints or other non-linearities). As a result, the SRMIP model consistently preserves computational efficiency without compromising the optimality or integrality of the final solution, provided the structure of the problem remains consistent with the TU property.