5 research outputs found
Rounds in Combinatorial Search
The search complexity of a separating system is the minimum number of questions of type ``? hinspace \u27\u27 (where ) needed in the worst case to determine a hidden element .
If we are allowed to ask the questions in at most batches then we speak of the emph{-round} (or emph{-stage}) complexity of , denoted by . While -round and -round complexities (called non-adaptive and adaptive complexities, respectively) are widely studied (see for example Aigner cite{A}), much less is known about other possible values of , though the cases with small values of (tipically ) attracted significant attention recently, due to their applications in DNA library screening.
It is clear that
.
A group of problems raised by {G. O. H. Katona} cite{Ka} is to characterize those separating systems for which some of these inequalities are tight. In this paper we are discussing set systems with the property for any . We give a necessary condition for this property by proving a theorem about traces of hypergraphs which also has its own interest
Separation with restricted families of sets
Given a finite -element set , a family of subsets is said to separate if any two elements of are separated by at
least one member of . It is shown that if ,
then one can select members of that
separate . If for some , then
members of
are always sufficient to separate all pairs of elements of that are
separated by some member of . This result is generalized to
simultaneous separation in several sets. Analogous questions on separation by
families of bounded Vapnik-Chervonenkis dimension and separation of point sets
in by convex sets are also considered.Comment: 13 page
Rounds in a combinatorial search problem
We consider the following combinatorial search problem: we are given some
excellent elements of and we should find at least one, asking questions
of the following type: "Is there an excellent element in ?".
G.O.H. Katona proved sharp results for the number of questions needed to ask in
the adaptive, non-adaptive and two-round versions of this problem.
We verify a conjecture of Katona by proving that in the -round version we
need to ask queries for fixed and this is sharp.
We also prove bounds for the queries needed to ask if we want to find at
least excellent elements.Comment: 14 page