The membership problem for regular expressions with intersection is complete in LOGCFL

H Petersen - Annual Symposium on Theoretical Aspects of …, 2002 - Springer
We show that the recognition problem of context-free languages can be reduced to
membership in the language defined by a regular expression with intersection by a log …

Berkowitz's algorithm and clow sequences

M Soltys - arXiv preprint math/0201315, 2002 - arxiv.org
We present a combinatorial interpretation of Berkowitz's algorithm. Berkowitz's algorithm is
the fastest known parallel algorithm for computing the characteristic polynomial of a matrix …

Structural complexity and neural networks

A Bertoni, B Palano - Neural Nets: 13th Italian Workshop on Neural Nets …, 2002 - Springer
We survey some relationships between computational complexity and neural network
theory. Here, only networks of binary threshold neurons are considered. We begin by …

A comparison of signal compression methods by sparse solution of linear systems

D Mattera, F Palmieri, M Di Monte - Neural Nets: 13th Italian Workshop on …, 2002 - Springer
This paper deals with the problem of signal compression by linearly expanding the signal to
be compressed along the elements of an overcomplete dictionary. The compression is …

Uma fundamentação teórica para a complexidade estrutural de problemas de otimização

LAS Leal - 2002 - lume.ufrgs.br
Com o objetivo de desenvolver uma fundamentação teórica para o estudo formal de
problemas de otimização NP-difíceis, focalizando sobre as propriedades estruturais desses …

[图书][B] Parallel Real-Time Complexity Theory

SD Bruda - 2002 - part.bruda.ca
We present a new complexity theoretic approach to real-time computations. We define timed
ω-languages as a new formal model for such computations, that we believe to allow a …

On the Enumerability of the Determinant and the Rank

A Beygelzimer, M Ogihara - Foundations of Information Technology in the …, 2002 - Springer
We investigate the complexity of enumerative approximation of two elementary problems in
linear algebra, computing the rank and the determinant of a matrix. In particular, we show …

The characterization of parallel real-time optimization problems

SD Bruda, SG Akl - Proceedings 16th Annual International …, 2002 - ieeexplore.ieee.org
We identify the class of optimization problem expressible as independence systems that can
be solved in real time using a parallel machine with polynomially bounded resources as …

On cellular Arrays and other topics in parallel computing

OH Ibarra - IEICE TRANSACTIONS on Information and Systems, 2002 - search.ieice.org
We give an overview of the computational complexity of linear and mesh-connected cellular
and iterative arrays with respect to well known models of sequential and parallel …

[引用][C] 随机算法的一般性原理

贺红, 马绍汉 - 计算机科学, 2002