scholarly journals A general branch-and-bound framework for continuous global multiobjective optimization

2021 ◽  
Author(s):  
Gabriele Eichfelder ◽  
Peter Kirst ◽  
Laura Meng ◽  
Oliver Stein
Keyword(s):  
Multiobjective Optimization ◽  
Lower Bounds ◽  
Branch And Bound ◽  
Upper Bounds ◽  
Linearization Technique ◽  
Numerical Examples ◽  
Termination Criteria ◽  
Nondominated Points ◽  
Train Of Thought ◽  
Single Objective

AbstractCurrent generalizations of the central ideas of single-objective branch-and-bound to the multiobjective setting do not seem to follow their train of thought all the way. The present paper complements the various suggestions for generalizations of partial lower bounds and of overall upper bounds by general constructions for overall lower bounds from partial lower bounds, and by the corresponding termination criteria and node selection steps. In particular, our branch-and-bound concept employs a new enclosure of the set of nondominated points by a union of boxes. On this occasion we also suggest a new discarding test based on a linearization technique. We provide a convergence proof for our general branch-and-bound framework and illustrate the results with numerical examples.

scholarly journals Some Refinements and Generalizations of I. Schur Type Inequalities

2014 ◽  
Vol 2014 ◽  
pp. 1-8
Author(s):  
Xian-Ming Gu ◽  
Ting-Zhu Huang ◽  
Wei-Ru Xu ◽  
Hou-Biao Li ◽  
Liang Li ◽  
...  
Keyword(s):  
Lower Bounds ◽  
Recent Literature ◽  
Structural Characteristics ◽  
Variable Parameter ◽  
Upper Bounds ◽  
Upper And Lower Bounds ◽  
Numerical Examples ◽  
Schur Inequality

Recently, extensive researches on estimating the value ofehave been studied. In this paper, the structural characteristics of I. Schur type inequalities are exploited to generalize the corresponding inequalities by variable parameter techniques. Some novel upper and lower bounds for the I. Schur inequality have also been obtained and the upper bounds may be obtained with the help ofMapleand automated proving package (Bottema). Numerical examples are employed to demonstrate the reliability of the approximation of these new upper and lower bounds, which improve some known results in the recent literature.

scholarly journals Constraint and Satisfiability Reasoning for Graph Coloring

2020 ◽  
Vol 69 ◽  
pp. 33-65
Author(s):  
Emmanuel Hebrard ◽  
George Katsirelos
Keyword(s):  
Combinatorial Optimization ◽  
Lower Bound ◽  
Lower Bounds ◽  
Branch And Bound ◽  
Graph Coloring ◽  
Upper Bounds ◽  
Scheduling Problems ◽  
Marginal Costs ◽  
Free Tree ◽  
Pruning Techniques

Graph coloring is an important problem in combinatorial optimization and a major component of numerous allocation and scheduling problems. In this paper we introduce a hybrid CP/SAT approach to graph coloring based on the addition-contraction recurrence of Zykov. Decisions correspond to either adding an edge between two non-adjacent vertices or contracting these two vertices, hence enforcing inequality or equality, respectively. This scheme yields a symmetry-free tree and makes learnt clauses stronger by not committing to a particular color. We introduce a new lower bound for this problem based on Mycielskian graphs; a method to produce a clausal explanation of this bound for use in a CDCL algorithm; a branching heuristic emulating Br´elaz’ heuristic on the Zykov tree; and dedicated pruning techniques relying on marginal costs with respect to the bound and on reasoning about transitivity when unit propagating learnt clauses. The combination of these techniques in both a branch-and-bound and in a bottom-up search outperforms other SAT-based approaches and Dsatur on standard benchmarks both for finding upper bounds and for proving lower bounds.

scholarly journals Multilevel Monte Carlo methods and lower–upper bounds in initial margin computations

2020 ◽  
Vol 26 (2) ◽  
pp. 131-161
Author(s):  
Florian Bourgey ◽  
Stefano De Marco ◽  
Emmanuel Gobet ◽  
Alexandre Zhou
Keyword(s):  
Monte Carlo ◽  
Lower Bounds ◽  
Asymptotic Optimality ◽  
Upper Bounds ◽  
Upper And Lower Bounds ◽  
Independent Random Variables ◽  
Outer Function ◽  
Control Problems ◽  
Multilevel Monte Carlo ◽  
Primal Dual

AbstractThe multilevel Monte Carlo (MLMC) method developed by M. B. Giles [Multilevel Monte Carlo path simulation, Oper. Res. 56 2008, 3, 607–617] has a natural application to the evaluation of nested expectations {\mathbb{E}[g(\mathbb{E}[f(X,Y)|X])]}, where {f,g} are functions and {(X,Y)} a couple of independent random variables. Apart from the pricing of American-type derivatives, such computations arise in a large variety of risk valuations (VaR or CVaR of a portfolio, CVA), and in the assessment of margin costs for centrally cleared portfolios. In this work, we focus on the computation of initial margin. We analyze the properties of corresponding MLMC estimators, for which we provide results of asymptotic optimality; at the technical level, we have to deal with limited regularity of the outer function g (which might fail to be everywhere differentiable). Parallel to this, we investigate upper and lower bounds for nested expectations as above, in the spirit of primal-dual algorithms for stochastic control problems.

scholarly journals Bounding the Size and Probability of Epidemics on Networks

2008 ◽  
Vol 45 (2) ◽  
pp. 498-512 ◽  
Author(s):  
Joel C. Miller
Keyword(s):  
Infectious Disease ◽  
Lower Bounds ◽  
Upper Bounds ◽  
Marginal Probability ◽  
Transmission Properties ◽  
Disease Spreading ◽  
Special Case

We consider an infectious disease spreading along the edges of a network which may have significant clustering. The individuals in the population have heterogeneous infectiousness and/or susceptibility. We define the out-transmissibility of a node to be the marginal probability that it would infect a randomly chosen neighbor given its infectiousness and the distribution of susceptibility. For a given distribution of out-transmissibility, we find the conditions which give the upper (or lower) bounds on the size and probability of an epidemic, under weak assumptions on the transmission properties, but very general assumptions on the network. We find similar bounds for a given distribution of in-transmissibility (the marginal probability of being infected by a neighbor). We also find conditions giving global upper bounds on the size and probability. The distributions leading to these bounds are network independent. In the special case of networks with high girth (locally tree-like), we are able to prove stronger results. In general, the probability and size of epidemics are maximal when the population is homogeneous and minimal when the variance of in- or out-transmissibility is maximal.

scholarly journals The Essential Dimension of Stacks of Parabolic Vector Bundles over Curves

2012 ◽  
Vol 10 (3) ◽  
pp. 455-488 ◽  
Author(s):  
Indranil Biswas ◽  
Ajneet Dhillon ◽  
Nicole Lemire
Keyword(s):  
Lower Bounds ◽  
Upper Bound ◽  
Vector Bundles ◽  
Upper Bounds ◽  
Essential Dimension ◽  
Parabolic Structure ◽  
Moduli Stack

AbstractWe find upper bounds on the essential dimension of the moduli stack of parabolic vector bundles over a curve. When there is no parabolic structure, we improve the known upper bound on the essential dimension of the usual moduli stack. Our calculations also give lower bounds on the essential dimension of the semistable locus inside the moduli stack of vector bundles of rank r and degree d without parabolic structure.

scholarly journals A note on completely positive relaxations of quadratic problems in a multiobjective framework

2021 ◽  
Author(s):  
Gabriele Eichfelder ◽  
Patrick Groetzner
Keyword(s):  
Positive Semidefinite ◽  
Weighted Sum ◽  
Quadratic Problem ◽  
Completely Positive ◽  
Nonconvex Problems ◽  
Completely Positive Matrices ◽  
Convex Problems ◽  
Positive Matrices ◽  
Nondominated Points ◽  
Single Objective

AbstractIn a single-objective setting, nonconvex quadratic problems can equivalently be reformulated as convex problems over the cone of completely positive matrices. In small dimensions this cone equals the cone of matrices which are entrywise nonnegative and positive semidefinite, so the convex reformulation can be solved via SDP solvers. Considering multiobjective nonconvex quadratic problems, naturally the question arises, whether the advantage of convex reformulations extends to the multicriteria framework. In this note, we show that this approach only finds the supported nondominated points, which can already be found by using the weighted sum scalarization of the multiobjective quadratic problem, i.e. it is not suitable for multiobjective nonconvex problems.

scholarly journals Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

2021 ◽  
pp. 42-61
Author(s):  
A. R. Balasubramanian ◽  
Javier Esparza ◽  
Mikhail Raskin
Keyword(s):  
Lower Bounds ◽  
Petri Net ◽  
Special Class ◽  
Upper Bounds ◽  
Initial State ◽  
Reachability Problem ◽  
Final State ◽  
Final Configuration ◽  
Finite State ◽  
State Agents

AbstractIn rendez-vous protocols an arbitrarily large number of indistinguishable finite-state agents interact in pairs. The cut-off problem asks if there exists a number B such that all initial configurations of the protocol with at least B agents in a given initial state can reach a final configuration with all agents in a given final state. In a recent paper [17], Horn and Sangnier prove that the cut-off problem is equivalent to the Petri net reachability problem for protocols with a leader, and in "Image missing" for leaderless protocols. Further, for the special class of symmetric protocols they reduce these bounds to "Image missing" and "Image missing" , respectively. The problem of lowering these upper bounds or finding matching lower bounds is left open. We show that the cut-off problem is "Image missing" -complete for leaderless protocols, "Image missing" -complete for symmetric protocols with a leader, and in "Image missing" for leaderless symmetric protocols, thereby solving all the problems left open in [17].

scholarly journals Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL

2020 ◽  
pp. 233-250
Author(s):  
Ralph Bottesch ◽  
Max W. Haslbeck ◽  
Alban Reynaud ◽  
René Thiemann
Keyword(s):  
Linear Programming ◽  
Branch And Bound ◽  
Decision Procedure ◽  
Simplex Algorithm ◽  
Upper Bounds ◽  
Mixed Integer ◽  
Small Solution ◽  
Code Generator ◽  
Integer Arithmetic ◽  
Termination Proofs

AbstractWe implement a decision procedure for linear mixed integer arithmetic and formally verify its soundness in Isabelle/HOL. We further integrate this procedure into one application, namely into , a formally verified certifier to check untrusted termination proofs. This checking involves assertions of unsatisfiability of linear integer inequalities; previously, only a sufficient criterion for such checks was supported. To verify the soundness of the decision procedure, we first formalize the proof that every satisfiable set of linear integer inequalities also has a small solution, and give explicit upper bounds. To this end we mechanize several important theorems on linear programming, including statements on integrality and bounds. The procedure itself is then implemented as a branch-and-bound algorithm, and is available in several languages via Isabelle’s code generator. It internally relies upon an adapted version of an existing verified incremental simplex algorithm.

scholarly journals Branch and Bound Method to Solve Multi Objectives Function

2016 ◽  
Vol 12 (3) ◽  
pp. 5964-5974
Author(s):  
Tahani Jabbar Kahribt ◽  
Mohammed Kadhim Al- Zuwaini
Keyword(s):  
Lower Bounds ◽  
Branch And Bound ◽  
Single Machine ◽  
Upper Bound ◽  
Completion Time ◽  
Heuristic Method ◽  
Total Weighted Completion Time ◽  
Branch And Bound Method ◽  
Special Cases ◽  
Weighted Completion Time

This paper  presents  a  branch  and  bound  algorithm  for  sequencing  a  set  of  n independent  jobs  on  a single  machine  to  minimize sum of the discounted total weighted completion time and maximum lateness,  this problems is NP-hard. Two lower bounds were proposed and heuristic method to get an upper bound. Some special cases were  proved and some dominance rules were suggested and proved, the problem solved with up to 50 jobs.

Sign in / Sign up

Export Citation Format

Share Document