555 research outputs found
An undecidability result on limits of sparse graphs
Given a set B of finite rooted graphs and a radius r as an input, we prove
that it is undecidable to determine whether there exists a sequence (G_i) of
finite bounded degree graphs such that the rooted r-radius neighbourhood of a
random node of G_i is isomorphic to a rooted graph in B with probability
tending to 1. Our proof implies a similar result for the case where the
sequence (G_i) is replaced by a unimodular random graph.Comment: 6 page
Complexity of Langton's Ant
The virtual ant introduced by C. Langton has an interesting behavior, which
has been studied in several contexts. Here we give a construction to calculate
any boolean circuit with the trajectory of a single ant. This proves the
P-hardness of the system and implies, through the simulation of one dimensional
cellular automata and Turing machines, the universality of the ant and the
undecidability of some problems associated to it.Comment: 8 pages, 9 figures. Complements at
http://www.dim.uchile.cl/~agajardo/langto
The first order convergence law fails for random perfect graphs
We consider first order expressible properties of random perfect graphs. That
is, we pick a graph uniformly at random from all (labelled) perfect
graphs on vertices and consider the probability that it satisfies some
graph property that can be expressed in the first order language of graphs. We
show that there exists such a first order expressible property for which the
probability that satisfies it does not converge as .Comment: 11 pages. Minor corrections since last versio
Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems
A complete classification of the computational complexity of the fixed-point
existence problem for boolean dynamical systems, i.e., finite discrete
dynamical systems over the domain {0, 1}, is presented. For function classes F
and graph classes G, an (F, G)-system is a boolean dynamical system such that
all local transition functions lie in F and the underlying graph lies in G. Let
F be a class of boolean functions which is closed under composition and let G
be a class of graphs which is closed under taking minors. The following
dichotomy theorems are shown: (1) If F contains the self-dual functions and G
contains the planar graphs then the fixed-point existence problem for (F,
G)-systems with local transition function given by truth-tables is NP-complete;
otherwise, it is decidable in polynomial time. (2) If F contains the self-dual
functions and G contains the graphs having vertex covers of size one then the
fixed-point existence problem for (F, G)-systems with local transition function
given by formulas or circuits is NP-complete; otherwise, it is decidable in
polynomial time.Comment: 17 pages; this version corrects an error/typo in the 2008/01/24
versio
- …