Derandomization, witnesses for Boolean matrix multiplication and construction of perfect hash functions

被引:90
作者
Alon, N [1 ]
Naor, M [1 ]
机构
[1] WEIZMANN INST SCI, DEPT APPL MATH & COMP SCI, MORRIS & ROSE GOLDMAN CAREER DEV CHAIR, IL-76100 REHOVOT, ISRAEL
关键词
derandomization; matrix multiplication; perfect hashing;
D O I
10.1007/BF01940874
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Small sample spaces with almost independent random variables are applied to design efficient sequential deterministic algorithms for two problems. The first algorithm, motivated by the attempt to design efficient algorithms for the All Pairs Shortest Path problem using fast matrix multiplication, solves the problem of computing witnesses for the Boolean product of two matrices. That is, if A and B are two n by n matrices, that A(ik) = B-kj = 1. Its running time exceeds that of computing the product of two n by n matrices with small integer entries by a polylogarithmic factor The second algorithm is a nearly linear time deterministic procedure for constructing a perfect hash function for a given n-subset of {1,...,m}.
引用
收藏
页码:434 / 449
页数:16
相关论文
共 31 条
[1]  
Alon N., 1992, Proceedings 33rd Annual Symposium on Foundations of Computer Science (Cat. No.92CH3188-0), P417, DOI 10.1109/SFCS.1992.267748
[2]   SIMPLE CONSTRUCTIONS OF ALMOST K-WISE INDEPENDENT RANDOM-VARIABLES [J].
ALON, N ;
GOLDREICH, O ;
HASTAD, J ;
PERALTA, R .
RANDOM STRUCTURES & ALGORITHMS, 1992, 3 (03) :289-304
[3]   CONSTRUCTION OF ASYMPTOTICALLY GOOD LOW-RATE ERROR-CORRECTING CODES THROUGH PSEUDORANDOM GRAPHS [J].
ALON, N ;
BRUCK, J ;
NAOR, J ;
NAOR, M ;
ROTH, RM .
IEEE TRANSACTIONS ON INFORMATION THEORY, 1992, 38 (02) :509-516
[4]   A FAST AND SIMPLE RANDOMIZED PARALLEL ALGORITHM FOR THE MAXIMAL INDEPENDENT SET PROBLEM [J].
ALON, N ;
BABAI, L ;
ITAI, A .
JOURNAL OF ALGORITHMS, 1986, 7 (04) :567-583
[5]  
Alon N., 1990, Proceedings. 31st Annual Symposium on Foundations of Computer Science (Cat. No.90CH2925-6), P544, DOI 10.1109/FSCS.1990.89575
[6]  
Alon N., 1991, The Probabilistic Method
[7]  
ALON N, 1991, 32ND P ANN IEEE S F, P569
[8]   SIMULATING (LOG(C)N)-WISE INDEPENDENCE IN NC [J].
BERGER, B ;
ROMPEL, J .
JOURNAL OF THE ACM, 1991, 38 (04) :1026-1046
[9]   MATRIX MULTIPLICATION VIA ARITHMETIC PROGRESSIONS [J].
COPPERSMITH, D ;
WINOGRAD, S .
JOURNAL OF SYMBOLIC COMPUTATION, 1990, 9 (03) :251-280
[10]   IMPLICIT O(1) PROBE SEARCH [J].
FIAT, A ;
NAOR, M .
SIAM JOURNAL ON COMPUTING, 1993, 22 (01) :1-10