# An efficient degree-computation method for a generalized method of bisection

## Authors

Article

- Received:

DOI: 10.1007/BF01404868

- Cite this article as:
- Kearfott, B. Numer. Math. (1979) 32: 109. doi:10.1007/BF01404868

## Summary

Let

**P**be an*n*-dimensional polyhedron and let\(b(P) = \sum\limits_{q = 1}^m {\langle X_1^q , \ldots ,X_n^q \rangle } \) be the oriented boundary of**P**in terms of the oriented (*n*−1)-simplexes**S**_{q}=〈*X*_{1}^{q},...,*X*_{n}^{q}〉,*q*=1,...,*m*. Let*F*=(*f*_{1},...,*f*_{n}):**P**→*R*^{n}, and assume*F(X)*≠θ for*X*∈*b*(**P**). For each 〈*X*_{1}^{q},...,*X*_{n}^{q}〉∈*b*(**P**) define a matrix ℛ(**S**_{q}*F*) by setting the entry in the*i*-th row,*j*-th column of ℛ(**S**_{q}*F*) equal to 1 if sgn(*f*_{j}(X_{i}^{q}))≠1 and 0 if sgn(*f*_{j}(X_{i}^{q}))=−1, where sgn(*y*)=1 if*y*≧0, and sgn(*y*)=−1 otherwise. To each such matrix ℛ(**S**_{q}*F*) assign a number (ℛ(**S**_{q}*F*)) in the following way: Set Par (ℛ(**S**_{q}*F*))=+1 if the entries on and below the main diagonal of ℛ(**S**_{q}*F*) are 1 and the entries one row above the main diagonal are 0. Also set Par (ℛ(**S**_{q}*F*))=1 if ℛ(**S**_{q}*F*) can be put into this form by an even permutation of its rows, and set Par (ℛ(**S**_{q}*F*))=−1 if ℛ(**S**_{q}*F*) can be put into form by an odd permutation of rows. Set Par (ℛ(**S**_{q}*F*))=0 for all other matrices ℛ(**S**_{q}*F*). Then, under rather general hypotheses and assuming diameter of each**S**_{q}∈*b*(**P**) is small, the topological degree of*F*at θ relative to**P**is given by:$$d(F.P,\theta ) = \sum\limits_{q = 1}^m {Par(\mathcal{R}(S_q ,F)).} $$

The assumptions are identical to those used by Stenger (Numer. Math. 25, 23–28).

Use of the characterization is illustrated, an algorithm for automatic computation is presented, and an application of this algorithm to finding roots of*F(X)*=θ is explained. The degree computation algorithm requires storage of a number of (*n*−1)-simplexes proportional to log*n*, and sgn(*f*_{j}(**S**_{i}^{q}) is evaluated once at most for each*i,j*, and*q*.

### Subject Classifications

AMS(MOS): 65H10CR: 5.15## Copyright information

© Springer-Verlag 1979