Results 1  10
of
17
The NPcompleteness column: an ongoing guide
 Journal of Algorithms
, 1985
"... This is the nineteenth edition of a (usually) quarterly column that covers new developments in the theory of NPcompleteness. The presentation is modeled on that used by M. R. Garey and myself in our book ‘‘Computers and Intractability: A Guide to the Theory of NPCompleteness,’ ’ W. H. Freeman & Co ..."
Abstract

Cited by 188 (0 self)
 Add to MetaCart
This is the nineteenth edition of a (usually) quarterly column that covers new developments in the theory of NPcompleteness. The presentation is modeled on that used by M. R. Garey and myself in our book ‘‘Computers and Intractability: A Guide to the Theory of NPCompleteness,’ ’ W. H. Freeman & Co., New York, 1979 (hereinafter referred to as ‘‘[G&J]’’; previous columns will be referred to by their dates). A background equivalent to that provided by [G&J] is assumed, and, when appropriate, crossreferences will be given to that book and the list of problems (NPcomplete and harder) presented there. Readers who have results they would like mentioned (NPhardness, PSPACEhardness, polynomialtimesolvability, etc.) or open problems they would like publicized, should
Optimal and Efficient Clock Synchronization Under Drifting Clocks (Extended Abstract)
 IN PROCEEDINGS OF THE 18TH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING
, 1999
"... We consider the classical problem of clock synchronization in distributed systems. Previously, this problem was solved optimally and efficiently only in the case when all individual clocks are nondrifting, i.e., only for systems where all clocks advance at the rate of real time. In this paper, we ..."
Abstract

Cited by 28 (1 self)
 Add to MetaCart
We consider the classical problem of clock synchronization in distributed systems. Previously, this problem was solved optimally and efficiently only in the case when all individual clocks are nondrifting, i.e., only for systems where all clocks advance at the rate of real time. In this paper, we present a new algorithm for systems with drifting clocks, which is the first optimal algorithm to solve the problem efficiently: clock drift bounds and message latency bounds may be arbitrary; the computational complexity depends on the communication pattern of the system in a way which is bounded by a polynomial in the network size for most systems. More specifically, the complexity is polynomial in the maximal number of messages known to be sent but not received, the relative system speed, and timestamp s...
A Lower Bound for Parallel String Matching
 SIAM J. Comput
, 1993
"... This talk presents the derivation of an\Omega\Gamma/28 log m) lower bound on the number of rounds necessary for finding occurrences of a pattern string P [1::m] in a text string T [1::2m] in parallel using m comparisons in each round. The parallel complexity of the string matching problem using p ..."
Abstract

Cited by 25 (13 self)
 Add to MetaCart
This talk presents the derivation of an\Omega\Gamma/28 log m) lower bound on the number of rounds necessary for finding occurrences of a pattern string P [1::m] in a text string T [1::2m] in parallel using m comparisons in each round. The parallel complexity of the string matching problem using p processors for general alphabets follows. 1. Introduction Better and better parallel algorithms have been designed for stringmatching. All are on CRCWPRAM with the weakest form of simultaneous write conflict resolution: all processors which write into the same memory location must write the same value of 1. The best CREWPRAM algorithms are those obtained from the CRCW algorithms for a logarithmic loss of efficiency. Optimal algorithms have been designed: O(logm) time in [8, 17] and O(log log m) time in [4]. (An optimal algorithm is one with pt = O(n) where t is the time and p is the number of processors used.) Recently, Vishkin [18] developed an optimal O(log m) time algorithm. Unlike...
Two Lower Bounds for Branching Programs
, 1986
"... . The first result concerns branching programs having width (log n) O(1) . We give an \Omega\Gamma n log n= log log n) lower bound for the size of such branching programs computing almost any symmetric Boolean function and in particular the following explicit function: "the sum of the input vari ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
. The first result concerns branching programs having width (log n) O(1) . We give an \Omega\Gamma n log n= log log n) lower bound for the size of such branching programs computing almost any symmetric Boolean function and in particular the following explicit function: "the sum of the input variables is a quadratic residue mod p" where p is any given prime between n 1=4 and n 1=3 . This is a strengthening of previous nonlinear lower bounds obtained by Chandra, Furst, Lipton and by Pudl'ak. We mention that by iterating our method the result can be further strengthened to \Omega\Gamma n log n). The second result is a C n lower bound for readonceonly branching programs computing an explicit Boolean function. For n = \Gamma v 2 \Delta , the function computes the parity of the number of triangles in a graph on v vertices. This improves previous exp(c p n) lower bounds for other graph functions by Wegener and Z'ak. The result implies a linear lower bound for the space comp...
TimeSpace Lower Bounds for Directed st Connectivity on JAG Models (Extended Abstract)
, 1993
"... Directed st connectivity is the problem of detecting whether there is a path from a distinguished vertex s to a distinguished vertex t in a directed graph. We prove timespace lower bounds of ST = \Omega\Gamma n 2 = log n) and S 1=2 T = \Omega\Gamma mn 1=2 ) for Cook and Rackoff's JAG mode ..."
Abstract

Cited by 11 (2 self)
 Add to MetaCart
Directed st connectivity is the problem of detecting whether there is a path from a distinguished vertex s to a distinguished vertex t in a directed graph. We prove timespace lower bounds of ST = \Omega\Gamma n 2 = log n) and S 1=2 T = \Omega\Gamma mn 1=2 ) for Cook and Rackoff's JAG model [8], where n is the number of vertices and m the number of edges in the input graph, and S is the space and T the time used by the JAG. We also prove a timespace lower bound of S 1=3 T = \Omega\Gamma m 2=3 n 2=3 ) on the more powerful nodenamed JAG model of Poon [13]. These bounds approach the known upper bound of T = O(m) when S = \Theta(n log n).
Optimal TimeSpace TradeOffs for Sorting
 In Proc. 39th IEEE Sympos. Found. Comput. Sci
, 1998
"... We study the fundamental problem of sorting in a sequential model of computation and in particular consider the timespace tradeoff (product of time and space) for this problem. ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
We study the fundamental problem of sorting in a sequential model of computation and in particular consider the timespace tradeoff (product of time and space) for this problem.
Saving Comparisons in the CrochemorePerrin String Matching Algorithm
 IN PROC. OF 1ST EUROPEAN SYMP. ON ALGORITHMS
, 1992
"... Crochemore and Perrin discovered an elegant lineartime constantspace string matching algorithm that makes at most 2n \Gamma m symbol comparison. This paper shows how to modify their algorithm to use fewer comparisons. Given any fixed ffl ? 0, the modified algorithm takes linear time, uses constant ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
Crochemore and Perrin discovered an elegant lineartime constantspace string matching algorithm that makes at most 2n \Gamma m symbol comparison. This paper shows how to modify their algorithm to use fewer comparisons. Given any fixed ffl ? 0, the modified algorithm takes linear time, uses constant space and makes at most n+ b 1+ffl 2 (n \Gamma m)c comparisons. If O(log m) space is available, then the algorithm makes at most n + b 1 2 (n \Gamma m)c comparisons. The pattern preprocessing step also takes linear time and uses constant space. These are the first string matching algorithms that make fewer than 2n \Gamma m comparisons and use sublinear space.
Efficient String Algorithmics
, 1992
"... Problems involving strings arise in many areas of computer science and have numerous practical applications. We consider several problems from a theoretical perspective and provide efficient algorithms and lower bounds for these problems in sequential and parallel models of computation. In the sequ ..."
Abstract

Cited by 8 (6 self)
 Add to MetaCart
Problems involving strings arise in many areas of computer science and have numerous practical applications. We consider several problems from a theoretical perspective and provide efficient algorithms and lower bounds for these problems in sequential and parallel models of computation. In the sequential setting, we present new algorithms for the string matching problem improving the previous bounds on the number of comparisons performed by such algorithms. In parallel computation, we present tight algorithms and lower bounds for the string matching problem, for finding the periods of a string, for detecting squares and for finding initial palindromes.
Communicationspace tradeoffs for unrestricted protocols
 SIAM Journal on Computing
, 1994
"... This paper introduces communicating branching programs, and develops a general technique for demonstrating communicationspace tradeoffs for pairs of communicating branching programs. This technique is then used to prove communicationspace tradeoffs for any pair of communicating branching programs ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
This paper introduces communicating branching programs, and develops a general technique for demonstrating communicationspace tradeoffs for pairs of communicating branching programs. This technique is then used to prove communicationspace tradeoffs for any pair of communicating branching programs that hashes according to a universal family of hash functions. Other tradeoffs follow from this result. As an example, any pair of communicating Boolean branching programs that computes matrixvector products over GF(2) requires communicationspace product Ω(n 2), provided the space used is o(n / log n). These are the first examples of communicationspace tradeoffs on a completely general model of communicating processes.