Results 11  20
of
193
Varieties of Increasing Trees
, 1992
"... An increasing tree is a labelled rooted tree in which labels along any branch from the root go in increasing order. Under various guises, such trees have surfaced as tree representations of permutations, as data structures in computer science, and as probabilistic models in diverse applications. We ..."
Abstract

Cited by 55 (7 self)
 Add to MetaCart
An increasing tree is a labelled rooted tree in which labels along any branch from the root go in increasing order. Under various guises, such trees have surfaced as tree representations of permutations, as data structures in computer science, and as probabilistic models in diverse applications. We present a unified generating function approach to the enumeration of parameters on such trees. The counting generating functions for several basic parameters are shown to be related to a simple ordinary differential equation which is non linear and autonomous. Singularity analysis applied to the intervening generating functions then permits to analyze asymptotically a number of parameters of the trees, like: root degree, number of leaves, path length, and level of nodes. In this way it is found that various models share common features: path length is O(n log n), the distributions of node levels and number of leaves are asymptotically normal, etc.
Pattern Matching For Permutations
, 1993
"... Given a permutation T of 1 to n, and a permutation P of 1 to k, for k n, we wish to find a kelement subsequence of T whose elements are ordered according to the permutation P . ..."
Abstract

Cited by 47 (0 self)
 Add to MetaCart
Given a permutation T of 1 to n, and a permutation P of 1 to k, for k n, we wish to find a kelement subsequence of T whose elements are ordered according to the permutation P .
Linear Recurrences With Constant Coefficients: The Multivariate Case
, 2000
"... While in the univariate case solutions of linear recurrences with constant coefficients have rational generating functions, we show that the multivariate case is much richer: even though initial conditions have rational generating functions, the corresponding solutions can have generating functions ..."
Abstract

Cited by 45 (11 self)
 Add to MetaCart
While in the univariate case solutions of linear recurrences with constant coefficients have rational generating functions, we show that the multivariate case is much richer: even though initial conditions have rational generating functions, the corresponding solutions can have generating functions which are algebraic but not rational, Dfinite but not algebraic, and even non Dfinite.
Efficient Tabling Mechanisms for Logic Programs
 PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
, 1995
"... The use of tabling in logic programming allows bottomup evaluation to be incorporated in a topdown framework, combining advantages that accrue from both. At the engine level, tabling also introduces complications not present in pure topdown evaluation, due to the need for subgoals and answers to ..."
Abstract

Cited by 41 (7 self)
 Add to MetaCart
The use of tabling in logic programming allows bottomup evaluation to be incorporated in a topdown framework, combining advantages that accrue from both. At the engine level, tabling also introduces complications not present in pure topdown evaluation, due to the need for subgoals and answers to access tables during clause resolution. This paper describes the design, implementation, and experimental evaluation of data structures and algorithms for highperformance table access. Our approach uses tries as the basis for tables. Tries provide complete discrimination for terms, and permit a lookup and possible insertion to be performed in a single pass through a term. A novel technique of substitution factoring is also proposed. When substitution factoring is used in conjunction with tries, the access cost for answers is proportional to the size of the answer substitution, rather than to the size of the answer itself. As a special case, the access cost of answers to a datalog query is pr...
The Wiener Index Of Simply Generated Random Trees
 Random Struct. Alg
, 2003
"... Asymptotics are obtained for the mean, variance and higher moments as well as for the distribution of the Wiener index of a random tree from a simply generated family (or, equivalently, a critical Galton Watson tree). We also establish a joint asymptotic distribution of the Wiener index and the in ..."
Abstract

Cited by 37 (16 self)
 Add to MetaCart
Asymptotics are obtained for the mean, variance and higher moments as well as for the distribution of the Wiener index of a random tree from a simply generated family (or, equivalently, a critical Galton Watson tree). We also establish a joint asymptotic distribution of the Wiener index and the internal path length, as well as asymptotics for the covariance and other mixed moments. The limit laws are described using functionals of a Brownian excursion. The methods include both Aldous' theory of the continuum random tree and analysis of generating functions. 1.
Efficient Access Mechanisms For Tabled Logic Programs
, 1999
"... This article describes the design, implementation, and experimental evaluation of data structures and algorithms for highperformance table access. Our approach uses tries as the basis for tables. Tries, a variant of discrimination nets, provide complete discrimination for terms, and permit a lookup ..."
Abstract

Cited by 32 (14 self)
 Add to MetaCart
This article describes the design, implementation, and experimental evaluation of data structures and algorithms for highperformance table access. Our approach uses tries as the basis for tables. Tries, a variant of discrimination nets, provide complete discrimination for terms, and permit a lookup and possible insertion to be performed in a single pass through a term. In addition, a novel technique of substitution factoring is proposed. When substitution factoring is used, the access cost for answers is proportional to the size of the answer substitution, rather than to the size of the answer itself. Answer tries can be implemented both as interpreted structures and as compiled WAMlike code. When they are compiled, the speed of computing substitutions through answer tries is competitive with the speed of unit facts compiled or asserted as WAM code. Because answer tries can also be created an order of magnitude more quickly than asserted code, they form a promising alternative for representing certain types of dynamic code, even in Prolog systems without tabling. / Address correspondence to I.V. Ramakrishnan, D.S. Warren, Dept. of Computer Science, State University of New York at Stony Brook, Stony Brook, NY 117944400, U.S.A., email: fram,warreng@cs.sunysb.edu; P. Rao, Bellcore, 445 South Street, Morristown, NJ 079606438, U.S.A., email: prasadr@bellcore.com; K. Sagonas, Dept. of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B3001, Heverlee, Belgium, email:
Crumbling Walls: A Class of Practical and Efficient Quorum Systems
, 1996
"... A quorum system is a collection of sets (quorums) every two of which intersect. Quorum systems have been used for many applications in the area of distributed systems, including mutual exclusion, data replication and dissemination of information In this paper we introduce a general class of quorum ..."
Abstract

Cited by 32 (8 self)
 Add to MetaCart
A quorum system is a collection of sets (quorums) every two of which intersect. Quorum systems have been used for many applications in the area of distributed systems, including mutual exclusion, data replication and dissemination of information In this paper we introduce a general class of quorum systems called Crumbling Walls and study its properties. The elements (processors) of a wall are logically arranged in rows of varying widths. A quorum in a wall is the union of one full row and a representative from every row below the full row. This class considerably generalizes a number of known quorum system constructions. The best crumbling wall is the CWlog quorum system. It has small quorums, of size O(lg n), and structural simplicity. The CWlog has optimal availability and optimal load among systems with such small quorum size. It manifests its high quality for all universe sizes, so it is a good choice not only for systems with thousands or millions of processors but also for systems with as few as 3 or 5 processors. Moreover, our analysis shows that the availability will increase and the load will decrease at the optimal rates as the system increases in size.
Optimization Algorithms for Exploiting the ParallelismCommunication Tradeoff in Pipelined Parallelism
, 1994
"... We address the problem of finding parallel plans for SQL queries using the twophase approach of join ordering followed by parallelization. We focus on the parallelization phase and develop algorithms for exploiting pipelined parallelism. We formulate parallelization as scheduling a weighted operato ..."
Abstract

Cited by 32 (2 self)
 Add to MetaCart
We address the problem of finding parallel plans for SQL queries using the twophase approach of join ordering followed by parallelization. We focus on the parallelization phase and develop algorithms for exploiting pipelined parallelism. We formulate parallelization as scheduling a weighted operator tree to minimize response time. Our model of response time captures the fundamental tradeoff between parallel execution and its communication overhead. We assess the quality of an optimization algorithm by its performance ratio which is the ratio of the response time of the generated schedule to that of the optimal. We develop fast algorithms that produce nearoptimal schedules  the performance ratio is extremely close to 1 on the average and has a worst case bound of about 2 for many cases. 1 Introduction We address the problem of parallel query optimization, which is to find optimal parallel plans for executing SQL queries. Following Hong and Stonebraker [HS91], we break the optimi...
Lifts, Discrepancy and Nearly Optimal Spectral Gaps
"... Let G be a graph on n vertices. A 2lift of G is a graph H on 2n vertices, with a covering map : H ! G. It is not hard to see that all eigenvalues of G are also eigenvalues of H. In addition, H has n \new" eigenvalues. We conjecture that every dregular graph has a 2lift such that all new eige ..."
Abstract

Cited by 30 (4 self)
 Add to MetaCart
Let G be a graph on n vertices. A 2lift of G is a graph H on 2n vertices, with a covering map : H ! G. It is not hard to see that all eigenvalues of G are also eigenvalues of H. In addition, H has n \new" eigenvalues. We conjecture that every dregular graph has a 2lift such that all new eigenvalues are in the range [ 2 d 1; 2 d 1] (If true, this is tight , e.g. by the AlonBoppana bound). Here we show that every graph of maximal degree d has a 2lift such that all \new" eigenvalues are in the range [ c d; c d] for some constant c.
On the Distribution for the Duration of a Randomized Leader Election Algorithm
 Ann. Appl. Probab
, 1996
"... We investigate the duration of an elimination process for identifying a winner by coin tossing, or, equivalently, the height of a random incomplete trie. Applications of the process include the election of a leader in a computer network. Using direct probabilistic arguments we obtain exact expressio ..."
Abstract

Cited by 28 (10 self)
 Add to MetaCart
We investigate the duration of an elimination process for identifying a winner by coin tossing, or, equivalently, the height of a random incomplete trie. Applications of the process include the election of a leader in a computer network. Using direct probabilistic arguments we obtain exact expressions for the discrete distribution and the moments of the height. Elementary approximation techniques then yield asymptotics for the distribution. We show that no limiting distribution exists, as the asymptotic expressions exhibit periodic fluctuations. In many similar problems associated with digital trees, no such exact expressions can be derived. We therefore outline a powerful general approach, based on the analytic techniques of Mellin transforms, Poissonization, and dePoissonization, from which distributional asymptotics for the height can also be derived. In fact, it was this complex variables approach that led to our original discovery of the exact distribution. Complex analysis metho...