Almost optimal cover-free families

From MaRDI portal
Publication:5283363

DOI10.1007/978-3-319-57586-5_13zbMATH Open1487.68259arXiv1507.07368OpenAlexW2963540524MaRDI QIDQ5283363FDOQ5283363


Authors: Nader H. Bshouty, Ariel Gabizon Edit this on Wikidata


Publication date: 21 July 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Abstract: Roughly speaking, an (n,(r,s))-Cover Free Family (CFF) is a small set of n-bit strings such that: "in any d:=r+s indices we see all patterns of weight r". CFFs have been of interest for a long time both in discrete mathematics as part of block design theory, and in theoretical computer science where they have found a variety of applications, for example, in parametrized algorithms where they were introduced in the recent breakthrough work of Fomin, Lokshtanov and Saurabh under the name `lopsided universal sets'. In this paper we give the first explicit construction of cover-free families of optimal size up to lower order multiplicative terms, {for any r and s}. In fact, our construction time is almost linear in the size of the family. Before our work, such a result existed only for r=do(1). and r=omega(d/(loglogdlogloglogd)). As a sample application, we improve the running times of parameterized algorithms from the recent work of Gabizon, Lokshtanov and Pilipczuk.


Full work available at URL: https://arxiv.org/abs/1507.07368




Recommendations



Cites Work


Cited In (10)





This page was built for publication: Almost optimal cover-free families

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