26 research outputs found
Some New Bounds For Cover-Free Families Through Biclique Cover
An cover-free family is a family of subsets of a finite set
such that the intersection of any members of the family contains at least
elements that are not in the union of any other members. The minimum
number of elements for which there exists an with blocks is
denoted by .
In this paper, we show that the value of is equal to the
-biclique covering number of the bipartite graph whose vertices
are all - and -subsets of a -element set, where a -subset is
adjacent to an -subset if their intersection is empty. Next, we introduce
some new bounds for . For instance, we show that for
and
where is a constant satisfies the
well-known bound . Also, we
determine the exact value of for some values of . Finally, we
show that whenever there exists a Hadamard matrix of
order 4d
Derandomization and Group Testing
The rapid development of derandomization theory, which is a fundamental area
in theoretical computer science, has recently led to many surprising
applications outside its initial intention. We will review some recent such
developments related to combinatorial group testing. In its most basic setting,
the aim of group testing is to identify a set of "positive" individuals in a
population of items by taking groups of items and asking whether there is a
positive in each group.
In particular, we will discuss explicit constructions of optimal or
nearly-optimal group testing schemes using "randomness-conducting" functions.
Among such developments are constructions of error-correcting group testing
schemes using randomness extractors and condensers, as well as threshold group
testing schemes from lossless condensers.Comment: Invited Paper in Proceedings of 48th Annual Allerton Conference on
Communication, Control, and Computing, 201
Construction of Almost Disjunct Matrices for Group Testing
In a \emph{group testing} scheme, a set of tests is designed to identify a
small number of defective items among a large set (of size ) of items.
In the non-adaptive scenario the set of tests has to be designed in one-shot.
In this setting, designing a testing scheme is equivalent to the construction
of a \emph{disjunct matrix}, an matrix where the union of supports
of any columns does not contain the support of any other column. In
principle, one wants to have such a matrix with minimum possible number of
rows (tests). One of the main ways of constructing disjunct matrices relies on
\emph{constant weight error-correcting codes} and their \emph{minimum
distance}. In this paper, we consider a relaxed definition of a disjunct matrix
known as \emph{almost disjunct matrix}. This concept is also studied under the
name of \emph{weakly separated design} in the literature. The relaxed
definition allows one to come up with group testing schemes where a
close-to-one fraction of all possible sets of defective items are identifiable.
Our main contribution is twofold. First, we go beyond the minimum distance
analysis and connect the \emph{average distance} of a constant weight code to
the parameters of an almost disjunct matrix constructed from it. Our second
contribution is to explicitly construct almost disjunct matrices based on our
average distance analysis, that have much smaller number of rows than any
previous explicit construction of disjunct matrices. The parameters of our
construction can be varied to cover a large range of relations for and .Comment: 15 Page
Linear time Constructions of some -Restriction Problems
We give new linear time globally explicit constructions for perfect hash
families, cover-free families and separating hash functions