Results 1  10
of
14
Some Connections between Bounded Query Classes and NonUniform Complexity
 In Proceedings of the 5th Structure in Complexity Theory Conference
, 1990
"... This paper is dedicated to the memory of Ronald V. Book, 19371997. ..."
Abstract

Cited by 71 (23 self)
 Add to MetaCart
This paper is dedicated to the memory of Ronald V. Book, 19371997.
Products and Help Bits in Decision Trees
, 1994
"... We investigate two problems concerning the complexity of evaluating a function f at a ktuple of unrelated inputs by k parallel decision tree algorithms. In the product problem, for some fixed depth bound d, we seek to maximize the fraction of input ktuples for which all k decision trees are co ..."
Abstract

Cited by 22 (1 self)
 Add to MetaCart
We investigate two problems concerning the complexity of evaluating a function f at a ktuple of unrelated inputs by k parallel decision tree algorithms. In the product problem, for some fixed depth bound d, we seek to maximize the fraction of input ktuples for which all k decision trees are correct. Assume that for a single input to f , the best decision tree algorithm of depth d is correct on a fraction p of inputs. We prove that the maximum fraction of ktuples on which k depth d algorithms are all correct is at most p k , which is the trivial lower bound. We show that if we replace the depth d restriction by "expected depth d", then this result fails. In the helpbit problem, we are permitted to ask k \Gamma 1 arbitrary binary questions about the ktuple of inputs. For each possible k \Gamma 1tuple of answers to these queries we will have a ktuple of decision trees which are supposed to correctly compute all functions on ktuples that are consistent with the part...
Direct product results and the GCD problem, in old and new communication models
 In Proceedings of the 29th Annual ACM Symposium on Theory of Computing
, 1997
"... This paper contains several results regarding the communication complexity model and the 2prover games model, which are based on interaction between the two models: 1. We show how to improve the rate of exponential decrease in the parallel repetition theorem of [Ra] in terms of the communication co ..."
Abstract

Cited by 22 (1 self)
 Add to MetaCart
This paper contains several results regarding the communication complexity model and the 2prover games model, which are based on interaction between the two models: 1. We show how to improve the rate of exponential decrease in the parallel repetition theorem of [Ra] in terms of the communication complexity of the verifier’s predicate. 2. We apply the improved parallel repetition theorem of 2prover games to derive, for the first time, a direct product theorem for communication complexity. The second derivation uses a common generalization of the two models, which is independently interesting. We initiate a study of its power by considering the GCD problem, and some variations of it, which exhibit a power gap between the new model and the classical communication complexity model. This gap is partly based on the following upper bounds: Given nbit inputs x and y to Alice and Bob respectively, they can achieve the tasks below with very high probability using only O(n / log n) communication bits:
Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions
, 1997
"... We examine the power of incremental evaluation systems that use an SQLlike language for maintaining recursivelydefined views. We show that recursive queries such as transitive closure, and "alternating paths" can be incrementally maintained in a nested relational language, when some a ..."
Abstract

Cited by 18 (7 self)
 Add to MetaCart
(Show Context)
We examine the power of incremental evaluation systems that use an SQLlike language for maintaining recursivelydefined views. We show that recursive queries such as transitive closure, and "alternating paths" can be incrementally maintained in a nested relational language, when some auxiliary relations are allowed. In the presence of aggregate functions, even more queries can be maintained, for example, the "same generation" query. In contrast, it is still an open problem whether such queries are maintainable in relational calculus. We then restrict the language so that no nested relations are involved (but wekeep the aggregate functions). Such a language captures the capability of most practical relational database systems. We prove that this restriction does not reduce the incremental computational power; that is, any query that can be maintained in a nested language with aggregates, is still maintainable using only flat relations. We also show that one does not need auxiliar...
Dynamic tree isomorphism via firstorder updates to a relational database
 In Proceedings of PODS ’98
, 1998
"... ..."
A spectral approach to lower bounds with applications to geometric searching
 SIAM J. Comput
, 1998
"... Abstract. We establish a nonlinear lower bound for halfplane range searching over a group. Specifically, we show that summing up the weights of n (weighted) points within n halfplanes requires Ω(n log n) additions and subtractions. This is the first nontrivial lower bound for range searching over a ..."
Abstract

Cited by 13 (3 self)
 Add to MetaCart
(Show Context)
Abstract. We establish a nonlinear lower bound for halfplane range searching over a group. Specifically, we show that summing up the weights of n (weighted) points within n halfplanes requires Ω(n log n) additions and subtractions. This is the first nontrivial lower bound for range searching over a group. By contrast, range searching over a semigroup (which forbids subtractions) is almost completely understood. Our proof has two parts. First, we develop a general, entropybased method for relating the linear circuit complexity of a linear map A to the spectrum of A ⊤ A. In the second part of the proof, we design a “highspectrum ” geometric set system for halfplane range searching and, using techniques from discrepancy theory, we estimate the median eigenvalue of its associated map. Interestingly, the method also shows that using up to a linear number of help gates cannot help; these are gates that can compute any bivariate function.
Maintaining the transitive closure of graphs in SQL
 In Int. J. Information Technology
, 1999
"... It is common knowledge that relational calculus and even SQL are not expressive enough to express recursive queries such as the transitive closure. In a real database system, one can overcome this problem by storing a graph together with its transitive closure and maintaining the latter whenever upd ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
(Show Context)
It is common knowledge that relational calculus and even SQL are not expressive enough to express recursive queries such as the transitive closure. In a real database system, one can overcome this problem by storing a graph together with its transitive closure and maintaining the latter whenever updates to the former occur. This leads to the concept of an incremental evaluation system, or IES. Much is already known about the theory of IES but very little has been translated into practice. The purpose of this paper is to ll in this gap by providing a gentle introduction to and an overview of some recent theoretical results on IES. The introduction is through the translation into SQL of three interesting positive maintenance results that have practical importance { the maintenance of the transitive closure of acyclic graphs, of undirected graphs, and of arbitrary directed graphs. Interestingly, these examples also allow ustoshow the relationship between power and cost in the incremental maintenance of database queries. 1
A Strong Direct Product Theorem for Corruption and theMultiparty NOF Communication Complexity of Disjointness
, 2005
"... We prove that twoparty randomized communication complexity satisfies a strong direct productproperty, so long as the communication lower bound is proved by a "corruption" or "onesided discrepancy" method over a rectangular distribution. We use this to prove new n\Omega (1) lo ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
(Show Context)
We prove that twoparty randomized communication complexity satisfies a strong direct productproperty, so long as the communication lower bound is proved by a "corruption" or "onesided discrepancy" method over a rectangular distribution. We use this to prove new n\Omega (1) lower bounds for numberontheforehead protocols in which the first player speaks once and then the other two players proceed arbitrarily. Using other techniques, we also establish an \Omega (n1/(k1)/(k 1)) lower bound for kplayerrandomized numberontheforehead protocols for the disjointness function in which all messages are broadcast simultaneously. A simple corollary of this is that general randomized numberontheforeheadprotocols require \Omega (log n/(k 1)) bits of communication to compute the disjointness function.
Separating Auxiliary Arity Hierarchy of FirstOrder Incremental Evaluation Using (3k+1)ary Input Relations
 International Journal of Foundations of Computer Science
, 1997
"... this paper by reducing 3k + 1 to k + 1, or k, or even a constant. We will prove this by modifying Cai's result [3] and by modifying the reduction used in [7]. Section 2 provides a brief review the notion of "firstorder incremental evaluation systems ". Section 3 establishes a necessa ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
(Show Context)
this paper by reducing 3k + 1 to k + 1, or k, or even a constant. We will prove this by modifying Cai's result [3] and by modifying the reduction used in [7]. Section 2 provides a brief review the notion of "firstorder incremental evaluation systems ". Section 3 establishes a necessary technical lemma, which is a variant of Cai's theorem. Section 4 gives the proof of the above theorem. 2 FirstOrder Incremental Evaluation Systems
A Direct Sum Theorem for Corruption and the Multiparty NOF Communication Complexity of Set Disjointness
 In Proceedings of the 20th Annual Conference on Computational Complexity
, 2005
"... We prove that corruption, one of the most powerful measures used to analyze 2party randomized communication complexity, satisfies a strong direct sum property under rectangular distributions. This direct sum bound holds even when the error is allowed to be exponentially close to 1. We use this to a ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
(Show Context)
We prove that corruption, one of the most powerful measures used to analyze 2party randomized communication complexity, satisfies a strong direct sum property under rectangular distributions. This direct sum bound holds even when the error is allowed to be exponentially close to 1. We use this to analyze the complexity of the widelystudied set disjointness problem in the usual “numberontheforehead” (NOF) model of multiparty communication complexity. 1