20 research outputs found

    Derandomization, Witnesses for Boolean Matrix Multiplication and Construction of Perfect Hash Functions

    Full text link

    Deterministic and efficient minimal perfect hashing schemes

    Get PDF
    Neste trabalho apresentamos versões determinísticas para os esquemasde hashing de Botelho, Kohayakawa e Ziviani (2005) e por Botelho, Pagh e Ziviani(2007). Também respondemos a um problema deixado em aberto no primeiro dostrabalhos, relacionado à prova da corretude e à análise de complexidade do esquemapor eles proposto. As versões determinísticas desenvolvidas foram implementadase testadas sobre conjuntos de dados com até 25.000.000 de chaves, e os resultadosverificados se mostraram equivalentes aos dos algoritmos aleatorizados originais

    Algebraic Methods in the Congested Clique

    Full text link
    In this work, we use algebraic methods for studying distance computation and subgraph detection tasks in the congested clique model. Specifically, we adapt parallel matrix multiplication implementations to the congested clique, obtaining an O(n12/ω)O(n^{1-2/\omega}) round matrix multiplication algorithm, where ω<2.3728639\omega < 2.3728639 is the exponent of matrix multiplication. In conjunction with known techniques from centralised algorithmics, this gives significant improvements over previous best upper bounds in the congested clique model. The highlight results include: -- triangle and 4-cycle counting in O(n0.158)O(n^{0.158}) rounds, improving upon the O(n1/3)O(n^{1/3}) triangle detection algorithm of Dolev et al. [DISC 2012], -- a (1+o(1))(1 + o(1))-approximation of all-pairs shortest paths in O(n0.158)O(n^{0.158}) rounds, improving upon the O~(n1/2)\tilde{O} (n^{1/2})-round (2+o(1))(2 + o(1))-approximation algorithm of Nanongkai [STOC 2014], and -- computing the girth in O(n0.158)O(n^{0.158}) rounds, which is the first non-trivial solution in this model. In addition, we present a novel constant-round combinatorial algorithm for detecting 4-cycles.Comment: This is work is a merger of arxiv:1412.2109 and arxiv:1412.266

    Separating hash families with large universe

    Full text link
    Separating hash families are useful combinatorial structures which generalize several well-studied objects in cryptography and coding theory. Let pt(N,q)p_t(N, q) denote the maximum size of universe for a tt-perfect hash family of length NN over an alphabet of size qq. In this paper, we show that q2o(1)<pt(t,q)=o(q2)q^{2-o(1)}<p_t(t, q)=o(q^2) for all t3t\geq 3, which answers an open problem about separating hash families raised by Blackburn et al. in 2008 for certain parameters. Previously, this result was known only for t=3,4t=3, 4. Our proof is obtained by establishing the existence of a large set of integers avoiding nontrivial solutions to a set of correlated linear equations.Comment: 17 pages, no figur
    corecore