arxiv: v1 [cs.cg] 3 Mar 2008

Transcription

1 Stge Self-ssembly: Nnomnufture of rbitrry Shpes with O() Glues Erik. emine Mrtin L. emine Sánor P. Fekete Mshhoo Ishque Eynt Rflin Robert T. Shweller ine L. Souvine rxiv:83.36v [s.g] 3 Mr 28 bstrt We introue stge self-ssembly of Wng tiles, where tiles n be e ynmilly in sequene n where intermeite onstrutions n be store for lter mixing. This moel n its vrious onstrints n performne mesures re motivte by prtil nnofbrition senrio through protein-bse bioengineering. Stging llows us to brek through the tritionl lower bouns in tile self-ssembly by enoing the shpe in the stging lgorithm inste of the tiles. ll of our results re bse on the prtil ssumption tht only onstnt number of glues, n thus only onstnt number of tiles, n be engineere. Uner this ssumption, tritionl tile self-ssembly nnot even mnufture n n n squre; in ontrst, we show how stge ssembly in theory enbles mnufture of rbitrry shpes in vriety of preise formultions of the moel. Introution Self-ssembly is the proess by whih n orgnize struture n form spontneously from simple prts. It esribes the ssembly of iverse nturl strutures suh s rystls, N helies, n mirotubules. In nnofbrition, the ie is to o-opt nturl self-ssembly proesses to buil esire strutures, suh s sieve for removing viruses from serum, rug-elivery evie for trgete hemotherpy or brhytherpy, mgneti evie for meil imging, tlyst for enzymti retions, or biologil omputer. Self-ssembly of rtifiil strutures hs promising pplitions to nnofbrition n biologil omputing. The generl gol is to esign n mnufture nnosle piees (e.g., strns of N) tht self-ssemble uniquely into esire mrosle objet (e.g., omputer). Our work is motivte n guie by n ongoing ollbortion with the Skler Shool of Grute Biomeil Sienes tht ims to nnomnufture sieves, tlysts, n rug-elivery n meilimging evies, using protein self-ssembly. Speifilly, the Golberg Lbortory is urrently eveloping tehnology to bioengineer (mny opies of) rigi struts of vrying lengths, me of severl proteins, whih n join ollinerly to eh other t omptible ens. These struts our nturlly s the legs of the T4 bteriophge, virus tht infets bteri by injeting N. In ontrst to nnosle self-ssembly bse on N [WLWS98, MLRS, RPW4, BRW5, See98, SQJ4, Rot6], MIT omputer Siene n rtifiil Intelligene Lbortory, 32 Vssr St., mbrige, M 239, US, {eemine, memine}@mit.eu. Prtilly supporte by NSF REER wr F n OE grnt E-FG2-4ER Institut für Mthemtishe Optimierung, Tehnishe Universität Brunshweig, Pokelsstr. 4, 386 Brunshweig, Germny, s.fekete@tu-bs.e eprtment of omputer Siene, Tufts University, Mefor, M 255, US, {mishq,ls}@s.tufts.eu. Prtilly supporte by NSF grnt F Google In., erflin@s.tufts.eu. Work performe while t Tufts University. Prtilly supporte by NSF grnt F eprtment of omputer Siene, University of Texs-Pn merin, Einburg, TX 78539, US, shwellerr@s. pnm.eu

2 whih is inherently floppy, these nnoro strutures re extremely rigi n shoul therefore sle up to the mnufture of mrosle objets. The tritionl, leing theoretil moel for self-ssembly is the two-imensionl tile ssembly moel introue by Winfree in his Ph.. thesis [Win98] n first ppering t STO 2 [RW]. The bsi builing bloks in this moel re Wng tiles [Wn6], unrottble squre tiles with speifie glue on eh sie, where equl glues hve ffinity n my stik. Tiles then self-ssemble into supertiles: two (super)tiles noneterministilly join if the sum of the glue ffinities long the tthment is t lest some threshol τ, lle temperture. This bsi moel hs been generlize n extene in mny wys [l, GH, G + 2, SW4, G + 5, RW, KS6]. The moel shoul be prtil beuse Wng tiles n esily simulte the prtil senrio in whih tiles re llowe to rotte, glues ome in pirs, n glues hve ffinity only for their unique mtes. In prtiulr, we n implement suh tiles using two unit-length nnoros joine t right ngles t their mipoints to form plus sign. Most theoretil reserh in self-ssembly onsiers the minimum number of istint tiles the tile omplexity t require to ssemble shpe uniquely. In prtiulr, if we llow the esire shpe to be sle by possibly very lrge ftor, then in most moels the minimum possible tile omplexity (the smllest tile progrm ) is Θ(K/ lg K) where K is the Kolmogorov omplexity of the shpe [SW4]. In prtie, the limiting ftor is the number of istint glues the glue omplexity g s eh new glue type requires signifint biohemil reserh n experiments. For exmple, set of N-bse glues requires experiments to test whether olletion of oewors hve onflit ( pir of nonomplementry bse sequenes tht tth to eh other), while set of protein-bse glues requires fining pirs of proteins with omptible geometries n mino-i plements tht bin (n no other pirs of whih ientlly bin). Of ourse, tile n glue omplexities re relte: g t g 4. We present the stge tile ssembly moel, generliztion of the tile ssembly moel tht ptures the temporl spet of the lbortory experiment, n enbles substntilly more flexibility in the esign n fbrition of omplex shpes using smll tile n glue omplexity. In its simplest form, stge ssembly enbles the grul ition of speifi tiles in sequene of stges. In ition, ny tiles tht hve not yet tthe s prt of supertile n be wshe wy n remove (in prtie, using weight-bse filter, for exmple). More generlly, we n hve ny number of bins (in relity, bthes of liqui solution store in seprte ontiners), eh ontining tiles n/or supertiles tht self-ssemble s in the stnr tile ssembly moel. uring stge, we n perform ny olletion of opertions of two types: () (rbitrrily mny opies of) new tile to n existing bin; n (2) pour one bin into nother bin, mixing the ontents of the former bin into the ltter bin, n keeping the former bin intt. In both ses, ny piees tht o not ssemble into lrger strutures re wshe wy n remove. These opertions let us buil intermeite supertiles in isoltion n then ombine ifferent supertiles s whole strutures. Now we hve two new omplexity mesures in ition to tile n glue omplexity: the number of stges or stge omplexity s mesures the time require by the opertor of the experiment, while the number of bins or bin omplexity b mesures the spe require for the experiment. (When both of these omplexities re, we obtin the regulr tile ssembly moel.) Our results. We show tht stge ssembly enbles substntilly more effiient mnufture in terms of tile n glue omplexity, without srifiing muh in stge n bin omplexity. ll of our results ssume the prtil onstrint of hving only smll onstnt number of glues n hene onstnt number of tiles. In ontrst, n informtion-theoreti rgument shows tht this ssumption woul limit the tritionl tile ssembly moel to onstruting shpes of onstnt Kolmogorov omplexity. Here we view the mixing time require in eh stge (n the volume of eh bin) s onstnt, minly beuse it is iffiult to nlyze preisely from thermoynmi perspetive, s pointe out in [l]. In our onstrutions, we believe tht suitble esign of the reltive onentrtions of tiles ( feture not pture by the moel) les to resonble mixing times. 2

3 n n squre Glues Tiles Bins Stges τ Sle onn. Plnr Previous work [GH, RW] Θ( log n log log n ) 2 full yes Jigsw tehnique ( 4.) 9 O() O() O(log n) full yes rzy mixing ( 4.2) 6 O() B O ( ) log n B + log B 2 full yes 2 rzy mixing, B = log n 6 O() log n O(log log n) 2 full yes Generl shpe with n tiles Glues Tiles Bins Stges τ Sle onn. Plnr Previous work [SW4] Θ(K/ log K) 2 unboune prtil no rbitrry shpe with n tiles ( 5.) 2 6 O(log n) O(imeter) prtil no Hole-free shpe with n tiles ( 5.2) 8 O() O(n) O(n) 2 full no Simultion of -stge tiles T ( 5.3) 3 O() O( T ) O(log log T ) O(log T ) prtil no Monotone shpes with n tiles ( 5.4) 9 O() O(n) O(log n) full yes Tble : Summry of the glue, tile, bin, n stge omplexities, the temperture τ, the sle ftor, the onnetivity, n the plnrity of our stge ssemblies n the relevnt previous work. For exmple, we evelop metho for self-ssembling n n n squre for rbitrry n >, using 6 glues n thus O() tiles (inepenent of n), n using only O(log log n) stges, O( log n) bins, n temperture τ = 2 (Setion 4.2). lterntively, with the minimum possible temperture τ =, we n self-ssemble n n n squre using 9 glues, O() tiles n bins, n O(log n) stges (Setion 4.). In ontrst, the best possible self-ssembly of n n n squre in the tritionl tile ssembly moel hs tile omplexity Θ(log n/ log log n) [GH, RW], or Θ( log n) in rther extreme generliztion of llowble pirwise glue ffinities [G + 5]. More generlly, we show how to self-ssemble rbitrry shpes me up of n unit squres in vriety of preise formultions of the problem. Our simplest onstrution buils the shpe using 2 glues, 6 tiles, O(imeter) stges, n O() bins, but it only glues tiles together oring to spnning tree, whih is wht we ll the prtil onnetivity moel (Setion 5.). ll other onstrutions hve full onnetivity: ny two jent unit squres re built by tiles with mthing glues long their shre ege. In prtiulr, if we sle n rbitrry hole-free shpe lrger by ftor of 2, then we n selfssemble with full onnetivity using 8 glues, O() tiles, n O(n) stges n bins (Setion 5.2). We lso show how to simulte tritionl tile ssembly onstrution with t tiles by stge ssembly using 3 glues, O() tiles, O(log log t) stges, O(t) bins, n sle ftor of O(log t) (Setion 5.3). If the shpe hppens to be monotone in one iretion, then we n voi sling n still obtin full onnetivity, using 9 glues, O() tiles, O(log n) stges, n O(n) bins (Setion 5.4). We lso isuss n effiient metho for the esign of binry ounters in the stge ssembly frmework, n importnt tool for lrge number of self-ssembly systems(setion 6). This tehnique offers benefits over non-stge ounters in terms of reue temperture (τ = ) n potentilly fster ssembly. Tble summrizes our results in more etil, in prtiulr elborting on possible tre-offs between the omplexities. The tble ptures one itionl spet of our onstrutions: Plnrity. onsier two jigsw puzzle piees with omplex borers lying on flt surfe. It my not be possible to slie the two piees together while both remin on the tble. Rther, one piee must be lifte off the tble n roppe into position. Our urrent moel of ssembly intuitively permits supertiles to be ple into position from the thir imension, espite the ft tht it my not be possible to ssemble within the plne. plnr onstrution gurntees ssembly of the finl trget shpe even if we restrit ssembly of supertiles to remin ompletely within the plne. This feture seems esirble, though it my not be essentil in two imensions beuse relity will lwys hve some thikness in the thir imension (2.5). However, the plnrity onstrint (or sptility onstrint in 3) beomes more ruil in 3 ssemblies, where there is no fourth imension to voi intersetion, so this feture gives n inition of whih methos might generlize to 3; see Setion 7. 3

4 Relte Work There re hnful of existing works in the fiel of N self-ssembly tht hve propose very bsi multiple stge ssembly proeures. John Reif introue step-wise ssembly moel for lol prllel biomoleulr omputing [Rei99]. In more reent work Prk et. l. hve onsiere simple hierrhil ssembly tehnique for the ssembly of N ltties [PP + 6]. Somei et. l. hve onsiere mirofluii evie for stepwise ssembly of N tiles [SKFM5]. While ll of these works use some form of stepwise or stge ssembly, they o not stuy the omplexity of stge ssembly to the epth tht we o here. Further, none onsier the onept of bin omplexity. 2 The Stge ssembly Moel In this setion, we present bsi efinitions ommon to most ssembly moels, then we esribe the stge ssembly moel, n finlly we efine vrious metris to mesure the effiieny of stge ssembly system. Tiles n tile systems. (Wng) tile t is unit squre efine by the orere quruple north(t), est(t), south(t), west(t) of glues on the four eges of the tile. Eh glue is tken from finite lphbet Σ, whih inlues speil null glue enote null. For simpliity of bouns, we o not ount the null glue in the glue omplexity g = Σ. tile system is n orere triple T, G, τ onsisting of the tileset T ( set of istint tiles), the glue funtion G : Σ 2 {,,..., τ}, n the temperture τ ( positive integer). It is ssume tht G(x, y) = G(y, x) for ll x, y Σ n tht G(null, x) = for ll x Σ. Inee, in ll of our onstrutions, s in the originl moel of lemn [l], G(x, y) = for ll x y (see footnote 2 ), n eh G(x, x) {, 2,..., τ}. The tile omplexity of the system is T. onfigurtions. efine onfigurtion to be funtion : Z 2 T {empty}, where empty is speil tile tht hs the null glue on eh of its four eges. The shpe of onfigurtion is the set of positions (i, j) tht o not mp to the empty tile. The shpe of onfigurtion n be isonnete, orresponing to severl istint supertiles. jeny grph n supertiles. efine the jeny grph G of onfigurtion s follows. The verties re oorintes (i, j) suh tht (i, j) empty. There is n ege between two verties (x, y ) n (x 2, y 2 ) if n only if x x 2 + y y 2 =. supertile is mximl onnete subset G of G, i.e., G G suh tht, for every onnete subset H, if G H G, then H = G. For supertile S, let S enote the number of nonempty positions (tiles) in the supertile. Throughout this pper, we will informlly refer to (lone) tiles s speil se of supertiles. If every two jent tiles in supertile shre positive strength glue type on butting eges, the supertile is fully onnete. Two-hne ssembly n bins. Informlly, in the two-hne ssembly moel, ny two supertiles my ome together (without rottion or flipping) n tth if their strength of tthment, from the glue funtion, meets or exees given temperture prmeter τ. Formlly, for ny two supertiles X n Y, the ombintion set (X,Y τ ) of X n Y is efine to be the set of ll supertiles obtinble by pling X n Y jent to eh other (without overlpping) suh tht, if we list eh newly oinient ege e i with ege strength s i, then s i τ. We efine the ssembly proess in terms of bins. Intuitively, bin onsists of n initil olletion of supertiles tht self-ssemble t temperture τ to proue new set of supertiles P. Formlly, with respet to given set of tile-types T, bin is pir (S, τ) where S is set of initil supertiles 2 With typil implementtion in N, glues tully tth to unique omplements rther thn to themselves. However, this epition of the glue funtion is stnr in the literture n oes not ffet the power of the moel. 4

5 whose tile-types re ontine in T, n τ is temperture prmeter. For bin (S, τ), the set of proue supertiles P (S,τ) is efine reursively s follows: () S P (S,τ) n (2) for ny X, Y P (S,τ), (X,Y τ ) P (S,τ). The set of terminlly proue supertiles of bin (S, τ) is P (S,τ) = {X P Y P, (X,Y τ ) = }. We sy the set of supertiles P is uniquely proue by bin (S, τ) if eh supertile in P is of finite size. Put nother wy, unique proution implies tht every prouible supertile n grow into supertile in P. Intuitively, P represents the set of ll possible supertiles tht n self-ssemble from the initil set S, wheres P represents only the set of supertiles tht nnot grow ny further. In the se of unique ssembly of P, the ltter thus represents the eventul, finl stte of the self-ssembly bin. Our gol is therefore to proue bins tht yiel esire supertiles in the uniquely proue set P. Given olletion of bins, we moel the proess of mixing bins together in rbitrrily speifie ptterns in sequene of istint stges. In prtiulr, we permit the following tions: We n rete bin of single tile type t T, we n merge multiple bins together into single bin, n we n split the ontents of given bin into multiple new bins. In prtiulr, when splitting the ontents of bin, we ssume the bility to extrt only the unique terminlly proue set of supertiles P, while filtering out itionl prtil ssemblies in P. Intuitively, given enough time for ssembly n lrge enough volume of tiles, bin tht uniquely proues P shoul onsist of lmost entirely the terminlly proue set P. We formlly moel the onept of mixing bins in sequene of stges with the mix grph. Mix grphs. n r-stge b-bin mix grph M onsists of rb + verties, m n m i,j for i r n j b, n n rbitrry olletion of eges of the form (m r,j, m ) or (m i,j, m i+,k ) for some i, j, k. Stge ssembly systems. stge ssembly system is 3-tuple M r,b, {T i,j }, {τ i,j } where M r,b is n r-stge b-bin mix grph, eh T i,j is set of tile types, n eh τ i,j is n integer temperture prmeter. Given stge ssembly system, for eh i r, j b, we efine orresponing bin (R i,j, τ i,j ) where R i,j is efine s follows:. R,j = T,j (this is ( bin in the first stge); ) 2. For i 2, R i,j = T i,j. k: (m i,k,m i,j ) M r,b P (R(i,k),τ i,k ) 3. R = P (R(r,k),τ r,k) ). k: (m r,k,m ) M r,b Thus, the jth bin in the ith stge tkes its initil set of see supertiles to be the terminlly proue supertiles from olletion of bins from the previous stge, the ext olletion speifie by M r,b, in ition to set of e tile types T i,j. Intuitively, the mix grph speifies how eh olletion of bins shoul be mixe together when trnsitioning from one stge to the next. We efine the set of terminlly proue supertiles for stge ssembly system to be P (R,τ ). In this pper, we re intereste in stge ssembly systems for whih eh bin yiels unique ssembly of terminl supertiles. In this se we sy stge ssembly system uniquely proues the set of supertiles P (R,τ ). Throughout this pper, we ssume tht, for ll i, j, τ i,j = τ for some fixe globl temperture τ, n we enote stge ssembly system s M r,b, {T i,j }, τ. Metris. We re intereste in esigning effiient stge ssembly systems tht terminlly proue unique trget shpe. We use the following nturl metris to mesure the effiieny of the stge tile system: Tile omplexity: T i,j. This represents the number of istint tile types tht the ssembly system requires. In this pper we emphsize O() tile omplexity systems in ontrst to previous work. 5

6 Tile types: Tile Sets: Mix Grph: X, : X,b : b T, = {x,b, x b, } T,2 = {x,b, x, } T 2, = {} T 2,2 = {} m, m,2 m 2, m 2,2 Xb, : b T 3, = {x b, } T 3,2 = {x, } m 3, m 3,2 m * Uniquely proue supertile: b b b b b b b Figure : smple stge ssembly system tht uniquely ssembles line. The temperture is τ =, n eh glue, b, hs strength. The tile, stge, n bin omplexities re 3, 3, n 2, respetively. Bin omplexity: The number b of verties in eh prtition of the mix grph. Intuitively this mesures the number of istint ontiners tht woul be require to rry out the speifie stge ssembly proeure. Stge omplexity: The number r of sequentil stges of mixing tht our. This metri mesures the number of stges in whih olletions of bins must be brought to their terminl ssemblies n mixe together into new rry of bins. It represents opertor time. Temperture: The vlue τ. In prtie, it is iffiult to implement systems with urte temperture sensitivity. In this pper we fous on τ {, 2, 3}. We lso onsier the following fetures to mesure the qulity of the shpe proue: Plnrity: In plnr onstrution, supertiles hve obstle-free pths to reh their mtes. onnetivity: In fully onnete supertile, every two jent tiles hve the sme positive-strength glue long their ommon ege. Otherwise the supertile is prtilly onnete. Sle ftor: In some ses, we llow the proue shpe to uniform sling of the esire shpe by some smll positive integer, lle the sle ftor. () (b) () Figure 2: ll three ssemblies re permitte uner the bsi moel. However, only ssembly () is permitte uner the plnrity onstrint. 6

7 3 ssembly of n Lines s wrmup, we evelop stge ssembly for the n retngle ( line ) using only three glues n O(log n) stges. The ssembly uses ivie-n-onquer pproh to split the shpe into onstnt number of reursive piees. Before we turn to the simple ivie-n-onquer require here, we esribe the generl se, whih will be useful lter. This pproh requires the piees to be ombinble in unique wy, foring the retion of the esire shpe. We onsier the eomposition tree forme by the reursion, where sibling noes shoul uniquely ssemble to their prent. The stging proees bottom-up in this tree. The height of this tree orrespons to the stge omplexity, n the mximum number of istint noes t ny level orrespons to the bin omplexity. The ie is to ssign glues to the piees in the eomposition tree to gurntee unique ssemblge while using few glues. We now turn to onstruting 2 k lines: Theorem. There is plnr temperture- stge ssembly system tht uniquely proues (fully onnete) 2 k line using 3 glues, 6 tiles, 6 bins, n O(k) stges. Proof. The eomposition tree simply splits 2 k line into two 2 k lines. ll tiles hve the null glue on their top n bottom eges. If the 2 k line hs glue on its left ege, n glue b on its right ege, then the left n right 2 k inherit these glues on their left n right eges, respetively. We lbel the remining two inner eges the right ege of the left piee n the left ege of the right piee with thir glue, istint from n b. Beuse b, the left n right piee uniquely tth t the inner eges with ommon glue. This reursion lso mintins the invrint tht b, so three glues suffie overll. Thus there re only ( 3 2) = 6 possible 2 k lines of interest, n we only nee to store these six t ny time, using six bins. t the bse se of k =, we just rete the six possible single tiles. The number of stges beyon tht retion is extly k. Figure 3: eomposition tree for 6 line. orollry. There is plnr temperture- stge ssembly system tht uniquely proues (fully onnete) n line using 3 glues, 6 tiles, 7 bins, n O(log n) stges. Proof. We ugment the onstrution of Theorem pplie to k = log n. When we buil the 2 i lines for some i, if the binry representtion of n hs bit in the ith position, then we tht line to new output bin. Thus, in the output bin, we umulte powers of 2 tht sum to n. s in the proof of Theorem, three glues suffie to gurntee unique ssemblge in the output bin. The number of stges remins O(log n). 7

8 4 ssembly of n n Squres Figure 4() illustrtes the hllenge with generlizing the eomposition-tree tehnique from n lines to n n squres. Nmely, the nïve eomposition of squre into two n n/2 retngles nnot le to unique ssembly using O() glues with temperture n full onnetivity: by the pigeon-hole priniple, some glue must be use more thn one long the shre sie of length n, n the lower prt of the left piee my glue to the higher prt of the right piee. Even though this inorret lignment my mke two unequl glues jent, in the temperture- moel, single mthing pir of glues is enough for possible ssembly. () (b) Figure 4: () The shifting problem enountere when ombining retngle supertiles. (b) The jigsw solution: two supertiles tht ombine uniquely into fully onnete squre supertile. 4. Jigsw Tehnique To overome this shifting problem, we introue the jigsw tehnique, powerful tool use throughout this pper. This tehnique ensures tht the two supertiles glue together uniquely bse on geometry inste of glues. Figure 4(b) shows how to ut squre supertile into two supertiles with three ifferent glues tht fore unique ombintion while preserving full onnetivity. Theorem 2. There is plnr temperture- stge ssembly of fully onnete n n squre using 9 glues, O() tiles, O() bins, n O(log n) stges. Proof. We buil eomposition tree by first eomposing the n n squre by vertil uts, until we obtin tll, thin supertiles; then we similrly eompose these tll, thin supertiles by horizontl uts, until we obtin onstnt-size supertiles. Tble 2 esribes the generl lgorithm. Figure 5 shows the eomposition tree for n 8 8 squre. The height of the eomposition tree, n hene the stge omplexity, is O(log n). We ssign glue types to the bounries of the supertiles to gurntee unique ssemblge bse on the jigsw tehnique. The ssignment lgorithm is similr to the n line, but we use three glues for the bounry of eh supertile inste of one, for totl of nine glues inste of three. Figure 6 shows the glue ssignment uring the first two vertil eompositions of the 8 8 squre. It remins to show tht the bin omplexity is O(). We strt by onsiering the vertil eomposition. t eh level of the eomposition tree, there re three types of intermeite prouts: leftmost supertile, rightmost supertile n mile supertiles. The leftmost n rightmost supertiles re lwys in ifferent bins. The importnt thing to observe is tht the mile supertiles lwys hve the sme shpe, though it is possible to hve two ifferent sizes the number of olumns n iffer by one. In one of these sizes, the number of olumns is even n, in the other, the number is o. Thus we nee seprte bins for the even- n o-olumne mile supertiles. For eh of the even- or o-olumne 8

9 lgorithm eomposevertilly (supertile S): Here S is supertile with n rows n m olumns; S is not neessrily retngle.. Stop vertil prtitioning when with is smll enough: If m 3, eomposehorizontlly(s) n return. 2. Fin the olumn long whih the supertile is to be prtitione: Let i := (m + )/2. ivie supertile S long the ith olumn into left supertile S n right supertile S 2 suh tht tiles t position (, i) n (n, i) belong to S n the rest of the ith olumn belongs to S Now eompose reursively: eomposevertilly (S ) eomposevertilly (S 2 ) Tble 2: lgorithm for vertil eomposition. (Horizontl eomposition is symmetri.) Leftmost supertile Mile supertiles Rightmost supertile Figure 5: eomposition tree for 8 8 squre in the jigsw tehnique. supertiles, eh of left n right bounries of the supertile n hve three hoies for the glue types. Therefore, there is onstnt number of ifferent types of mile supertiles t eh level of the eomposition tree. Thus, for vertil eomposition, we nee O() bins. Eh of the supertiles t the en of vertil eomposition unergoes horizontl eomposition. similr rgument pplies to the horizontl eomposition s well. Therefore, the number of bins require is O(). 4.2 rzy Mixing For eh stge of mix grph on B bins, there re up to Θ(B 2 ) eges tht n be inlue in the mix grph. By piking whih of these eges re inlue in eh stge, Θ(B 2 ) bits of informtion n be enoe into the mix grph per stge. The lrge mount of informtion tht n be enoe in the mixing pttern of stge permits very effiient tre-off between bin omplexity n stge omplexity. In this setion, we onsier the omplexity of this tre-off in the ontext of builing n n squres. It is possible to view tile system s ompresse enoing of the shpe it ssembles. Thus, informtion theoreti lower bouns for the esriptionl or Kolmogorov omplexity of the shpe ssemble 9

10 Figure 6: ssigning glues in the first two vertil eompositions of the jigsw tehnique. n be pplie to spets of the tile system. From this we obtin the following lower boun: Theorem 3. ny stge ssembly system with fixe temperture n bin omplexity B tht uniquely ssembles n n n squre with O() tile omplexity must hve stge omplexity Ω( log n B 2 ) for lmost ll n. Proof. The Kolmogorov omplexity of n integer n with respet to universl Turing mhine U is K U (n) = min p s.t U(p) = b n where b n is the binry representtion of n. strightforwr pplition of the pigeonhole priniple yiels tht K U (n) log n for t lest ( 2 ) of ll n (see [LV97] for results on Kolmogorov omplexity). Thus, for ny ɛ >, K U (n) ( ɛ) log n = Ω(log n) for lmost ll n. There exists fixe size Turing mhine tht tkes s input stge ssembly system n outputs the mximum length of the uniquely ssemble shpe of the system, if there is one. Suh mhine tht tkes s input system S = M r,b, {T i,j }, τ tht uniquely ssembles n n n squre will output the integer n, n therefore must hve size t lest K U (n). Therefore, n enoing of S into bits must hve size t lest Ω(log n) for lmost ll n. But, for onstnt boune τ n T = O(), we n enoe {T i,j } n τ in O(rb) bits n M r,b in O(rb 2 ) bits for totl O(rb 2 ) length enoing. Thus, for some onstnts n 2 we know tht for lmost ll n, rb 2 2 log n, whih yiels, r 2 log n b 2. Our upper boun hieves stge omplexity tht is within O(log B) itive ftor of this lower boun: Theorem 4. For ny n n B, there is temperture-2 fully onnete stge ssembly of n n n squre using 6 glues, O() tiles, B bins, n O( log n + log B) stges. B 2 Proof. Within O() itive ftor of tile omplexity, [RW] hve reue the problem of ssembling n n n squre t temperture 2 to the ssembly of length-log n binry string tht uniquely ientifies n. strightforwr pttion of the nlysis shows tht this result lso works in the two-hne ssembly moel use in this pper. Therefore, we fous simply on builing n rbitrry x-bit input binry string to prove the theorem. We first show how to buil length-o(b 2 ) bit string using temperture- system tht mkes use of B bins, O(B) istint tiles, n O() stges. We then pply tehnique similr to tht of Theorem 8

11 Tileset: 2 2 b 2 b 2 to ith bin: i- Mix Grph: b i Exmple trget string: b 3 b b b bb 2 2 bb 3 3 b... Eges of mix grph enoe the trget string broken up into equl length piees: w- b b 3... w bb b bb b b w- b b w- Figure 7: This tileset n mix grph epit tile system with 2w tiles n w bins tht will ssemble n rbitrrily speifie length w 2 binry string. () (b) x x () Figure 8: () s esribe in Setion 5.3, olletion of supertiles, eh in its own bin, n be rete suh tht eh supertile enoes binry string with sequene of pokets n tbs speifie by the binry pttern enoe. These supertiles t s lrge glues, or mro glues, by ombining glue type n geometry to bon only to their ext omplement supertile. (b) By ombining mro glues onto the surfes of supertiles, mrotiles n be rete whose ssembly pttern is the sme s tht for orresponing set of singleton tiles. () The tile set of from Figure 7 n be simulte with mro tiles to rete binry string using only O() tile omplexity. The exmple ssembly shown here orrespons to the mile setion of the exmple ssembly from Figure 7.

12 to onvert this system into O() tile omplexity system with n ition of O(log B) stges. Finlly, to get ll x bits we n repet this proess x B 2 times for totl of O( x B 2 + log B) stge omplexity. For some rbitrry integer w, onsier the size 2w tileset n orresponing 3-stge mix grph given in Figure 7. For eh of w bit positions, there is orresponing pir of white tiles, one representing the binry vlue, the other representing. By pling extly one white tile from eh pir into single bin, length w bit string is speifie. In the trnsition from stge to stge 2, suh length w string is built for eh of w bins, yieling w length w bit strings. These strings n then be ontente in the trnsition from stge 2 to 3 to yiel length w 2 binry string. For w = B/2, this yiels system with O(B) bins, O(B) tile omplexity, n O() stge omplexity tht ssembles length-b 2 trget string. To reue the tile omplexity to O(), we pply tehnique similr to tht of Theorem 8. In prtiulr, we use O(B) bins n O(logB) stges to rete size B lphbet of mro glues s shown in Figure 8. Eh mro glue is supertile tht onsists of string of tiles representing bits of binry string. Further, with the sme bin n stge omplexity we rete prllel set of omplement mro glues s shown in Figure 8 (). Note tht when ombine into the sme bin, two mro glues will only tth to one nother if they re ext omplements (hve the sme binry enoing). By esign, the tooth like geometry of the mro glues provies tht even single bit ifferene between two mro glues exlues even single bon from tthing. Given this set of mro glues, we now oneptully inex the set of istint glues from the size O(B) tileset of Figure 7 n ssign eh glue orresponing mro glue whose binry string mthes the inex of the glue. Next, we tth mro glues to the long thin supertiles shown in Figure 8 whih n be rete using slightly moifie version of the line lgorithm from Setion 3. In prtiulr, for eh element of the tileset from Figure 7, we tth mro glues orresponing to the est n west glues of the singleton tile. Further, we n ssign glue representing,, or nothing on the north surfe of eh mro tile, oring to whih glue the orresponing singleton tile isplys on its north sie. One we hve built this set of mro tiles, we mix them oring to the sme mixing lgorithm for the size O(B) tile set, but inste reple eh singleton tile with its orresponing mro tile. By esign, the mro glues tth extly s the bsi glues they re built to emulte. The result is thus length-w 2 binry string enoe on the north surfe of the ssemble mro tiles. Finlly, to get length-x string, we n repet this proess x B 2 times for totl of O( x B 2 + log B) stge omplexity. Given this string, the tehnique of [RW] is esily pte to tke into ount the log B vertil mgnifition ftor we introue by utilizing the mro glue onstrution. Further, while the tehnique of [RW] is temperture 2 rther thn, this is not problem s we n simply ouble the strength of eh glue in our onstrution to mke it temperture 2 system. etils of pplying the squre builing set from [RW] re strightforwr n pplitions of the tehnique to similr problems re onsiere in [G + 5, KS6]. Finlly, we observe tht the onstrution use here n be esigne to hieve full onnetivity n is plnr. Further, the onstrution of [RW] mintins this full onnetivity n plnrity, yieling the result. We onjeture tht this stge omplexity boun n be hieve by temperture- ssembly by juiious use of the jigsw tehnique. 5 ssembly of Generl Shpes In this setion, we esribe vriety of tehniques for mnufturing rbitrry shpes using stge ssembly with O() glues n tiles. 2

13 5. Spnning-Tree Tehnique The spnning-tree tehnique is generl tool for mking n rbitrry shpe with the onnetivity of tree. We strt with sequentil version of the ssembly: Theorem 5. ny shpe S with n tiles hs prtilly onnete temperture- stge ssembly using 2 glues, t most 6 tiles, O(log n) bins, n O(imeter(S)) stges. Figure 9: Spnning-tree metho for ssembling 3 3 squre. Proof. Tke breth-first spnning tree of the jeny grph of the shpe S. The epth of this tree is O(imeter(S)). Root the tree t n rbitrry lef. Thus, eh vertex in the tree hs t most three hilren. olor the verties with two olors, blk n white, lternting per level. For eh ege between white prent n blk hil, we ssign white glue to the orresponing tiles shre ege. For eh ege between blk prent n white hil, we ssign blk glue to the orresponing tiles shre ege. ll other tile eges reeive the null glue. Now tile hs t most three eges of its olor onneting to its hilren, n t most one ege of the opposite olor onneting to its prent. To obtin the sequentil ssembly, we perform prtiulr postorer trversl of the tree: t noe v, visit its hil subtrees in eresing orer of size. To ombine t noe v, we mix the reursively ompute bins for the hil subtrees together with the tile orresponing to noe v. The bihromti lbeling ensures unique ssemblge. The number of intermeite prouts we nee to store is O(log n), beuse when we reurse into seon hil, its subtree must hve size t most 2/3 of the prent s subtree. Figure 9 illustrtes spnning tree metho for ssembling 3 3 squre. In generl, this onstrution is nonplnr: the trees my fit together like key in keyhole. The stge omplexity of the spnning-tree tehnique n be reue by prlleliztion, t the ost of more bins: Theorem 6. ny shpe S with n tiles hs prtilly onnete temperture- stge ssembly using O() tiles, O(log n) stges, n O(n/ log n) bins. Proof. s before, we onsier two-olore breth-first spnning tree. To buil n n-tile tree, split this tree into two trees of t most 2n/3 noes. Reursively buil these two trees, n then mix the two resulting bins of supertiles together. If we ontinue this reursion own to iniviul noes (tiles), we 3

14 get n suh trees n the stge omplexity reues to O(log n), but the bin omplexity is now O(n). We n o better if we reurse until we get n/log n trees of size log n eh. By Theorem 5, eh of these trees n be built using O(log n) stges n O() bins. Thus we nee n/ log n bins in totl. These trees n be ombine using nother O(log n) stges to get the n-tile tree. 5.2 Sle Ftor 2 lthough the spnning-tree tehnique is generl, it probbly mnuftures struturlly unsoun ssemblies. Next we show how to obtin full onnetivity of generl shpes, while still using only onstnt number of glues n tiles. Theorem 7. ny simply onnete shpe hs stge ssembly using sle ftor of 2, 8 glues, O() tiles, O(n) stges, n O(n) bins. The onstrution mintins full onnetivity. Proof. Slie the trget shpe with horizontl lines to ivie the shpe into k strips for vrious vlues of k, whih sle to 2 2k strips (uniform ftor-2 sling of the trget shpe). These strips n be jent long horizontl eges but not long vertil eges. efine the strip grph to hve vertex for eh strip n n ege between two strips tht re jent long horizontl ege. Beuse the shpe is simply onnete (hole-free), the strip grph is tree. Root this tree t n rbitrry strip, efining prent reltion. reursive lgorithm buils the subtree of the strip grph roote t n rbitrry strip s. s shown in Figure (), the strip s my tth to the rest of the shpe t zero or more ples on its top or bottom ege. One of these onnetions orrespons to the prent of s (unless s is the overll root). s shown in Figure (b), our gol is to form eh of these tthments using jigsw tb/poket ombintion, where bottom eges hve tbs n top eges hve pokets, extening from the rightmost squre up to but not inluing the leftmost squre. Ftor-2 sling ensures tht it is lwys possible to rete these tbs n pokets. () (b) () Figure : onstruting horizontl strip in ftor-2 sle shpe (), ugmente by jigsw tbs n pokets to tth to jent piees (b), proeeing olumn-by-olumn (). The horizontl eges of eh tb or poket uses pir of glues. The unit-length upper horizontl ege uses one glue, n the possibly longer lower horizontl ege uses the other glue. The pokets t the top of strip s use ifferent glue pir from the tbs t the bottom of strip s. Furthermore, the poket or tb onneting s to its prent uses ifferent glue pir from ll other pokets n tbs. Thus, there re four ifferent glue pirs (for totl of eight glues). If the epth of s in the roote tree of the strip grph is even, then we use the first glue pir for the top pokets, the seon glue pir for the bottom tbs, exept for the onnetion to the prent whih uses either the thir or fourth glue pir epening on whether the onnetion is top poket or bottom tb. If the epth of s is o, then we reverse the roles of the first two glue pirs with the lst two glue pirs. ll vertil eges of tbs n pokets use the sme glue, 8. 4

15 To onstrut the strip s ugmente by tbs n pokets, we proee sequentilly from left to right, s shown in Figure (). The onstrution uses two bins. t the kth step, the primry bin ontins the first k olumns of the ugmente strip. In the seonry bin, we onstrut the kth olumn by brute fore in one stge using 3 tiles n 2 istint internl glues plus the esire glues on the bounry. Beuse the olumn speifies only two glues for horizontl eges, t the top n bottom, we n use ny two other glues for the internl glues. ll of the vertil eges of the olumn use ifferent glues. If k is o, the left eges use glues 3 n the right eges uses glues 4 6, oring to y oorinte; if k is even, the roles re reverse. (In prtiulr, these glues o not onflit with glue 8 in the tbs n pokets.) The only exeption is the first n lst olumns, whih hve no glues on their left n right sies, respetively. Now we n the seonry bin to the primry bin, n the kth olumn will uniquely tth to the right sie of the first k olumns. In the en, we obtin the ugmente strip. uring the builing of the strip, we tth hilren subtrees. Speifilly, one we ssemble the rightmost olumn of n tthment to one or two hilren strips, we reursively ssemble those one or two hilren subtrees in seprte bins, n then mix them into s s primry bin. Beuse the glues on the top n bottom sies of s iffer, s o the glues of s s prent, n beuse of the jigsw pproh, eh hil we hs unique ple to tth. Therefore we uniquely ssemble s s subtree. pplying this onstrution to the root of the tree, we obtin unique ssembly of the entire shpe. 5.3 Simultion of One-Stge ssembly with Logrithmi Sle Ftor In this setion, we show how to use smll number of stges to ombine onstnt number of tile types into olletion of supertiles tht n simulte the ssembly of n rbitrry set of tiles t temperture τ =, given tht these tiles only ssemble fully onnete shpes. Theorem 8. onsier n rbitrry single stge, single bin tile system with tile set T, ll glues of strength t most, n tht ssembles lss of fully onnete shpes. There is temperture- stge ssembly system tht simultes the one-stge ssembly of T up to n O(log T ) size sle ftor using 3 glues, O() tiles, O( T ) bins, n O(log log T ) stges. t the ost of inresing temperture to τ = 2, the onstrution hieves full onnetivity. Proof. Suppose the T uses istint glue types. s esribe in Figure, the initil stge of ssembly n use three istint tile types tht ssemble into supertile representing in first bin, n three tile types for the ssembly of supertile representing in seon bin. We n then split these supertiles into four groups n tth tile types n s shown in Figure. The thir stge mixes ll possible ombintions of supertiles tthe to tile type with those tthe with type to get istint supertile for eh possible 4-bit binry string. This proess n be repete to obtin ll possible length-8 bit strings, n so on. Thus, within O(log log ) stges we n obtin t lest istint binry strings of length t most O(log ). Repeting this proess four times proues n lphbet of glue types for eh tile sie. s shown in Figure, we n mke the geometry of ientil bits for opposite iretions (north/south, est/west) be interloking. Thus, when two glues re line up ginst eh other, if ll bits mth, the two supertiles n lok together n get full boning. However, ue to the interloking geometry, if even single bit oes not mth, this mismth will prevent the two supertiles from getting lose enough to get even single bon. Further, to prevent shifting of strings tht shre prefixes/suffixes, we n tth the interloking rk tiles shown in Figure (b). Finlly, given the four lphbets of glues with eh glue type in seprte bin, we n bring together rbitrry ombintions of four to rete mro tiles s shown in Figure 2. We n thus rete set of mro tiles tht will bon in the sme fshion s ny given trget τ = tile system. The holes in the onstrute shpe n trivilly be fille in in nonplnr fshion by ing in onstnt size set of filler tiles. 5

16 Bin -: Bin -2: Bin 2-: tile type. Bin 2-2: tile type. Bin 2-3: tile type. Bin 2-4: tile type. b B b B b B () (b) Figure : () Using O() tile types n O(log r) stges, we n ssemble 2 r ifferent supertiles, eh enoing istint r bit binry string. (b) By reting two versions of eh string n ppening tiles to the ens we n enfore tht ientil strings ombine while istint strings o not. Note tht even if single bit iffers between two strings, the rigi geometry of the supertiles ensure tht no tiles will be ble to bon. b B b B b B Figure 2: By onstruting n lphbet of binry strings for eh of the four possible tile sies, rbitrry ombintions of four n be brought together to ssemble mro tiles. This permits the simultion of τ = tile systems with mro bloks using only O() tile types. Note tht the onstrution oes not work for simulting τ = 2 systems if we restrit ourselves to onstnt boune temperture. This is beuse single glue mth for mro tile yiels lrge, nononstnt number of bons. Further, note tht when mro tile tthes t position jent to two or more lrey tthe mro tiles, it nnot tth within the plne, mking the onstrution inherently nonplnr. Extening this simultion to temperture-2 one-stge systems is n open problem. 5.4 ssembly of Monotone Shpes Theorem 9. ny monotone shpe hs fully onnete temperture- stge ssembly using 9 glues, O() tiles, O(log n) stges, n O(n) bins, where n is the sie length of the smllest squre bouning S. 6

17 Proof. We ssume wlog tht the shpe is x-monotone, whih mens its intersetion with ny vertil line is onnete. We use the similr onstrution tht we use for builing squre. We first eompose the shpe horizontlly to get long thin supertiles whih we lrey know how to buil. Here we will only isuss horizontl eomposition. uring horizontl eomposition, the hllenge is to eompose supertile S into left n right supertile tht n be ombine uniquely. We eompose S horizontlly only when the number of olumns in S is greter thn 3, otherwise, we just nee vertil eomposition. Let i, i+, n i+2 be the three olumns roughly in the mile of the supertile S. olumn i is jent to the olumn i+ t ertin lotions. Sine the shpe is x-monotone, the tiles in olumn i jent to olumn i + form onnete omponent. Sme is the se with tiles in olumn i + 2 tht re jent to olumn i +. Figure 3: ssembling monotone shpe. If the number of jent tiles between olumn i n i + is 3, we simply ut S between olumn i n i +. Otherwise if the number of tiles in olumn i + 2 jent to the tiles in olumn i + is 3, we n brek S between olumns i + n i + 2. See Figure 3 (top). If olumn i + is jent to both olumns in more thn three tiles, we fin the tiles in olumn i + tht re jent to both olumns. These tiles form onnete omponent ue to monotoniity. If the number of suh tiles 3 we n rete jigsw tb/poket ombintion t olumn i +. See Figure 3 (mile). Notie the left supertile is not monotone nymore beuse of the lst olumn. But we n ignore the lst olumn beuse it will never be one of the three mile olumns until the supertile ontins only three olumns n t tht point we on t nee horizontl eomposition ny more. If number of tiles in olumn i + tht re jent to both olumns is < 3, we eompose S by reting n elbow see Figure 3 (below). To rete n elbow: ssume without loss of generlity tht the highest tile in olumn i jent to olumn i + is lower thn the highest tile in olumn i + 2 jent to olumn i +. We ut the olumn i + suh tht the tiles in the olumn tht re either jent to olumn i or below ny suh tile belong to the left supertile n the rest of the olumn belong to right supertile. The horizontl eomposition uses only onstnt number of only 9 glues thus O() tiles. The eomposition tree is blne so we nee only O(log n) stges. The number of bins require n be O(n) beuse we my nee to keep eh olumn in seprte bin. 6 Fst ounters t Temperture τ = One of the most powerful n prevlent tools in the lgorithmi self-ssembly literture is the ounter [RW, GH, G + 5, KS6, Win98, BRW5]. set of tiles tht implement ounter re tiles tht ssem- 7

18 Bin S (Sme vlue strings) Bin I (Inremente strings) Bin R (Rollover string) Bin S 2 (Sme vlue strings) Bin R 2 (Rollover string) Bin I 2 (Inremente strings) Figure 4: Supertiles pble of binry ounting n be onstrute effiiently by simple reursive mixing lgorithm. set of binry strings of length x n be ssemble in O() bin omplexity n O(log x) stge omplexity. ble into pttern suh tht suessive positive integer positions re enoe into suessive positions in the ssemble shpe. Suh onstrutions will typilly then ontrol the length of the ssemble shpe by stopping growth when the ounter rehes its mximum vlue. In this setion we introue new metho of builing ounters in the tile ssembly moel tht tkes vntge of the power of stge ssembly. We rgue tht our pproh yiels some importnt benefits in terms of ssembly spee n temperture τ =. Given the proven utility of ounter ssemblies, we provie our onstrution s primitive tool tht my be useful in the evelopment of more effiient ssembly systems. The most typil exmple of ounter onsists of tile set where eh tile type is oneptully ssigne either or binry lbel. For some speifie vlue k, suh system ssembles k 2 k retngle suh tht for ny row i in the ssembly, the k tiles in the row i enoe the binry vlue of i by their ssigne lbels. ounters uner the stnr single stge moel suffer from two rwbks. First, they require temperture τ = 2 to work. Seon, ll the onstrutions to te in the literture re esigne so tht the i th vlue of the ounter nnot tth/ssemble until the st through i vlues hve lrey ssemble. This retes lower boun of Ω(n) ssembly time for these onstrutions (see [GH] for efinition of ssembly time uner the stnr moel). 8

19 () (b) () Figure 5: (() n (b)) With O() tile omplexity, O() bin omplexity, n O(k) stge omplexity, two seprte bthes of supertiles n be rete, eh ontining 2 2k istint supertiles. () When ombine, supertiles my tth together by lternting between supertiles from eh group. Further, tthment is only possible between supertiles whose binry strings enote vlues tht re of ifferene extly one. The effet is thus n ssembly whose bit pttern enoe row by row represents ounter inrementing by one until the mximum vlue is rehe, yieling length O(2 2k ) ssembly. In this exmple of length 4 strings, only 4 of the possible 6 supertiles re shown. With this onstrution, in ontrst to single stge ssemblies, two suessive ounter vlues my tth inepenent of whether or not previous vlues hve tthe. Thus, the resultnt struture shoul ssemble muh quiker thn other methos in whih eh row of ounter must be e in suession, strting from n initil see row. In our onstrution of binry ounter, we ttempt to improve upon both of these rwbks. First, our onstrution utilizes temperture τ =. Seon, the onstrution my ssembly in prllel mnner. Tht is, the supertile enoing the vlue i n tth to the supertile enoing the vlue i + t ny time, regrless of whether or not the supertile representing the vlue i hs tthe to nything. While efinition of ssembly time uner the two-hne ssembly moel hs not yet been evelope, it is plusible tht this prllelism oul yiel substntil reution in ssembly time for resonble moel. 6. ounter onstrution To implement the stge ssembly binry ounter, we esign mixing lgorithm to yiel two bthes of supertiles s shown in Figure 5, eh inluing list of long thin supertiles enoing bit pttern of interloking teeth on the north n south surfe of the supertile in the sme fshion s Theorem 8. In prtiulr, the first bth will onsist of supertiles whose pttern of interloking teeth on the north fe of the supertile enoe the binry string obtine by inrementing the binry string enoe on the south fe of the supertile by one. The seon bth is similr, but the string enoe on the north n south fe of eh supertile is not inremente. By esign, the glues on the north n south fes of eh supertile in either bth re istint, mking tthment mong supertiles impossible. However, we n mke the north glues use in the 9

20 first bth the sme s the south glues use in the seon bth, n vie vers. From this we get tht when the two bthes re mixe together supertiles my ssemble by lternting between supertiles from the first bth n supertiles from the seon bth. Further, ue to the geometry enoe on the surfe of eh supertile, eh supertile tthes bove supertile whose binry vlue is extly one less thn its own. Thus, ny ssemble struture onsists of hin of rows, eh row representing n inremente binry vlue. Therefore the unique terminl ssembly is suh tht the northmost fe is supertile enoing the highest vlue string of ll s, while the south fe onsists of the supertile representing the string of ll s. To see how to ssemble the binry strings use in this onstrution, onsier the problem of ssembling set of supertiles suh tht eh of the 2 2i length 2 i binry strings is represente by supertile enoing the string on its south surfe. Further, for eh suh supertile in the set, require tht it enoes the vlue enoe on its south surfe inremente by on its north surfe (ssume the ll s string inremente is the ll s string). enote this set s X i. Suh set is essentilly the first bth of Figure 5, n strightforwr moifition of the following tehnique n yiel the seon bth s well. Now, to obtin bin whose unique ssemblies re X i, it is suffiient to obtin 2 bins whose ssemblies union re equl to X i, s these bins n be ombine within stge. Let I i (I for inremente strings) enote the subset of strings in X i minus the string whose south surfe is ll s. Let R i (R for rollover strings) simply be the supertile enoing ll s on the south fe n ll s on the north fe. Finlly, efine thir set S i not ontine in X i, where S i is the set of ll length i strings enoing the sme vlue on the south n north fe of the supertile. To esribe how to ttin bin with the set X i s uniquely proue supertiles, we show how to reursively ompute the three sets S i, I i, n R i. ssume, s epite in Figure 4, tht eh supertile in the sets S, I, n R must hve strength re n green glue on the west most n est most enter ege respetively. Reursively, ssume we lrey hve 3 seprte bins ontining S i/2, I i/2, n R i/2. Within single stge, split the ontents of eh of these three bins into 2 seprte bins (for totl of six istint bins). enote the bins by Si/2 n S i/2 et. For the bins, tile from Figure 4. For the bins, tile. Now ombine sets Si/2 n S i/2. This yiels bin ontining the set of ll length i binry strings tht hve the sme vlues on the north n south fes, whih is the set S i. Now ombine set Si/2 n I i/2. This yiels set of supertiles tht is subset of I i, nmely the strings (enoe on the south fe of the supertile) whose lest signifint ours in the right hlf of the string. The remining set of I i, the strings whose lest signifint ours in the left hlf of the string, is obtine by ombining Ii/2 n R i/2. thir stge thus yiels the set I i. Finlly, the set R i is obtine by ombining R i/2 n R i/2. s bse se for this reursive mixing proeure, we n buil the sets for i = by brute fore with istint tile types. This tehnique uses t most 6 bins n 3 stges per reursion level. Thus, the esire set X x n be obtine in O() bins n O(log x) stges. The proeure for extening size strings to size 2 strings is epite in Figure ounting up to generl n The ounter esribe in Setion 6. ounts from vlue up to 2 2k for speifie vlue k using k stges, O() bins, n O() tile omplexity. However, this onstrution lerly is not immeitely pble of ssembling supertiles of rbitrry length n. In ontrst, onstrutions exist t τ = 2 uner the single stge moel suh tht the ext length of ounters n be speifie. This n typilly be one by speifying n initil first vlue of the ounter s these systems lwys strt from see vlue. 2