Binary logarithm

__NOTOC__

In mathematics, the binary logarithm (log2 "n") is the logarithm for base 2. It is the inverse function of n mapsto 2^n.

The binary logarithm is often used in computer science and information theory (where it is frequently written lg "n", or ld "n", from Latin "logarithmus dualis" [although the ISO specification is that it should be lb ("n"), lg ("n") being reserved for log10 "n"] ), because it is closely connected to the binary numeral system. The number of digits (bits) in the binary representation of a positive integer "n" is the integral part of 1 + lg "n", i.e. : lfloor lg n floor + 1.In information theory, the definition of the amount of self-information and information entropy involves the binary logarithm; this is needed because the unit of information, the bit, refers to information resulting from an occurrence of one of two equally probable alternatives.

The binary logarithm also frequently appears in the analysis of algorithms. If a number "n" greater than 1 is divided by 2 repeatedly, the number of iterations needed to get a value at most 1 is again the integral part of lg "n". This idea is used in the analysis of several algorithms and data structures. For example, in binary search, the size of the problem to be solved is halved with each iteration, and therefore roughly lg "n" iterations are needed to obtain a problem of size 1, which is solved easily in constant time. Similarly, a perfectly balanced binary search tree containing "n" elements has height lg "n"+1.

However, the running time of an algorithm is usually expressed in big O notation, ignoring constant factors. Since log2 "n" = (1/logk 2)logk "n", where "k" can be any number greater than 1, algorithms that run in "O"(log2 "n") time can also be said to run in, say, "O"(log13 "n") time. The base of the logarithm in expressions such as "O"(log "n") or "O"("n" log "n") is therefore not important.In other contexts, though, the base of the logarithm needs to be specified. For example "O"(2lg "n") is not the same as "O"(2ln "n") because the former is equal to "O"("n") and the latter to "O"("n"0.6931...).

Algorithms with running time "n" lg "n" are sometimes called linearithmic. Some examples of algorithms with running time "O"(lg "n") or "O"("n" lg "n") are:

*average time quicksort
*binary search trees
*merge sort
*Monge array calculation

Using calculators

An easy way to calculate the log2("n") on calculators that do not have a log2-function is to use the natural logarithm "ln" or the common logarithm "log" functions, which are found on most "scientific calculators". The formulae for this are: :log2("n") = ln("n")/ln(2) = log("n")/log(2)so :log2("n") = log"e"("n")×1.442695... = log10("n")×3.321928... and this produces the curiosity that log2("n") is within 0.6% of log"e"("n")+log10("n"). log"e"("n")+log10("n") is actually log2.008135929...("n") where the base is "e"log10"e"(10)

Algorithm

Integer

For integer domain and range, the binary logarithm can be computed rounding up, or rounding down. These two forms of integer binary logarithm are related by this formula:

: lfloor log_2(n) floor = lceil log_2(n + 1) ceil - 1, mbox{where }n ge 1. [ Citation | title=Hacker's Delight | first1=Henry S. | last1=Warren Jr. | year=2002 | publisher=Addison Wesley | isbn=978-0201914658 | pages=pp. 83]

The following example code in the C language computes the binary logarithm (rounding down) of an integer, rounded down. [ Citation | title=Hacker's Delight | first1=Henry S. | last1=Warren Jr. | year=2002 | publisher=Addison Wesley | isbn=978-0201914658 | pages=pp. 215] The operator '>>' represents 'unsigned right shift'. The rounding down form of binary logarithm is identical to computing the position of the most significant 1 bit./** * Returns the floor form of binary logarithm for a 32 bit integer. * -1 is returned if n is 0. */int floorLog2(unsigned int n) { int pos = 0; if (n >= 1<<16) { n >>= 16; pos += 16; } if (n >= 1<< 8) { n >>= 8; pos += 8; } if (n >= 1<< 4) { n >>= 4; pos += 4; } if (n >= 1<< 2) { n >>= 2; pos += 2; } if (n >= 1<< 1) { pos += 1; } return ((n = 0) ? (-1) : pos);}

Real number

For a general real number, the binary logarithm may be computed in two parts:
# Compute the integer part, lfloorlg(x) floor
# Compute the fractional part

Computing the integral part is straightforward. For any x > 0, there exists a unique integer n such that 2^n leq x < 2^{n+1}, or equivalently 1 leq 2^{-n}x < 2. Now the integral part of the logarithm is simply n, and the fractional part is lg(2^{-n}x). In other words:

:lg x = n + lg(y) quad ext{where } y = 2^{-n}x ext{ and } y in [1,2)

The fractional part of the result is lg y, and can be computed recursively, using only elementary multiplication and division. To compute the fractional part:
# We start with a real number y in [1,2).
# Now square y repeatedly until the result is geq 2. Call the result z, and let m be the number of squarings needed.
# Now z = y^{2uparrow m} and so lg z = 2^m lg y. Thus:
#:lg y = frac{ lg z }{ 2^m } = frac{ 1 + lg(z/2) }{ 2^m }
#:lg y = 2^{-m} + 2^{-m}lg(z/2)
# Notice that z/2 is once again a real number in the interval [1,2).
# If z/2 < 1+epsilon (where epsilon is the desired precision), then lg(z/2)approx 0 and we are done. Otherwise, return to step 1, and compute the binary logarithm of z/2 using the same method recursively.

The result of all of this is::lg x = n + 2^{-m_1} left( 1 + 2^{-m_2} left( 1 + 2^{-m_3} left( 1 + cdots ight) ight) ight)

After computing m_{1ldots i}, the error in the result is less than 2^{-(m_1+m_2+ldots+m_i)}.

Example code

The following Python computes the binary logarithm using the recursive method outlined above, showing the steps along the way: [adapted from [http://en.literateprograms.org/Logarithm_Function_%28Python%29 Logarithm Function (Python)] ]

def lg(x): ip = 0 rem = x # Integer part while rem<1: ip -= 1 rem *= 2 while rem>=2: ip += 1 rem /= 2 print "lg(%g) = %d + lg(%g)" % (x, ip, rem) # Fractional part res = ip + frac_lg(rem) return res def frac_lg(x, fp=1.0, tol=1e-10): assert 1<=x<2 # terminate the recursion if we're close enough if fp= 2 rem = x m = 0 while rem < 2: m += 1 fp /= 2 rem *= rem # now: # rem = x**2**m, fp = 2**-m # => lg(rem) = lg(x)*2**m = lg(x)/fp # => lg(x) = fp * ( lg(rem/2) + 1 ) # = fp + fp*lg(rem/2) # time for recursion! print "lg(x=%g) = 2**%d * ( 1 + lg(%g) )" % (x, -m, rem/2) return fp + frac_lg(rem/2, fp) if __name__ = '__main__': value = 4.5 print " X =", value result = lg(value) print "lg(X) =", result
# Sample output
#
# $ python log2.py
# X = 4.5
# lg(4.5) = 2 + lg(1.125)
# lg(x=1.125) = 2**-3 * ( 1 + lg(1.28289) )
# lg(x=1.28289) = 2**-2 * ( 1 + lg(1.35435) )
# lg(x=1.35435) = 2**-2 * ( 1 + lg(1.68226) )
# lg(x=1.68226) = 2**-1 * ( 1 + lg(1.415) )
# lg(x=1.415) = 2**-1 * ( 1 + lg(1.00111) )
# lg(x=1.00111) = 2**-10 * ( 1 + lg(1.55742) )
# lg(x=1.55742) = 2**-1 * ( 1 + lg(1.21278) )
# lg(x=1.21278) = 2**-2 * ( 1 + lg(1.08166) )
# lg(x=1.08166) = 2**-4 * ( 1 + lg(1.75563) )
# lg(x=1.75563) = 2**-1 * ( 1 + lg(1.54113) )
# lg(x=1.54113) = 2**-1 * ( 1 + lg(1.18753) )
# lg(x=1.18753) = 2**-3 * ( 1 + lg(1.97759) )
# lg(x=1.97759) = 2**-1 * ( 1 + lg(1.95543) )
# lg(x=1.95543) = 2**-1 * ( 1 + lg(1.91185) )
# lg(x=1.91185) = 2**-1 * ( 1 + lg(1.82758) )
# lg(X) = 2.16992500139
#

Since Python does not optimize tail recursion, this can be implemented more efficiently with iteration. Here is an iterative version:

def lg(x, tol=1e-13): res = 0.0

# Integer part while x<1: res -= 1 x *= 2 while x>=2: res += 1 x /= 2

# Fractional part fp = 1.0 while fp>=tol: fp /= 2 x *= x if x >= 2: x /= 2 res += fp

return res

References

ee also

* natural logarithm (base e),
* common logarithm (base 10)


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • binary logarithm — noun The logarithm base two …   Wiktionary

  • Logarithm — The graph of the logarithm to base 2 crosses the x axis (horizontal axis) at 1 and passes through the points with coordinates (2, 1), (4, 2), and (8, 3) …   Wikipedia

  • Binary entropy function — In information theory, the binary entropy function, denoted H(p) , or H {mathrm b}(p) ,, is defined as the entropy of a Bernoulli trial with probability of success p . Mathematically, the Bernoulli trial is modelled as a random variable X that… …   Wikipedia

  • Binary logarithms — Logarithm Log a*rithm (l[o^]g [.a]*r[i^][th] m), n. [Gr. lo gos word, account, proportion + ariqmo s number: cf. F. logarithme.] (Math.) One of a class of auxiliary numbers, devised by John Napier, of Merchiston, Scotland (1550 1617), to abridge… …   The Collaborative International Dictionary of English

  • Logarithm — Log a*rithm (l[o^]g [.a]*r[i^][th] m), n. [Gr. lo gos word, account, proportion + ariqmo s number: cf. F. logarithme.] (Math.) One of a class of auxiliary numbers, devised by John Napier, of Merchiston, Scotland (1550 1617), to abridge… …   The Collaborative International Dictionary of English

  • Binary — Bi na*ry, a. [L. binarius, fr. bini two by two, two at a time, fr. root of bis twice; akin to E. two: cf. F. binaire.] Compounded or consisting of two things or parts; characterized by two (things). [1913 Webster] {Binary arithmetic}, that in… …   The Collaborative International Dictionary of English

  • Binary arithmetic — Binary Bi na*ry, a. [L. binarius, fr. bini two by two, two at a time, fr. root of bis twice; akin to E. two: cf. F. binaire.] Compounded or consisting of two things or parts; characterized by two (things). [1913 Webster] {Binary arithmetic}, that …   The Collaborative International Dictionary of English

  • Binary compound — Binary Bi na*ry, a. [L. binarius, fr. bini two by two, two at a time, fr. root of bis twice; akin to E. two: cf. F. binaire.] Compounded or consisting of two things or parts; characterized by two (things). [1913 Webster] {Binary arithmetic}, that …   The Collaborative International Dictionary of English

  • Binary logarithms — Binary Bi na*ry, a. [L. binarius, fr. bini two by two, two at a time, fr. root of bis twice; akin to E. two: cf. F. binaire.] Compounded or consisting of two things or parts; characterized by two (things). [1913 Webster] {Binary arithmetic}, that …   The Collaborative International Dictionary of English

  • Binary measure — Binary Bi na*ry, a. [L. binarius, fr. bini two by two, two at a time, fr. root of bis twice; akin to E. two: cf. F. binaire.] Compounded or consisting of two things or parts; characterized by two (things). [1913 Webster] {Binary arithmetic}, that …   The Collaborative International Dictionary of English


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.