55,788 research outputs found
A Characterization of Mixed Unit Interval Graphs
We give a complete characterization of mixed unit interval graphs, the
intersection graphs of closed, open, and half-open unit intervals of the real
line. This is a proper superclass of the well known unit interval graphs. Our
result solves a problem posed by Dourado, Le, Protti, Rautenbach and
Szwarcfiter (Mixed unit interval graphs, Discrete Math. 312, 3357-3363 (2012)).Comment: 17 pages, referees' comments adde
Completion of the mixed unit interval graphs hierarchy
We describe the missing class of the hierarchy of mixed unit interval graphs,
generated by the intersection graphs of closed, open and one type of half-open
intervals of the real line. This class lies strictly between unit interval
graphs and mixed unit interval graphs. We give a complete characterization of
this new class, as well as quadratic-time algorithms that recognize graphs from
this class and produce a corresponding interval representation if one exists.
We also mention that the work in arXiv:1405.4247 directly extends to provide a
quadratic-time algorithm to recognize the class of mixed unit interval graphs.Comment: 17 pages, 36 figures (three not numbered). v1 Accepted in the TAMC
2015 conference. The recognition algorithm is faster in v2. One graph was not
listed in Theorem 7 of v1 of this paper v3 provides a proposition to
recognize the mixed unit interval graphs in quadratic time. v4 is a lot
cleare
Unit Mixed Interval Graphs
In this paper we extend the work of Rautenbach and Szwarcfiter by giving a
structural characterization of graphs that can be represented by the
intersection of unit intervals that may or may not contain their endpoints. A
characterization was proved independently by Joos, however our approach
provides an algorithm that produces such a representation, as well as a
forbidden graph characterization
Unit Interval Editing is Fixed-Parameter Tractable
Given a graph~ and integers , , and~, the unit interval
editing problem asks whether can be transformed into a unit interval graph
by at most vertex deletions, edge deletions, and edge
additions. We give an algorithm solving this problem in time , where , and denote respectively
the numbers of vertices and edges of . Therefore, it is fixed-parameter
tractable parameterized by the total number of allowed operations.
Our algorithm implies the fixed-parameter tractability of the unit interval
edge deletion problem, for which we also present a more efficient algorithm
running in time . Another result is an -time algorithm for the unit interval vertex deletion problem,
significantly improving the algorithm of van 't Hof and Villanger, which runs
in time .Comment: An extended abstract of this paper has appeared in the proceedings of
ICALP 2015. Update: The proof of Lemma 4.2 has been completely rewritten; an
appendix is provided for a brief overview of related graph classe
Metric characterization of cluster dynamics on the Sierpinski gasket
We develop and implement an algorithm for the quantitative characterization
of cluster dynamics occurring on cellular automata defined on an arbitrary
structure. As a prototype for such systems we focus on the Ising model on a
finite Sierpsinski Gasket, which is known to possess a complex thermodynamic
behavior. Our algorithm requires the projection of evolving configurations into
an appropriate partition space, where an information-based metrics (Rohlin
distance) can be naturally defined and worked out in order to detect the
changing and the stable components of clusters. The analysis highlights the
existence of different temperature regimes according to the size and the rate
of change of clusters. Such regimes are, in turn, related to the correlation
length and the emerging "critical" fluctuations, in agreement with previous
thermodynamic analysis, hence providing a non-trivial geometric description of
the peculiar critical-like behavior exhibited by the system. Moreover, at high
temperatures, we highlight the existence of different time scales controlling
the evolution towards chaos.Comment: 20 pages, 8 figure
Computable de Finetti measures
We prove a computable version of de Finetti's theorem on exchangeable
sequences of real random variables. As a consequence, exchangeable stochastic
processes expressed in probabilistic functional programming languages can be
automatically rewritten as procedures that do not modify non-local state. Along
the way, we prove that a distribution on the unit interval is computable if and
only if its moments are uniformly computable.Comment: 32 pages. Final journal version; expanded somewhat, with minor
corrections. To appear in Annals of Pure and Applied Logic. Extended abstract
appeared in Proceedings of CiE '09, LNCS 5635, pp. 218-23
- …