Sierpinski, Revisited
Fair Warning: what follows is a reflection that may be of interest to few (or none!) apart from myself.
My previous post on the Sierpinski Attractor jogged a long-dormant memory for me; a memory that prefigures an interest in programming and computer graphics.
My high-school calculus class required the purchase of a TI–82 graphing calculator; I was intrigued and fascinated by this gadget, and enjoyed tinkering with it and exploring its possibilities. I distinctly recall perusing the manual and encountering this:
I simply had to figure out how to make my calculator produce this image. Now, at the time, I knew absolutely nothing about programming a computer, calculator, or anything of the kind (the closest thing in my range of experience was probably a brief encounter with turtle graphics in elementary school), so when I tediously copied the Sierpinski program from the manual into my calculator, I had no understanding of how it worked. This was the program:
PROGRAM:SIERPINS
:FnOff
:ClrDraw
:PlotsOff
:AxesOff
:0→Xmin:1→Xmax
:0→Ymin:1→Ymax
:rand→X:rand→Y
:For(K,1,3000)
:rand→N
:If N≤1/3
:Then
:.5X→X
:.5Y→Y :End
:If 1/3<N and N≤2/3
:Then
:.5(.5+X)→X
:.5(1+Y)→Y
:End
:If 2/3<N
:Then
:.5(1+X)→X
:.5Y→Y
:End
:Pt-On(X,Y)
:End
:StorePic Pic6
Today, however, it’s not too hard to see that this program implements precisely the same algorithm we discussed in the previous post.
I was always bothered in those days how a random pixel, clearly not part of the figure, would intrude on the image — the sample above being a case in point. Now that rogue pixel’s appearance is explained as well — the algorithm is not deterministic, and while the probability of points produced by this method being outside the set may be vanishingly small, on a finite grid of pixels they stand out 1.
It’s also amusing to recall (via emulation) the execution speed:
sierpinski_large.gif
And that was five times the actual speed.
It’s a strange feeling to look back and, in a way, have come full circle.
In this way it’s the same as Cantor Dust; a set with Lebesgue measure zero rendered with infinite resolution would not be visible, however our finite-resolution renderings are only approximations, and therefore visible.↩︎