299 research outputs found
A Theory of Transformation Monoids: Combinatorics and Representation Theory
The aim of this paper is to develop a theory of finite transformation monoids
and in particular to study primitive transformation monoids. We introduce the
notion of orbitals and orbital digraphs for transformation monoids and prove a
monoid version of D. Higman's celebrated theorem characterizing primitivity in
terms of connectedness of orbital digraphs. A thorough study of the module (or
representation) associated to a transformation monoid is initiated. In
particular, we compute the projective cover of the transformation module over a
field of characteristic zero in the case of a transitive transformation or
partial transformation monoid. Applications of probability theory and Markov
chains to transformation monoids are also considered and an ergodic theorem is
proved in this context. In particular, we obtain a generalization of a lemma of
P. Neumann, from the theory of synchronizing groups, concerning the partition
associated to a transformation of minimal rank
Sets as graphs
The aim of this thesis is a mutual transfer of computational and structural results and techniques between sets and graphs. We study combinatorial enumeration of sets, canonical encodings, random generation, digraph immersions. We also investigate the underlying structure of sets in algorithmic terms, or in connection with hereditary graphs classes. Finally, we employ a set-based proof-checker to verify two classical results on claw-free graph
Rank-based linkage I: triplet comparisons and oriented simplicial complexes
Rank-based linkage is a new tool for summarizing a collection of objects
according to their relationships. These objects are not mapped to vectors, and
``similarity'' between objects need be neither numerical nor symmetrical. All
an object needs to do is rank nearby objects by similarity to itself, using a
Comparator which is transitive, but need not be consistent with any metric on
the whole set. Call this a ranking system on . Rank-based linkage is applied
to the -nearest neighbor digraph derived from a ranking system. Computations
occur on a 2-dimensional abstract oriented simplicial complex whose faces are
among the points, edges, and triangles of the line graph of the undirected
-nearest neighbor graph on . In steps it builds an
edge-weighted linkage graph where
is called the in-sway between objects and . Take to be
the links whose in-sway is at least , and partition into components of
the graph , for varying . Rank-based linkage is a
functor from a category of out-ordered digraphs to a category of partitioned
sets, with the practical consequence that augmenting the set of objects in a
rank-respectful way gives a fresh clustering which does not ``rip apart`` the
previous one. The same holds for single linkage clustering in the metric space
context, but not for typical optimization-based methods. Open combinatorial
problems are presented in the last section.Comment: 37 pages, 12 figure
Scheduling multiprocessor tasks with genetic algorithms
In the multíprocessor schedulíng problem a given program is to be scheduled in a given multiprocessor system such that the program 's execution time is minimized. This problem being very hard to solve exactly, many heuristic methods for finding a suboptimal schedule exist. We propose a new combined approach, where a genetic algorithm is improved with the introduction of some knowledge about the scheduling problem represented by the use of a list heuristic in the crossover and mutatíon genetic operations. This knowledge-augmented genetic approach is empirically compared with a "pure" genetic algorithm and with a "pure" list heuristic, both from the literature. Results of the experiments carried out with synthetic instances of the scheduling problem show that our knowledge-augmented algorithm produces much better results in terms
of quality of solutions, although being slower in terms of execution time
- …