6,088 research outputs found
A Stochastic Approach to Shortcut Bridging in Programmable Matter
In a self-organizing particle system, an abstraction of programmable matter,
simple computational elements called particles with limited memory and
communication self-organize to solve system-wide problems of movement,
coordination, and configuration. In this paper, we consider a stochastic,
distributed, local, asynchronous algorithm for "shortcut bridging", in which
particles self-assemble bridges over gaps that simultaneously balance
minimizing the length and cost of the bridge. Army ants of the genus Eciton
have been observed exhibiting a similar behavior in their foraging trails,
dynamically adjusting their bridges to satisfy an efficiency trade-off using
local interactions. Using techniques from Markov chain analysis, we rigorously
analyze our algorithm, show it achieves a near-optimal balance between the
competing factors of path length and bridge cost, and prove that it exhibits a
dependence on the angle of the gap being "shortcut" similar to that of the ant
bridges. We also present simulation results that qualitatively compare our
algorithm with the army ant bridging behavior. Our work gives a plausible
explanation of how convergence to globally optimal configurations can be
achieved via local interactions by simple organisms (e.g., ants) with some
limited computational power and access to random bits. The proposed algorithm
also demonstrates the robustness of the stochastic approach to algorithms for
programmable matter, as it is a surprisingly simple extension of our previous
stochastic algorithm for compression.Comment: Published in Proc. of DNA23: DNA Computing and Molecular Programming
- 23rd International Conference, 2017. An updated journal version will appear
in the DNA23 Special Issue of Natural Computin
Predictability of evolutionary trajectories in fitness landscapes
Experimental studies on enzyme evolution show that only a small fraction of
all possible mutation trajectories are accessible to evolution. However, these
experiments deal with individual enzymes and explore a tiny part of the fitness
landscape. We report an exhaustive analysis of fitness landscapes constructed
with an off-lattice model of protein folding where fitness is equated with
robustness to misfolding. This model mimics the essential features of the
interactions between amino acids, is consistent with the key paradigms of
protein folding and reproduces the universal distribution of evolutionary rates
among orthologous proteins. We introduce mean path divergence as a quantitative
measure of the degree to which the starting and ending points determine the
path of evolution in fitness landscapes. Global measures of landscape roughness
are good predictors of path divergence in all studied landscapes: the mean path
divergence is greater in smooth landscapes than in rough ones. The
model-derived and experimental landscapes are significantly smoother than
random landscapes and resemble additive landscapes perturbed with moderate
amounts of noise; thus, these landscapes are substantially robust to mutation.
The model landscapes show a deficit of suboptimal peaks even compared with
noisy additive landscapes with similar overall roughness. We suggest that
smoothness and the substantial deficit of peaks in the fitness landscapes of
protein evolution are fundamental consequences of the physics of protein
folding.Comment: 14 pages, 7 figure
Cellular Automata Applications in Shortest Path Problem
Cellular Automata (CAs) are computational models that can capture the
essential features of systems in which global behavior emerges from the
collective effect of simple components, which interact locally. During the last
decades, CAs have been extensively used for mimicking several natural processes
and systems to find fine solutions in many complex hard to solve computer
science and engineering problems. Among them, the shortest path problem is one
of the most pronounced and highly studied problems that scientists have been
trying to tackle by using a plethora of methodologies and even unconventional
approaches. The proposed solutions are mainly justified by their ability to
provide a correct solution in a better time complexity than the renowned
Dijkstra's algorithm. Although there is a wide variety regarding the
algorithmic complexity of the algorithms suggested, spanning from simplistic
graph traversal algorithms to complex nature inspired and bio-mimicking
algorithms, in this chapter we focus on the successful application of CAs to
shortest path problem as found in various diverse disciplines like computer
science, swarm robotics, computer networks, decision science and biomimicking
of biological organisms' behaviour. In particular, an introduction on the first
CA-based algorithm tackling the shortest path problem is provided in detail.
After the short presentation of shortest path algorithms arriving from the
relaxization of the CAs principles, the application of the CA-based shortest
path definition on the coordinated motion of swarm robotics is also introduced.
Moreover, the CA based application of shortest path finding in computer
networks is presented in brief. Finally, a CA that models exactly the behavior
of a biological organism, namely the Physarum's behavior, finding the
minimum-length path between two points in a labyrinth is given.Comment: To appear in the book: Adamatzky, A (Ed.) Shortest path solvers. From
software to wetware. Springer, 201
Extracting 3D parametric curves from 2D images of Helical objects
Helical objects occur in medicine, biology, cosmetics, nanotechnology, and engineering. Extracting a 3D parametric curve from a 2D image of a helical object has many practical applications, in particular being able to extract metrics such as tortuosity, frequency, and pitch. We present a method that is able to straighten the image object and derive a robust 3D helical curve from peaks in the object boundary. The algorithm has a small number of stable parameters that require little tuning, and the curve is validated against both synthetic and real-world data. The results show that the extracted 3D curve comes within close Hausdorff distance to the ground truth, and has near identical tortuosity for helical objects with a circular profile. Parameter insensitivity and robustness against high levels of image noise are demonstrated thoroughly and quantitatively
Complexity of evolutionary equilibria in static fitness landscapes
A fitness landscape is a genetic space -- with two genotypes adjacent if they
differ in a single locus -- and a fitness function. Evolutionary dynamics
produce a flow on this landscape from lower fitness to higher; reaching
equilibrium only if a local fitness peak is found. I use computational
complexity to question the common assumption that evolution on static fitness
landscapes can quickly reach a local fitness peak. I do this by showing that
the popular NK model of rugged fitness landscapes is PLS-complete for K >= 2;
the reduction from Weighted 2SAT is a bijection on adaptive walks, so there are
NK fitness landscapes where every adaptive path from some vertices is of
exponential length. Alternatively -- under the standard complexity theoretic
assumption that there are problems in PLS not solvable in polynomial time --
this means that there are no evolutionary dynamics (known, or to be discovered,
and not necessarily following adaptive paths) that can converge to a local
fitness peak on all NK landscapes with K = 2. Applying results from the
analysis of simplex algorithms, I show that there exist single-peaked
landscapes with no reciprocal sign epistasis where the expected length of an
adaptive path following strong selection weak mutation dynamics is
even though an adaptive path to the optimum of length less
than n is available from every vertex. The technical results are written to be
accessible to mathematical biologists without a computer science background,
and the biological literature is summarized for the convenience of
non-biologists with the aim to open a constructive dialogue between the two
disciplines.Comment: 14 pages, 3 figure
- …