We study a dynamically evolving random graph which adds vertices and edges using preferential attachment and deletes vertices randomly. At time t, with probability α1 > 0 we add a new vertex ut and m random edges incident with ut. The neighbours of u t are chosen with probability proportional to degree. With probability α − α1 ≥ 0 we add m random edges to existing vertices where the endpoints are chosen with probability proportional to degree. With probability 1−α−α0 we delete a random vertex, if there are vertices left to delete. With probability α 0 we delete m random edges. Assuming that α + α1 + α0 > 1 and α0 is sufficently small, we show that for large k, t, the expected number of vertices of degree k is approximately d k t where as k → ∞, d k ∼ Ck −1−β where β = 2(α−α 0) 3α−1−α 1 −α 0 and C > 0 is a constant. Note that β can take any value greater than 1.
We study certain linear and semidefinite programming lifting approximation schemes for computing the stability number of a graph. Our work is based on, and refines de Klerk and Pasechnik's approach to approximating the stability number via copositive programming (SIAM J. Optim. 12 (2002), 875-892). We provide a closed-form expression for the values computed by the linear programming approximations. We also show that the exact value of the stability number α(G) is attained by the semidefinite approximation of order α(G) − 1 as long as α(G) ≤ 6. Our results reveal some sharp differences between the linear and the semidefinite approximations. For instance, the value of the linear programming approximation of any order is strictly larger than α(G) whenever α(G) > 1.
Quadratic programming (QP) is a well-studied fundamental NP-hard optimization problem which optimizes a quadratic objective over a set of linear constraints. In this paper, we reformulate QPs as a mixed-integer linear problem (MILP). This is done via the reformulation of QP as a linear complementary problem, and the use of binary variables and big-M constraints, to model the complementary constraints. To obtain such reformulation, we show how to impose bounds on the dual variables without eliminating all the (globally) optimal primal solutions; using some fundamental results on the solution of perturbed linear systems.Reformulating non-convex QPs as MILPs provides an advantageous way to obtain global solutions as it allows the use of current state-of-the-art MILP solvers. To illustrate this, we compare the performance of our solution approach, labeled quadprogIP, with the current benchmark global QP solver quadprogBB, as well as with BARON, one of the leading non-linear programming (NLP) solvers, and CPLEX's non-convex QP solver, on a large variety of QP test instances. In practice, quadprogIP is shown to typically outperform by orders of magnitude quadprogBB, BARON, and CPLEX on standard QPs. For general QPs, quadprogIP outperforms quadprogBB, outperforms BARON in most instances, while CPLEX performs the best on these instances. For box-constrained QPs, quadprogIP has a comparable performance to quadprogBB and BARON in small-to medium-scale instances, but is outperformed by these solvers on large-scale instances; while CPLEX performs the best on box-constrained QP instances. Also, unlike quadprogBB, the solution approach proposed here is able to solve QP instances whose dual feasible set is unbounded. The MATLAB code, called quadprogIP, and the instances used to perform these numerical experiments are publicly available at https://github.com/xiawei918/quadprogIP. * many others).In this paper, we reformulate QPs as a mixed-integer linear problem (MILP). This provides an advantageous way to obtain global solutions as it allows the use of current state-of-the-art MILP solvers. Moreover, the numerical experiments of Section 3 show that a basic implementation of the proposed algorithm, which we refer to as quadprogIP, typically outperform by orders of magnitude quadprogBB, BARON, and CPLEX on standard QPs. For general QPs, quadprogIP outperforms quadprogBB, outperforms BARON in most instances, while CPLEX performs the best on these instances. For box-constrained QPs, quadprogIP has a comparable performance to quadprogBB and BARON in small-to medium-scale instances, but is outperformed by these solvers on large-scale instances; while CPLEX performs the best on boxconstrained QP instances.Unlike quadprogBB, the solution approach proposed here is able to solve QP instances whose dual feasible set is unbounded. The MATLAB code and the instances used to perform these numerical experiments are available at https://github.com/xiawei918/quadprogIP.To obtain the proposed MILP-reformulation (see Sec. 2.1), the QP's KKT conditi...
An interesting recent trend in optimization is the application of semidefinite programming techniques to new classes of optimization problems. In particular, this trend has been successful in showing that under suitable circumstances, polynomial optimization problems can be approximated via a sequence of semidefinite programs. Similar ideas apply to conic optimization over the cone of copositive matrices, and to certain optimization problems involving random variables with some known moment information.We bring together several of these approximation results by studying the approximability of cones of positive semidefinite forms (homogeneous polynomials). Our approach enables us to extend the existing methodology to new approximation schemes. In particular, we derive a novel approximation to the cone of copositive forms, that is, the cone of forms that are positive semidefinite over the non-negative orthant. The format of our construction can be extended to forms that are positive semidefinite over more general conic domains. We also construct polyhedral approximations to cones of positive semidefinite forms over a polyhedral domain. This opens the possibility of using linear programming technology in optimization problems over these cones.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.