Resource not found
RESOURCE NOT FOUND
: No site configured at this address.Hindawi Publishing Corporation
Journal of Applied Mathematics
Journal Menu
Journal of Applied MathematicsVolume ), Article ID
pagesResearch ArticleA Decomposition-Based Approach for the
Multiperiod Multiproduct Distribution Planning Problem, , and Faculty of Engineering and Natural Sciences, Sabanci University, 34956 Istanbul,
TurkeyReceived 27 January 2014; Revised 9 July 2014; Accepted 13 July 2014; Published
31 August 2014Academic Editor: X. Zhang Copyright © 2014 S. Ahmad Hosseini
et al. This is an open access article distributed under the , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.We address the most general case of multiperiod, multiproduct network planning problems, where we allow spoilage on arcs and storage at nodes. In our models, all network parameters change over time and products. The minimum-cost flow problem in the discrete-time model with varying network parameters is investigated when we allow storage and/or spoilage, and some reformulation techniques employing polyhedrals are developed to obtain optimal solutions for a predefined horizon. Our methods rely on appropriate definitions of polyhedrals and matrices that lead to LP problems comprising a set of sparse subproblems with special structures. Knowing that computational expenses of solving such a large-scale planning problem can be decreased by using decomposition techniques, the special structure of polyhedrals is utilized to develop algorithmic approaches based on decomposition techniques to handle the global problem aiming to save computational resources.1. IntroductionStatic network flows are very common in the literature []. However, they fail to capture the time-varying property of many practical applications, such as production-distribution systems, traffic planning, communication networks, and evacuation planning [–]. A static flow cannot properly consider the evolution of such systems over time. The need for more realistic models led to the development of multiperiod and dynamic network flow formulations which have been applied to a variety of applications. In such applications, flow values on arcs are not constant but may change over time and not only the amount of flow to be transmitted but also the time needed for the transmission plays an essential role. Capacitated dynamic networks arise in a variety of relevant decision making problems (Aronson [], Cai et al. [], Hoppe [], Wayne [], Lozovanu [], Hosseini [], Newman et al. [], Pantelides [], Gro&# and Skutella [, ], and Stefansson et al. []). In some practical applications the network structure and problem parameters may be time-varying (time-dependent network flow) [, , ], and there is no guarantee for the flow to be conserved [, –].Motivated by time-dependent multi-item distribution planning problems, we study an extension of this class of problems as network problems which generalize the problems in Hosseini and Saridarq [, ] by including horizon capacities, time-commodity varying capacities, time-commodity varying costs, and time-commodity varying loss/gain factors over a finite horizon. This study focuses on the minimum cost dynamic flows (MCDF) on multiperiod multiproduct networks (MMN) where spoilage over arcs and storage on nodes are allowed. In such networks, an arc is assigned a nonnegative time-commodity varying gain/loss factor, two nonnegative time and time-commodity varying capacity functions, a nonnegative horizon capacity, and a nonnegative time-commodity varying cost function. In our setting, a positive time-commodity varying factor represents the fraction of flow that remains when it is sent at a specific time period. MMNs have many interesting applications [–].There are some approaches to address multiperiod network problems such as state-task network [] and resource-task network [], with important differences with respect to the assumption of continuity or discreteness of the time horizon. Jackson et al. [, ] use temporal and spatial Lagrangean decompositions to solve the multisite multiperiod planning problems. Chen and Pinto [] use Lagrangean-based decomposition techniques for solving the temporal decomposition of a continuous flex they use subgradient methods to solve the decomposed problem. Neiro and Pinto [] use temporal Lagrangean decomposition to solve a multiperiod mixed-integer nonlinear programming planning problem under uncertainty concerning a petroleum refinery.We consider nonsimultaneous shipment of commodities from production sites (sources) to markets (sinks) in a distribution network with known production capacities where demand should be satisfied from available supply with time-commodity dependent shipments during a planning horizon represented in discrete time periods. Hence, the problem is a decision problem that finds an optimal dynamic flow minimizing a predefined nonnegative distribution cost function. We formulate a MCDF problem on a MMN with special structures that permit efficient computation of its solution and help save storage requirements. Our approach relies on appropriately defining polyhedral sets. We develop some decomposition-based approaches to solve the minimum-cost flow problem employing polyhedral sets embedded within the underlying network.The organization of this paper is as follows. We discuss the necessary notations and time representations in S we introduce and analyze the minimum cost flow problem on multiperiod multiproduct distribution planning networks including spoilage in Section . Section
discusses the same problem while spoilage and/or storage become the key elements of the problem formulation. In Section , we discuss some special cases of the problem and propose some alternative approaches. Section
reports a real-life application and presents some computational experiments.2. Minimum-Cost Flow Problem on Multiperiod Multiproduct NetworksMany planning problems arising in large-scale systems can be formulated as a minimum-cost multiperiod (dynamic) multiproduct network flow problem [–]. Towards this goal, the single-commodity dynamic flow problem formulations can be extended to consider a multiproduct network. In the MCDF problem on MMN, there exists a set of products that are manufactured in several multiproduct production sites (sources) and shipped to a set of markets (sinks) where they are sold. The aim is to find a time-dependent distribution plan to nonsimultaneously ship the products from source nodes to sink nodes through a network honoring the arc capacities (time-varying, time-commodity varying, and horizon capacities) at a minimal cost during a finite-length planning horizon.
  denotes a distribution (directed) network where
  is the set of production and demand sites (nodes),
  is the set of all possible connections between sites (arcs),
  is the set of products, and
  represents the length of the planning horizon. With dynamic flow decision variable
  as the vector of flow rates of commodity
  entering arc
  at time period
, the formulation for the MCDF on MMN becomes
  is the nonnegative cost function with respect to product
  and
  denotes the predefined supply/demand capacities at node
  over the entire planning horizon. Constraint () involves the flow conservation constraints for each commodity. We refer to () as horizon capacity horizon capacity of an arc limits the amount of total flow (of all commodities) on the arc throughout the entire planning horizon. Constraint () represents the maximum possible amount of total flow that can enter
  at time
: it is referred to as the moment/period capacity constraint. Constraint () is the time-commodity varying capacity constraint for each commodity at each moment.The problem formulation in ()–() represents MCDF in a continuous-time setting. However, as an approximation to this setting, time may be represented in discrete increments []. The continuous-time problem seeks for the multiproduct flow distributed continuously over time within period
  while the discrete case determines the flow rates over discrete time periods. For a finite-length planning horizon
, we denote the time horizon
  in the discrete-time model. There is a natural transformation of continuous-time dynamic (multiproduct) flow
  to a discrete flow
  of the same horizon and vice versa [, ]. Let
  represent the total amount of flow sent into arc
  during time interval
.The last equality follows as
  and
  are nonnegative continuous functions (see [–]). For any discrete time period
, any commodity
, and time horizon
, it is easy to verify that flow conservation constraints hold and
  satisfies all such constraints and also the flow cost is preserved as
3. Multiperiod Multiproduct Network Flows with Spoilage (SMMN)Any of the models discussed up to now has a fundamental assumption: the flow has to be conserved on any arc with respect to any commodity. However, some practical applications do not satisfy such a conservation assumption [, ]. In the transmission of a volatile gas, for example, we may lose some portion of the flo or, in the transmission of liquids such as raw petroleum crude, some flow may be lost due to leakage []. The SMMN problem is a natural generalization of the problems stated in [, ]. When spoilage on arcs is also considered, each arc
  has a time-commodity varying nonnegative gain/loss factor
  with respect to each time period time
  and commodity
  units of flow of commodity
  are sent from node
  via arc
  at time
  units of flow arrive at node
  at the same time. If
, the arc is lossy; if
  the arc is gainy on that time with respect to that commodity. Therefore, if there is spoilage (loss) of flow on an arc during all periods with respect to all commodities, the mathematical model may be modified only by assigning a loss factor to the related arc. Then,
Such a production-distribution planning problem in discrete-time setting has an underlying graph
  consisting of three capacity functions:
, a predefined nonnegative cost function
, and a predefined nonnegative time-commodity varying gain/loss function
. Therefore, a discrete feasible dynamic flow is a nonnegative function
  satisfying ()–(), and the discrete-time minimum-cost dynamic flow problem becomes
where we suppose that the arc capacity
  is an upper bound on the
-flow (flow of commodity
) sent from node
  at time period
, not on the flow that becomes available at node
. Similarly,
  should be interpreted as the cost for each unit of flow which is sent from node
. In order to benefit from an efficient decomposition-based solution method by transforming the formulation structure, we introduce an unrestricted variable
, and the formulation becomes
  denotes the difference between the outflow and the inflow of commodity
  at node
  at period
. It is easy to check that conditions () and () together are equivalent to condition (). To develop our polyhedral-based approach we need to define the node-arc incidence matrix including the time component of the problem. Given an underlying SMM network and predefined loss/gain factors, we introduce an auxiliary matrix
  for a time period
  and for a product
  is the node-arc incidence matrix of the underlying distribution network (which remains unchanged during the planning horizon) and
  is a
-diagonal matrix whose elements are the predefined arc factors (at time
  with respect to
) in the same order that arcs appear in
  is the number of arcs of the network). For a time period
  and a commodity
, we construct
  and
  represent the
 th elements of the matrices
  and
, respectively. We refer to matrix
  as the t-q-node-arc incidence matrix of the SMM network, and it represents the node-arc incidence matrix of SMMN at time
  for commodity
. Due to the changes in arc factors over time and commodity, incident matrices are not necessarily the same during the complete planning horizon with respect to each product. However, since the time-commodity varying gain/loss functions are predefined, all matrices can be computed off-line.Substituting
  for
), considering relations ()-(), with appropriately vectors and matrices, the problem formulation, indeed, yields the following:
  and
  are defined as the vector of free variables at time
  with respect to commodity
  and the vector of supply/demand numbers with respect to commodity
  and
  are the
-vectors of flow and capacities in
  for commodity
  is the
-vector of horizon capacities and
  is the
-vector of period capacities with respect to period
  represent the vector of arc costs at
  for commodity
. Please see Appendix
for further details.With our modeling approach, we can formulate any MCDF problem on a SMMN as a problem which possesses the block angular structure. In order to demonstrate this, we define
According to the newly introduced notation, the LP formulation of the problem becomes
Block diagonal structure is desired to speed up the solution of a sparse linear programming problem []. We may also conveniently exploit decomposition procedures or generalized upper bounding (GUB) techniques to solve such problems efficiently [–]. Interestingly enough, in our approach, the master constraint has the same matrix for any set of variables
  
. In order to use the Dantzig-Wolfe decomposition in our problem, the constraint matrix should be exploited by splitting the original problem into smaller subproblems and a connecting constraint, master constraint (the one containing the master matrix
). The structure of the time-varying block-angular system admits a natural decomposition into a set of
  independent well-structured smaller parts instead of solving the original problem whose size and complexity are beyond what can be solved within a reasonable amount of time and then adjust the solution to take into account the interconnections. In general, it is not necessary for either set of constraints to have a special structure, but when available, it helps speed up the solution method. Thus, we may apply the block diagonal decomposition techniques to solve the foregoing problem to achieve the desired effect. Let us consider an application of a decomposition algorithm to the problem: define
  polyhedral sets
  for each
Considering Minkowski’s representation theorem, any
  can be expressed as a convex combination of a finite number of extreme points of
  and
  are extreme points and extreme directions (if any) of polyhedral
. The original problem can be reformulated as the master problem under Minkowski’s mapping as follows:
Due to having a huge number of extreme points for each polyhedron, enumerating all the extreme points and solving this problem directly seem to be impossible. Rather, we should find a reasonable approach without enumerating all the extreme points. This is where we suggest the use of decomposition techniques, especially due to the special structure of our problem that greatly intensifies the efficiency of the decomposition methods. Next, we develop the most general form of the minimum-cost flow problem formulation for a SMMN as
The formulation of the SMMN problem shows a much simpler constraint structure than the usual matrix form. It possesses only
  constraints rather than
  in the earlier formulation. Problems of this type are well amenable by many decomposition algorithms and column generation methods [–]. As a result, the computational advantage of the algorithm depends on the efficiency of the decomposition methods. We propose Dantzig-Wolf decomposition (or Benders algorithm for the dual) and so, the same analysis is applied for this case. For more information, one may refer to []. When the problem has many thousands of rows and is unsolvable in a reasonable amount of time, however, our approach suggests a method to convert the large-scale problem (high dimensional problem) into one or more appropriately coordinated smaller sparse problems of manageable sizes.Considering Minkowski’s mapping and feasibility of the problem, it follows that any obtained optimal basis will detect one arc set for every time step
  and for each commodity
  that transports a positive amount of flow. Moreover, the values of
  for each
  will be determined at any basis. It is immediately understood that the optimal arc sets for every time step and for any commodity are not necessarily the same. In other words, the optimal solution (corresponding to the optimal basis) determines a set of original variables of form
  for each time step with respect to each commodity conveying a positive flow [, , ].4. A Solution Approach for MM Networks with StorageIn certain practical problems, the intermediate storage policy is another important issue that has to be considered in the models. It may be necessary that the
-flow (flow of commodity
) is delayed at some nodes in various applications such as batch process scheduling, traffic routing, evacuation planning, energy transmission, inventory, and telecommunications []. This affects the complexity of the problem. When there are no storage equipments, nonintermediate storage policy is assumed. It is also common in the industry for a process to have different storage policies for different intermediates that is called mixed intermediate storage policy. In our model, we let the
-flow be stored at some (or all) intermediate nodes (or demand nodes) for only one time period with finite (or infinite) storage capacity depending on a predefined capacity function for each
. Time and commodity dependent capacity functions allow different storage policies in different time periods with respect to different products, keeping the time lag as one period. However, the staircase structure, which will be discussed later, may have longer time lags. We represent the storage of flow by introducing loops as shown in Figure .Figure 1: A typical MMN with flow storage at nodes.Flow storage leads to a slightly different notion of flow conservation. If we decompose the set of vertices
  into three subsets as
, respectively, comprising source nodes, intermediate nodes, and sink nodes with respect to each
  is a dynamic feasible flow if and only if it satisfies constraints ()–() together with
We may allow limited (or unlimited) flow storage at nodes but prohibit any deficit by constraint (). As earlier, all
-demands must be met, and flow must not remain on the network after time
  while each source/
  must not exceed its forecasted supply/demand. A discrete-time dynamic flow on
  denoted by
  is said to be feasible if it satisfies the following constraints:
  is the cost of storage at node
  at period
  with respect to
, the total cost of a discrete dynamic flow
  is defined by
  denoting the difference between
-outflow and
-inflow at node
  at time period
, we may reformulate the problem as
  and
  denote the amount and cost of stored flow at node
  in period
  of product
. By setting
, our problem formulation is reduced to a standard LP formulation in matrix form as shown in Appendix , whose special structure enables efficient solution of the problem. The resulting formulation is as follows:
  and
  are the vectors of flow and storage at time period
  and
  and
  are the vectors of flow capacities and storage at
, respectively.
  are defined as earlier.
  is the vector of predefined storage costs and
  is the node-arc incidence matrix of the underlying network. A standard LP problem formulation is obtained by decomposing
  into nonnegative vectors
  and
  is the vector of predefined supply/demand of nodes with respect to commodity
. A further refinement of the matrix-form formulation shows that we can formulate a minimum-cost problem on a multiperiod dynamic network (with storage) in a staircase structured matrix form. For this purpose, we define
Accordingly, we obtain the formulation as
We may now generalize the problem to consider MMN with storage at nodes and spoilage in arcs (SSMM), by allowing the
-flow to leak and be stored at the same time. The continuous time setting is then formulated as
The discrete time setting formulation is obtained by replacing () and (), respectively, by
To develop the matrix form of the formulation, we again use the
-node-arc incidence matrix introduced in ()-(). As earlier, we let
  denote the
-node-arc incidence matrix at step
  with respect to
. With similar transformations, the minimum-cost SSMMN flow problem can be formulated by replacing each
  with the corresponding
.5. An Alternative Approach for MMN without Period CapacitiesTo formulate MMN flow problem without period capacities, we slightly change the definition of the master matrix and decision variable vectors. Our approach brings more flexibility to modify the problem setting in various ways, but at the same time, it increases the number of subproblems (to be obtained by a decomposition) from
.Case 1 (MMN with spoilage). We define decision variable vectors
  be time- each will consist of one set of nonnegative variables
  in the
 th position for each
  and
  and
  in the
 th and
 th position, respectively, as
Analogously, we redefine the node-arc incidence matrices with respect to each
  and
We also need to redefine our master matrix as
We can extract a block-angular structure with each block representing the constraint matrix for each time and commodity. In this respect, the flow conservation conditions turn out to have the following from:
We define the following two matrices:
Then, the formulation for the minimum-cost MMN flow problem with spoilage is
We now define
  time-commodity dependent polyhedrals and use Minkowski’s mapping as
  and
  are extreme points and extreme directions (if any). Then, the same analysis as that in Section
can be applied.Case 2 (MMN with storage). To formulate the flow problem with storage, we redefine the time-commodity varying decision variable vectors
Similarly, we change our node-arc incidence matrices with respect to each
  and
We should redefine our master matrix as follows:
Then, the flow conservation constraints are written as
To obtain the staircase structure form, we again define
Then the formulation for MMN flow problem with storage becomes
Note that we assume
  for every
  and
  as the network is static over time with respect to any product. If that is not the case, we can use incidence matrix
  for time period
  (for any
) in the staircase form formulation.Case 3 (MMN with storage and spoilage (SS networks)). To formulate the MMN flow problem with both storage and spoilage, we define
  as the
-node-arc incidence matrix at time
  with respect to commodity
. Following the approach for Case , it is sufficient to do the following replacement with respect to each
  and
6. On Applications, Computational Tuning-Testing, and AnalysisTo exploit decomposition methods as practical solution approaches, identifying block structures is a building block for our modeling approaches. One method is to plot the nonzero elements in the constraint matrix of a problem instance. One may expect that it would be easy to identify a block structure from a constraint matrix of an arbitrary problem instance, but this is not the case. Even for a relatively small problem instance, it is impossible to pick out a block structure visually from a plot of the nonzero elements, when the rows and columns are not arranged to expose it. A second approach could be to pose the problem of identifying block structure as an optimization problem itself and use optimization software to identify a structure. Various studies have been conducted in this line, but with limited success. One of the other efficient ways to obtain a block structure for an LP model for use is to study the algebraic formulation and generate block structures from the index sets of the model. Structures that rely on the algebraic formulation, rather than a specific data instance, have the key advantage of being scalable, that is, applicable to any data instance of the problem. One may consult Borndörfer et al. [], Kernighan and Lin [], and Weil and Kettler [] to get more information on this matter.Given an arbitrary matrix
, let us consider a pair of partitions of the rows and columns: suppose the rows are divided into
  sets
  and the columns into
  sets
. The rows (columns, resp.) in each set
, resp.) need not be adjacent in the matrix. The partitions of the rows and columns clearly impose a partition on the matrix elements. We say that the elements are partitioned into blocks
, and we refer to the partition of the matrix elements as a block structure. A block structure is thus defined by a pair of partitions on the rows
  and columns
. Given the constraint matrix
  from a large sparse LP problem (like MCDF), it is often possible to choose a pair of partitions so that the nonzero elements of
  are connected to relatively few of the blocks in the block structure (and normally these blocks will themselves be sparse).6.1. Block-Angular Structured SystemsThe matrix has a set of rows
  that connect with all sets of columns and sets of rows
  that each connect with a single set of columns
. In some practical applications, there is usually an additional set of columns
  that interacts solely with the row set
. The block angular structure is one of the most widely recognized structures in decomposition, as it is the basis for the original decomposition method developed by DW. The structure may typically arise where the system being modeled splits naturally into a set of subsystems, for example, a set of facilities/periods, independent apart from a number of global constraints. The variables and constraints referring to a single subsystem
  correspond to the rows and columns in sets
  and
. The constraints that link the subsystems, corresponding to rows
, may express limits of system-wide scarce resources or ensure that materials balance correctly between the subsystems (e.g., facilities or time periods) and are referred to as global, common, or linking constraints [–, ].6.2. Staircase-Structured SystemsThe block staircase structure is best explained as a dynamic (time stage) structure. Let column set
  comprise the columns of variables related directly to time period
  comprises of the rows for constraints linking the decisions made in period
  with those made in the previous period
. It is usually the case that staircase structure has a time lag of one, as activities in period
  are related directly to those in period
, but not to those from earlier periods. However, we mentioned that the production/storage policy of the current period may only be affected by the previous step, and so this attribute (time lag of one) well describe the storage policy needed for MMNF. In general, the staircase structure may have longer time lags. These types of structure can be exploited by nested DW decomposition [–, ].Dantzig-Wolfe decomposition (delayed column generation method), however, is often the best method of choice when dealing with large scale sparse problems of foregoing structures, especially in terms of storage requirements and good-quality suboptimal solutions. It is possible to solve problems of this type by Dantzig-Wolf decomposition using much less memory, without giving up on the solution time, when compared to revised simplex technique [, ]. To better illustrate, let us assume an MMN problem with
  subproblems, each with
  conservation constraints and with a master condition of
  constraints (all in standard form). The storage requirement of the revised simplex method for the original problem will be
, which is the size of the revised simplex tableau. In contrast, the storage requirements of the decomposition method for the same problem turn out to be
  for the tableau of the master problem and
  for the revised simplex tableau of subproblems (that are easy to solve). Moreover, applying decomposition on a MMN problem maintains only one tableau stored in the main memory at any time. For instance, let
  and
. In this case, the main memory requirement of the decomposition method will be
  times smaller than those of the revised simplex method. Therefore, while the memory is a key bottleneck in handling very large LPs, like MMN problems, the decomposition approach dramatically enlarges the range of problem instances that can be solved practically.Note that our approach is a two-phase method. In the first phase, we get the
-node-arc incidence matrices, and the second phase is an application of DW method. Evidently, the performance of our algorithm highly depends on the first phase. The overall complexity of the first phase is
  if a simple data structure is used to maintain the factors for each time period with respect to each product. As mentioned, although we consider time-commodity varying network parameters, all the
-incidence matrices/transformations can be updated/run off-line and in parallel. Therefore, if the solutions of the first phase are calculated in parallel, we can expect to obtain the optimal solution for any minimum-cost MMN problem in a reasonable amount of time.We demonstrate the computational efficiency of the proposed methods on electricity distribution-transmission networks. The topology of this class of network models has been described in detail in Hosseini [, ], so we only give a brief description here. The objective is to determine the production circuit and shipping electricity within the time period so as to minimize the daily cost (the planning horizon time is a day). To illustrate the performance of our approach, we conducted a series of experiments using a set of real data from our case study on real and random complete-bipartite MMNs. We mainly consider a distribution network that is a local, low-voltage part of the electricity system that connects the customers to the long-distance, high-voltage transmission system which, in turn, connects to generating plants. Electric power transmission is the bulk transfer of electrical energy, from generating power plants to electrical substations located near demand centers. This is distinct from the local wiring between high-voltage substations and customers, which is typically referred to as electric power distribution. Transmission lines, when interconnected with each other, become transmission networks. The combined transmission and distribution network is known as the “power grid” or just “the grid.” A wide area synchronous grid, also known as an “interconnection” directly connects a large number of generators delivering AC power with the same relative phase, to a large number of consumers.The distribution network may be viewed as connecting to the transmission system, via a substation, at a single point or source (in reality, it may connect to several points). We consider a number of customers (cities, factories, etc.) with demand for a certain product (that may vary over time) over a specified time period, for example, demand for electricity in our case study. We assume that demand is satisfied by shipping electricity in a fixed number of wires from a number of supply/production sites, where the cost of production is assumed to be time varying (or fixed for each time period). We restrict our attention to the case in which each wire must unload all of its goods (electricity) at the demand site upon arrival.Several parameters must be specified in order to generate the MMN topology, arc capacities and costs, losses and gains, and node storage capacities (if desired). These parameters are random seed, number of periods
, number of products
, number of supply/demand nodes, indegree and outdegree of each node, minimum and maximum values of arc capacities for each
  and
, losses, gains, and costs associated with the arcs, which must be all nonnegative. The cost on each arc (for each time period for each product) is randomly chosen from a uniform distribution between user defined parameter
  and
, and gain/loss factors for each commodity and period are also chosen from a
-uniform distribution where
  should be given for each
. The user also sets the number of time periods, supply nodes, and demand nodes. The demand for each time step with respect to each product
  is to be randomly chosen from a uniform distribution between
  and
, and likewise for supply, storage capacity, spoilage, and arc capacities.The experiments are conducted on random multiperiod transportation networks with 26, 40, 46, 62, 74, 82, and 100 nodes and time horizon 13, 20, 23, 31, 37, 41, and 50 for the first two cases (Tables
and ) and random networks with 6, 10, 14, 22, 26, 30, and 34 nodes and time horizon 3, 5, 7, 11, 13, 15, and 17 for the last case (Table ). For each value of
  is the total number of generating plants and demand sites), we create distribution networks with different indegree and outdegree in a range from 1 to
. We denote by
  the density of the network (
). The minimum and maximum loss/gains are set to 0.999 and 1.100;
 th capacities are set to 50 and 70 and are set to 10 and 100, respectively. For each specific setting of
  and
, we have performed several computational tests and analyzed decomposition approach’s sensitivity on a variety of minimum-cost MMN problem instances. We have investigated different implementation ideas and sensitivity of the method to various data parameters, such as the number of arcs, number of time increments, and the congestion in the multiperiod network. We generated many MMN of various sizes, different number of time periods, and different levels of congestion.Table 1: Sizes and computational results for some MMNs with
).Table 2: Sizes and computational results for some MMNs with
).Table 3: Sizes and computational results for some MMNs with
).A plot for each different network parameter,
  and
, helps us visualize the effects of time splitting and density on the growth of the problem or the average CPU time. Moreover, Figure
shows that execution time increases exponentially in denser networks. The same sensitivity is also observed with respect to the number of products. This behavior is generally related to the increase in the number of subproblems, since any increase in the number of time periods or products will directly affect the numbers/complexity of subproblems, and consequently, the algorithm’s running time increases. Our linear programming models and decomposition methods were implemented in GAMS and solved using CPLEX 7.0 on a personal computer with a 2.13 GHz processor and 4 GB physical RAM. The results of a very small number of runs are summarized in Tables –. Computational experiences shown in the first four rows in any table correspond to some electricity transmission MMNs from our case study.Figure 2: Sensitivity to density of two sample problems: dataset 1 and dataset 2 from Table .DW also provides a bound on the value of the objective function at each iteration, which allows the quality of the current solution to be assessed, so that the tradeoff between time and quality can be quantified. As a result, the procedure can be terminated, prior to finding an exact optimal solution, with a good estimate of the gap between the value of the current solution and the optimal value.Practical experience suggests that when decomposition is applied on an MCDF problem on an MMN, the algorithm makes substantial progress in the beginning, but the cost improvement becomes very slow later on. However, in spite of possible ill-conditioning of a decomposed problem, it usually turns out that its optimal solution is close to the true optimal solution, and so we may terminate it having a very good suboptimal solution. Figure
plots the progress of a typical problem when we apply the decomposition method and Figure
represents the relative duality gap observed solving some other MMN. The plots show how the objective values and dual bounds converge as the number of iterations (time) increases. Since we are dealing with minimum-cost flow problems, the objective value descends from above and the dual bound ascends from below.Figure 3: Objective and dual bound progress of some decomposition application for a distribution MMN corresponding to dataset 2 from Table
(the objective value descends from above and the dual bound ascends from below).Figure 4: The relative duality gap observed solving the sample problem in dataset 7 in Table
).7. ConclusionThis paper addresses discrete-time dynamic minimum-cost network flow problem on multiperiod multiproduct distribution networks under the generalization of node storage or/and arc spoilage. We develop some decomposition-based approaches to solve the minimum-cost flow problem employing polyhedral sets hidden in the underlying distribution network. Having appropriately defined some matrices, the original problems are reformulated into a series of structurally similar sparse LP subproblems (polyhedrals), which are utilized to develop decomposition-based techniques to decrease storage requirements.AppendicesA. The Transformation Procedure Mentioned in Section
Substituting
  for unrestricted variable
, considering relations ()-(), the problem formulation stated in discrete-time-MCDF (SMMN) becomes
Matrix properties allow us to express the following matrix form as a linear programming problem whose special structure provides an advantage for exploiting efficient algorithms. If we set
  and let
  without loss of generality while
  and
  denote the slack variables, then the above LP problem can be rewritten as
B. The Transformation Procedure Mentioned in Section
The MCDF problem on MM networks with storage, introduced in Section , is reduced to the following matrix form as an LP, with special structure, provided that we introduce the vectors of flow and storage at time period
, the vectors of flow capacities and storage capacities at
  and
, and the node-arc incidence matrix of the network as
.By setting
, our problem becomes
  be the vector of initial storage and
  be the vector of slack variables. Without any loss of generality, let
  (since we do not need any flow in the last period). Then, we can convert the model into the following form by manipulating and introducing some matrices:
Conflict of InterestsThe authors declare that there is no conflict of interests regarding the publication of this paper.References
R. K. Ahuja, M. Magnanti, and J. Orlin, Network Flows. Theory, Algorithms, and Applications, Prentice-Hall, Englewood Cliffs, NJ, USA, 1993. J. E. Aronson, “A survey of dynamic network flows,” Annals of Operations Research, vol. 20, no. 1–4, pp. 1–66, 1989.
· X. Cai, D. Sha, and C. K. Wong, Time-Varying Network Optimization, Springer, New York, NY, USA, 2007. B. Hoppe, Efficient dynamic network flow algorithms [Ph.D. thesis], Cornell University, 1995. K. D. Wayne, Generalized maximum flow algorithms [Ph.D. thesis], Cornell University, 1999. D. Lozovanu, Optimization and Multiobjective Control of Time-Discrete Systems: Dynamic Networks and Multilayered Structures, Springer, 2010. S. A. Hosseini, “The minimum cost flow problem in dynamic multi generative network flows,” in Proceedings of the SIAM Conference on Discrete Mathematics, DM 10 Abstracts, Austin, Tex, USA, 2010. M. Newman, A. Barabasi, and D. Watts, The Structure and Dynamics of Networks, Princeton University Press, 2006. C. Pantelides, “Unified frameworks for the optimal process planning and scheduling,” in Proceedings of the 2nd Conference on the Foundations of Computer Aided Operations, p. 253, Cache, New York, NY, USA, 1994. M. Gro&# and M. Skutella, “Maximum multicommodity flows over time without intermediate storage,” in Algorithms—ESA 2012, vol. 7501 of Lecture Notes in Computer Science, pp. 539–550, Springer, 2012. M. Gro&# and M. Skutella, Generalized Maximum Flows over Time, WAOA, 2011. H. Stefansson, S. Sigmarsdottir, P. Jensson, and N. Shah, “Discrete and continuous time representations and mathematical models for large production scheduling problems: a case study from the pharmaceutical industry,” European Journal of Operational Research, vol. 215, no. 2, pp. 383–392, 2011.
· J. Ford and D. R. Fulkerson, “Constructing maximal dynamic flows from static flows,” Operations Research, vol. 6, pp. 419–433, 1958.
· S. A. Hosseini, “An introduction to dynamic generative networks: minimum cost flow,” Applied Mathematical Modelling, vol. 35, no. 10, pp. , 2011.
· S. A. Hosseini and F. D. Saridarq, “Determining the optimal flows in zero-time dynamic networks,” Journal of Mathematical Modelling and Algorithms, vol. 11, no. 2, pp. 105–117, 2012.
· S. Mokhatab and W. Poe, Handbook of Natural Gas Transmission and Processing, Gulf Professional Publishing, 2012. B. P. Binks, P. D. I. Fletcher, B. L. Holt, P. Beaussoubre, and K. Wong, “Selective retardation of perfume oil evaporation from oil-in-water emulsions stabilized by either surfactant or nanoparticles,” Langmuir, vol. 26, no. 23, pp. 1, 2010.
· J. R. Jackson and I. E. Grossmann, “Temporal decomposition scheme for nonlinear multisite production planning and distribution models,” Industrial and Engineering Chemistry Research, vol. 42, no. 13, pp. , 2003.
· S. Terrazas-Moreno, P. A. Trotter, and I. E. Grossmann, “Temporal and spatial Lagrangean decompositions in multi-site, multi-period production planning problems with sequence-dependent changeovers,” Computers & Chemical Engineering, vol. 35, no. 12, pp. , 2011.
· N. H. Moin, S. Salhi, and N. A. B. Aziz, “An efficient hybrid genetic algorithm for the multi-product multi-period inventory routing problem,” International Journal of Production Economics, vol. 133, no. 1, pp. 334–343, 2011.
· E. Kondili, C. C. Pantelides, and R. W. H. Sargent, “A general algorithm for short-term scheduling of batch operations-I. MILP formulation,” Computers and Chemical Engineering, vol. 17, no. 2, pp. 211–227, 1993.
· S. Mouret, I. E. Grossmann, and P. Pestiaux, “Time representations and mathematical models for process scheduling problems,” Computers and Chemical Engineering, vol. 35, no. 6, pp. , 2011.
· C. T. Maravelias and I. E. Grossmann, “New general continuous-time state-task network formulation for short-term scheduling of multipurpose batch plants,” Industrial and Engineering Chemistry Research, vol. 42, no. 13, pp. , 2003.
· P. Chen and J. M. Pinto, “Lagrangean-based techniques for the supply chain management of flexible process networks,” Computers and Chemical Engineering, vol. 32, no. 11, pp. , 2008.
· S. M. S. Neiro and J. M. Pinto, “Lagrangean decomposition applied to multiperiod planning of petroleum refineries under uncertainty,” Latin American Applied Research, vol. 36, no. 4, pp. 213–220, 2006.
· R. G. Bartle and D. R. Sherbert, Introduction to Real Analysis, John Wiley & Sons, 2011. R. Johnsonbaugh and W. E. Pfaffenberger, Foundations of Mathematical Analysis, Dover, 2010. H. Royden and P. Fitzpatrick, Real Analysis, Prentice Hall, 2010. J. A. J. Hall and K. I. M. McKinnon, “Hyper-sparsity in the revised simplex method and how to exploit it,” Computational Optimization and Applications, vol. 32, no. 3, pp. 259–283, 2005.
· M. C. Ferris and J. D. Horn, “Partitioning mathematical programs for parallel solution,” Mathematical Programming, vol. 80, no. 1, Ser. A, pp. 35–61, 1998.
· M. C. Ferris and M. M. Voelker, “Slice models in general purpose modeling systems: an application to DEA,” Optimization Methods & Software, vol. 17, no. 6, pp. , 2002.
· M. M. Voelker, Optimization of slice models [Ph.D. thesis], University of Wisconsin, Madison, Wis, USA, 2002. D. P. Rutenberg, “Generalized networks, generalized upper bounding and decomposition of the convex simplex method,” Management Science, vol. 16, no. 5, pp. 388–401, 1970.
· J. K. Hartman and L. S. Lasdon, “A generalized upper bounding algorithm for multicommodity network flow problems,” Networks, vol. 1, no. 4, pp. 333–354, 1971.
· G. B. Dantzig and P. Wolfe, “The decomposition algorithm for linear programs,” Econometrica, vol. 29, no. 4, pp. 767–778, 1961.
· G. Dantzig and P. Wolfe, “Decomposition principle for linear programs,” Operations Research, vol. 8, pp. 101–111, 1960. D. Bertsimas and J. N. Tsitsiklis, Introduction to Linear Optimization, Athena Scientific, Belmont, Mass, USA, 1997. M. Bazaraa, J. Jarvis, and H. Sherali, Linear Programming and Network Flows, John Wiley & Sons, 2009. P. L. Jackson and D. F. Lynch, “Revised Dantzig-Wolfe decomposition for staircase-structured linear programs,” Mathematical Programming, vol. 39, no. 2, pp. 157–179, 1987.
· R. Borndörfer, C. E. Ferreira, and A. Martin, “Decomposing matrices into blocks,” SIAM Journal on Optimization, vol. 9, no. 1, pp. 236–269, 1998.
· B. W. Kernighan and S. Lin, “An efficient heuristic procedure for partitioning graphs,” The Bell System Technical Journal, vol. 49, no. 2, pp. 291–307, 1970. R. L. Weil and P. C. Kettler, “Rearranging matrices to block-angular form for decomposition (and other) algorithms,” Management Science, vol. 18, pp. 98–108, 1971. S. A. Hosseini, “A model-based approach and analysis for multi-period networks,” Journal of Optimization Theory and Applications, vol. 157, no. 2, pp. 486–512, 2013.
· K. L. Jones, I. J. Lustig, J. M. Farvolden, and W. B. Powell, “Multicommodity network flows: the impact of formulation on decomposition,” Mathematical Programming, vol. 62, no. 1, pp. 95–117, 1993.}