Bresenham's line algorithm

From HandWiki
Revision as of 17:08, 6 February 2024 by Scavis2 (talk | contribs) (update)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Short description: Line-drawing algorithm

Bresenham's line algorithm is a line drawing algorithm that determines the points of an n-dimensional raster that should be selected in order to form a close approximation to a straight line between two points. It is commonly used to draw line primitives in a bitmap image (e.g. on a computer screen), as it uses only integer addition, subtraction, and bit shifting, all of which are very cheap operations in historically common computer architectures. It is an incremental error algorithm, and one of the earliest algorithms developed in the field of computer graphics. An extension to the original algorithm called the midpoint circle algorithm may be used for drawing circles.

While algorithms such as Wu's algorithm are also frequently used in modern computer graphics because they can support antialiasing, Bresenham's line algorithm is still important because of its speed and simplicity. The algorithm is used in hardware such as plotters and in the graphics chips of modern graphics cards. It can also be found in many software graphics libraries. Because the algorithm is very simple, it is often implemented in either the firmware or the graphics hardware of modern graphics cards.

The label "Bresenham" is used today for a family of algorithms extending or modifying Bresenham's original algorithm.

History

Bresenham's line algorithm is named after Jack Elton Bresenham who developed it in 1962 at IBM. In 2001 Bresenham wrote:[1]

I was working in the computation lab at IBM's San Jose development lab. A Calcomp plotter had been attached to an IBM 1401 via the 1407 typewriter console. [The algorithm] was in production use by summer 1962, possibly a month or so earlier. Programs in those days were freely exchanged among corporations so Calcomp (Jim Newland and Calvin Hefte) had copies. When I returned to Stanford in Fall 1962, I put a copy in the Stanford comp center library. A description of the line drawing routine was accepted for presentation at the 1963 ACM national convention in Denver, Colorado. It was a year in which no proceedings were published, only the agenda of speakers and topics in an issue of Communications of the ACM. A person from the IBM Systems Journal asked me after I made my presentation if they could publish the paper. I happily agreed, and they printed it in 1965.

Bresenham's algorithm has been extended to produce circles, ellipses, cubic and quadratic bezier curves, as well as native anti-aliased versions of those.[2]

Method

Illustration of the result of Bresenham's line algorithm. (0,0) is at the top left corner of the grid, (1,1) is at the top left end of the line and (11, 5) is at the bottom right end of the line.

The following conventions will be utilized:

  • the top-left is (0,0) such that pixel coordinates increase in the right and down directions (e.g. that the pixel at (7,4) is directly above the pixel at (7,5)), and
  • the pixel centers have integer coordinates.

The endpoints of the line are the pixels at [math]\displaystyle{ (x_0,y_0) }[/math] and [math]\displaystyle{ (x_1,y_1) }[/math], where the first coordinate of the pair is the column and the second is the row.

The algorithm will be initially presented only for the octant in which the segment goes down and to the right ([math]\displaystyle{ x_0 \leq x_1 }[/math] and [math]\displaystyle{ y_0 \leq y_1 }[/math]), and its horizontal projection [math]\displaystyle{ x_1-x_0 }[/math] is longer than the vertical projection [math]\displaystyle{ y_1-y_0 }[/math] (the line has a positive slope less than 1). In this octant, for each column x between [math]\displaystyle{ x_0 }[/math] and [math]\displaystyle{ x_1 }[/math], there is exactly one row y (computed by the algorithm) containing a pixel of the line, while each row between [math]\displaystyle{ y_0 }[/math] and [math]\displaystyle{ y_1 }[/math] may contain multiple rasterized pixels.

Bresenham's algorithm chooses the integer y corresponding to the pixel center that is closest to the ideal (fractional) y for the same x; on successive columns y can remain the same or increase by 1. The general equation of the line through the endpoints is given by:

[math]\displaystyle{ \frac{y - y_0}{y_1-y_0} = \frac{x-x_0}{x_1-x_0} }[/math].

Since we know the column, x, the pixel's row, y, is given by rounding this quantity to the nearest integer:

[math]\displaystyle{ y = \frac{y_1-y_0}{x_1-x_0} (x-x_0) + y_0 }[/math].

The slope [math]\displaystyle{ (y_1-y_0)/(x_1-x_0) }[/math] depends on the endpoint coordinates only and can be precomputed, and the ideal y for successive integer values of x can be computed starting from [math]\displaystyle{ y_0 }[/math] and repeatedly adding the slope.

In practice, the algorithm does not keep track of the y coordinate, which increases by m = ∆y/∆x each time the x increases by one; it keeps an error bound at each stage, which represents the negative of the distance from (a) the point where the line exits the pixel to (b) the top edge of the pixel. This value is first set to [math]\displaystyle{ y_0-0.5 }[/math] (due to using the pixel's center coordinates), and is incremented by m each time the x coordinate is incremented by one. If the error becomes greater than 0.5, we know that the line has moved upwards one pixel, and that we must increment our y coordinate and readjust the error to represent the distance from the top of the new pixel – which is done by subtracting one from error.[3]

Derivation

To derive Bresenham's algorithm, two steps must be taken. The first step is transforming the equation of a line from the typical slope-intercept form into something different; and then using this new equation to draw a line based on the idea of accumulation of error.

Line equation

y=f(x)=.5x+1 or f(x,y)=x-2y+2
Positive and negative half-planes

The slope-intercept form of a line is written as

[math]\displaystyle{ y = f(x) = mx + b }[/math]

where [math]\displaystyle{ m }[/math] is the slope and [math]\displaystyle{ b }[/math] is the y-intercept. Because this is a function of only [math]\displaystyle{ x }[/math], it can't represent a vertical line. Therefore, it would be useful to make this equation written as a function of both [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y }[/math], to be able to draw lines at any angle. The angle (or slope) of a line can be stated as "rise over run," or [math]\displaystyle{ \Delta y/\Delta x }[/math]. Then, using algebraic manipulation,

[math]\displaystyle{ \begin{align} y & = mx + b \\ y & = \frac{\Delta y}{\Delta x} x + b \\ (\Delta x) y & = (\Delta y) x + (\Delta x) b \\ 0 & = (\Delta y) x - (\Delta x) y + (\Delta x) b \end{align} }[/math]

Letting this last equation be a function of [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y }[/math], it can be written as

[math]\displaystyle{ f(x,y) := Ax + By + C = 0 }[/math]

where the constants are

  • [math]\displaystyle{ A = \Delta y = y_1 - y_0 }[/math]
  • [math]\displaystyle{ B = - \Delta x = - (x_1 - x_0) }[/math]
  • [math]\displaystyle{ C = (\Delta x) b = (x_1 - x_0) b }[/math]

The line is then defined for some constants [math]\displaystyle{ A }[/math], [math]\displaystyle{ B }[/math], and [math]\displaystyle{ C }[/math] anywhere [math]\displaystyle{ f(x,y) = 0 }[/math]. That is, for any [math]\displaystyle{ (x,y) }[/math] not on the line, [math]\displaystyle{ f(x,y) \ne 0 }[/math]. This form involves only integers if [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y }[/math] are integers, since the constants [math]\displaystyle{ A }[/math], [math]\displaystyle{ B }[/math], and [math]\displaystyle{ C }[/math] are defined as integers.

As an example, the line [math]\displaystyle{ y=\frac{1}{2}x + 1 }[/math] then this could be written as [math]\displaystyle{ f(x,y) = x - 2y + 2 }[/math]. The point (2,2) is on the line

[math]\displaystyle{ f(2,2) = x - 2y + 2 = (2) - 2(2) + 2 = 2 - 4 + 2 = 0 }[/math]

and the point (2,3) is not on the line

[math]\displaystyle{ f(2,3) = (2) - 2(3) + 2 = 2 - 6 + 2 = -2 }[/math]

and neither is the point (2,1)

[math]\displaystyle{ f(2,1) = (2) - 2(1) + 2 = 2 - 2 + 2 = 2 }[/math]

Notice that the points (2,1) and (2,3) are on opposite sides of the line and [math]\displaystyle{ f(x,y) }[/math] evaluates to positive or negative. A line splits a plane into halves and the half-plane that has a negative [math]\displaystyle{ f(x,y) }[/math] can be called the negative half-plane, and the other half can be called the positive half-plane. This observation is very important in the remainder of the derivation.

Algorithm

Clearly, the starting point is on the line

[math]\displaystyle{ f(x_0, y_0) = 0 }[/math]

only because the line is defined to start and end on integer coordinates (though it is entirely reasonable to want to draw a line with non-integer end points).

Candidate point (2,2) in blue and two candidate points in green (3,2) and (3,3)

Keeping in mind that the slope is at most [math]\displaystyle{ 1 }[/math], the problem now presents itself as to whether the next point should be at [math]\displaystyle{ (x_0 + 1, y_0) }[/math] or [math]\displaystyle{ (x_0 + 1, y_0 + 1) }[/math]. Perhaps intuitively, the point should be chosen based upon which is closer to the line at [math]\displaystyle{ x_0 + 1 }[/math]. If it is closer to the former then include the former point on the line, if the latter then the latter. To answer this, evaluate the line function at the midpoint between these two points:

[math]\displaystyle{ f(x_0 + 1, y_0 + \tfrac 1 2) }[/math]

If the value of this is positive then the ideal line is below the midpoint and closer to the candidate point [math]\displaystyle{ (x_0+1,y_0+1) }[/math]; i.e. the y coordinate should increase. Otherwise, the ideal line passes through or above the midpoint, and the y coordinate should stay the same; in which case the point [math]\displaystyle{ (x_0+1,y_0) }[/math] is chosen. The value of the line function at this midpoint is the sole determinant of which point should be chosen.

The adjacent image shows the blue point (2,2) chosen to be on the line with two candidate points in green (3,2) and (3,3). The black point (3, 2.5) is the midpoint between the two candidate points.

Algorithm for integer arithmetic

Alternatively, the difference between points can be used instead of evaluating f(x,y) at midpoints. This alternative method allows for integer-only arithmetic, which is generally faster than using floating-point arithmetic. To derive the other method, define the difference to be as follows:

[math]\displaystyle{ D = f(x_0+1,y_0+\tfrac 1 2) - f(x_0,y_0) }[/math]

For the first decision, this formulation is equivalent to the midpoint method since [math]\displaystyle{ f(x_0,y_0)=0 }[/math] at the starting point. Simplifying this expression yields:

[math]\displaystyle{ \begin{array}{rclcl} D & = & \left[ A(x_0+1) + B \left(y_0+\frac{1}{2}\right) + C \right] & - & \left[ A x_0 + B y_0 + C \right] \\ & = & \left[ Ax_0 + B y_0+ C + A + \frac {1}{2} B\right] & - & \left[ A x_0 + B y_0 + C \right] \\ & = & A + \frac{1}{2} B = \Delta y - \frac{1}{2} \Delta x \end{array} }[/math]

Just as with the midpoint method, if [math]\displaystyle{ D }[/math] is positive, then choose [math]\displaystyle{ (x_0+1,y_0+1) }[/math], otherwise choose [math]\displaystyle{ (x_0+1,y_0) }[/math].

If [math]\displaystyle{ (x_0+1,y_0) }[/math] is chosen, the change in D will be:

[math]\displaystyle{ \begin{array}{lclcl} \Delta D &=& f(x_0+2,y_0+\tfrac 1 2) - f(x_0+1,y_0+\tfrac 1 2) &=& A &=& \Delta y \\ \end{array} }[/math]

If [math]\displaystyle{ (x_0+1,y_0+1) }[/math] is chosen the change in D will be:

[math]\displaystyle{ \begin{array}{lclcl} \Delta D &=& f(x_0+2,y_0+\tfrac 3 2) - f(x_0+1,y_0+\tfrac 1 2) &=& A+B &=& \Delta y - \Delta x \end{array} }[/math]

If the new D is positive then [math]\displaystyle{ (x_0+2,y_0+1) }[/math] is chosen, otherwise [math]\displaystyle{ (x_0+2,y_0) }[/math]. This decision can be generalized by accumulating the error on each subsequent point.

Plotting the line from (0,1) to (6,4) showing a plot of grid lines and pixels

All of the derivation for the algorithm is done. One performance issue is the 1/2 factor in the initial value of D. Since all of this is about the sign of the accumulated difference, then everything can be multiplied by 2 with no consequence.

This results in an algorithm that uses only integer arithmetic.

plotLine(x0, y0, x1, y1)
    dx = x1 - x0
    dy = y1 - y0
    D = 2*dy - dx
    y = y0

    for x from x0 to x1
        plot(x, y)
        if D > 0
            y = y + 1
            D = D - 2*dx
        end if
        D = D + 2*dy

Running this algorithm for [math]\displaystyle{ f(x,y) = x-2y+2 }[/math] from (0,1) to (6,4) yields the following differences with dx=6 and dy=3:

D=2*3-6=0
Loop from 0 to 6
 * x=0: plot(0, 1), D≤0: D=0+6=6
 * x=1: plot(1, 1), D>0: D=6-12=-6, y=1+1=2, D=-6+6=0
 * x=2: plot(2, 2), D≤0: D=0+6=6
 * x=3: plot(3, 2), D>0: D=6-12=-6, y=2+1=3, D=-6+6=0
 * x=4: plot(4, 3), D≤0: D=0+6=6
 * x=5: plot(5, 3), D>0: D=6-12=-6, y=3+1=4, D=-6+6=0
 * x=6: plot(6, 4), D≤0: D=0+6=6

The result of this plot is shown to the right. The plotting can be viewed by plotting at the intersection of lines (blue circles) or filling in pixel boxes (yellow squares). Regardless, the plotting is the same.

All cases

However, as mentioned above this only works for octant zero, that is lines starting at the origin with a slope between 0 and 1 where x increases by exactly 1 per iteration and y increases by 0 or 1.

The algorithm can be extended to cover slopes between 0 and -1 by checking whether y needs to increase or decrease (i.e. dy < 0)

plotLineLow(x0, y0, x1, y1)
    dx = x1 - x0
    dy = y1 - y0
    yi = 1
    if dy < 0
        yi = -1
        dy = -dy
    end if
    D = (2 * dy) - dx
    y = y0

    for x from x0 to x1
        plot(x, y)
        if D > 0
            y = y + yi
            D = D + (2 * (dy - dx))
        else
            D = D + 2*dy
        end if

By switching the x and y axis an implementation for positive or negative steep slopes can be written as

plotLineHigh(x0, y0, x1, y1)
    dx = x1 - x0
    dy = y1 - y0
    xi = 1
    if dx < 0
        xi = -1
        dx = -dx
    end if
    D = (2 * dx) - dy
    x = x0

    for y from y0 to y1
        plot(x, y)
        if D > 0
            x = x + xi
            D = D + (2 * (dx - dy))
        else
            D = D + 2*dx
        end if

A complete solution would need to detect whether x1 > x0 or y1 > y0 and reverse the input coordinates before drawing, thus

plotLine(x0, y0, x1, y1)
    if abs(y1 - y0) < abs(x1 - x0)
        if x0 > x1
            plotLineLow(x1, y1, x0, y0)
        else
            plotLineLow(x0, y0, x1, y1)
        end if
    else
        if y0 > y1
            plotLineHigh(x1, y1, x0, y0)
        else
            plotLineHigh(x0, y0, x1, y1)
        end if
    end if

In low level implementations which access the video memory directly, it would be typical for the special cases of vertical and horizontal lines to be handled separately as they can be highly optimized.

Some versions use Bresenham's principles of integer incremental error to perform all octant line draws, balancing the positive and negative error between the x and y coordinates.[2]

plotLine(x0, y0, x1, y1)
    dx = abs(x1 - x0)
    sx = x0 < x1 ? 1 : -1
    dy = -abs(y1 - y0)
    sy = y0 < y1 ? 1 : -1
    error = dx + dy
    
    while true
        plot(x0, y0)
        if x0 == x1 && y0 == y1 break
        e2 = 2 * error
        if e2 >= dy
            if x0 == x1 break
            error = error + dy
            x0 = x0 + sx
        end if
        if e2 <= dx
            if y0 == y1 break
            error = error + dx
            y0 = y0 + sy
        end if
    end while

Similar algorithms

The Bresenham algorithm can be interpreted as slightly modified digital differential analyzer (using 0.5 as error threshold instead of 0, which is required for non-overlapping polygon rasterizing).

The principle of using an incremental error in place of division operations has other applications in graphics. It is possible to use this technique to calculate the U,V co-ordinates during raster scan of texture mapped polygons.[4] The voxel heightmap software-rendering engines seen in some PC games also used this principle.

Bresenham also published a Run-Slice (as opposed to the Run-Length) computational algorithm. This method has been represented in a number of US patents:

5,815,163 Method and apparatus to draw line slices during calculation
5,740,345 Method and apparatus for displaying computer graphics data stored in a compressed format with an efficient color indexing system
5,657,435 Run slice line draw engine with non-linear scaling capabilities
5,627,957 Run slice line draw engine with enhanced processing capabilities
5,627,956 Run slice line draw engine with stretching capabilities
5,617,524 Run slice line draw engine with shading capabilities
5,611,029 Run slice line draw engine with non-linear shading capabilities
5,604,852 Method and apparatus for displaying a parametric curve on a video display
5,600,769 Run slice line draw engine with enhanced clipping techniques

An extension to the algorithm that handles thick lines was created by Alan Murphy at IBM.[5]

See also

Notes

  1. Paul E. Black. Dictionary of Algorithms and Data Structures, NIST. https://xlinux.nist.gov/dads/HTML/bresenham.html
  2. 2.0 2.1 Zingl, Alois "A Rasterizing Algorithm for Drawing Curves" (2012) http://members.chello.at/~easyfilter/Bresenham.pdf
  3. Joy, Kenneth. "Bresenham's Algorithm". Visualization and Graphics Research Group, Department of Computer Science, University of California, Davis. https://www.ercankoclar.com/wp-content/uploads/2016/12/Bresenhams-Algorithm.pdf. 
  4. Spackman, John Neil, "Apparatus and method for performing perspectively correct interpolation in computer graphics", US patent 5739818, published 1998-04-14
  5. "Murphy's Modified Bresenham Line Algorithm". http://homepages.enterprise.net/murphy/thickline/index.html. 

References

Further reading

  • Patrick-Gillesbanda Thesis an extension of the Bresenham line drawing algorithm to perform 3D hidden lines removal; also published in MICAD '87 proceedings on CAD/CAM and Computer Graphics, page 591 - ISBN:2-86601-084-1.
  • Line Thickening by Modification To Bresenham's Algorithm, A.S. Murphy, IBM Technical Disclosure Bulletin, Vol. 20, No. 12, May 1978. rather than [which] for circle extension use: Technical Report 1964 Jan-27 -11- Circle Algorithm TR-02-286 IBM San Jose Lab or A Linear Algorithm for Incremental Digital Display of Circular Arcs February 1977 Communications of the ACM 20(2):100-106 DOI:10.1145/359423.359432

External links