On determining when small embeddings of partial Steiner triple systems exist

From MaRDI portal




Abstract: A partial Steiner triple system of order u is a pair (U,mathcalA) where U is a set of u elements and mathcalA is a set of triples of elements of U such that any two elements of U occur together in at most one triple. If each pair of elements occur together in exactly one triple it is a Steiner triple system. An embedding of a partial Steiner triple system (U,mathcalA) is a (complete) Steiner triple system (V,mathcalB) such that UsubseteqV and mathcalAsubseteqmathcalB. For a given partial Steiner triple system of order u it is known that an embedding of order vgeq2u+1 exists whenever v satisfies the obvious necessary conditions. Determining whether "small" embeddings of order v<2u+1 exist is a more difficult task. Here we extend a result of Colbourn on the mathsfNP-completeness of these problems. We also exhibit a family of counterexamples to a conjecture concerning when small embeddings exist.











This page was built for publication: On determining when small embeddings of partial Steiner triple systems exist

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6187453)