Complex Social Networks is a newly emerging (hot) topic with applications in a variety of domains, such as communication networks, engineering networks, social networks, and biological networks. In the last decade, there has been an explosive growth of research on complex real-world networks, a theme that is becoming pervasive in many disciplines, ranging from mathematics and computer science to the social and biological sciences. Optimization of complex communication networks requires a deep understanding of the interplay between the dynamics of the physical network and the information dynamics within the network. Although there are a few books addressing social networks or complex networks, none of them has specially focused on the optimization perspective of studying these networks. This book provides the basic theory of complex networks with several new mathematical approaches and optimization techniques to design and analyze dynamic complex networks. A wide range of applications and optimization problems derived from research areas such as cellular and molecular chemistry, operations research, brain physiology, epidemiology, and ecology.

Genetic Algorithms: Principles and Perspectives: A Guide to GA Theory is a survey of some important theoretical contributions, many of which have been proposed and developed in the Foundations of Genetic Algorithms series of workshops. However, this theoretical work is still rather fragmented, and the authors believe that it is the right time to provide the field with a systematic presentation of the current state of theory in the form of a set of theoretical perspectives. The authors do this in the interest of providing students and researchers with a balanced foundational survey of some recent research on GAs. The scope of the book includes chapter-length discussions of Basic Principles, Schema Theory, "No Free Lunch", GAs and Markov Processes, Dynamical Systems Model, Statistical Mechanics Approximations, Predicting GA Performance, Landscapes and Test Problems.

This is a book on Linear-Fractional Programming (here and in what follows we will refer to it as "LFP"). The field of LFP, largely developed by Hungarian mathematician B. Martos and his associates in the 1960's, is concerned with problems of op timization. LFP problems deal with determining the best possible allo cation of available resources to meet certain specifications. In particular, they may deal with situations where a number of resources, such as people, materials, machines, and land, are available and are to be combined to yield several products. In linear-fractional programming, the goal is to determine a per missible allocation of resources that will maximize or minimize some specific showing, such as profit gained per unit of cost, or cost of unit of product produced, etc. Strictly speaking, linear-fractional programming is a special case of the broader field of Mathematical Programming. LFP deals with that class of mathematical programming problems in which the relations among the variables are linear: the con straint relations (i.e. the restrictions) must be in linear form and the function to be optimized (i.e. the objective function) must be a ratio of two linear functions.

This volume is a collection of contributions to the subject of multicriteria decision making and differential games, all of which are based wholly or in part on papers that have appeared in the Journal of Optimization Theory and Applications. The authors take this opportunity to revise, update, or enlarge upon their earlier publications. The theory of multicriteria decision making and differential games is concerned with situations in which a single decision maker is faced with a multiplicity of usually incompatible criteria, performance indices or payoffs, or in which a number of decision makers, or players, must take into account criteria each of which depends on the decisions of all the decision makers. The first six chapters are devoted to situations involving a single decision maker, or a number of decision makers in complete collaboration and thus being in effect a single decision maker. Chapters I -IV treat various topics in the theory of domination structures and nondominated decisions. Chapter V presents a discussion of efficient, or Pareto-optimal, decisions. The approach to multicriteria decision making via preference relations is explored in Chapter VI. When there is more than one decision maker, cooperation, as well as noncooperation, is possible. Chapters VII and VIII deal with the topic of coalitions in a dynamic setting, while Chapters IX and X address the situation of two unequal decision makers, a leader and a follower.

Welcome to ANALYZE, designed to provide computer assistance for analyzing linear programs and their solutions. Chapter 1 gives an overview of ANALYZE and how to install it. It also describes how to get started and how to obtain further documentation and help on-line. Chapter 2 reviews the forms of linear programming models and describes the syntax of a model. One of the routine, but important, functions of ANALYZE is to enable convenient access to rows and columns in the matrix by conditional delineation. Chapter 3 illustrates simple queries, like DISPLAY, LIST, and PICTURE. This chapter also introduces the SUBMAT command level to define any submatrix by an arbitrary sequence of additions, deletions and reversals. Syntactic explanations and a schema view are also illustrated. Chapter 4 goes through some elementary exercises to demonstrate computer assisted analysis and introduce additional conventions of the ANALYZE language. Besides simple queries, it demonstrates the INTERPRT command, which automates the analysis process and gives English explanations of results. The last 2 exercises are diagnoses of elementary infeasible instances of a particular model. Chapter 5 progresses to some advanced uses of ANALYZE. The first is blocking to obtain macro views of the model and for finding embedded substructures, like a netform. The second is showing rates of substitution described by the basic equations. Then, the use of the REDUCE and BASIS commands are illustrated for a variety of applications, including solution analysis, infeasibility diagnosis, and redundancy detection.

Sensitivity analysis and optimal shape design are key issues in engineering that have been affected by advances in numerical tools currently available. This book, and its supplementary online files, presents basic optimization techniques that can be used to compute the sensitivity of a given design to local change, or to improve its performance by local optimization of these data. The relevance and scope of these techniques have improved dramatically in recent years because of progress in discretization strategies, optimization algorithms, automatic differentiation, software availability, and the power of personal computers. Numerical Methods in Sensitivity Analysis and Shape Optimization will be of interest to graduate students involved in mathematical modeling and simulation, as well as engineers and researchers in applied mathematics looking for an up-to-date introduction to optimization techniques, sensitivity analysis, and optimal design.

Many decision problems in Operations Research are defined on temporal networks, that is, workflows of time-consuming tasks whose processing order is constrained by precedence relations. For example, temporal networks are used to model projects, computer applications, digital circuits and production processes. Optimization problems arise in temporal networks when a decision maker wishes to determine a temporal arrangement of the tasks and/or a resource assignment that optimizes some network characteristic (e.g. the time required to complete all tasks). The parameters of these optimization problems (e.g. the task durations) are typically unknown at the time the decision problem arises. This monograph investigates solution techniques for optimization problems in temporal networks that explicitly account for this parameter uncertainty. We study several formulations, each of which requires different information about the uncertain problem parameters.

When analyzing systems with a large number of parameters, the dimen sion of the original system may present insurmountable difficulties for the analysis. It may then be convenient to reformulate the original system in terms of substantially fewer aggregated variables, or macrovariables. In other words, an original system with an n-dimensional vector of states is reformulated as a system with a vector of dimension much less than n. The aggregated variables are either readily defined and processed, or the aggregated system may be considered as an approximate model for the orig inal system. In the latter case, the operation of the original system can be exhaustively analyzed within the framework of the aggregated model, and one faces the problems of defining the rules for introducing macrovariables, specifying loss of information and accuracy, recovering original variables from aggregates, etc. We consider also in detail the so-called iterative aggregation approach. It constructs an iterative process, at. every step of which a macroproblem is solved that is simpler than the original problem because of its lower dimension. Aggregation weights are then updated, and the procedure passes to the next step. Macrovariables are commonly used in coordinating problems of hierarchical optimization."

Discrete optimization problems are everywhere, from traditional operations research planning problems, such as scheduling, facility location, and network design; to computer science problems in databases; to advertising issues in viral marketing. Yet most such problems are NP-hard. Thus unless P = NP, there are no efficient algorithms to find optimal solutions to such problems. This book shows how to design approximation algorithms: efficient algorithms that find provably near-optimal solutions. The book is organized around central algorithmic techniques for designing approximation algorithms, including greedy and local search algorithms, dynamic programming, linear and semidefinite programming, and randomization. Each chapter in the first part of the book is devoted to a single algorithmic technique, which is then applied to several different problems. The second part revisits the techniques but offers more sophisticated treatments of them. The book also covers methods for proving that optimization problems are hard to approximate. Designed as a textbook for graduate-level algorithms courses, the book will also serve as a reference for researchers interested in the heuristic solution of discrete optimization problems.

With the advent of approximation algorithms for NP-hard combinatorial optimization problems, several techniques from exact optimization such as the primal-dual method have proven their staying power and versatility. This book describes a simple and powerful method that is iterative in essence, and similarly useful in a variety of settings for exact and approximate optimization. The authors highlight the commonality and uses of this method to prove a variety of classical polyhedral results on matchings, trees, matroids, and flows. The presentation style is elementary enough to be accessible to anyone with exposure to basic linear algebra and graph theory, making the book suitable for introductory courses in combinatorial optimization at the upper undergraduate and beginning graduate levels. Discussions of advanced applications illustrate their potential for future application in research in approximation algorithms.

Nonsmooth energy functions govern phenomena which occur frequently in nature and in all areas of life. They constitute a fascinating subject in mathematics and permit the rational understanding of yet unsolved or partially solved questions in mechanics, engineering and economics. This is the first book to provide a complete and rigorous presentation of the quasidifferentiability approach to nonconvex, possibly nonsmooth, energy functions, of the derivation and study of the corresponding variational expressions in mechanics, engineering and economics, and of their numerical treatment. The new variational formulations derived are illustrated by many interesting numerical problems. The techniques presented will permit the reader to check any solution obtained by other heuristic techniques for nonconvex, nonsmooth energy problems. A civil, mechanical or aeronautical engineer can find in the book the only existing mathematically sound technique for the formulation and study of nonconvex, nonsmooth energy problems. Audience: The book will be of interest to pure and applied mathematicians, physicists, researchers in mechanics, civil, mechanical and aeronautical engineers, structural analysts and software developers. It is also suitable for graduate courses in nonlinear mechanics, nonsmooth analysis, applied optimization, control, calculus of variations and computational mechanics.

4th Party Cyber Logistics For Air Cargo is a technical discussion for researchers and practitioners to understand the issues, models, and future directions of air cargo logistics in the cyber era. This book introduces the many aspects of planning and control of air cargo logistics processes in an e-Business environment. The authors approach this subject matter from the perspective of the logistics service providers. There is tremendous potential of achieving industry-wide collaboration between agents of the air cargo industry via an e-Business community platform. At the same time, there are many intellectually challenging problems regarding the architecture, ownership, decision support environment, and knowledge management of such an e-Business platform.
The authors provide an evolutionary view to conceptualize the developments of websites where e-Commerce activities and e-Business activities co-exist. Four Web eras are detailed, providing an impetus for the development of frameworks of an e-Business platform for air cargo logistics, or e-Platform. The conceptual framework captures the new elements in cyber logistics and what the framework can do for the industry.

Optimization problems in practice are diverse and evolve over time, giving rise to - quirements both for ready-to-use optimization software packages and for optimization software libraries, which provide more or less adaptable building blocks for app- cation-specific software systems. In order to apply optimization methods to a new type of problem, corresponding models and algorithms have to be "coded" so that they are accessible to a computer. One way to achieve this step is the use of a mod- ing language. Such modeling systems provide an excellent interface between models and solvers, but only for a limited range of model types (in some cases, for example, linear) due, in part, to limitations imposed by the solvers. Furthermore, while m- eling systems especially for heuristic search are an active research topic, it is still an open question as to whether such an approach may be generally successful. Modeling languages treat the solvers as a "black box" with numerous controls. Due to variations, for example, with respect to the pursued objective or specific problem properties, - dressing real-world problems often requires special purpose methods. Thus, we are faced with the difficulty of efficiently adapting and applying appropriate methods to these problems. Optimization software libraries are intended to make it relatively easy and cost effective to incorporate advanced planning methods in application-specific software systems. A general classification provides a distinction between callable packages, nume- cal libraries, and component libraries.

Evolutionary computation techniques have attracted increasing att- tions in recent years for solving complex optimization problems. They are more robust than traditional methods based on formal logics or mathematical programming for many real world OR/MS problems. E- lutionary computation techniques can deal with complex optimization problems better than traditional optimization techniques. However, most papers on the application of evolutionary computation techniques to Operations Research /Management Science (OR/MS) problems have scattered around in different journals and conference proceedings. They also tend to focus on a very special and narrow topic. It is the right time that an archival book series publishes a special volume which - cludes critical reviews of the state-of-art of those evolutionary com- tation techniques which have been found particularly useful for OR/MS problems, and a collection of papers which represent the latest devel- ment in tackling various OR/MS problems by evolutionary computation techniques. This special volume of the book series on Evolutionary - timization aims at filling in this gap in the current literature. The special volume consists of invited papers written by leading - searchers in the field. All papers were peer reviewed by at least two recognised reviewers. The book covers the foundation as well as the practical side of evolutionary optimization.

This book deals with nonsmooth structures arising within the optimization setting. It considers four optimization problems, namely, mathematical programs with complementarity constraints, general semi-infinite programming problems, mathematical programs with vanishing constraints and bilevel optimization. The author uses the topological approach and topological invariants of corresponding feasible sets are investigated. Moreover, the critical point theory in the sense of Morse is presented and parametric and stability issues are considered. The material progresses systematically and establishes a comprehensive theory for a rather broad class of optimization problems tailored to their particular type of nonsmoothness. Topological Aspects of Nonsmooth Optimization will benefit researchers and graduate students in applied mathematics, especially those working in optimization theory, nonsmooth analysis, algebraic topology and singularity theory.

On March 15, 2002 we held a workshop on network interdiction and the more general problem of stochastic mixed integer programming at the University of California, Davis. Jesus De Loera and I co-chaired the event, which included presentations of on-going research and discussion. At the workshop, we decided to produce a volume of timely work on the topics. This volume is the result. Each chapter represents state-of-the-art research and all of them were refereed by leading investigators in the respective fields. Problems - sociated with protecting and attacking computer, transportation, and social networks gain importance as the world becomes more dep- dent on interconnected systems. Optimization models that address the stochastic nature of these problems are an important part of the research agenda. This work relies on recent efforts to provide methods for - dressing stochastic mixed integer programs. The book is organized with interdiction papers first and the stochastic programming papers in the second part. A nice overview of the papers is provided in the Foreward written by Roger Wets.

Potential Function Methods For Approximately Solving Linear Programming Problems breaks new ground in linear programming theory. The book draws on the research developments in three broad areas: linear and integer programming, numerical analysis, and the computational architectures which enable speedy, high-level algorithm design. During the last ten years, a new body of research within the field of optimization research has emerged, which seeks to develop good approximation algorithms for classes of linear programming problems. This work both has roots in fundamental areas of mathematical programming and is also framed in the context of the modern theory of algorithms. The result of this work, in which Daniel Bienstock has been very much involved, has been a family of algorithms with solid theoretical foundations and with growing experimental success. This book will examine these algorithms, starting with some of the very earliest examples, and through the latest theoretical and computational developments.

Modeling by Object-Driven Linear Elemental Relations (MODLER) is a computer language for representing linear programming models, completely separate from instances defined by data realizations. It also includes representations of binary variables and logical constraints, which arise naturally in large-scale planning and operational decision support. The basic input to MODLER is a model file, and its basic output is a matrix file that is in a standard (MPS) format for most optimizers and for ANALYZE and RANDMOD. MODLER can also generate a syntax file for ANALYZE to enable automatic translation of activities and constraints into English for intelligent analysis support. The book is accompanied by a DOS version of MODLER on 3.5 inch diskettes and A Laboratory Manual for Teaching Linear Programming is available upon request.

In the spectrum of mathematics, graph theory which studies a mathe matical structure on a set of elements with a binary relation, as a recognized discipline, is a relative newcomer. In recent three decades the exciting and rapidly growing area of the subject abounds with new mathematical devel opments and significant applications to real-world problems. More and more colleges and universities have made it a required course for the senior or the beginning postgraduate students who are majoring in mathematics, computer science, electronics, scientific management and others. This book provides an introduction to graph theory for these students. The richness of theory and the wideness of applications make it impossi ble to include all topics in graph theory in a textbook for one semester. All materials presented in this book, however, I believe, are the most classical, fundamental, interesting and important. The method we deal with the mate rials is to particularly lay stress on digraphs, regarding undirected graphs as their special cases. My own experience from teaching out of the subject more than ten years at University of Science and Technology of China (USTC) shows that this treatment makes hardly the course di: fficult, but much more accords with the essence and the development trend of the subject."

At first sight discrete and fractional programming techniques appear to be two com pletely unrelated fields in operations research. We will show how techniques in both fields can be applied separately and in a combined form to particular models in location analysis. Location analysis deals with the problem of deciding where to locate facilities, con sidering the clients to be served, in such a way that a certain criterion is optimized. The term "facilities" immediately suggests factories, warehouses, schools, etc., while the term "clients" refers to depots, retail units, students, etc. Three basic classes can be identified in location analysis: continuous location, network location and dis crete location. The differences between these fields arise from the structure of the set of possible locations for the facilities. Hence, locating facilities in the plane or in another continuous space corresponds to a continuous location model while finding optimal facility locations on the edges or vertices of a network corresponds to a net work location model. Finally, if the possible set of locations is a finite set of points we have a discrete location model. Each of these fields has been actively studied, arousing intense discussion on the advantages and disadvantages of each of them. The usual requirement that every point in the plane or on the network must be a candidate location point, is one of the mostly used arguments "against" continuous and network location models."

This book should be considered as an introduction to a special dass of hierarchical systems of optimal control, where subsystems are described by partial differential equations of various types. Optimization is carried out by means of a two-level scheme, where the center optimizes coordination for the upper level and subsystems find the optimal solutions for independent local problems. The main algorithm is a method of iterative aggregation. The coordinator solves the problern with macrovariables, whose number is less than the number of initial variables. This problern is often very simple. On the lower level, we have the usual optimal control problems of math ematical physics, which are far simpler than the initial statements. Thus, the decomposition (or reduction to problems ofless dimensions) is obtained. The algorithm constructs a sequence of so-called disaggregated solutions that are feasible for the main problern and converge to its optimal solutionunder certain assumptions ( e.g., under strict convexity of the input functions). Thus, we bridge the gap between two disciplines: optimization theory of large-scale systems and mathematical physics. The first motivation was a special model of branch planning, where the final product obeys a preset assortment relation. The ratio coefficient is maximized. Constraints are given in the form of linear inequalities with block diagonal structure of the part of a matrix that corresponds to subsystems. The central coordinator assem bles the final production from the components produced by the subsystems."

This book shows how the Bayesian Approach (BA) improves well known heuristics by randomizing and optimizing their parameters. That is the Bayesian Heuristic Approach (BHA). The ten in-depth examples are designed to teach Operations Research using Internet. Each example is a simple representation of some impor tant family of real-life problems. The accompanying software can be run by remote Internet users. The supporting web-sites include software for Java, C++, and other lan guages. A theoretical setting is described in which one can discuss a Bayesian adaptive choice of heuristics for discrete and global optimization prob lems. The techniques are evaluated in the spirit of the average rather than the worst case analysis. In this context, "heuristics" are understood to be an expert opinion defining how to solve a family of problems of dis crete or global optimization. The term "Bayesian Heuristic Approach" means that one defines a set of heuristics and fixes some prior distribu tion on the results obtained. By applying BHA one is looking for the heuristic that reduces the average deviation from the global optimum. The theoretical discussions serve as an introduction to examples that are the main part of the book. All the examples are interconnected. Dif ferent examples illustrate different points of the general subject. How ever, one can consider each example separately, too."

7 69 6 A DESIGN APPROACH TO PROBLEM DIFFICULTY 71 1 Design and Problem Difficulty 71 2 Three Misconceptions 72 3 Hard Problems Exist 76 4 The 3-Way Decomposition and Its Core 77 The Core of Intra-BB Difficulty: Deception 5 77 6 The Core of Inter-BB Difficulty: Scaling 83 7 The Core of Extra-BB Difficulty: Noise 88 Crosstalk: All Roads Lead to the Core 8 89 9 From Multimodality to Hierarchy 93 10 Summary 100 7 ENSURING BUILDING BLOCK SUPPLY 101 1 Past Work 101 2 Facetwise Supply Model I: One BB 102 Facetwise Supply Model II: Partition Success 103 3 4 Population Size for BB Supply 104 Summary 5 106 8 ENSURING BUILDING BLOCK GROWTH 109 1 The Schema Theorem: BB Growth Bound 109 2 Schema Growth Somewhat More Generally 111 3 Designing for BB Market Share Growth 112 4 Selection Press ure for Early Success 114 5 Designing for Late in the Day 116 The Schema Theorem Works 6 118 A Demonstration of Selection Stall 7 119 Summary 122 8 9 MAKING TIME FOR BUILDING BLOCKS 125 1 Analysis of Selection Alone: Takeover Time 126 2 Drift: When Selection Chooses for No Reason 129 3 Convergence Times with Multiple BBs 132 4 A Time-Scales Derivation of Critical Locus 142 5 A Little Model of Noise-Induced Run Elongation 143 6 From Alleles to Building Blocks 147 7 Summary 148 10 DECIDING WELL 151 1 Why is Decision Making a Problem? 151

Computer-based mathematical modeling - the technique of representing and managing models in machine-readable form - is still in its infancy despite the many powerful mathematical software packages already available which can solve astonishingly complex and large models. On the one hand, using mathematical and logical notation, we can formulate models which cannot be solved by any computer in reasonable time - or which cannot even be solved by any method. On the other hand, we can solve certain classes of much larger models than we can practically handle and manipulate without heavy programming. This is especially true in operations research where it is common to solve models with many thousands of variables. Even today, there are no general modeling tools that accompany the whole modeling process from start to finish, that is to say, from model creation to report writing. This book proposes a framework for computer-based modeling. More precisely, it puts forward a modeling language as a kernel representation for mathematical models. It presents a general specification for modeling tools. The book does not expose any solution methods or algorithms which may be useful in solving models, neither is it a treatise on how to build them. No help is intended here for the modeler by giving practical modeling exercises, although several models will be presented in order to illustrate the framework. Nevertheless, a short introduction to the modeling process is given in order to expound the necessary background for the proposed modeling framework.

This special volume is dedicated to Boris M. Mordukhovich, on the occasion of his 60th birthday, and aims to celebrate his fundamental contributionsto variational analysis, generalizeddifferentiationand their applications.A main exampleof these contributions is Boris' recent opus magnus "Variational Analysis and Generalized Differentiation"(vols. I and II) [2,3]. A detailed explanationand careful description of Boris' research and achievements can be found in [1]. Boris' active work and jovial attitude have constantly inspired researchers of several generations, with whom he has generously shared his knowledgeand ent- siasm, along with his well-known warmth and human touch. Variationalanalysis is a rapidlygrowing?eld within pure and applied mathem- ics, with numerous applications to optimization, control theory, economics, en- neering, and other disciplines. Each of the 12 chapters of this volume is a carefully reviewed paper in the ?eld of variational analysis and related topics. Many chapters of this volume were presented at the International Symposium on Variational Analysis and Optimization (ISVAO), held in the Department of Applied Mathematics, National Sun Yat-sen University, Kaohsiung, Taiwan, from November 28 to November 30, 2008. The symposium was organized in honour of Boris' 60thbirthday.It broughttogetherBorisandotherresearchersto discusssta- of-the-art results in variational analysis and its applications, with emphasis on op- mization and control. We thank the organizers and participants of the symposium, who made the symposium a highly bene?cial and enjoyable event. We are also grateful to all the authors of this special volume, who have taken the opportunityto celebrate Boris' birthdayand his decadesof contributionsto the area.