# The Boolean Hierarchy I: Structural Properties

@article{Cai1988TheBH, title={The Boolean Hierarchy I: Structural Properties}, author={Jin-Yi Cai and Thomas Gundermann and Juris Hartmanis and Lane A. Hemaspaandra and Vivian Sewelson and Klaus W. Wagner and Gerd Wechsung}, journal={SIAM J. Comput.}, year={1988}, volume={17}, pages={1232-1252} }

In this paper, we study the complexity of sets formed by boolean operations (union, intersection, and complement) on NP sets. These are the sets accepted by trees of hardware with NP predicates as leaves, and together these form the boolean hierarchy.We present many results about the structure of the boolean hierarchy: separation and immunity results, natural complete languages, and structural asymmetries between complementary classes.We show that in some relativized worlds the boolean… Expand

#### 230 Citations

On the structure of NP computations under Boolean operators

- Mathematics
- 1991

This thesis is mainly concerned with the structural complexity of the Boolean Hierarchy. The Boolean Hierarchy is composed of complexity classes constructed using Boolean operators on NP… Expand

Unambiguous Computation: Boolean Hierarchies and Sparse Turing-Complete Sets

- Mathematics, Computer Science
- SIAM J. Comput.
- 1997

It is shown that two hierarchies---the Hausdorff hierarchy and the nested difference hierarchy---which in the NP case are equal to the Boolean closure fail to be equal for the UP case in some relativized worlds, and it is proved that closure under union is not needed for this claim. Expand

Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages

- Computer Science, Mathematics
- Electron. Colloquium Comput. Complex.
- 2007

The purpose of this paper is to provide efficient algorithms that
decide membership for classes of several Boolean hierarchies for
which efficiency (or even decidability) were previously not… Expand

The Boolean Hierarchy and the Polynomial Hierarchy: A Closer Connection

- Mathematics, Computer Science
- SIAM J. Comput.
- 1996

We show that if the Boolean hierarchy collapses to level $k$, then the polynomial hierarchy collapses to $BH_{3}(k)$, where $BH_{3}(k)$ is the $k$th level of the Boolean hierarchy over… Expand

On computing Boolean connectives of characteristic functions

- Mathematics, Computer Science
- Mathematical systems theory
- 2005

The results in this paper characterize the complete sets for the classes Dp and pSAT[O(logn)] in terms of AND and OR and relate these functions to the structure of the Boolean hierarchy and the query hierarchies. Expand

Efficient algorithms for membership in boolean hierarchies of regular languages

- Computer Science, Mathematics
- Theor. Comput. Sci.
- 2016

Efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability) were previously not known are provided. Expand

On High and Low Sets for the Boolean Hierarchy

- Mathematics
- 2007

The polynomial-time hierarchy (PH) is central for many considerations of complexity theory. We call a set A 2 NP high (low, resp.) for the class p k of the polynomial-time hierarchy if p k… Expand

On NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems

- Mathematics, Computer Science
- MFCS
- 2000

This work gives an exhaustive answer to the question which relativizable inclusions between partition classes can occur depending on the relation between their defining posets, and gets a complete characterization when such solution reductions are possible. Expand

Boolean Hierarchies inside Dot – Depth One

- 1999

Let B denote the class of languages having dot–depth , i.e., the class of languages that can we written as finite unions of languages u A u A un A un, where ui A and n . A language has dot–depth one… Expand

Query Order and Self-Specifying Machines

- Mathematics
- 1995

We study the computational power of machines that specify their own acceptance types, and we show that they accept exactly the languages in R_m^{#P}(NP). We study the effect of query order on… Expand