Cover Data Structures and Algorithms with Object-Oriented Design Patterns in Java
next up previous contents index

About Polynomials Again

 

In this section we reexamine the asymptotic behavior of polynomials in n. In Section gif we showed that tex2html_wrap_inline58462. That is, f(n) grows asymptotically no more quickly than tex2html_wrap_inline58970. This time we are interested in the asymptotic lower bound rather than the asymptotic upper bound. We will see that as n gets large, the term involving tex2html_wrap_inline58970 also dominates the lower bound in the sense that f(n) grows asymptotically as quickly as tex2html_wrap_inline58970. That is, that tex2html_wrap_inline58980.

Theorem  Consider a polynomial  in n of the form

eqnarray1567

where tex2html_wrap_inline58460. Then tex2html_wrap_inline58980.

extbfProof We begin by taking the term tex2html_wrap_inline58988 out of the summation:

eqnarray1821

Since, n is a non-negative integer and tex2html_wrap_inline58460, the term tex2html_wrap_inline58988 is positive. For each of the remaining terms in the summation, tex2html_wrap_inline58996. Hence

eqnarray1827

Note that for integers tex2html_wrap_inline58476, tex2html_wrap_inline59000 for tex2html_wrap_inline59002. Thus

eqnarray1841

Consider the term in parentheses on the right. What we need to do is to find a positive constant c and an integer tex2html_wrap_inline57984 so that for all integers tex2html_wrap_inline58018 this term is greater than or equal to c:

displaymath58962

We choose the value tex2html_wrap_inline57984 for which the term is greater than zero:

eqnarray1858

The value tex2html_wrap_inline59014 will suffice! Thus

  eqnarray1872

From Equation gif we see that we have found the constants tex2html_wrap_inline57984 and c, such that for all tex2html_wrap_inline58018, tex2html_wrap_inline59022. Thus, tex2html_wrap_inline58980.

This property of the asymptotic behavior of polynomials is used extensively. In fact, whenever we have a function, which is a polynomial in n, tex2html_wrap_inline58494 we will immediately ``drop'' the less significant terms (i.e., terms involving powers of n which are less than m), as well as the leading coefficient, tex2html_wrap_inline58500, to write tex2html_wrap_inline58980.


next up previous contents index

Bruno Copyright © 1998 by Bruno R. Preiss, P.Eng. All rights reserved.