Evaluation and Incremental Determination of Almost Optimal Allocations of Resources

The problem of allocating resources to activities with strictly concave return functions is considered; the objective function to be maximized is the sum of the returns from each activity. It is demonstrated that any set of feasible allocations can be used to obtain an explicit upper bound of the optimal value of this function. The upper bound is used to check that a numerically fast incremental procedure produces almost optimal allocations. A conservative solution of the allocation problem is generated by successively incrementing allocations with the greatest marginal returns; practical allocations are obtained from the conservative allocations by a method resulting in a reduction of the number of nonzero allocations and a simultaneous increase of the value of the objective function.     

A Network Optimization Model for Budget Planning in Multi-Objective Hierarchical Systems

This paper presents a planning/budgeting scheme for hierarchical systems. A multi-objective network optimization model for multilayer budget allocation is suggested. The network presents the hierarchical structure of the system. The budget allocations are the flows in the network. Each component in the system (arc in the network) has lower and upper bounds. The model maximizes the additive utility function of the system, expressed as a weighted summation over the preferences of the system's components in the various levels. The preferences are evaluated by using a multigoal approach, utilizing the Analytical Hierarchy Process (AHP). Finally, the model is conceptually compared with other known budgeting procedures and models, such as ZBB, PBBS and cost benefit analyses.     

Linear programming for the 0–1 quadratic knapsack problem

In this paper we consider the quadratic knapsack problem which consists in maximizing a positive quadratic pseudo-Boolean function subject to a linear capacity constraint. We propose a new method for computing an upper bound. This method is based on the solution of a continuous linear program constructed by adding to a classical linearization of the problem some constraints rebundant in 0–1 variables but nonredundant in continuous variables. The obtained upper bound is better than the bounds given by other known methods. We also propose an algorithm for computing a good feasible solution. This algorithm is an elaboration of the heuristic methods proposed by Chaillou, Hansen and Mahieu and by Gallo, Hammer and Simeone. The relative error between this feasible solution and the optimum solution is generally less than 1%. We show how these upper and lower bounds can be efficiently used to determine the values of some variables at the optimum. Finally we propose a branch-and-bound algorithm for solving the quadratic knapsack problem and report extensive computational tests.     

Accelerated monotone iterative methods for finite difference equations of reaction-diffusion

This paper is concerned with numerical methods for a finite difference system of reaction-diffusion-convection equation under nonlinear boundary condition. Various monotone iterative methods are presented, and each of these methods leads to an existence-comparison theorem as well as a computational algorithm for numerical solutions. The monotone property of the iterations gives improved upper and lower bounds of the solution in each iteration, and the rate of convergence of the iterations is either quadratic or nearly quadratic depending on the property of the nonlinear function. Application is given to a model problem from chemical engineering, and some numerical results, including a test problem with known analytical solution, are presented to illustrate the various rates of convergence of the iterations. Received November 2, 1995 / Revised version received February 10, 1997     

The efficient frontier for bounded assets

This paper develops a closed form solution of the mean-variance portfolio selection problem for uncorrelated and bounded assets when an additional technical assumption is satisfied. Although the assumption of uncorrelated assets is unduly restrictive, the explicit determination of the efficient asset holdings in the presence of bound constraints gives insight into the nature of the efficient frontier. The mean-variance portfolio selection problem considered here deals with the budget constraint and lower bounds or the budget constraint and upper bounds. For the mean-variance portfolio selection problem dealing with lower bounds the closed form solution is derived for two cases: a universe of only risky assets and a universe of risky assets plus an additional asset which is risk free. For the mean-variance portfolio selection problem dealing with upper bounds, the results presented are for a universe consisting only of risky assets. In each case, the order in which the assets are driven to their bounds depends on the ordering of their expected returns.     

A parallel algorithm for constrained concave quadratic global minimization

The global minimization of large-scale concave quadratic problems over a bounded polyhedral set using a parallel branch and bound approach is considered. The objective function consists of both a concave part (nonlinear variables) and a strictly linear part, which are coupled by the linear constraints. These large-scale problems are characterized by having the number of linear variables much greater than the number of nonlinear variables. A linear underestimating function to the concave part of the objective is easily constructed and minimized over the feasible domain to get both upper and lower bounds on the global minimum function value. At each minor iteration of the algorithm, the feasible domain is divided into subregions and linear underestimating problems over each subregion are solved in parallel. Branch and bound techniques can then be used to eliminate parts of the feasible domain from consideration and improve the upper and lower bounds. It is shown that the algorithm guarantees that a solution is obtained to within any specified tolerance in a finite number of steps. Computational results are presented for problems with 25 and 50 nonlinear variables and up to 400 linear variables. These results were obtained on a four processor CRAY2 using both sequential and parallel implementations of the algorithm. The average parallel solution time was approximately 15 seconds for problems with 400 linear variables and a relative tolerance of 0.001. For a relative tolerance of 0.1, the average computation time appears to increase only linearly with the number of linear variables.     

二次比式和问题的加速分枝定界算法

本文给出非凸二次约束上二次比式和问题(P)的一个新的加速分枝定界算法.该算法利用线性化技术建立了问题(P)的松弛线性规划问题(RLP),通过对其可行域的细分和求解一系列线性规划问题,不断更新(P)的全局最优值的上下界.为了提高收敛速度,从最优性和可行性两方面,提出了新的删除技术,理论上证明该算法是收敛的,数值试验表明了算法的有效性和可行性.     

求不定二次规划全局解的一个新算法

本文提出了一个求不定二次规划问题全局最优解的新算法.首先,给出了三种计算下界的方法:线性逼近法、凸松弛法和拉格朗日松弛法;并且证明了拉格朗日对偶界与通过凸松弛得到的下界是相等的;然后建立了基于拉格朗日对偶界和矩形两分法的分枝定界算法,并给出了初步的数值试验结果.     

Global optimization of fractional programs

Dinkelbach's global optimization approach for finding the global maximum of the fractional programming problem is discussed. Based on this idea, a modified algorithm is presented which provides both upper and lower bounds at each iteration. The convergence of the lower and upper bounds to the global maximum function value is shown to be superlinear. In addition, the special case of fractional programming when the ratio involves only linear or quadratic terms is considered. In this case, the algorithm is guaranteed to find the global maximum to within any specified tolerance, regardless of the definiteness of the quadratic form.     

A Network Optimization Model for Budget Allocation in a Multi-Campus University

A network flow model is used for budget allocation in a multi-campus institution over several years. The network had a hierarchical structure with three hierarchies. The network's lower bounds represent the minimal requirements for each component. The upper bounds represent the predicted future requirement. They are predicted via a cost simulation model where several volume indices, policy variables and some environmental factors are used. Thus the overall planning process combines simulation with optimization.The model maximizes the additive utility function of the institution, expressed as a weighted summation over the preferences of the three hierarchies. The preferences are evaluated by using a multi-goal approach, utilizing pairwise comparisons and the eigenvalue prioritization technique developed by T. Saaty.     

The equal flow problem

This paper presents a new algorithm for the solution of a network problem with equal flow side constraints. The solution technique is motivated by the desire to exploit the special structure of the side constraints and to maintain as much of the characteristics of pure network problems as possible. The proposed algorithm makes use of Lagrangean relaxation to obtain a lower bound and decomposition by right-hand-side allocation to obtain upper bounds. The lagrangean dual serves not only to provide a lower bound used to assist in termination criteria for the upper bound, but also allows an initial allocation of equal flows for the upper bound. The algorithm has been tested on problems with up to 1500 nodes and 6000 arcs. Computational experience indicates that solutions whose objective function value is well within 1% of the optimum can be obtained in 1%–65% of the MPSX time depending on the amount of imbalance inherent in the problem. Incumbent integer solutions which are within 99.99% feasible and well within 1% of the proven lower bound are obtained in a straightforward manner requiring, on the average, 30% of the MPSX time required to obtain a linear optimum.     

A Hierarchical Goal-Programming Approach to Reverse Resource Allocation in Institutions of Higher Learning

As universities react to severe financial pressures, there is a danger that too much emphasis will be placed on ‘balancing the budget’ at the expense of the academic goals of the institution. Therefore, the overall objective of this paper is to design and implement a model for reducing the operating budgets of the academic units of a university, while reflecting the diverse goals of the academic community. It recognizes that faculty, department chairmen and deans should share the responsibility of ‘reverse’ resource allocations or budget reductions. The model utilizes a goal-programming approach to reflect the multiple-phased model to allow for some degree of decentralization of decision making.The model is applied to a small private university. The solution to the model reveals the distribution of budget reductions among the schools and within the departments. A survey of potential users reveals a definite preference for the model results over the actual budget procedure.     

Ellipsoids that contain all the solutions of a positive semi-definite linear complementarity problem

This paper deals with the LCP (linear complementarity problem) with a positive semi-definite matrix. Assuming that a strictly positive feasible solution of the LCP is available, we propose ellipsoids each of which contains all the solutions of the LCP. We use such an ellipsoid for computing a lower bound and an upper bound for each coordinate of the solutions of the LCP. We can apply the lower bound to test whether a given variable is positive over the solution set of the LCP. That is, if the lower bound is positive, we know that the variable is positive over the solution set of the LCP; hence, by the complementarity condition, its complement is zero. In this case we can eliminate the variable and its complement from the LCP. We also show how we efficiently combine the ellipsoid method for computing bounds for the solution set with the path-following algorithm proposed by the authors for the LCP. If the LCP has a unique non-degenerate solution, the lower bound and the upper bound for the solution, computed at each iteration of the path-following algorithm, both converge to the solution of the LCP.Supported by Grant-in-Aids for General Scientific Research (63490010) of The Ministry of Education, Science and Culture.Supported by Grant-in-Aids for Young Scientists (63730014) and for General Scientific Research (63490010) of The Ministry of Education, Science and Culture.     

Material allocation in MRP with tardiness penalties

In this paper, we address some flaws in the material allocation function of Materials Requirements Planning (MRP). The problem formulation differs from standard MRP logic in certain important ways: start and finish times for orders are forced to be realistic and material allocations are made to minimize the total tardiness penalty associated with late completion. We show that the resulting MRP material allocation problem is NP-hard in the strong sense. A lower bound and a heuristic are developed from a mixed integer linear formulation and its Lagrangean relaxation. The lower bound and the heuristics are closer to the optimum in cases where there is either abundant material or considerable competition for material; in intermediate cases, small perturbations in material allocation can have a significant effect. A group of heuristics based on the MRP approach and its modifications is examined; they are optimal under certain conditions. An improvement method that preserves priorities inherent in any given starting solution is also presented. The Lagrangean heuristic performs better than the MRP based heuristics for a set of 3900 small problems, yielding solutions that are about 5% to 10% over the optimal. The best MRP based heuristic does about as well as the Lagrangean heuristic on a set of 120 larger problems, and is 25% to 40% better than the standard MRP approach, on the data sets tested.     

Upper and Lower Bounds for the Lengths of Steiner Trees in 3-Space

We present a method of determining upper and lower bounds for the length of a Steiner minimal tree in 3-space whose topology is a given full Steiner topology, or a degenerate form of that full Steiner topology. The bounds are tight, in the sense that they are exactly satisfied for some configurations. This represents the first nontrivial lower bound to appear in the literature. The bounds are developed by first studying properties of Simpson lines in both two and three dimensional space, and then introducing a class of easily constructed trees, called midpoint trees, which provide the upper and lower bounds. These bounds can be constructed in quadratic time. Finally, we discuss strategies for improving the lower bound.Supported by a grant from the Australia Research Council.     

Compromise allocation in multivariate stratified sample surveys under two stage randomized response model

A general model for the randomized response (RR) method was introduced by Warner (J. Am. Stat. Assoc. 60:63–69, 1965) when a single-sensitive question is under study. However, since social surveys are often based on questionnaires containing more than one sensitive question, the analysis of multiple RR data is of considerable interest. In multivariate stratified surveys with multiple RR data the choice of optimum sample sizes from various strata may be viewed as a multiobjective nonlinear programming problem. The allocation thus obtained may be called a “compromise allocation” in sampling literature. This paper deals with the two-stage stratified Warner’s RR model applied to multiple sensitive questions. The problems of obtaining compromise allocations are formulated as multi-objective integer non linear programming problems with linear and quadratic cost functions as two separate problems. The solution to the formulated problems are achieved through goal programming technique. Numerical examples are presented to illustrate the computational details.     

The quadratic knapsack problem—a survey

The binary quadratic knapsack problem maximizes a quadratic objective function subject to a linear capacity constraint. Due to its simple structure and challenging difficulty it has been studied intensively during the last two decades. The present paper gives a survey of upper bounds presented in the literature, and show the relative tightness of several of the bounds. Techniques for deriving the bounds include relaxation from upper planes, linearization, reformulation, Lagrangian relaxation, Lagrangian decomposition, and semidefinite programming. A short overview of heuristics, reduction techniques, branch-and-bound algorithms and approximation results is given, followed by an overview of valid inequalities for the quadratic knapsack polytope. The paper is concluded by an experimental study where the upper bounds presented are compared with respect to strength and computational effort.     

A modified accelerated monotone iterative method for finite difference reaction-diffusion-convection equations

This paper is concerned with monotone algorithms for the finite difference solutions of a class of nonlinear reaction-diffusion-convection equations with nonlinear boundary conditions. A modified accelerated monotone iterative method is presented to solve the finite difference systems for both the time-dependent problem and its corresponding steady-state problem. This method leads to a simple and yet efficient linear iterative algorithm. It yields two sequences of iterations that converge monotonically from above and below, respectively, to a unique solution of the system. The monotone property of the iterations gives concurrently improving upper and lower bounds for the solution. It is shown that the rate of convergence for the sum of the two sequences is quadratic. Under an additional requirement, quadratic convergence is attained for one of these two sequences. In contrast with the existing accelerated monotone iterative methods, our new method avoids computing local maxima in the construction of these sequences. An application using a model problem gives numerical results that illustrate the effectiveness of the proposed method.     

Optimal allocation and backup of computer resources under asymmetric information and incentive incompatibility

This paper presents the optimal allocation and backup of computing resources in a multidivisional firm in the presence of asymmetric information and incentive incompatibility. A game-theoretic model is developed and transformed to a linear programming problem. The solution to this linear programming problem enables the corporate headquarters to design a resource allocation scheme such that the revelation principle prevails and all divisions tell the truth. To cope with the combinatorial explosion of complexity caused by the resource constraint, a greedy-type algorithm and an averaged version of the original linear programming problem are developed to provide the upper and lower bounds. The greedy-type algorithm generates exact solutions for a wide range of instances. The lower bounds coincide with the exact solutions for the cases where the computer resource is either scarce or abundant. The averaged-version resource allocation model with slight modifications solves the optimal computer backup capacity problem. It determines how much back up capacity the firm should purchase when the firm's computer breaks down.