140,297 research outputs found
Analogies between the crossing number and the tangle crossing number
Tanglegrams are special graphs that consist of a pair of rooted binary trees
with the same number of leaves, and a perfect matching between the two
leaf-sets. These objects are of use in phylogenetics and are represented with
straightline drawings where the leaves of the two plane binary trees are on two
parallel lines and only the matching edges can cross. The tangle crossing
number of a tanglegram is the minimum crossing number over all such drawings
and is related to biologically relevant quantities, such as the number of times
a parasite switched hosts.
Our main results for tanglegrams which parallel known theorems for crossing
numbers are as follows. The removal of a single matching edge in a tanglegram
with leaves decreases the tangle crossing number by at most , and this
is sharp. Additionally, if is the maximum tangle crossing number of
a tanglegram with leaves, we prove
. Further,
we provide an algorithm for computing non-trivial lower bounds on the tangle
crossing number in time. This lower bound may be tight, even for
tanglegrams with tangle crossing number .Comment: 13 pages, 6 figure
Counting and Matching
Lists, multisets and partitions are fundamental datatypes in mathematics and computing. There are basic transformations from lists to multisets (called "accumulation") and also from lists to partitions (called "matching"). We show how these transformations arise systematically by forgetting/abstracting away certain aspects of information, namely order (transposition) and identity (substitution). Our main result is that suitable restrictions of these transformations are isomorphisms: This reveals fundamental correspondences between elementary datatypes. These restrictions involve "incremental" lists/multisets and "non-crossing" partitions/lists. While the process of forgetting information can be precisely spelled out in the language of category theory, the relevant constructions are very combinatorial in nature. The lists, partitions and multisets in these constructions are counted by Bell numbers and Catalan numbers. One side-product of our main result is a (terminating) rewriting system that turns an arbitrary partition into a non-crossing partition, without improper nestings
Fixed parameter tractability of crossing minimization of almost-trees
We investigate exact crossing minimization for graphs that differ from trees
by a small number of additional edges, for several variants of the crossing
minimization problem. In particular, we provide fixed parameter tractable
algorithms for the 1-page book crossing number, the 2-page book crossing
number, and the minimum number of crossed edges in 1-page and 2-page book
drawings.Comment: Graph Drawing 201
- …