Solving some discrepancy problems in NC

被引:5
作者
Mahajan, S [1 ]
Ramos, EA
Subrahmanyam, KV
机构
[1] LSI Log, Milpitas, CA 95035 USA
[2] Max Planck Inst Informat, D-66123 Saarbrucken, Germany
[3] SPIC Math Inst, T Nagar Madras 600017, India
关键词
discrepancy; lattice approximation; parallel algorithms; derandomization; geometric sampling;
D O I
10.1007/s004530010046
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We show that several discrepancy-like problems can be solved in NC nearly achieving the discrepancies guaranteed by a probabilistic analysis and achievable sequentially. For example, we describe an NC algorithm that given a set system (X, S), where X is a ground set and S subset of or equal to 2(X), computes a set R subset of or equal to X so that for each S is an element of S the discrepancy parallel toR boolean AND S\ - \(R) over bar boolean AND S parallel to is O(root \S\log\S\). Whereas previous NC algorithms could only achieve discrepancies O(root \S\(1+epsilon) log\S\) with epsilon > 0, ours matches the probabilistic bound within a multiplicative factor 1 + o(1). Other problems whose NC solution we improve are lattice approximation, E-approximations of range spaces with constant VC-exponent, sampling in geometric configuration spaces, approximation of integer linear programs, and edge coloring of graphs.
引用
收藏
页码:371 / 395
页数:25
相关论文
共 39 条
[1]   ON RANGE SEARCHING WITH SEMIALGEBRAIC SETS [J].
AGARWAL, PK ;
MATOUSEK, J .
DISCRETE & COMPUTATIONAL GEOMETRY, 1994, 11 (04) :393-418
[2]  
AJTAI M, 1993, DIMACS SERIES DISCRE, P1
[3]   Improved parallel approximation of a class of integer programming problems [J].
Alon, N ;
Srinivasan, A .
ALGORITHMICA, 1997, 17 (04) :449-462
[4]  
ALON N, 1992, PROBABILISTIC METHOD
[5]  
Amato N. M., 1994, Proceedings. 35th Annual Symposium on Foundations of Computer Science (Cat. No.94CH35717), P683, DOI 10.1109/SFCS.1994.365724
[6]  
Amato N. M., 1995, Proceedings of the Twenty-Seventh Annual ACM Symposium on the Theory of Computing, P672, DOI 10.1145/225058.225285
[7]  
[Anonymous], 1993, COMPUTATIONAL GEOMET
[8]   INTEGRAL APPROXIMATION SEQUENCES [J].
BECK, J ;
SPENCER, J .
MATHEMATICAL PROGRAMMING, 1984, 30 (01) :88-98
[9]   INTEGER-MAKING THEOREMS [J].
BECK, J ;
FIALA, T .
DISCRETE APPLIED MATHEMATICS, 1981, 3 (01) :1-8
[10]  
Beck J., 1987, Cambridge Tracts in Mathematics, V89