A new exclusion test

Exclusion tests are a well-known tool for obtaining all solutions of a nonlinear system of equations, see, e.g., the work of Krawczyk or Moore. Recently, Yamamura and collaborators have developed Linear Programming exclusion tests that turned out to be highly successful for nonlinear problems in electrical networking. The author has developed higher order exclusion tests based on Taylor expansions. In the present paper it is shown that the ideas behind both approaches can be combined: We present a new class of higher order Linear Programming exclusion tests, investigate their computational complexity, and illustrate their performance on several examples.

[1]  Andreas Griewank,et al.  Algorithm 755: ADOL-C: a package for the automatic differentiation of algorithms written in C/C++ , 1996, TOMS.

[2]  R. Baker Kearfott.  Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems , 1997, SIAM J. Sci. Comput..

[3]  Kiyotaka Yamamura,et al.  Finding All Solutions of Nonlinear Equations Using the Dual Simplex Method (Self-validating numerical methods and related topics) , 2000 .

[4]  Charles W. Wampler,et al.  Solving a Planar Four-Bar Design Problem Using Continuation , 1990 .

[5]  R. B. Kearfott.  Rigorous Global Search: Continuous Problems , 1996 .

[6]  Shin'ichi Oishi,et al.  Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy , 1998, J. Univers. Comput. Sci..

[7]  Kiyotaka Yamamura,et al.  Finding all Solutions of Systems of Nonlinear Equations Using the Dual Simplex Method , 2002 .

[8]  Applied general equilibrium modelling , 1991 .

[9]  Kurt Georg,et al.  Improving the efficiency of exclusion algorithms , 2001 .

[10]  Jan Verschelde,et al.  Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation , 1999, TOMS.

[11]  Pedro J. Zufiria,et al.  A Computational Method for Finding All the Roots of a Vector Function , 1990 .

[12]  K. Yamamura,et al.  Interval solution of nonlinear equations using linear programming , 1998 .

[13]  Ramon E. Moore.  A Test for Existence of Solutions to Nonlinear Systems , 1977 .

[14]  GriewankAndreas,et al.  Algorithm 755: ADOL-C , 1996 .

[15]  Eugene L. Allgower,et al.  On the Complexity of Exclusion Algorithms for Optimization , 2002, J. Complex..

[16]  E. Allgower,et al.  Numerical path following , 1997 .

[17]  Jiang-She Zhang,et al.  A general CDC formulation for specializing the cell exclusion algorithms of finding all zeros of vector functions , 1997 .

[18]  Rudolf Krawczyk,et al.  Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken , 1969, Computing.

[19]  Wei Wang,et al.  A cell exclusion algorithm for determining all the solutions of a nonlinear system of equations , 1996 .