741 research outputs found
Intersection representation of digraphs in trees with few leaves
The leafage of a digraph is the minimum number of leaves in a host tree in
which it has a subtree intersection representation. We discuss bounds on the
leafage in terms of other parameters (including Ferrers dimension), obtaining a
string of sharp inequalities.Comment: 12 pages, 3 included figure
Solving the Canonical Representation and Star System Problems for Proper Circular-Arc Graphs in Log-Space
We present a logspace algorithm that constructs a canonical intersection
model for a given proper circular-arc graph, where `canonical' means that
models of isomorphic graphs are equal. This implies that the recognition and
the isomorphism problems for this class of graphs are solvable in logspace. For
a broader class of concave-round graphs, that still possess (not necessarily
proper) circular-arc models, we show that those can also be constructed
canonically in logspace. As a building block for these results, we show how to
compute canonical models of circular-arc hypergraphs in logspace, which are
also known as matrices with the circular-ones property. Finally, we consider
the search version of the Star System Problem that consists in reconstructing a
graph from its closed neighborhood hypergraph. We solve it in logspace for the
classes of proper circular-arc, concave-round, and co-convex graphs.Comment: 19 pages, 3 figures, major revisio
Some results on triangle partitions
We show that there exist efficient algorithms for the triangle packing
problem in colored permutation graphs, complete multipartite graphs,
distance-hereditary graphs, k-modular permutation graphs and complements of
k-partite graphs (when k is fixed). We show that there is an efficient
algorithm for C_4-packing on bipartite permutation graphs and we show that
C_4-packing on bipartite graphs is NP-complete. We characterize the cobipartite
graphs that have a triangle partition
Covering line graphs with equivalence relations
An equivalence graph is a disjoint union of cliques, and the equivalence
number of a graph is the minimum number of equivalence
subgraphs needed to cover the edges of . We consider the equivalence number
of a line graph, giving improved upper and lower bounds: . This disproves a
recent conjecture that is at most three for triangle-free
; indeed it can be arbitrarily large.
To bound we bound the closely-related invariant
, which is the minimum number of orientations of such that for
any two edges incident to some vertex , both and are oriented
out of in some orientation. When is triangle-free,
. We prove that even when is triangle-free, it
is NP-complete to decide whether or not .Comment: 10 pages, submitted in July 200
- …