2,717 research outputs found
On bounding the bandwidth of graphs with symmetry
We derive a new lower bound for the bandwidth of a graph that is based on a
new lower bound for the minimum cut problem. Our new semidefinite programming
relaxation of the minimum cut problem is obtained by strengthening the known
semidefinite programming relaxation for the quadratic assignment problem (or
for the graph partition problem) by fixing two vertices in the graph; one on
each side of the cut. This fixing results in several smaller subproblems that
need to be solved to obtain the new bound. In order to efficiently solve these
subproblems we exploit symmetry in the data; that is, both symmetry in the
min-cut problem and symmetry in the graphs. To obtain upper bounds for the
bandwidth of graphs with symmetry, we develop a heuristic approach based on the
well-known reverse Cuthill-McKee algorithm, and that improves significantly its
performance on the tested graphs. Our approaches result in the best known lower
and upper bounds for the bandwidth of all graphs under consideration, i.e.,
Hamming graphs, 3-dimensional generalized Hamming graphs, Johnson graphs, and
Kneser graphs, with up to 216 vertices
Faster Algorithms for the Maximum Common Subtree Isomorphism Problem
The maximum common subtree isomorphism problem asks for the largest possible
isomorphism between subtrees of two given input trees. This problem is a
natural restriction of the maximum common subgraph problem, which is -hard in general graphs. Confining to trees renders polynomial time
algorithms possible and is of fundamental importance for approaches on more
general graph classes. Various variants of this problem in trees have been
intensively studied. We consider the general case, where trees are neither
rooted nor ordered and the isomorphism is maximum w.r.t. a weight function on
the mapped vertices and edges. For trees of order and maximum degree
our algorithm achieves a running time of by
exploiting the structure of the matching instances arising as subproblems. Thus
our algorithm outperforms the best previously known approaches. No faster
algorithm is possible for trees of bounded degree and for trees of unbounded
degree we show that a further reduction of the running time would directly
improve the best known approach to the assignment problem. Combining a
polynomial-delay algorithm for the enumeration of all maximum common subtree
isomorphisms with central ideas of our new algorithm leads to an improvement of
its running time from to ,
where is the order of the larger tree, is the number of different
solutions, and is the minimum of the maximum degrees of the input
trees. Our theoretical results are supplemented by an experimental evaluation
on synthetic and real-world instances
Semidefinite programming and eigenvalue bounds for the graph partition problem
The graph partition problem is the problem of partitioning the vertex set of
a graph into a fixed number of sets of given sizes such that the sum of weights
of edges joining different sets is optimized. In this paper we simplify a known
matrix-lifting semidefinite programming relaxation of the graph partition
problem for several classes of graphs and also show how to aggregate additional
triangle and independent set constraints for graphs with symmetry. We present
an eigenvalue bound for the graph partition problem of a strongly regular
graph, extending a similar result for the equipartition problem. We also derive
a linear programming bound of the graph partition problem for certain Johnson
and Kneser graphs. Using what we call the Laplacian algebra of a graph, we
derive an eigenvalue bound for the graph partition problem that is the first
known closed form bound that is applicable to any graph, thereby extending a
well-known result in spectral graph theory. Finally, we strengthen a known
semidefinite programming relaxation of a specific quadratic assignment problem
and the above-mentioned matrix-lifting semidefinite programming relaxation by
adding two constraints that correspond to assigning two vertices of the graph
to different parts of the partition. This strengthening performs well on highly
symmetric graphs when other relaxations provide weak or trivial bounds
Parity of Sets of Mutually Orthogonal Latin Squares
Every Latin square has three attributes that can be even or odd, but any two
of these attributes determines the third. Hence the parity of a Latin square
has an information content of 2 bits. We extend the definition of parity from
Latin squares to sets of mutually orthogonal Latin squares (MOLS) and the
corresponding orthogonal arrays (OA). Suppose the parity of an
has an information content of bits. We show that
. For the case corresponding to projective
planes we prove a tighter bound, namely when
is odd and when is even. Using the
existence of MOLS with subMOLS, we prove that if
then for all sufficiently large .
Let the ensemble of an be the set of Latin squares derived by
interpreting any three columns of the OA as a Latin square. We demonstrate many
restrictions on the number of Latin squares of each parity that the ensemble of
an can contain. These restrictions depend on and
give some insight as to why it is harder to build projective planes of order than for . For example, we prove that when it is impossible to build an for which all
Latin squares in the ensemble are isotopic (equivalent to each other up to
permutation of the rows, columns and symbols)
- …