arXiv subjects

Justo Puerto

Publications and source records attributed to Justo Puerto.

66 records · Page 4Linked to original sources

arXiv2014

Algorithms and dimensionality reductions for continuous multifacility ordered median location problems

In this paper we propose a general methodology for solving a broad class of continuous, multifacility location problems, in any dimension and with $\ell_τ$-norms proposing two different methodologies: 1) by a new second order cone mixed integer programming formulation and 2) by formulating a sequence of semidefinite programs that converges to the solution of the problem; each of these relaxed problems solvable with SDP solvers in polynomial time. We apply dimensionality reductions of the problems by sparsity and symmetry in order to be able to solve larger problems.

math.OC↗

arXiv2014

Continuous Location under Refraction

In this paper we address the problem of locating a new facility on a $d$-dimensional space when the distance measure ($\ell_p$- or polyhedral-norms) is different at each one of the sides of a given hyperplane $\mathcal{H}$. We relate this problem with the physical phenomenon of refraction, and extends it to any finite dimension space and different distances at each one of the sides of any hyperplane. An application to this problem is the location of a facility within or outside an urban area where different distance measures must be used. We provide a new second order cone programming formulation, based on the $\ell_p$-norm representation given in \cite{BPE2014} that allows to solve, exactly, the problem in any finite dimension space with semidefinite programming tools. We also extend the problem to the case where the hyperplane is considered as a rapid transit media (a different third norm is also considered over $\mathcal{H}$) that allows the demand to travel faster through $\mathcal{H}$ to reach the new facility. Extensive computational experiments run in Gurobi are reported in order to show the effectiveness of the approach.

math.OC↗

arXiv2013

Revisiting several problems and algorithms in continuous location with $\ell_p$ norms

This paper addresses the general continuous single facility location problems in finite dimension spaces under possibly different $\ell_p$ norms in the demand points. We analyze the difficulty of this family of problems and revisit convergence properties of some well-known algorithms. The ultimate goal is to provide a common approach to solve the family of continuous $\ell_p$ ordered median location problems in dimension $d$ (including of course the $\ell_p$ minisum or Fermat-Weber location problem for any $p\ge 1$). We prove that this approach has a polynomial worse case complexity for monotone lambda weights and can be also applied to constrained and even non-convex problems.

math.OC↗

arXiv2013

A modeling framework for Ordered Weighted Average Combinatorial Optimization

Multiobjective combinatorial optimization deals with problems considering more than one viewpoint or scenario. The problem of aggregating multiple criteria to obtain a globalizing objective function is of special interest when the number of Pareto solutions becomes considerably large or when a single, meaningful solution is required. Ordered Weighted Average or Ordered Median operators are very useful when preferential information is available and objectives are comparable since they assign importance weights not to specific objectives but to their sorted values. In this paper, Ordered Weighted Average optimization problems are studied from a modeling point of view. Alternative integer programming formulations for such problems are presented and their respective domains studied and compared. In addition, their associated polyhedra are studied and some families of facets and new families of valid inequalities presented. The proposed formulations are particularized for two well-known combinatorial optimization problems, namely, shortest path and minimum cost perfect matching, and the results of computational experiments presented and analyzed. These results indicate that the new formulations reinforced with appropriate constraints can be effective for efficiently solving medium to large size instances.

math.OC↗

arXiv2011

A semidefinite programming approach for solving Multiobjective Linear Programming

Several algorithms are available in the literature for finding the entire set of Pareto-optimal solutions in MultiObjective Linear Programming (MOLP). However, it has not been proposed so far an interior point algorithm that finds all Pareto-optimal solutions of MOLP. We present an explicit construction, based on a transformation of any MOLP into a finite sequence of SemiDefinite Programs (SDP), the solutions of which give the entire set of Pareto-optimal extreme points solutions of MOLP. These SDP problems are solved by interior point methods; thus our approach provides a pseudo-polynomial interior point methodology to find the set of Pareto-optimal solutions of MOLP.

math.OC↗

arXiv2011

Integer Programming and m-irreducibility of numerical semigroups

This paper addresses the problem of decomposing a numerical semigroup into m-irreducible numerical semigroups. The problem originally stated in algebraic terms is translated, introducing the so called Kunz-coordinates, to resolve a series of several discrete optimization problems. First, we prove that finding a minimal m-irreducible decomposition is equivalent to solve a multiobjective linear integer problem. Then, we restate that problem as the problem of finding all the optimal solutions of a finite number of single objective integer linear problems plus a set covering problem. Finally, we prove that there is a suitable transformation that reduces the original problem to find an optimal solution of a compact integer linear problem. This result ensures a polynomial time algorithm for each given multiplicity m. We have implemented the different algorithms and have performed some computational experiments to show the efficiency of our methodology.

math.OC↗

arXiv2011

A Gröbner bases methodology for solving multiobjective polynomial integer programs

Multiobjective discrete programming is a well-known family of optimization problems with a large spectrum of applications. The linear case has been tackled by many authors during the last years. However, the polynomial case has not been deeply studied due to its theoretical and computational difficulties. This paper presents an algebraic approach for solving these problems. We propose a methodology based on transforming the polynomial optimization problem in the problem of solving one or more systems of polynomial equations and we use certain Gröbner bases to solve these systems. Different transformations give different methodologies that are analyzed and compared from a theoretical point of view and by some computational experiments via the algorithms that they induce.

math.OC↗

arXiv2009

Computing the number of numerical semigroups using generating functions

This paper presents a new methodology to count the number of numerical semigroups of given genus or Frobenius number. We apply generating function tools to the bounded polyhedron that classifies the semigroups with given genus (or Frobenius number) and multiplicity. First, we give theoretical results about the polynomial-time complexity of counting the number of these semigroups. We also illustrate the methodology analyzing the cases of multiplicity 3 and 4 where some formulas for the number of numerical semigroups for any genus and Frobenius number are obtained.

math.CO↗

arXiv2009

On the complexity of some fuzzy integer programs

Fuzzy optimization deals with the problem of determining 'optimal'solutions of an optimization problem when some of the elements that appear in the problem are not precise. In real situations it is usual to have information, in systems under consideration, that is not exact. Thisimprecision can be modeled in a fuzzy environment. Zadeh (1965) analyzed systems of logic that permit truth values between zero and one instead of the classical binary true-false logic. In this framework, satisfying a certain condition means to evaluate how close are the elements involved to the complete satisfaction. Then, each element in a 'fuzzy set' is coupled with a value in [0,1] that represents the membership level to the set. In linear programming some or all the elements that describe a problem may be considered fuzzy: objective function, right-hand side vector or constraint matrix, the notion of optimality (ordering over the feasible solutions), the level of satisfaction of the constraints, etc. Moreover, in integer programs, the integrality constraints may be seen as fuzzy constraints. Here, we present new complexity results about linear integer programming where some of its elements are considered fuzzy using previous results on short generating functions for solving multiobjective integer programs.

math.OC↗

arXiv2008

Partial Gröbner bases for multiobjective integer linear optimization

In this paper we present a new methodology for solving multiobjective integer linear programs using tools from algebraic geometry. We introduce the concept of partial Gröbner basis for a family of multiobjective programs where the right-hand side varies. This new structure extends the notion of Gröbner basis for the single objective case, to the case of multiple objectives, i.e., a partial ordering instead of a total ordering over the feasible vectors. The main property of these bases is that the partial reduction of the integer elements in the kernel of the constraint matrix by the different blocks of the basis is zero. It allows us to prove that this new construction is a test family for a family of multiobjective programs. An algorithm 'à la Buchberger' is developed to compute partial Gröbner bases and two different approaches are derived, using this methodology, for computing the entire set of efficient solutions of any multiobjective integer linear problem (MOILP). Some examples illustrate the application of the algorithms and computational experiments are reported on several families of problems.

math.OC↗

arXiv2008

A comparison of formulations and solution methods for the Minimum-Envy Location Problem. Additional results

We consider a discrete facility location problem with a new form of equity criterion. The model discussed in the paper analyzes the case where demand points only have strict preference order on the sites where the plants can be located. The goal is to find the location of the facilities minimizing the total envy felt by the entire set of demand points. We define this new total envy criterion and provide several integer linear programming formulations that reflect and model this approach. Extensive computational tests are reported, showing the potentials and limits of each formulation on several types of instances.

math.OC↗

arXiv2008

Short Rational Generating Functions For Multiobjective Linear Integer Programming

This paper presents algorithms for solving multiobjective integer programming problems. The algorithm uses Barvinok's rational functions of the polytope that defines the feasible region and provides as output the entire set of nondominated solutions for the problem. Theoretical complexity results on the algorithm are provided in the paper. Specifically, we prove that encoding the entire set of nondominated solutions of the problem is polynomially doable, when the dimension of the decision space is fixed. In addition, we provide polynomial delay algorithms for enumerating this set. An implementation of the algorithm shows that it is useful for solving multiobjective integer linear programs.

math.OC↗