21,168 research outputs found
Computational complexity of reconstruction and isomorphism testing for designs and line graphs
Graphs with high symmetry or regularity are the main source for
experimentally hard instances of the notoriously difficult graph isomorphism
problem. In this paper, we study the computational complexity of isomorphism
testing for line graphs of - designs. For this class of
highly regular graphs, we obtain a worst-case running time of for bounded parameters . In a first step, our approach
makes use of the Babai--Luks algorithm to compute canonical forms of
-designs. In a second step, we show that -designs can be reconstructed
from their line graphs in polynomial-time. The first is algebraic in nature,
the second purely combinatorial. For both, profound structural knowledge in
design theory is required. Our results extend earlier complexity results about
isomorphism testing of graphs generated from Steiner triple systems and block
designs.Comment: 12 pages; to appear in: "Journal of Combinatorial Theory, Series A
Efficient Two-Stage Group Testing Algorithms for Genetic Screening
Efficient two-stage group testing algorithms that are particularly suited for
rapid and less-expensive DNA library screening and other large scale biological
group testing efforts are investigated in this paper. The main focus is on
novel combinatorial constructions in order to minimize the number of individual
tests at the second stage of a two-stage disjunctive testing procedure.
Building on recent work by Levenshtein (2003) and Tonchev (2008), several new
infinite classes of such combinatorial designs are presented.Comment: 14 pages; to appear in "Algorithmica". Part of this work has been
presented at the ICALP 2011 Group Testing Workshop; arXiv:1106.368
Counting Steiner triple systems with classical parameters and prescribed rank
By a famous result of Doyen, Hubaut and Vandensavel \cite{DHV}, the 2-rank of
a Steiner triple system on points is at least , and equality
holds only for the classical point-line design in the projective geometry
. It follows from results of Assmus \cite{A} that, given any integer
with , there is a code containing
representatives of all isomorphism classes of STS with 2-rank at most
. Using a mixture of coding theoretic, geometric, design
theoretic and combinatorial arguments, we prove a general formula for the
number of distinct STS with 2-rank at most contained
in this code. This generalizes the only previously known cases, , proved
by Tonchev \cite{T01} in 2001, , proved by V. Zinoviev and D. Zinoviev
\cite{ZZ12} in 2012, and (V. Zinoviev and D. Zinoviev \cite{ZZ13},
\cite{ZZ13a} (2013), D. Zinoviev \cite{Z16} (2016)), while also unifying and
simplifying the proofs. This enumeration result allows us to prove lower and
upper bounds for the number of isomorphism classes of STS with 2-rank
exactly (or at most) . Finally, using our recent systematic
study of the ternary block codes of Steiner triple systems \cite{JT}, we obtain
analogous results for the ternary case, that is, for STS with 3-rank at
most (or exactly) . We note that this work provides the first
two infinite families of 2-designs for which one has non-trivial lower and
upper bounds for the number of non-isomorphic examples with a prescribed
-rank in almost the entire range of possible ranks.Comment: 27 page
Tremain equiangular tight frames
Equiangular tight frames provide optimal packings of lines through the
origin. We combine Steiner triple systems with Hadamard matrices to produce a
new infinite family of equiangular tight frames. This in turn leads to new
constructions of strongly regular graphs and distance-regular antipodal covers
of the complete graph.Comment: 11 page
- …