New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P

Previous theoretical work in computational complexity has suggested that any problem which is log-space complete for P is not likely in NC, and thus not parallelizable. In practice, this is not the case. To resolve this paradox, we introduce new complexity classes PC and PC* that capture the practic...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:IEEE transactions on computers Ročník C-35; číslo 5; s. 403 - 418
Hlavní autori: Vitter, Simons
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: IEEE 01.05.1986
Predmet:
Circuit value
completeness
computational complexity
Computational modeling
depth-first search
fifth generation
Integrated circuit modeling
Mathematical models
Memory management
Parallel algorithms
path system
Phase change random access memory
Polynomials
PRAM
RAM
random access
Search problems
SIMO
unification
union-find
WRAM
Writing
ISSN:0018-9340, 1557-9956
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Previous theoretical work in computational complexity has suggested that any problem which is log-space complete for P is not likely in NC, and thus not parallelizable. In practice, this is not the case. To resolve this paradox, we introduce new complexity classes PC and PC* that capture the practical notion of parallelizability we discuss in this paper. We show that foqur complete problems for P (nonsparse versions of unification, path system accessibility, monotone circuit value, and ordered depth-first search) are parallelizable. That is, their running times are O(E + V) on a sequential RAM and O(E/P + V log P) on an EXCLUSIVE-READ EXCLUSIVE-WRITE Parallel RAM with P processors where V and E are the numbers of vertices and edges in the inputed instance of the problem. These problems are in PC and PC*, since an appropriate choice of P can speed up their sequential running times by a factor of μ(P). Several interesting open questions are raised regarding these new parallel complexity classes PC and PC*. Unification is particularly important because it is a basic operation in theorem proving, in type inference algorithms, and in logic programming languages such as Prolog. A fast parallel implementation of Prolog is needed for software development in the Fifth Generation project.
ISSN:0018-9340
1557-9956
DOI:10.1109/TC.1986.1676783