中文
相关论文

相关论文: Sequential non-determinism in tile self-assembly: …

200 篇论文

We show the first non-trivial positive algorithmic results (i.e. programs whose output is larger than their size), in a model of self-assembly that has so far resisted many attempts of formal analysis or programming: the planar…

计算几何 · 计算机科学 2014-07-11 Pierre-Étienne Meunier

Sequence-directed assembly processes - such as protein folding - allow the assembly of a large number of structures with high accuracy from only a small handful of fundamental building blocks. We aim to explore how efficiently sequence…

生物物理 · 物理学 2025-03-14 Jeremy Guntoro , Thomas Ouldridge

Is Winfree's abstract Tile Assembly Model (aTAM) "powerful?" Well, if certain tiles are required to "cooperate" in order to be able to bind to a growing tile assembly (a.k.a., temperature 2 self-assembly), then Turing universal computation…

新兴技术 · 计算机科学 2012-02-02 Matthew J. Patitz , Robert T. Schweller , Scott M. Summers

In this work we propose a generalization of Winfree's abstract Tile Assembly Model (aTAM) in which tile types are assigned rigid shapes, or geometries, along each tile face. We examine the number of distinct tile types needed to assemble…

计算几何 · 计算机科学 2015-03-19 Bin Fu , Matthew J. Patitz , Robert T. Schweller , Bobby Sheline

We introduce a new property of tile self-assembly systems that we call size-separability. A system is size-separable if every terminal assembly is a constant factor larger than any intermediate assembly. Size-separability is motivated by…

计算几何 · 计算机科学 2014-04-30 Andrew Winslow

In this paper we investigate the computational power of the polygonal tile assembly model (polygonal TAM) at temperature 1, i.e. in non-cooperative systems. The polygonal TAM is an extension of Winfree's abstract tile assembly model (aTAM)…

计算几何 · 计算机科学 2015-08-20 Oscar Gilbert , Jacob Hendricks , Matthew J. Patitz , Trent A. Rogers

As a mathematical model of self-assembling systems, Winfree's abstract Tile Assembly Model (aTAM) is a remarkable platform for studying the behaviors and powers of self-assembling systems. Capable of Turing universal computation, the aTAM…

计算几何 · 计算机科学 2016-08-11 Jacob Hendricks , Matthew J. Patitz , Trent A. Rogers

We discuss the self-assembly system of triangular tiles instead of square tiles, in particular right triangular tiles and equilateral triangular tiles. We show that the triangular tile assembly system, either deterministic or…

离散数学 · 计算机科学 2010-03-01 Lila Kari , Shinnosuke Seki , Zhi Xu

Working in a three-dimensional variant of Winfree's abstract Tile Assembly Model, we show that, for all $N \in \mathbb{N}$, there is a tile set that uniquely self-assembles into an $N \times N$ square shape at temperature 1 with optimal…

计算几何 · 计算机科学 2014-11-06 David Furcy , Samuel Micka , Scott M. Summers

The Tile Assembly Model is a Turing universal model that Winfree introduced in order to study the nanoscale self-assembly of complex (typically aperiodic) DNA crystals. Winfree exhibited a self-assembly that tiles the first quadrant of the…

计算复杂性 · 计算机科学 2015-05-18 Jack H. Lutz , Brad Shutters

In this paper we introduce the \emph{robust random number generation} problem where the goal is to design an abstract tile assembly system (aTAM system) whose terminal assemblies can be split into $n$ partitions such that a resulting…

形式语言与自动机理论 · 计算机科学 2016-08-01 Cameron Chalk , Bin Fu , Eric Martinez , Robert Schweller , Tim Wylie

We define the Reflexive Tile Assembly Model (RTAM), which is obtained from the abstract Tile Assembly Model (aTAM) by allowing tiles to reflect across their horizontal and/or vertical axes. We show that the class of directed temperature-1…

计算几何 · 计算机科学 2015-03-13 Jacob Hendricks , Matthew J. Patitz , Trent A. Rogers

We investigate a fundamental question regarding a benchmark class of shapes in one of the simplest, yet most widely utilized abstract models of algorithmic tile self-assembly. Specifically, we study the directed tile complexity of a $k…

数据结构与算法 · 计算机科学 2020-07-23 David Furcy , Scott M. Summers , Logan Withers

In this paper, we investigate shape-assembling power of a tile-based model of self-assembly called the Signal-Passing Tile Assembly Model (STAM). In this model, the glues that bind tiles together can be turned on and off by the binding…

形式语言与自动机理论 · 计算机科学 2022-06-09 Andrew Alseth , Daniel Hader , Matthew J. Patitz

We show the first asymptotically efficient constructions in the so-called "noncooperative planar tile assembly" model. Algorithmic self-assembly is the study of the local, distributed, asynchronous algorithms ran by molecules to…

计算复杂性 · 计算机科学 2021-07-19 Pierre-Etienne Meunier , Damien Regnault

We prove that the abstract Tile Assembly Model (aTAM) of nanoscale self-assembly is intrinsically universal. This means that there is a single tile assembly system U that, with proper initialization, simulates any tile assembly system T.…

数据结构与算法 · 计算机科学 2012-04-10 David Doty , Jack H. Lutz , Matthew J. Patitz , Robert T. Schweller , Scott M. Summers , Damien Woods

This short survey of recent work in tile self-assembly discusses the use of simulation to classify and separate the computational and expressive power of self-assembly models. The journey begins with the result that there is a single…

计算几何 · 计算机科学 2013-09-06 Damien Woods

In this paper, we investigate the abilities of systems of self-assembling tiles which can each pass a constant number of signals to their immediate neighbors to create replicas of input shapes. Namely, we work within the Signal-passing Tile…

新兴技术 · 计算机科学 2022-04-05 Andrew Alseth , Jacob Hendricks , Matthew J. Patitz , Trent A. Rogers

In the abstract Tile Assembly Model (aTAM) square tiles self-assemble, autonomously binding via glues on their edges, to form structures. Algorithmic aTAM systems can be designed in which the patterns of tile attachments are forced to…

新兴技术 · 计算机科学 2022-11-10 Andrew Alseth , Matthew J. Patitz

Behaviors of Winfree's tile assembly systems (TASs) at high temperatures are investigated in combination with integer programming of a specific form called threshold programming. First, we propose a way to build bridges from the Boolean…

计算复杂性 · 计算机科学 2012-11-22 Shinnosuke Seki , Yasushi Okuno