3,293 research outputs found
Distinguishing Number for some Circulant Graphs
Introduced by Albertson et al. \cite{albertson}, the distinguishing number
of a graph is the least integer such that there is a
-labeling of the vertices of that is not preserved by any nontrivial
automorphism of . Most of graphs studied in literature have 2 as a
distinguishing number value except complete, multipartite graphs or cartesian
product of complete graphs depending on . In this paper, we study circulant
graphs of order where the adjacency is defined using a symmetric subset
of , called generator. We give a construction of a family of
circulant graphs of order and we show that this class has distinct
distinguishing numbers and these lasters are not depending on
Enriched Lawvere Theories for Operational Semantics
Enriched Lawvere theories are a generalization of Lawvere theories that allow
us to describe the operational semantics of formal systems. For example, a
graph enriched Lawvere theory describes structures that have a graph of
operations of each arity, where the vertices are operations and the edges are
rewrites between operations. Enriched theories can be used to equip systems
with operational semantics, and maps between enriching categories can serve to
translate between different forms of operational and denotational semantics.
The Grothendieck construction lets us study all models of all enriched theories
in all contexts in a single category. We illustrate these ideas with the
SKI-combinator calculus, a variable-free version of the lambda calculus.Comment: In Proceedings ACT 2019, arXiv:2009.0633
Nice labeling problem for event structures: a counterexample
In this note, we present a counterexample to a conjecture of Rozoy and
Thiagarajan from 1991 (called also the nice labeling problem) asserting that
any (coherent) event structure with finite degree admits a labeling with a
finite number of labels, or equivalently, that there exists a function such that an event structure with degree
admits a labeling with at most labels. Our counterexample is based on
the Burling's construction from 1965 of 3-dimensional box hypergraphs with
clique number 2 and arbitrarily large chromatic numbers and the bijection
between domains of event structures and median graphs established by
Barth\'elemy and Constantin in 1993
On the limiting distribution of the metric dimension for random forests
The metric dimension of a graph G is the minimum size of a subset S of
vertices of G such that all other vertices are uniquely determined by their
distances to the vertices in S. In this paper we investigate the metric
dimension for two different models of random forests, in each case obtaining
normal limit distributions for this parameter.Comment: 22 pages, 5 figure
- …