On Uniformity Within NC 1 (1990)
| Venue: | Journal of Computer and System Sciences |
| Citations: | 104 - 9 self |
BibTeX
@ARTICLE{Barrington90onuniformity,
author = {David A. Mix Barrington and Neil Immerman and Howard Straubing},
title = {On Uniformity Within NC 1},
journal = {Journal of Computer and System Sciences},
year = {1990},
volume = {41},
pages = {274--306}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In order to study circuit complexity classes within NC 1 in a uniform setting, we need a uniformity condition which is more restrictive than those in common use. Two such conditions, stricter than NC 1 uniformity [Ru81,Co85], have appeared in recent research: Immerman's families of circuits defined by first-order formulas [Im87a,Im87b] and a uniformity corresponding to Buss' deterministic log-time reductions [Bu87]. We show that these two notions are equivalent, leading to a natural notion of uniformity for low-level circuit complexity classes. We show that recent results on the structure of NC 1 [Ba89] still hold true in this very uniform setting. Finally, we investigate a parallel notion of uniformity, still more restrictive, based on the regular languages. Here we give characterizations of subclasses of the regular languages based on their logical expressibility, extending recent work of Straubing, Th'erien, and Thomas [STT88]. A preliminary version of this work appeared as [B...
Citations
No citations identified.
