Results 1  10
of
23
Solving Polynomial Systems Using a Branch and Prune Approach
 SIAM Journal on Numerical Analysis
, 1997
"... This paper presents Newton, a branch & prune algorithm to find all isolated solutions of a system of polynomial constraints. Newton can be characterized as a global search method which uses intervals for numerical correctness and for pruning the search space early. The pruning in Newton consists ..."
Abstract

Cited by 106 (7 self)
 Add to MetaCart
(Show Context)
This paper presents Newton, a branch & prune algorithm to find all isolated solutions of a system of polynomial constraints. Newton can be characterized as a global search method which uses intervals for numerical correctness and for pruning the search space early. The pruning in Newton consists in enforcing at each node of the search tree a unique local consistency condition, called boxconsistency, which approximates the notion of arcconsistency wellknown in artificial intelligence. Boxconsistency is parametrized by an interval extension of the constraint and can be instantiated to produce the HansenSegupta's narrowing operator (used in interval methods) as well as new operators which are more effective when the computation is far from a solution. Newton has been evaluated on a variety of benchmarks from kinematics, chemistry, combustion, economics, and mechanics. On these benchmarks, it outperforms the interval methods we are aware of and compares well with stateoftheart continuation methods. Limitations of Newton (e.g., a sensitivity to the size of the initial intervals on some problems) are also discussed. Of particular interest is the mathematical and programming simplicity of the method.
Some tests of generalized bisection
 ACM Trans. Math. Software
, 1987
"... This paper addresses the task of reliably finding approximations to all solutions to a system of nonlinear equations within a region defined by bounds on each of the individual coordinates. Various forms of generalized bisection were proposed some time ago for this task. This paper systematically co ..."
Abstract

Cited by 52 (2 self)
 Add to MetaCart
(Show Context)
This paper addresses the task of reliably finding approximations to all solutions to a system of nonlinear equations within a region defined by bounds on each of the individual coordinates. Various forms of generalized bisection were proposed some time ago for this task. This paper systematically compares such generalized bisection algorithms to themselves, to continuation methods, and to hybrid steepest descent/quasiNewton methods. A specific algorithm containing novel “expansion ” and “exclusion ” steps is fully described, and the effectiveness of these steps is evaluated. A test problem consisting of a small, highdegree polynomial system that is appropriate for generalized bisection, but very difticult for continuation methods, is presented. This problem forms part of a set of 17 test problems from published literature on the methods being compared; this test set is fully described here.
A Review of Preconditioners for the Interval GaussSeidel Method
, 1991
"... . Interval Newton methods in conjunction with generalized bisection can form the basis of algorithms that find all real roots within a specified box X ae R n of a system of nonlinear equations F (X) = 0 with mathematical certainty, even in finiteprecision arithmetic. In such methods, the system ..."
Abstract

Cited by 52 (16 self)
 Add to MetaCart
. Interval Newton methods in conjunction with generalized bisection can form the basis of algorithms that find all real roots within a specified box X ae R n of a system of nonlinear equations F (X) = 0 with mathematical certainty, even in finiteprecision arithmetic. In such methods, the system F (X) = 0 is transformed into a linear interval system 0 = F (M) +F 0 (X)( ~ X \Gamma M); if interval arithmetic is then used to bound the solutions of this system, the resulting box ~ X contains all roots of the nonlinear system. We may use the interval GaussSeidel method to find these solution bounds. In order to increase the overall efficiency of the interval Newton / generalized bisection algorithm, the linear interval system is multiplied by a preconditioner matrix Y before the interval GaussSeidel method is applied. Here, we review results we have obtained over the past few years concerning computation of such preconditioners. We emphasize importance and connecting relationships,...
A Constraint Satisfaction Approach to a Circuit Design Problem
, 1998
"... A classical circuitdesign problem from Ebers and Moll [6] features a system of nine nonlinear equations in nine variables that is very challenging both for local and global methods. This system was solved globally using an interval method by Ratschek and Rokne [23] in the box [0; 10] 9 . Their ..."
Abstract

Cited by 23 (1 self)
 Add to MetaCart
(Show Context)
A classical circuitdesign problem from Ebers and Moll [6] features a system of nine nonlinear equations in nine variables that is very challenging both for local and global methods. This system was solved globally using an interval method by Ratschek and Rokne [23] in the box [0; 10] 9 . Their algorithm had enormous costs (i.e., over 14 months using a network of 30 Sun Sparc1 workstations) but they state that "at this time, we know no other method which has been applied to this circuit design problem and which has led to the same guaranteed result of locating exactly one solution in this huge domain, completed with a reliable error estimate." The present paper gives a novel branchandprune algorithm that obtains a unique safe box for the above system within reasonable computation times. The algorithm combines traditional interval techniques with an adaptation of discrete constraintsatisfaction techniques to continuous problems. Of particular interest is the simplicity o...
Decomposition of Arithmetic Expressions to Improve the Behavior of Interval Iteration for Nonlinear Systems
, 1991
"... Interval iteration can be used, in conjunction with other techniques, for rigorously bounding all solutions to a nonlinear system of equations within a given region, or for verifying approximate solutions. However, because of overestimation which occurs when the interval Jacobian matrix is accumul ..."
Abstract

Cited by 20 (9 self)
 Add to MetaCart
Interval iteration can be used, in conjunction with other techniques, for rigorously bounding all solutions to a nonlinear system of equations within a given region, or for verifying approximate solutions. However, because of overestimation which occurs when the interval Jacobian matrix is accumulated and applied, straightforward linearization of the original nonlinear system sometimes leads to nonconvergent iteration. In this paper, we examine interval iterations based on an expanded system obtained from the intermediate quantities in the original system. In this system, there is no overestimation in entries of the interval Jacobi matrix, and nonlinearities can be taken into account to obtain sharp bounds. We present an example in detail, algorithms, and detailed experimental results obtained from applying our algorithms to the example.
Empirical Evaluation Of Innovations In Interval Branch And Bound Algorithms For Nonlinear Systems
 SIAM J. Sci. Comput
, 1994
"... . Interval branch and bound algorithms for finding all roots use a combination of a computational existence / uniqueness procedure and a tesselation process (generalized bisection). Such algorithms identify, with mathematical rigor, a set of boxes that contains unique roots and a second set within w ..."
Abstract

Cited by 20 (10 self)
 Add to MetaCart
(Show Context)
. Interval branch and bound algorithms for finding all roots use a combination of a computational existence / uniqueness procedure and a tesselation process (generalized bisection). Such algorithms identify, with mathematical rigor, a set of boxes that contains unique roots and a second set within which all remaining roots must lie. Though each root is contained in a box in one of the sets, the second set may have several boxes in clusters near a single root. Thus, the output is of higher quality if there are relatively more boxes in the first set. In contrast to previously implemented similar techniques, a box expansion technique in this paper, based on using an approximate root finder, fflinflation and exact set complementation, decreases the size of the second set, increases the size of the first set, and never loses roots. In addition to the expansion technique, use of secondorder extensions to eliminate small boxes that do not contain roots, and interval slopes versus interval d...
Newton: Constraint Programming over Nonlinear Constraints
 SCIENCE OF COMPUTER PROGRAMMING
, 1998
"... This paper is an introduction to Newton, a constraint programming language over nonlinear real constraints. Newton originates from an eort to reconcile the declarative nature of constraint logic programming (CLP) languages over intervals with advanced interval techniques developed in numerical analy ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
This paper is an introduction to Newton, a constraint programming language over nonlinear real constraints. Newton originates from an eort to reconcile the declarative nature of constraint logic programming (CLP) languages over intervals with advanced interval techniques developed in numerical analysis, such as the interval Newton method. Its key conceptual idea is to introduce the notion of boxconsistency, which approximates arcconsistency, a notion wellknown in articial intelligence. Boxconsistency achieves an eective pruning at a reasonable computation cost and generalizes some traditional interval operators. Newton has been applied to numerous applications in science and engineering, including nonlinear equationsolving, unconstrained optimization, and constrained optimization. It is competitive with continuation methods on their equationsolving benchmarks and outperforms the intervalbased methods we are aware of on optimization problems. Key words: Constraint Programming, Nonlinear Programming, Interval Reasoning 1 Introduction Many applications in science and engineering (e.g., chemistry, robotics, economics, mechanics) require nding all isolated solutions to a system of nonlinear real constraints or nding the minimum value of a nonlinear function subject to nonlinear constraints. These problems are dicult due to their inherent computational complexity (i.e., they are NPhard) and due to the numerical issues involved to guarantee correctness (i.e., nding all solutions or the global optimum) and to ensure termination. Preprint submitted to Elsevier Preprint 11 June 2001 Newton is a constraint programming language designed to support this class of applications. It originates from an attempt to reconcile the declarative nature of CLP(Intervals) languag...
Improving the efficiency of a nonlinear–system–solver using a componentwise newton method
 Institut für Angewandte Mathematik, Universität Karlsruhe (TH
, 1997
"... ..."
(Show Context)
Three Cuts for Accelerated Interval Propagation
 MIT, Artif. Intell. Lab
, 1995
"... This paper addresses the problem of nonlinear multivariate root finding. In an earlier paper we describe a system called Newton which finds roots of systems of nonlinear equations using refinements of interval methods. The refinements are inspired by AI constraint propagation techniques. Newton is c ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
This paper addresses the problem of nonlinear multivariate root finding. In an earlier paper we describe a system called Newton which finds roots of systems of nonlinear equations using refinements of interval methods. The refinements are inspired by AI constraint propagation techniques. Newton is competitive with continuation methods on most benchmarks and can handle a variety of cases that are infeasible for continuation methods. This paper presents three "cuts" which we believe capture the essential theoretical ideas behind the success of Newton. This paper describes the cuts in a concise and abstract manner which, we believe, makes the theoretical content of our work more apparent. Any implementation will need to adopt some heuristic control mechanism. Heuristic control of the cuts is only briefly discussed here. Copyright c fl Massachusetts Institute of Technology, 1995 This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of ...
Helios: A modeling language for global optimization and its implementation in Newton
 Theoretical Computer Science
, 1997
"... Helios is the first (to our knowledge) modeling language for global optimization using interval analysis. Helios makes it possible to state global optimization problems almost as in scientific papers and textbooks and is guaranteed to find all isolated solutions in constraintsolving problems and al ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Helios is the first (to our knowledge) modeling language for global optimization using interval analysis. Helios makes it possible to state global optimization problems almost as in scientific papers and textbooks and is guaranteed to find all isolated solutions in constraintsolving problems and all global optima in optimization problems. Helios statements are compiled to Newton, a constraint logic programming language using constraint satisfaction and interval analysis techniques and their efficiency is comparable to direct programming in Newton. This paper presents the design of Helios, describes its theoretical foundation and semantic properties, sketches its implementation, reports some experimental results, and compares Helios to other modeling languages and direct programming in Newton.