process network synthesis

Similar documents
Approximation Algorithms

Scheduling Shop Scheduling. Tim Nieberg

Bicolored Shortest Paths in Graphs with Applications to Network Overlay Design

Practical Guide to the Simplex Method of Linear Programming

Determination of the normalization level of database schemas through equivalence classes of attributes

Clique coloring B 1 -EPG graphs

Definition Given a graph G on n vertices, we define the following quantities:

5.1 Bipartite Matching

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

Dynamic programming. Doctoral course Optimization on graphs - Lecture 4.1. Giovanni Righini. January 17 th, 2013

CS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010

24. The Branch and Bound Method

2. (a) Explain the strassen s matrix multiplication. (b) Write deletion algorithm, of Binary search tree. [8+8]

Every tree contains a large induced subgraph with all degrees odd

Exponential time algorithms for graph coloring

Institut für Informatik Lehrstuhl Theoretische Informatik I / Komplexitätstheorie. An Iterative Compression Algorithm for Vertex Cover

Single machine parallel batch scheduling with unbounded capacity

Connected Identifying Codes for Sensor Network Monitoring

Why? A central concept in Computer Science. Algorithms are ubiquitous.

JUST-IN-TIME SCHEDULING WITH PERIODIC TIME SLOTS. Received December May 12, 2003; revised February 5, 2004

Ph.D. Thesis. Judit Nagy-György. Supervisor: Péter Hajnal Associate Professor

! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. #-approximation algorithm.

Nan Kong, Andrew J. Schaefer. Department of Industrial Engineering, Univeristy of Pittsburgh, PA 15261, USA

Approximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs

Chapter Load Balancing. Approximation Algorithms. Load Balancing. Load Balancing on 2 Machines. Load Balancing: Greedy Scheduling

Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, Chapter 7: Digraphs

The chromatic spectrum of mixed hypergraphs

Catalan Numbers. Thomas A. Dowling, Department of Mathematics, Ohio State Uni- versity.

Cacti with minimum, second-minimum, and third-minimum Kirchhoff indices

A Branch and Bound Algorithm for Solving the Binary Bi-level Linear Programming Problem

1 Definitions. Supplementary Material for: Digraphs. Concept graphs

Combinatorial 5/6-approximation of Max Cut in graphs of maximum degree 3

Chapter 13: Binary and Mixed-Integer Programming

Estimating the Average Value of a Function

! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. !-approximation algorithm.

Lecture 17 : Equivalence and Order Relations DRAFT

Mean Ramsey-Turán numbers

Notes on Complexity Theory Last updated: August, Lecture 1

A Turán Type Problem Concerning the Powers of the Degrees of a Graph

Branch-and-Price Approach to the Vehicle Routing Problem with Time Windows

ARTICLE IN PRESS. European Journal of Operational Research xxx (2004) xxx xxx. Discrete Optimization. Nan Kong, Andrew J.

How To Solve A Minimum Set Covering Problem (Mcp)

Mathematics Course 111: Algebra I Part IV: Vector Spaces

The Graphical Method: An Example

Class constrained bin covering

On the Relationship between Classes P and NP

Fairness in Routing and Load Balancing

Permutation Betting Markets: Singleton Betting with Extra Information

The Goldberg Rao Algorithm for the Maximum Flow Problem

Generating models of a matched formula with a polynomial delay

arxiv: v1 [math.co] 7 Mar 2012

Optimal Index Codes for a Class of Multicast Networks with Receiver Side Information

Tutorial 8. NP-Complete Problems

Linear Programming Problems

Semi-Matchings for Bipartite Graphs and Load Balancing

Online lookahead on parameter learning algorithms for data acknowledgment and scheduling problems

k, then n = p2α 1 1 pα k

Scheduling Home Health Care with Separating Benders Cuts in Decision Diagrams

Outline. NP-completeness. When is a problem easy? When is a problem hard? Today. Euler Circuits

On the k-path cover problem for cacti

A greedy algorithm for the DNA sequencing by hybridization with positive and negative errors and information about repetitions

Discrete Applied Mathematics. The firefighter problem with more than one firefighter on trees

Best Monotone Degree Bounds for Various Graph Parameters

most 4 Mirka Miller 1,2, Guillermo Pineda-Villavicencio 3, The University of Newcastle Callaghan, NSW 2308, Australia University of West Bohemia

All trees contain a large induced subgraph having all degrees 1 (mod k)

Ramsey numbers for bipartite graphs with small bandwidth

Polytope Examples (PolyComp Fukuda) Matching Polytope 1

THE SCHEDULING OF MAINTENANCE SERVICE

Problem Set 7 Solutions

The positive minimum degree game on sparse graphs

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

Linear Programming. Widget Factory Example. Linear Programming: Standard Form. Widget Factory Example: Continued.

Shortcut sets for plane Euclidean networks (Extended abstract) 1

Labeling outerplanar graphs with maximum degree three

Graph Theory Problems and Solutions

MINIMAL BOOKS OF RATIONALES

2.3 Convex Constrained Optimization Problems

A Note on Maximum Independent Sets in Rectangle Intersection Graphs

Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs

Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs

1 Approximating Set Cover

Applied Algorithm Design Lecture 5

OPRE 6201 : 2. Simplex Method

136 CHAPTER 4. INDUCTION, GRAPHS AND TREES

Mathematical finance and linear programming (optimization)

NP-complete? NP-hard? Some Foundations of Complexity. Prof. Sven Hartmann Clausthal University of Technology Department of Informatics

GRAPH THEORY LECTURE 4: TREES

CORRELATED TO THE SOUTH CAROLINA COLLEGE AND CAREER-READY FOUNDATIONS IN ALGEBRA

A Review And Evaluations Of Shortest Path Algorithms

Extremal Wiener Index of Trees with All Degrees Odd

USE OF EIGENVALUES AND EIGENVECTORS TO ANALYZE BIPARTIVITY OF NETWORK GRAPHS

IE 680 Special Topics in Production Systems: Networks, Routing and Logistics*

Introduction to Scheduling Theory

Analysis of Algorithms, I

INTEGER PROGRAMMING. Integer Programming. Prototype example. BIP model. BIP models

Linear Programming for Optimization. Mark A. Schulze, Ph.D. Perceptive Scientific Instruments, Inc.

Scheduling Real-time Tasks: Algorithms and Complexity

Generalized Induced Factor Problems

Multi-layer Structure of Data Center Based on Steiner Triple System

NP-Completeness I. Lecture Overview Introduction: Reduction and Expressiveness

Transcription:

1 On pollution minimization in the optimization models of process network synthesis C. Imreh and Z. Kovács Department of Informatics, University of Szeged Árpád tér 2, H-6720 Szeged, Hungary E-mail: cimreh@inf.u-szeged.hu and kovacsz@inf.u-szeged.hu Novel mathematical models are developed for taking into account the pollution of processes in Process Network Synthesis (PNS). Initially the combinatorial mathematical model of PNS is extended to handle the pollutions of processes. The resultant model is called PCPNS (Pollution Constrained PNS). An algorithm is elaborated for solving this optimization problem. Finally a second mathematical model is introduced for defining PNS problems quantitatively. 1. Introduction In a manufacturing system physical and/or chemical states of material are changed through various physical and/or chemical transformations to yield desired products. Functional units performing these transformations are called operating units. A manufacturing system can be considered as a network of operating units which is called process network. The need for minimizing the cost of process networks is obvious. On the other hand nowadays the cost minimization is not the only goal which must be considered. From environment protection point of view it is also an important goal to design systems resulting in minimal possible pollution. In many cases several laws and regulations force the industry to take the pollution into account in the design of process networks. In the present work mathematical models are developed to take into account pollution of the processes. First a combinatorial model is introduced where a pollution value is assign to each transformation. These values supposed to be constant parameters of the operating units modeling the transformations. A more general quantitative model is also presented where pollution functions are assigned to the materials to define the pollution of the system. The paper is organized as follows. In the next section the combinatorial mathematical model of PNS problem is extended to a more general one capable of handling the problem described. In Section 3 the pollution constrained model is detailed and an algorithm is presented for solving the model. Furthermore, it is sketched how to modify the algorithm to handle different models. In Section 4 the quantitative model is considered as a generalization of the quantitative model of the PNS. The paper is closed This research was partially supported by the Hungarian Science Foundation Grant No. OTKA T046405

by Section 5 summarizing the main results and listing the most important open questions related to the models developed in this paper. 2. Combinatorial mathematical model Let M be a finite nonempty set, the set of the materials. The candidate transformations are presented as operating units, each of which is given by two sets of materials, i.e., the set of input materials to and the set of output materials from the operating unit. The set of all operating units is denoted by O. The process graph or P-graph in short is defined by pair (M, O). The set of vertices of this directed graph is M O, and the set of arcs contains i) the edges leading to an operating unit from its input materials and ii) the edges leading from an operating unit to its output materials. Then some subgraphs of the P--graph describes feasible processes which are able to produce the required materials from the raw materials. Friedler at al. (1992) show that a subgraph (m,o) belongs to a feasible process if and only if it satisfies the following properties. (A1) P is a subset of m. (A2) a material from m is a raw material if and only if no edge goes into it in the P- graph (m, o). (A3) for every operating unit of o there exists a path in the P-graph (m,o) which goes from o into a desired product. (A4) all of the materials in m are either input or output material of some operating unit from set o. The subgraphs which satisfy the above properties are called feasible solutions. The set of the feasible solutions is denoted by S(M). This combinatorial approach of the processes is detailed in article Friedler et al. (1992). In the combinatorial model each operating unit has a cost (a nonnegative value), which gives the cost of the transformation modeled by the operating unit. The goal is to find such feasible solution where the total cost of the used operating units (contained in set o) is minimal. This is a combinatorial optimization problem. Blázsik and Imreh (1996) proved that the problem belongs to the class of NP-complete problems. This is the complexity class of the hard optimization problems in other words it is not expected to find effective, polynomial time algorithms to solve the problem. Some exponential time algorithms were developed for the solution of the problem (see Imreh and Magyar, 1998), and heuristic algorithms were also developed (Blázsik et al. 1999), moreover some special problem classes that can be solved in polynomial time were also investigated (Imreh 2001). If we extend the combinatorial model to handle the pollution belonging to the possible transformation of the processes also, we can still use the P-graph representation. However in our case the operating units (the possible transformations) have an additional parameter which describes the environment pollution belonging to the operating unit. In the combinatorial model this parameter is presented by a pollution value which is a nonnegative number.

In this generalized model different questions arise. One question is if a bound - which is called pollution bound and denoted by PB - is given on the maximal total amount of the possible pollution of the overall process how to find the cheapest process which does not violate this bound on the possible pollution. We call this model the pollution constrained PNS model (PCPNS in short). In the mathematical model this means that among the feasible solution whose total pollution value is not more than PB - we call these feasible solution PC-feasible solutions - we have to find the P-graph where the total cost is minimal. A similar question is if we have a bound on the total cost how to find the process which has the smallest total pollution value, this model is called cost constrained PNS problem and denoted by CCPNS in short. Another model is where a mixed objective function is to be minimized, which is usually monotone and convex function of the total cost and the total pollution value. This model is called the mixed objective PNS model (MOPNS in short). 3. Algorithm for the PCPNS problem In this section we present an algorithm based on the branch-and-bound technique which solves the PCPNS optimization problem. In the algorithm we use the concept of the decision mapping which was introduced by Friedler et al (1995). For an arbitrary material m denote by (m) the set of operating units which produce the material. Then we can define a mapping on the set of materials which assigns to each material m a set (m) which is a subset of (m). The decision mapping defines for the material which operating units produce it in the process network considered. On the other hand some decision mappings are contradictory. For example, if such operating units whose output set contains a material X are selected to produce in a solution a material Y, then they must be also selected to produce X as well. To avoid this contradiction the consistent decision mappings are defined. A decision mapping is called consistent if for an arbitrary pair of materials X, Y it is valid that (X) (Y) is a subset of (Y). Then for each feasible solution of the combinatorial PNS problem we can give a consistent decision mapping which describes for each material the set of the selected operating units producing it. Using the decision mapping we can build an algorithm for the solution of the PCPNS problem. The algorithm is based on the branch and bound technique (see Beale 1979 for detailed description). The technique can be used to solve combinatorial optimization problems where we are to find the minimum of a function z a finite discrete set L of the feasible solutions. The technique based on the following two functions. One of the functions is the branching function. In the basic procedure it assigns a real partition to an arbitrary at least two-elements set of the feasible solutions. In a more advanced version we consider a larger set which contains the set of feasible solutions, and the branching function is defined on this larger set. The other function is g which gives a lower bound on the possible values of the objective function in the set of feasible solutions considered. It is required that in the case where the set contains only one feasible solution then g gives the objective function value for the set. If we can define such functions then the branch and bound technique solves the problem as follows.

Branch and Bound procedure: Initialization: Let the root of the tree L and calculate g(l) as the label of root. Let r=1. Iteration Part (r-th iteration): Step 1. Choose among the levels of the tree a point which has the minimal label. Denote this set of feasible solutions by L'. Step 2. If L' contains only one feasible solution, then the procedure is finished this element is the optimal solution. Step 3. Consider the sets received by (L'), delete the sets which do not contain feasible solutions and determine the function g for each remaining set. Assign this value as a label to them and extend the tree with these sets, they become the children of L'. Increase r by 1, and go to the next iteration. Now let us examine, how can we use this framework for the solution of the PCPNS problem. We can use the decision mapping to define the branching function. The sets which are contained in the tree will be characterized by two parameters, some materials called fixed materials will be given with their decision mapping value and in the meantime some other materials called desired materials will be given. Such feasible solutions are contained in the set where these materials are produced and the fixed materials are produced by the operating units described by the decision mapping. At the beginning in the root L contains all of the feasible solutions this set is characterized by the required products. The branching function chooses one material and divides the set of feasible solutions by considering all of the decision mapping values for the material which are consistent with the earlier decisions. For each decision mapping value the new set of feasible solutions is characterized as follows. The set of the fixed materials is extended with the considered material and the value of the decision mapping. Furthermore in the new set the input materials of the operating units selected by the decision mapping which are not contained in the fixed or desired set are placed into the set of desired materials. Now let us consider the bounding function. The simplest bound which can be used is the total cost of the operating units selected by the decision mapping values of the fixed materials. We can use a better bound if we determine the path in the P-graph which has the smallest cost (the cost of a path is the total cost of its operating units) among the paths connecting a raw material with a desired or a fixed material. We can increase the bound received by the decision mapping with the cost of that path. Other more complicated bounding functions are given by Imreh and Magyar (1998). Finally let us consider the role of the pollution constraint. This constraint can be used in Step 3. to eliminate some sets which do not contain feasible solution of the PCPNS problem. In the case where the total pollution of the operating units selected by the decision mapping for the fixed materials is more then the pollution constraint, then the set cannot contain feasible solutions. For a set let us determine the path in the P-graph which has the smallest pollution value (the pollution value of a path is the total pollution value of the operating units in it) among the paths connecting a raw material with a desired or a fixed material. If the sum of the pollution value of the selected operating

units and the pollution value of that path violate the pollution constraint, then we can also eliminate this set in Step 3. Concerning the other combinatorial models defined in the previous section, we can build similar procedures. Since in our model the role of the cost and the pollution value is symmetric the above presented procedure can be easily modified to solve the CCPNS model. The same structure can be used to solve the MOPNS problem. However, in this case we cannot use the pollution constraint to exclude sets in Step 3. Furthermore we have to define other bounding functions depending on the function used in the model. 4. Extension to the quantitative model In this section we examine the quantitative PNS model, which is a more complex model than the combinatorial one, and leads to a nonlinear optimization problem. This model was introduced by Friedler at al. (1998). In this model it is supposed that the cost of an operating unit not a constant it depends on the materials used and produced by it. We describe a process network by the following variables. We assign a decision variable y i to each operating unit which takes value 1, if the operating unit is selected in the solution, value 0, if it is not. For each edge a j in the P-graph we define a variable x j, which gives the quantity of the materials belonging to the edge (the input material, if the edge goes into an operating unit, the output material if the edge goes from an operating unit). For an arbitrary set E of edges denote by (E) the set of the corresponding x variables. Furthermore for an arbitrary operating unit o j let us denote by in(o j ) the set of the incoming edges and by out(o j ) the set of outgoing edges. For each operating unit we have some rules about the quantities of the incoming and outgoing materials, in most cases this rule can be described as a bound on a function (usually nonlinear) of the quantities. This means that in the mathematical model, for each operating unit o j there is a function g j and the bound on the quantities can be written in the form g j ( (in(o j )), (out(o j )),y j ) 0. The cost of an operating unit can also depend on the materials used and produce by it, this cost is given by a function f j, and the cost of the operating unit is f j ( (in(o j )), (out(o j )),y j ). Concerning the materials we can denote by in(m j ) the set of the incoming edges into material m j and by out(m j ) the set of outgoing edges from material m j. Then the bound on the materials we must produce everything which is used can be described by a bound on some usually linear function g' j as g' j ( (in(m j )), (out(m j ))) 0. It is worth noting that in a more general model a cost is assigned to the materials which is also a function of (in(m j )) and (out(m j )). If we consider the optimization problem where the objective is to minimize f j and the constraints are given by the g j and g' j functions furthermore we require that the selected (y j =1) operating units satisfy the properties A1, A2, A3, A4, then we obtain a quantitative model of the PNS problem which is a nonlinear optimization problem. Now let us investigate how can we modify the model to consider pollution. For each operating unit we can define a pollution value which may depend on the quantities of

the input and produced materials, this can be given by a function p j, and the pollution value of the operating unit is p j ( (in(o j )), (out(o j )), y j ). Moreover we can assign independently a pollution value to the materials which may depend on the produced and the used amount, thus we can describe it by a function p' j as p' j ( (in(m j )), (out(m j ))). In this case the total pollution value of the process network is p j + p' j. After the definition of the pollution value of a process network we can define the models PCPNS, CCPNS, MOPNS in the same way as in the combinatorial case. 5. Summary and further questions A novel mathematical model has been presented which makes it possible to take into account the environment pollution of the processes during the synthesis of process networks. A precise mathematical description of this model has been introduces extending the combinatorial PNS model based on the P-graph representation. An algorithm has been elaborated for solving the optimization problem resulted from pollution constrained model of PNS. An extension of the model has been given for a more general quantitative PNS model. There are many further questions to be solved. Concerning the combinatorial models it is an interesting question to develop more sophisticated branch and bound algorithm by using more refined bounding functions and test these procedures. Since the problem is NP-hard from the complexity theory point of view it is an interesting problem to develop and analyze heuristic algorithms for the solution of the problem. 6. References Beale, E. M. L., 1970, Branch and Bound Methods for mathematical programming system, Annals of Discrete Mathematics, vol. 5, 201 219. Blázsik Z., Imreh B., 1996, A Note on Connection between PNS and Set Covering Problems, Acta Cybernetica, vol. 12, 309 312. Blázsik Z., Holló Cs., Imreh Cs., Kovács Z., 1999, Heuristics for the PNS problem, Optimization Theory, Mátraháza, Applied Optimization, vol. 59, Eds. F. Gianessi, P. Pardalos, T. Rapcsák, Kluwer Academic Publishers, Dordrecht, Boston, London, 2001, 1 18. Friedler F., Fan L. T., Imreh, B., 1998, Process Network Synthesis: Problem Definition, Networks, vol. 28, 119--124. Friedler F., Tarján K., Huang Y. W., and Fan L. T., 1992, Graph-Theoretic Approach to Process Synthesis: Axioms and Theorems, Chem. Eng. Sci., vol. 47(8), 1973 1988. Friedler F, J. B. Varga, L. T. Fan, 1995, Decision mappings: a tool for consistent and complete decisions in process synthesis, Chem. Eng. Sci, vol.. 50(11), 1755 1768. Imreh, B., G. Magyar, 1998, Empirical Analysis of Some Procedures for Solving Process Network Synthesis Problem, Journal of Computing and Information Technology, vol. 6, 372 382. Imreh Cs., 2001, New well-solvable class of PNS problems, Computing, vol. 66, 289 296.