Difference between revisions of "Strict Self-Assembly"
Jump to navigation
Jump to search
(Created page with "Essentially, strict self-assembly means that tiles are only placed in positions defined by the shape. Note that if $X \in \mathbb{Z}^2$ strictly self-assembles, then $X$ [[Weak ...") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
==Definition== | ==Definition== | ||
| − | A set $X$ ''strictly self-assembles''if there is a TAS $\mathcal{T}$ for | + | A set $X$ ''strictly self-assembles'' if there is a TAS $\mathcal{T}$ for |
which every assembly $\alpha \in \mathcal{A}_{\Box}[\mathcal{T}]}$ satisfies $\dom \alpha = | which every assembly $\alpha \in \mathcal{A}_{\Box}[\mathcal{T}]}$ satisfies $\dom \alpha = | ||
| − | X$. | + | X$. The set $\mathcal{A}_{\Box}[\mathcal{T}]}$ is the set of all [[Assembly#Terminal Assembly | terminal assemblies]]. |
==See also== | ==See also== | ||
| Line 12: | Line 12: | ||
[[Category: Terminology]] | [[Category: Terminology]] | ||
| + | [[Category:Self-assembly]] | ||
Latest revision as of 15:20, 27 May 2014
Essentially, strict self-assembly means that tiles are only placed in positions defined by the shape. Note that if \(X \in \mathbb{Z}^2\) strictly self-assembles, then \(X\) weakly self-assembles. (Just let the subset of the tile set equal the tile set.)
Definition
A set \(X\) strictly self-assembles if there is a TAS \(\mathcal{T}\) for which every assembly \(\alpha \in \mathcal{A}_{\Box}[\mathcal{T}]}\) satisfies \(\dom \alpha = X\). The set \(\mathcal{A}_{\Box}[\mathcal{T}]}\) is the set of all terminal assemblies.
