Citation Context

...degeneration. Hansen used this technique in order to prove existence of a feasible point for nonlinear equations within a bounded box. It was further modified and investigated numerically by Kearfott =-=[11]-=-, [12], and is also described in his book [13]. Corresponding algorithms are implemented in his software package GlobSol. 5. Certificate of Infeasibility. In branch and bound algorithms a subproblem i...

Citation Context

... subregions that may have good solutions while dropping unpromising subregions. In order to verify the existence of feasible points for a given subregion, they usually utilize interval Newton methods =-=[116, 115]-=-. GlobSol [80] and ILOG solver [108] are popular software packages that implement these methods. Interval methods, however, are unable to cope with general nonlinear constraints and may be misled by i...

Citation Context

...more complicated than evaluating the objective function at a point. In particular, the point of evaluation must be known to be feasible. We explain the process in GlobSol for verifying feasibility in =-=[18]-=- ands[16, §5.2.4]. This process is presently a weakness that prevents some equalityconstrained problems from being handled as efficiently as unconstrained or certain inequality-constrained problems. G...

Citation Context

...nd whose functions are not di#erentiable. Hence, methods that require di#erentiability cannot be applied. Such methods include interval methods requiring derivatives (such as interval-Newton methods) =-=[101, 100, 87]-=-, gradient-descent methods, Newton's method [109, 121, 129], trajectory methods [158, 155, 58, 135, 30, 143, 149, 28, 152], covering methods requiring derivatives [38, 39], penalty methods requiring d...

Citation Context

...mate optimizer ˇx. However, because of likely singularity of this system, this technique is likely to fail; see the discussion in [5, §2] to gain insight into the case where the NLP (1) is linear. In =-=[3]-=-, we proposed and provided test results for a technique for perturbing the approximate optimizing point ˇx and by constructing a box about the perturbed feasible point within which an interval Newton ...

Citation Context

...ntaining an approximate minimizer. However, in constrained problems such as Problem 1, a rigorous upper bound is obtained with this process only if it is certain that X contains a feasible point (See =-=[5]-=-.) Generally, if a good approximation to a feasible point (or solution of the constraints) is known, interval Newton methods can prove that an actual feasible point exists within specified bounds, at ...

Citation Context

...riables was later applied by Hansen [21] in order to prove existence of a feasible point for nonlinear equations within a bounded box. It was further modified and investigated numerically by Kearfott =-=[34]-=-, [35], and is also described in his book [36]. For other conic problems, especially those with non-polyhedral cones, the computation of rigorous error bounds for optimal solutions is an open problem....

Citation Context

... found, then epsilon-inflation is used to construct a small box x, ˜x ∈ x in a subspace of R n within which an interval Newton method can prove there exists a true feasible point; see [5, §5.2.4] and =-=[6]-=-. Using default configuration and initial box x = (a1, a2, a3, x1, x2, x3) = ([−2, 2], [−3, 3], [−3, 3], [−2, 2], [−2, 2], [−2, 2]), the May 2, 2000 version of GlobSol did not complete after processin...