Search

We address the minimization of an objective function over the solution set of a (non-parametric) lower-level variational inequality. This problem is a special instance of semi-infinite programs and encompasses, as particular cases, simple (smooth) bilevel and equilibrium selection problems. We resort to a suitable approximated version of the hierarchical problem. We show that this, on the one hand, does not perturb the original (exact) program ‘too much’, on the other hand, allows one to rely on some suitable exact penalty approaches whose convergence properties are established.

In this paper, we introduce an inertial projection-type method with different updating strategies for solving quasi-variational inequalities with strongly monotone and Lipschitz continuous operators in real Hilbert spaces. Under standard assumptions, we establish different strong convergence results for the proposed algorithm. Primary numerical experiments demonstrate the potential applicability of our scheme compared with some related methods in the literature.

Following the research strands of enhanced index tracking and of portfolio performance measures optimization, we propose to choose, among the feasible asset portfolios of a given market, the one that maximizes the geometric mean of the differences between its risk and gain and those of a suitable reference benchmark, such as the market index. This approach, which has a peculiar geometric interpretation and enjoys remarkable features, provides the efficient portfolio that dominates the largest amount of portfolios dominating the reference benchmark index. Preliminary empirical results highlight good out-of-sample performances of our approach compared with those of the market index.

Distributed and parallel algorithms have been frequently investigated in the recent years, in particular in applications like machine learning. Nonetheless, only a small subclass of the optimization algorithms in the literature can be easily distributed, for the presence, e.g., of coupling constraints that make all the variables dependent from each other with respect to the feasible set. Augmented Lagrangian methods are among the most used techniques to get rid of the coupling constraints issue, namely by moving such constraints to the objective function in a structured, well-studied manner. Unfortunately, standard augmented Lagrangian methods need the solution of a nested problem by needing to (at least inexactly) solve a subproblem at each iteration, therefore leading to potential inefficiency of the algorithm. To fill this gap, we propose an augmented Lagrangian method to solve convex problems with linear coupling constraints that can be distributed and requires a single gradient projection step at every iteration. We give a formal convergence proof to at least $$\varepsilon $$-approximate solutions of the problem and a detailed analysis of how the parameters of the algorithm influence the value of the approximating parameter $$\varepsilon $$. Furthermore, we introduce a distributed version of the algorithm allowing to partition the data and perform the distribution of the computation in a parallel fashion.

We present a mixed integer nonlinear mathematical programming model, covering a broad range of operations research (OR)-related topics. The case is designed to allow students to use knowledge acqui...

Urged by the outbreak of the COVID-19 in Italy, this study aims at helping to tackle the spread of the disease by resorting to operations research techniques. In particular, we propose a mathematical program to model the problem of establishing how many diagnostic tests the Italian regions must perform in order to maximize the overall disease detection capability. An important feature of our approach is its simplicity: data we resort to are easy to obtain and one can employ standard optimization tools to address the problem. The results we obtain when applying our method to the Italian case seem promising.

We define and discuss different enumerative methods to compute solutions of generalized Nash equilibrium problems with linear coupling constraints and mixed-integer variables. We propose both branc...

We aim at building a bridge between bilevel programming and generalized Nash equilibrium problems. First, we present two Nash games that turn out to be linked to the (approximated) optimistic version of the bilevel problem. Specifically, on the one hand we establish relations between the equilibrium set of a Nash game and global optima of the (approximated) optimistic bilevel problem. On the other hand, correspondences between equilibria of another Nash game and stationary points of the (approximated) optimistic bilevel problem are obtained. Then, building on these ideas, we also propose different Nash-like models that are related to the (approximated) pessimistic version of the bilevel problem. This analysis, being of independent theoretical interest, leads also to algorithmic developments. Finally, we discuss the intrinsic complexity characterizing both the optimistic bilevel and the Nash game models.

We consider nested variational inequalities consisting in a (upper-level) variational inequality whose feasible set is given by the solution set of another (lower-level) variational inequality. Purely hierarchical convex bilevel optimization problems and certain multi-follower games are particular instances of nested variational inequalities. We present an explicit and ready-to-implement Tikhonov-type solution method for such problems. We give conditions that guarantee the convergence of the proposed method. Moreover, inspired by recent works in the literature, we provide a convergence rate analysis. In particular, for the simple bilevel instance, we are able to obtain enhanced convergence results.

We define the concept of reproducible map and show that, whenever the constraint map defining the quasivariational inequality (QVI) is reproducible then one can characterize the whole solution set of the QVI as a union of solution sets of some variational inequalities (VI). By exploiting this property, we give sufficient conditions to compute any solution of a generalized Nash equilibrium problem (GNEP) by solving a suitable VI. Finally, we define the class of pseudo-Nash equilibrium problems, which are (not necessarily convex) GNEPs whose solutions can be computed by solving suitable Nash equilibrium problems.

Pessimistic bilevel optimization problems, as do optimistic ones, possess a structure involving three interrelated optimization problems. Moreover, their finite infima are only attained under strong conditions. We address these difficulties within a framework of moderate assumptions and a perturbation approach which allows us to approximate such finite infima arbitrarily well by minimal values of a sequence of solvable single-level problems. To this end, as has already been done for optimistic problems, for the first time in the literature we introduce the standard version of the pessimistic bilevel problem. For its algorithmic treatment, we reformulate it as a standard optimistic bilevel program with a two follower Nash game in the lower level. The latter lower-level game, in turn, is replaced by its Karush-Kuhn-Tucker conditions, resulting in a single-level mathematical program with complementarity constraints. We prove that the perturbed pessimistic bilevel problem, its standard version, the two follower game, as well as the mathematical program with complementarity constraints are equivalent with respect to their global minimal points. We study the more intricate connections between their local minimal points in detail. As an illustration, we numerically solve a regulator problem from economics for different values of the perturbation parameters.

Relying on multiobjective programming techniques, we have developed an optimization software to improve the services provided by the social co-operative OMNIA. OMNIA’s mission is to supply home-care assistance to children and people with disabilities. Our method is intended to optimize the social workers’ shift planning aiming at, on the one hand, maximizing the overall quality of the social care services, on the other hand, minimizing costs associated with OMNIA’s activity. In particular, our software provides Pareto optima of the resulting (difficult) bi-objective model by resorting to both a standard a priori weighted-sum approach and a new MINLP no-preference (hypervolume maximization-type) method. The product of this research is successfully employed by OMNIA.

We propose a new formulation of the Karush---Kunt---Tucker conditions of a particular class of quasi-variational inequalities. In order to reformulate the problem we use the Fisher---Burmeister complementarity function and canonical duality theory. We establish the conditions for a critical point of the new formulation to be a solution of the original quasi-variational inequality showing the potentiality of such approach in solving this class of problems. We test the obtained theoretical results with a simple heuristic that is demonstrated on several problems coming from the academy and various engineering applications.

We propose to solve a general quasi-variational inequality by using its Karush–Kuhn–Tucker conditions. To this end we use a globally convergent algorithm based on a potential reduction approach. We establish global convergence results for many interesting instances of quasi-variational inequalities, vastly broadening the class of problems that can be solved with theoretical guarantees. Our numerical testings are very promising and show the practical viability of the approach.

This paper presents an application of Canonical duality theory to the solution of contact problems with Coulomb friction. The contact problem is formulated as a quasi-variational inequality which solution is found by solving its Karush–Kuhn–Tucker system of equations. The complementarity conditions are reformulated by using the Fischer–Burmeister complementarity function, obtaining a non-convex global optimization problem. Then canonical duality theory is applied to reformulate the non-convex global optimization problem and define its optimality conditions, finding a solution of the original quasi-variational inequality. We also propose a methodology for finding the solutions of the new formulation, and report the results on well-known instances from literature.

We present an adaptive system for the automatic assessment of both physical and anthropic fire impact factors on periurban forestries. The aim is to provide an integrated methodology exploiting a complex data structure built upon a multi resolution grid gathering historical land exploitation and meteorological data, records of human habits together with suitably segmented and interpreted high resolution X-SAR images, and several other information sources. The contribution of the model and its novelty rely mainly on the definition of a learning schema lifting different factors and aspects of fire causes, including physical, social and behavioural ones, to the design of a fire susceptibility map, of a specific urban forestry. The outcome is an integrated geospatial database providing an infrastructure that merges cartography, heterogeneous data and complex analysis, in so establishing a digital environment where users and tools are interactively connected in an efficient and flexible way.

We consider the problem of optimization in policy space for reinforcement learning. While a plethora of methods have been applied to this problem, only a narrow category of them proved feasible in robotics. We consider the peculiar characteristics of reinforcement learning in robotics, and devise a combination of two algorithms from the literature of derivative-free optimization. The proposed combination is well suited for robotics, as it involves both off-line learning in simulation and on-line learning in the real environment. We demonstrate our approach on a real-world task, where an Autonomous Underwater Vehicle has to survey a target area under potentially unknown environment conditions. We start from a given controller, which can perform the task under foreseeable conditions, and make it adaptive to the actual environment.