3,367 research outputs found
Tree-like properties of cycle factorizations
We provide a bijection between the set of factorizations, that is, ordered
(n-1)-tuples of transpositions in whose product is (12...n),
and labelled trees on vertices. We prove a refinement of a theorem of
D\'{e}nes that establishes new tree-like properties of factorizations. In
particular, we show that a certain class of transpositions of a factorization
correspond naturally under our bijection to leaf edges of a tree. Moreover, we
give a generalization of this fact.Comment: 10 pages, 3 figure
Reduction of -Regular Noncrossing Partitions
In this paper, we present a reduction algorithm which transforms -regular
partitions of to -regular partitions of .
We show that this algorithm preserves the noncrossing property. This yields a
simple explanation of an identity due to Simion-Ullman and Klazar in connection
with enumeration problems on noncrossing partitions and RNA secondary
structures. For ordinary noncrossing partitions, the reduction algorithm leads
to a representation of noncrossing partitions in terms of independent arcs and
loops, as well as an identity of Simion and Ullman which expresses the Narayana
numbers in terms of the Catalan numbers
Parity Reversing Involutions on Plane Trees and 2-Motzkin Paths
The problem of counting plane trees with edges and an even or an odd
number of leaves was studied by Eu, Liu and Yeh, in connection with an identity
on coloring nets due to Stanley. This identity was also obtained by Bonin,
Shapiro and Simion in their study of Schr\"oder paths, and it was recently
derived by Coker using the Lagrange inversion formula. An equivalent problem
for partitions was independently studied by Klazar. We present three parity
reversing involutions, one for unlabelled plane trees, the other for labelled
plane trees and one for 2-Motzkin paths which are in one-to-one correspondence
with Dyck paths.Comment: 8 pages, 4 figure
Old and young leaves on plane trees
A leaf of a plane tree is called an old leaf if it is the leftmost child of
its parent, and it is called a young leaf otherwise. In this paper we enumerate
plane trees with a given number of old leaves and young leaves. The formula is
obtained combinatorially by presenting two bijections between plane trees and
2-Motzkin paths which map young leaves to red horizontal steps, and old leaves
to up steps plus one. We derive some implications to the enumeration of
restricted permutations with respect to certain statistics such as pairs of
consecutive deficiencies, double descents, and ascending runs. Finally, our
main bijection is applied to obtain refinements of two identities of Coker,
involving refined Narayana numbers and the Catalan numbers.Comment: 11 pages, 7 figure
Effective Marking Equivalence Checking in Systems with Dynamic Process Creation
The starting point of this work is a framework allowing to model systems with
dynamic process creation, equipped with a procedure to detect symmetric
executions (ie., which differ only by the identities of processes). This allows
to reduce the state space, potentially to an exponentially smaller size, and,
because process identifiers are never reused, this also allows to reduce to
finite size some infinite state spaces. However, in this approach, the
procedure to detect symmetries does not allow for computationally efficient
algorithms, mainly because each newly computed state has to be compared with
every already reached state.
In this paper, we propose a new approach to detect symmetries in this
framework that will solve this problem, thus enabling for efficient algorithms.
We formalise a canonical representation of states and identify a sufficient
condition on the analysed model that guarantees that every symmetry can be
detected. For the models that do not fall into this category, our approach is
still correct but does not guarantee a maximal reduction of state space.Comment: In Proceedings Infinity 2012, arXiv:1302.310
- …