Top Banner
Complex Systems 8 (1994) 127- 150 Cellular Automat a in the Triangular Tessellation Carter Bays Department of Comp uter Science, University of South Carolina, Columbia, SC 29208, USA For the discussion below the following definitions are helpful. A semito- talistic CA rule is a rule for a cellular automat on (CA) where (a) we tally the living neighbors to a cell without regard to their orientation with respect to that cell, and (b) the rule applied to a cell may depend upon its current stat us. A lifelike rule (LFR rule) is a semitotalistic CA rule where (1) cells have exactly two states (alive or dead); (2) the rule giving the state of a cell for the next generat ion depends exactly upon (a) its state this generat ion and (b) the total count of the number of live neighbor cells; and (3) when tallying neighbors of a cell, we consider exactly those neighboring cells t hat touch the cell in question. An LFR rule is written E IEhFIF h , where EIE h (the "environment" rule) give the lower and upper bounds for the tally of live neighbors of a currently live cell C so that C remains alive, and FlF h (the "fertility" rule) give the lower and upp er bounds for the tally of live neighbors required for a currently dead cell to come to life. For an LFR rul e to specify a game of Life we impose two further conditions: (A) there must exist at least one glider (translat ing oscilla tor )t hat is discoverable with prob- ability one by starting with finite random initial configurations (sometimes called "random primordial soup") , and (B) the probability is zero t hat a fi- nite rando m initial configurat ion leads to unbounded growth . Note that this second condition does not eliminate the possibility t hat some unusual highly organized configurat ion can be constructed where the growth is unbounded. Note also that we may be able to const ruct some extremely complex config- uration that tr anslat es; however, if the possibility of discovering this with a random experiment is zero then condition (1) has not been met. We shall call LFR rules t hat sat isfy (A) and (B) GL ("Game of Life") rules; they will usually be wr itten "Life ElEh Fl F h " (otherwise we simply write "rule ElEh FlF h ") . To date there has been only one GL rule discovered in two dirnensions: t hat is of course the famous Conway game, Life 2333, which ex- ists on a two-dimensional grid of square cells, where each cell has 8 touching neighbors . An entire new universe unfolds when we consider the grid (also called a tesse llati on or tiling) of equilateral triangles. Here each cell has 12 touching neighbors: three on the edges and nine on the vertices (see Figure 1). We
24

Cellular Automata in the Triangular Tessellation

May 15, 2022

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Cellular Automata in the Triangular Tessellation

Complex Systems 8 (1994) 127- 150

Cellular Automata in the Triangular Tessellation

Cart er B aysDepartm ent of Comp uter Science,

University of South Carolina, Columbia, SC 29208, USA

For the discussion below the following definit ions are helpful. A semito­talistic CA rule is a rule for a cellular aut omaton (CA) where (a) we tallythe living neighbors to a cell without regard to their orient ation with respectto th at cell, and (b) the ru le applied to a cell may depend upon its currentstatus. A lifelike rule (LFR rule) is a semit otalist ic CA rule where (1) cellshave exac t ly two states (alive or dead); (2) the rule giving the state of a cellfor the next generation depends exact ly upon (a) it s state this generationand (b) the total count of the number of live neighbor cells; and (3) whentallying neighbors of a cell, we consider exactly those neighbor ing cells thattouch the cell in quest ion. An LFR rule is written EIEhFIFh, where EIEh(t he "environment" ru le) give th e lower and upper bounds for the tally oflive neighbors of a cur rent ly live cell C so that C remains alive, and FlFh(the "fert ility " rule) give the lower and upp er bounds for the tally of liveneighbors required for a cur rent ly dead cell to come to life. For an LFR ruleto specify a game of Life we impose two fur ther condit ions: (A) there mustexist at least one glider (t ranslat ing oscillator) t hat is discoverab le with prob­ability one by st arting with finite random initi al configurat ions (somet imescalled "random primordial soup") , and (B) th e probability is zero that a fi­nite rando m initial configuration leads to unbounded growth. Note tha t thissecond condition does not elimina te th e possibility that some unusual highlyorganized configuration can be const ruct ed where the growth is unbounded.Note also that we may be able to const ruct some ext remely complex config­uration t hat translates; however, if the possibility of discovering this with arandom experiment is zero then condition (1) has not been met . We shallcall LFR rules that satisfy (A) and (B) GL ("Ga me of Life" ) ru les; theywill usually be written "Life ElEh FlFh" (otherwise we simply write "ruleElEhFlFh") . To date th ere has been only one GL rule discovered in twodirnensions: that is of course the famous Conway game, Life 2333, which ex­ists on a two-dimensiona l grid of square cells, where each cell has 8 touchingneighbors .

An ent ire new un iverse unfolds when we consider th e grid (also called atesse llati on or ti ling) of equilatera l tri angles. Here each cell has 12 touchingneighbors: three on the edges and nine on t he vertices (see Figur e 1). We

Page 2: Cellular Automata in the Triangular Tessellation

128 Carter Bays

-2 -1 0 1 2

-2 - 1 0 2

Figure 1: Each cell in 6 has 12 touching neighb ors. There are twotypes of cells: E and 0 cells. The neighbors for each are shownas e or 0 , respectively. T he numbers give t he relative locat ions oft he neighbors if t he cell whose neighb orhood we are evaluating is atlocation (0, 0). The squa re dots spec ify cell locati ons as simulated ina two-dimensional array.

should first take not e of the far grea ter numb er of LFR rules possible inthe t riangular tessellation (hereafter designat ed 6) than in the square grid(which we will denote D ). The environment rule can be as small as (0 0) andcan encompass all the possibili ties up to (12 12): 13 + 12 + 11 + ... = 91possible values plus t he rule "no cell remains alive," which can be writ ten(- - F1Fh ) . The fert ility rule can have similar values, yielding a possibletotal of 92 x 92 = 8464 LFR ru les. Before proceeding, we should note somefacts about our t riangular universe.

Theorem 1. Any LFR rule where F/. ::::: 2 leads to unbounded growth.

Proof. The proof is obvious: simply look at Figure 1 and note that once weplace two cells adjacent to each other, growt h will proceed regardless of thevalues for the environment rule. •

Theorem 2. Any LFR rule where F/. ::::: 6 cannot grow without bounds. (Wecall these rules bounded rules.)

Proof. Again , simply examine Figure 1 or 2 and note that along the outsideof any st ra ight or convex border, no current ly dead cell can possibly touchmore than 5 cells.•

(Similar theorems for 0 yield values of F1 ::::: 2 causing unbounded growthand F1 ::::: 4 causing bounded growth; for the hexagonal tessellat ion the valuesare 1 and 3, respect ively.)

Behavior for a typical bounded rule in 6 , rule 1868, is shown at the left inFigure 2. For the patterns depicted here, all activity is confined to the areawithin the border . For these rules most patterns either disintegrate totally,stabilize (oscillators of period 1), or evolve into ext remely high-period oscil­lators tha t are usually contained with in convex enclosures . T he histogram

Page 3: Cellular Automata in the Triangular Tessellation

Cellular A utomata in the Triangular Tessellation 129

GE r~ERAT ION = 1500

GEN = 1500 ./

RULE = 1666

GENERAT ION = 61 00

r:

MIN ' 44MA X - I 08MODE - 78 'WITH 370

ALIVE = 32 4

GE NERATI ON = 45000

RULE 2769

Figure 2: Bounded rules with a large range between E, and Eh andbetween Fi and Fh can produce configurat ions such as these. Thehistograms show the populat ion ta llied after each generat ion. Thecurves depict the distr ibution of population counts after the numberof generat ions indicated. Not unexpectedly the distr ibution appearsto be normal.

at the left depicts the population at each generation out to 1500 generations(the period was not determined). The curve in the middle gives the dis­tribution of the total live pop ulation at each generation for a to tal of 8100genera t ions .

At the right of F igure 2 we see a somewha t larger pat tern , along wit ht he distribution of the count of live cells at each generation after 45,000genera tions. Here ru le 2769 was used. The vertical scale in F igur e 2 is notthe same for the two distribution plots.

A measur e of the great lengt h of the period for such st ructures is givenas follows. First we are given a boundary (its size is unimportant ) plus anint erior region of n cells tha t remain in tur moil; we sha ll let k generationspass. Note that there are 2n possible pattern s. For our discussion we can alsoassert tha t 100 < n « k « 2n . We simplify by assuming that each pat ternfrom generation to generation is ind epend ent of the previous pat tern . (Oursimplifying assumption is not t rue , bu t the apparent norm al dist ribu tionof the count of live cells indicates that our assumption is not an invalidmodel.) Then the probabi lity P that we will not have create d a pr eviouslyencountered pat tern by the (k + l)st generation is

Exp anding and dropping the unimportant terms gives approximately

Page 4: Cellular Automata in the Triangular Tessellation

130

2222000 00664 4240 00068840 00 02

Carter Bays

222220 001 26 8 2 2 0 2

Figure 3: The glider for Life 4644 is the most eas ily discovered gliderfor any of the GL ru les. It has a period of three, after which it movesone cell to the right . There are six orientations. The numbers undereach ph ase, and similar numbers on the oth er glider figures, give thesignat ure (see [1]).

hence the probabili ty that we will have encounte red a previous pattern byt he (k + 1)st genera tion is simply k2/2n+l . Thus, for example, k could beas large as, say, 2n

/4 ; with n = 300, th e probability of ente ring a cycle is

ext remely sma ll.One of the most fascina t ing char acteristics of LFR rules in 6 is that th ere

are (at least ) six GL ru les. This is of int erest since only one two-dim ensionalGL rule (Conway's ru le) is current ly known. These six two-dimensional GLrules are (in the ord er discovered) Life 4644, 3445, 4546, 2346, 3446, and2345. It is interesting to not e th at all GL ru les discovered to dat e containEIEhFlFh numbers th at lie within the ra nge of values specified by Theorems1 and 2. Of furth er interest is that , even though t he ru les share many com­mon environment and fertility ranges, each behaves in its own distinct way.With one exception each sports at least one glider un ique to th e ru le, and ahost of sma ll oscillators all of which are easily discoverab le by employing ran­dom "primordial soup" experiments (see [1]). Figur es 3 through 7 depict th egliders for these various GL rules, and Figur es 9 through 14 illustrat e someof the oscillator s. The richest rules in terms of easily discoverab le oscillator sappear to be Life 4644 and 4546. All of the experiments to produce oscil­lato rs were run on a Macint osh until new oscillators were not being read ilyproduced. A typical run consisted of about 1000 experiments, where eachexperiment started wit h a small random pattern . Signatures were utili zed(see [1]) to help weed out duplicat e pat terns. Note th at Life 2345 and 2346share the same glider and have severa l oscillators in common. The same isnot true for Life 3445 and 3446.

In Figure 15 we have shown th e rate at which identical random experi­ments for each GL ru le lead to stable configurations (i.e., all pa t terns haveconverged to oscillators with a finit e period ~ 1). Ru le 1246 also sportsa glider (see Figur e 8), but unfortunately leads to unbounded growt h (seeFigur e 16); hence it is not a GL rule.

The left of Figur e 17 shows the growth rate of Life 2333 by compa rison(here, of course, th e grid is square ra ther th an t riangular). Note t hat exper­iments und er Conway's ru le yield much more residu e than any of th e 6 GLrules. Fur th ermore, Life 2333 requi res more tim e to set t le int o a stable con­figur ation th an any of t he 6 GL rules. The impl ication here is that devicessuch as "glider guns" (devices th at spew forth endless supplies of gliders) will

Page 5: Cellular Automata in the Triangular Tessellation

Cellular A utomata in the Triangular Tessellation

00 273100007175341

~

2 ~~ 1 3 5 2 000 2 148 3 0 1 11 1

3 ~~ 1352 0 0 0 101 0832 1 2

''''0000 '''''' " " ~ ,

131

143 5 0 00 10 13 12 72 15

~~~ 6106 16 1 1 0 009 156 33 1 2 00 1 L':-..OO

2470007221334

Figure 4: Th e glider for Life 3445 (and other gliders) are harder todiscover th an the glider in Figure 3. This glider has an unusual periodof 7 and moves one cell per cycle in the direction shown. It has 12possible orientation s. No other oscillator for any GL rule has beendiscovered whose period is seven.

be hard to discover in 6 . Perh ap s this difficulty is overcome somew hat bythe large number of GL rul es available.

At the right of Figure 17 we see the growt h behavior of the very interest ­ing 6 ru le 2333. Growth for this ru le decays very slowly, going through wildgyrat ions . All random configurations test ed did eventually stabilize. The

Page 6: Cellular Automata in the Triangular Tessellation

132 Carter Bays

~110330100071043011

2 ~~ 1 1 431 00 07 1073 I 00 1 1

~V 21240001 210640023

4 ~~ 1221100 146333

V

5 ~

6 ~~7~.6

.6B LY~ -7

Figur e 5: The period-eight Life 4546 glider moves one cell per cyclein t he dir ection shown. Even t hough it is asymm etric, there are onlysix orientations, since t he second half of t he period is a reflection ofthe first.

Page 7: Cellular Automata in the Triangular Tessellation

Cellular Au tomata in the Triangular Tessellation

6 002020 0 12886

~6S 2

'V224000 12148 0 2

133

3

2240 0 016122 24

4

44 2 20 0 0 0 12 6 48000 0 2

5

6 400 6 20 144

Figure 6: The symmetric Life 2345 and 2346 glider has a period offive. T his glider , though somewhat similar to the Life 4644 glider, ismore difficult to discover. It has six orientations and moves one cellper cycle in the indicated dir ection.

Page 8: Cellular Automata in the Triangular Tessellation

134 Carter Bays

4 92 0 01 0231 611

2

3,,\"","0","""i o : ~'

4 ~ "'''',"0'''''''i z tf5 38 5 0 0 0 5 15 16 6 34

11

6

~ ~"1 5253440 0000179752 40 101

Figure 7: Here aga in we have an asymmetric glider where t he secondhalf of t he cycle is a reflection of th e first . This Life 3446 glider has aperiod of 12 and moves two cells per cycle.

Page 9: Cellular Automata in the Triangular Tessellation

Cellular Au tomata in the Triangular Tessellation 135

22212 20151 58 53

112 322004 2

1 12 231120 0 16 9552 111

Fig ure 8: Rul e 1246 sports a period-six glider that moves one cell percycle in the indi cated dir ection. Since 1246 allows unbounded growt h,it does not qu alify as a GL ru le (see Figure 16).

Page 10: Cellular Automata in the Triangular Tessellation

136

4t~ ~~1 2

~~ 9fW ~p ~~

Carter Bays

Figure 9: Here are th e most common oscillators for Life 4644. Thestable st ructures at t he upper left can be mad e arbitra rily large.

Page 11: Cellular Automata in the Triangular Tessellation

Cellular Automata in the Triangular Tessellation 137

~Z:87 STABLE ~:87

4

~

5

STABLE

Figur e 10: Depicted are the most common Life 3445 oscillators . T hesevariet ies are all t hat condense from experiment s afte r a several hourrun on a Macintosh.

Page 12: Cellular Automata in the Triangular Tessellation

138 Carter Bays

~ 2§ 19 ~ l~ ~ f£,'79STABLE

AA ~

~ 2:tg ~00

1 * 2 1~~

'i ,01~2~ l F 2 ~~ ~~2

1~ 2~2

lA~ ~ 1

1~ Qb'Q WOO

4S46 AND 4644 OSCILLATORS

~1

2 ~~ ~@ ~ ~1

~@

~ @~~@

~ 2 ~ 1~ ~ 2~ ('

~ @

XX 1 XX @~~@~

@~~

@~ ~ ~ ~ ~

~~@ ~@ f@~t::,'l!' ~t::,

~ @ XX2XX~ ~~ ~~ ~ "Vb Ji"V

~ ~~ ~

~~ ~~~ ~ @~ ~~ ~

~ @ ~ ~ 2 ~@~ @ ~ @~ . @@ (,> ~ ~@

@ ~ ~~2~@~ @~~

@~~

Figure 11: Th e most prolific GL rule appears to be Life 4546. Hereare the most common oscillato rs wit h period j; 2. At t he bottom areshown oscillators t hat occur for both Life 4546 and 4644. Note th att hese forms can be arbit rarily large.

Page 13: Cellular Automata in the Triangular Tessellation

Cellular A utomata in the Triangular Tessellation 139

Figure 12: These are th e common oscillators for Life 4546 where th eperiod exceeds two.

Page 14: Cellular Automata in the Triangular Tessellation

140 Carter Bays

1~ 2~

2345

2345 AND 2346

2346

2345 AND 2346

~~ 1472~

~~2~

IZ:Z 2Z~Z 3~ ~ 4~X~

\lS1£STABLE ~

~

B@~

10 '

LJQ f' o/g~ ~OOY'Y'Y' Y'

~:~1 6~ 17 ~

'OOY'

21 6 ~@ 2~~ ~22@

Y'Y' Y'Y'

(~()Y' 6

STABLE 66

1~Y'~6~6~Y'~6~

~~~Y'~Y'~6~Y'~

Figure 13: Here are t he common Life 2345 and 2346 oscillators. Al­though Life 2346, 3446, and 4546 share the same fertility rule, thet hree rules have few oscillators in common; Life 2345 and 2346 do,however. At the t op we have oscillators t ha t occur in Life 2345 butnot 2346, At the bot tom we have forms t ha t appear in Life 2346 butnot 2345, Between the dotted lines are oscillators common t o bothrules, T he period-22 oscillator illust rated at the top is the longest pe­riod GL oscillator discovered to date by primordial soup experiments .

Page 15: Cellular Automata in the Triangular Tessellation

Cellular Au tomata in the Triangular Tessellation

ST ABLE

~ ~ 1@ 2~ 1{) 2$

1~ 2~ 1 ~~ 2. t~'B ~kV'

T~ 2(k T~~ ~

1 ZB 2~ 3 Q 4~Z S ,*, 6~

1 ~Z 2 Q 3 ~ 4~~ S~ 6'0

~:l~) 3($)BB~~~'B=~~ 200 3 4 Z 5

~J~@~JFigur e 14: Random experiments produce these forms for Life 3446.It is likely t hat if a great many mor e experiment s were run , then allGL rules would revea l mor e such forms. Although some oscillatorsoccur for both Life 3445 and 3446, there ap pears to be not nearl y theoverlap as that between 2345 and 2346.

141

Page 16: Cellular Automata in the Triangular Tessellation

142 Carter Bays

ALIVE 37

STABL E AFT ER< 50 GENERATIONS

50 GENERATIONSALIVE = 1394

4644

ALI VE = 6 2

0'

AT STAB ILI TY46 44

L4644

2345 AND 3445

~~~~~'

50 GENERATIONSALIV E = 2469

23 4 6

e~-~'t~~.,~ ... '~-~~~

50 GENERATIONSALI VE = 162 4

3 446

50 GENERAT IONSALIV E = 27B2

4546

ALI VE = 35

o.

AT STABILITY2346

ALIV E =B9

AT STA BIL ITY3446

AL IVE = 67

...

AT STAB ILI TY4546

kL2346

\\

3 446

45 46

Figure 15: The plots illust rate the relative rates at which experi­ments with rando m start ing patterns will stabilize. In each case, 40%of a 100 x 100 grid was filled with live cells. Alth ough individualexperiments pro duce somewhat different results, t he GL ru les can beordered according t o th eir rates of stabilization, from fast est to slow­est , as: 2345 and 3445, 4644, 3446, 2346, 4546. For Figures 15-20 t heintervals in the plots each represent 100 generations . (For each of theplots in Figures 15- 20 the overall size of t he grid was 400 x 400, butthe start ing size for the random blob in the cente r varies.)

Page 17: Cellular Automata in the Triangular Tessellation

Cellular A utom ata in the Triangular Tessellation 143

5 GENERATIONS

4·' - -~~~ .2400 GENERATIONS

EACH INTERVAL = 100 GENERATIONS

1246

Figur e 16: T he ru le 1246 supports a glider but is not a GL ru le becausegrowt h is expansive.

Page 18: Cellular Automata in the Triangular Tessellation

144 Carter Bays

STARTINGCONFIGURAT ION

."

RULE 2333 IN 6.

" "

AT GEN ERATION 54 40 ALIV E 1t 10

"-,-o ~ <)..'

GEN

ALIVE = 300

b-,1200

LIFE 23 33( IN 0)

AT GENERATION 9000 ALIVE 606

. ~~ 0~1v~ 10000

~"" " ' " ""' Li " " ~""" " " " " " " " "" " " "~, , , " " jRULE 233 3 I r~ 6.

Figur e 17: Here we see for comparison (at the left ) Conway's rule, Life2333 (in 0) , which requires much more time to stabilize and leavesbehind much more resid ue than any of the GL ru les in 6 . The 6rule 2333 appears t o have bounded growth and stabilizes even moreslowly than Life 2333. So far no glider has been discovered for thisru le. T he start ing configur at ion for both ru les is shown at t he upperleft.

Page 19: Cellular Automata in the Triangular Tessellation

Cellular Automata in the Triangular Tessellation 145

~~ ~~ 4! 2 ~ ~ 4~tf\l~

1 ~~ 21 D

XX\zi~ED~ 4& 5# .if6 ~

\!::'fSl3 7

~~ ~\l 0/ \ ~ tf fSl\!::'\l

STABLE 12~ { 3} 5%

D4 6$ s,tf \!::,

~ \!::, \!::, 6 \!::,\l

& fEb ZDg \!::'ch ft 68 ,~),~D\!::'

2 3 4 9

~ fB Z\l~ fSl'W\lfSl

~ !11sJ %6z. ~fSl ~g "A""C57

611 15 1610 1 1 12 13

~ ~\lz. <tf'l:; 'l:;\l0/ ;Y \l

Figure 18: Here are a few of the oscillators for rule 2333. After aconsiderable search, no period-two oscillators were found. Of all therules whose oscillators were invest igated, rule 2333 was the only rulewith this characteristic.

one lacking feature is the failure of 2333 so far to produce a glider. Otherinteresting features ofrule 2333 include th e fact that no period-two oscillatorshave yet been discovered , and that among rules 0133, 1233, 2333, and 3433,rule 2333 is the only ru le where growt h is bounded (see Figures 17 and 19) .The oscillators th at were discovered for ru le 2333 gyrat e wildly, leading oneto hop e tha t some glider might yet be foun d. Even if t his is the case, thisru le would probably not yield the rich constructs of Life 2333 because it isth e relative abunda nce of th e glider th at gives Conway's ru le its allure .

In Figur e 20 we note the effect of altering th e Life 3445 rule slight ly,changing 3445 to 3544. No glider has yet been discovered for 3544, butperhaps more surprising is the fact that ru le 3544 requires much more timeto sett le down than does 3445. (Coincident ally, for plots in Figures 17 and20, rules 2333 and 3544 both required about the same numb er of generationsto st abilize.)

In each case in Figure 15 th e configurat ion started out as a random block,100 x 100, filled 40% with live cells. For Figur es 17 and 20 the start ing blockwas 25 x 25, and for Figures 16 and 19 it was 10 x 10. The overall grid sizewas 400 x 400 for each of the plots.

Figure 21 depicts some of the oscillators for rule 3544. It should bepointed out that a great many ru les have small unique oscillato rs, regard less

Page 20: Cellular Automata in the Triangular Tessellation

146 Carter Bays

.-fI

j/

I'p

.,/

RULE = 1233

i,i,

i!

/

/ RULE = 343 3

RULE = 0 133

RULE = 463 3

RULE 2333

'i.~''''-o.'.1.!

STARTING CONFIGURATION

Figure 19: Another interesting fact about rule 2333 is that it is theonly rule among 0133, 1233, 2333, and 3433 that does not allow un­bounded growth. A typical random 10 x 10 start ing configurationleads to the patterns shown. The tiny plot for rule 2333 is at thesame scale as the others. It was not run out to stabi lization, whichdid eventually occur. (See also Figure 17.) Growth for rule 4533decayed very quickly; rule 4633 led to unbounded growth.

of whet her they are GL ru les. In our search for GL rules we investigatedsevera l LFR ru les, many of which sat isfied criterion (B) but not (A) ; tha t is,no glider has yet been discovered. At least 106 glider search experiments wereperformed on each of the following ru les: 1245, 4533, 3444, 4544, 3544, 4545,2233, 2333, 3433, 3333, 2444, 2445, 4446, 4645, 5646, 1246, 2345, 5746, and0145. Many ru les not listed here were aba ndoned once it was determined t hatthey supported unbounded growth. Altho ugh the rules listed above seemedto the author to be the most likely candida tes for supporting gliders, thereremain many ru les to examine.

Page 21: Cellular Automata in the Triangular Tessellation

Cellular Au tomata in the Triangular Tessellation

INITI AL CONfiGURATION

147

AT 5000 GENERATIONS

AT 119 10 GENERATIONS

I~\l ~I\ ABOUT 660 LIVE CELLS

tI'fi w) , ~ 1~ )\ \~ .\' ;.) t m,.1f ~ ......a d . .. """, , I

,I ,!W,r,\,." . )1; ,,~ .~""'''-'''''v ' 'tVIr' '

" " " " " ," ,,," ," ," ," ," " ,,,,,," " !." ," ,,,,," ,," " ," " ," " " ," " ,,,," ,1," " " " " " ,," " ,5000 ) 10000) 12000 )

EACH MARK 100 GENERAT IONS

Figure 20: Every experiment run with rule 3544 went through vio­lent changes in population but eventually stabilized. This experimentstabilized at 11,910 genera t ions .

Page 22: Cellular Automata in the Triangular Tessellation

148 Carter Bays

STABLE STABLE STABLE1 ~

4 . 7

€~ 00 '\? .~ . ..~ .

1 1# 2

W~~

2 .

5(~B

..~. . ~.

~~~ l~ 3 . 6 9

~ ~ 3,,}. . ~'7. .

.~~ . .~ .V'

100 ;r 3~ 4~ ®( ~ ~

oo~ '2{7 3 ~4

00 ~ ~ ~ ~

Figur e 21: Here are some oscillators for ru le 3544, which is probab lynot a GL ru le since no glider has yet been discovered . The form atthe right tries, bu t does not move very far , revolving about the pointindicat ed by the int ersect ion of the dot ted lines. A great many LFRbut non-GL rules in f'::, support small oscillators that are unique tothe ru le.

P rogramming method

Perhaps the most st ra ight forward way to implement f'::, is to utilize the config­uration shown in Figure 1. Here each cell contains a dot posit ioned in such away as to define a rectangular array . Note th at we have "even" cells (t rianglesresting on their bases) and "odd" cells. We then utilize a two-dimensionalarray and "neighborhood" templates. For a cell at relative locat ion (0, 0)the template specifies th e neighbors. For the even (E) cells the template is(- 1, - 1; - 1, 0; -1 ,1 ; 0, -2; 0, - 1; 0,1 ; 0,2 ; 1, - 2; 1, -1 ; 1,0 ; 1,1 ; 1,2 ), andfor odd (0) cells it is (-1, -2; - 1, - 1; -1 ,0 ; - 1, 1; -1 ,2 ; 0, - 2; 0, -1 ; 0,1 ;0, 2; 1, - 1; 1, 0; 1,2 ). We determin e whether a cell is even or odd by find ing(I + J ) mod 2, where I and J are subscripts for the two-dim ensional array .Dependin g upon what kind of templates we place in our program , we canthus ut ilize th e same progr am to explore cellular automat a in many regulartessellations-for example, t he hexagonal tesse llat ion, the Cairo tessellation(a t iling of identical equilatera l pent agons), or the square tessellati on . Wecan even invest igat e t essellat ions composed of more than one type of polygon(see Figure 22). Here we would requir e template s for each different polygontype; the proper template(s) would be employed when we investigate th eneighborhood for tha t polygon. Of course we must alter th e graphic out putto depict the prop er cell layout for each tessellat ion being run.

Page 23: Cellular Automata in the Triangular Tessellation

Cellular Au tomata in the Triangular Tessellation

J = °

149

0",,-

tem plat e (1 ,J )

- 1, 1, 0 ,- 1, 0,1, 1,-1, 1,0

1+ 1

1+2

1 +3

1+4

1+ 5

1+ 7

J J + 1 J+ 2 J +3 J +4 J +5 J +6

temp late for square- 1, - 1 - 1, 1, 1,- I, 1,1

template fo r octagon

- 2 ,0 0, - 2 0, 2 2 ,0

- 1,- 1 - I , I , 1,- I , 1,1

Figure 22: Templ ates for ot her tess ellations can be eas ily constructedand simulated with a square array. W hen mor e than one ty pe ofpolygon is present we can easily find which we are dealing wit h bylooking at (I + J ) mo d n , where n is usually two or some ot her smallnumber. Of course the grap hic outpu t for each po lygon or orientat ionmust be set up prope rly.

Page 24: Cellular Automata in the Triangular Tessellation

150 Carter Bays

With relatively small populations in large universes we gain speed if ateach genera t ion we only examine cells that will die (i.e., live cells whoseneighbor count lies outside the environment range), or cells th at will come tolife (dead cells whose neighbor count lies within the fertili ty range). Henceeach cell contains a count of the numb er of live neighbors along with a flagto indi cate whet her it is dead or alive. We need only store a list of changesas we evaluate each new genera t ion by rapidly scanning over th e grid of cells.Then we update the neighb or count for each neighbor of each changed cell.

R efer ences

[1] Carte r Bays, "Pat terns for Simple Cellular Automata in a Universe of DensePacked Spheres," Complex Systems, 1 (1987) 853-875.

[2] Stephen Wolfram, Theory and Applications of Cellular Automata (Singapore:World Scient ific, 1986).