DS-1993-02: Resource Bounded Reductions

DS-1993-02: Buhrman, Harry (1993) Resource Bounded Reductions. Doctoral thesis, University of Amsterdam.

[thumbnail of Samenvatting] Text (Samenvatting)

Download (5kB)


In this thesis Harry Buhrman studies reductions bounded in
polynomial time. Such a reduction induces an equivalence relation on sets
such that the equivalence classes, consisting of sets that mutually reduce,
can be ordened partially. Buhrman studies the structures that polynomial
reductions impose on time-bounded complexity classes.

The central open problem in computational complexity theory is the question
whether polynomialy bounded deterministic computation is as powerfull as
non-deterministic computation that is polynomialy bounded. To get a
precise view of the power of deterministic and nondeterministic computations,
the classes $\C{P}$ and $\C{NP}$ are introduced: the problem mentioned is known
as the $\C{P}$ versus $\C{NP}$ problem.

Just because it is not possible to solve this problem with our current
knowledge, attention has shifted to classes that are close: $\C{E}$ and
$\C{NE}$. Although for these classes many problems remain unsolved, there is
some progress through polynomial time reduction on the structure of these
classes. In this thesis a small step is made in this direction.

In chapter three it is shown that the structure of complete sets for
different type reductions for $\C{NE}$ equals those of $\C{E}$.
It is quite striking that the 1-truth-table reduction induces the same
completeness notion as the many-one reduction, in particular, since it is
unknown whether $\C{NE}$ is closed under complementation.

In chapter four complete sets for $\C{E}$, $\C{NE}$
en $\C{NP}$ are discussed. Buhrman tries to obtain some clarity in the
consequences of having sparse subexponentially dense, complete sets for these
classes. There are strong suggestions that these classes can only contain
dense complete sets. This generalizes earlier results in the field.

In chapter five a complementary strategy is used: what sets reduce to
sprase polynomially dense sets? Two open problems are solved and it is proved
that every polynomially dense set can be decoded in a simple way into a
so-called tally set. This is an unexpected and surprising result.

Chapter six is the continuation of chapter four, be it that other structural
properties than density of complete sets are discussed.
Buhrman compares how robust complete sets are to the addition or deletion
of elements. The results show that some elements are crucial for
completeness of the set, but that it is hard to find these.
It is interesting that a generalization of the results obtained could solve
another open problem: exponential time has no polynomial circuits.

Furthermore, this chapter discusses whether is it possible to split (complete)
sets in two parts that contain equal quantities of computational information.
In case of spliting complete sets, this means that the parts are in turn
complete. For many-one complete sets in $\C{E}$ this is always possible,
resulting in the fact that a complete set can be split up in infinitely many
pieces that are complete.

Chapter seven discusses structural properties of sets with the use of
{\em selfreduction}, which does not order two sets, but assigns internal
structure to a set. Buhrman discusses what sets in $\C{NP}$
are selfreducible, and gives a strong characterization of the class $\C{P}$ in
terms of sets, that are selfreducible and p-selective, a polynomialy bounded
version of the notion semi-recursivity from recursion theory.
Next, it is proved that the class of p-selective sets is closed under
positive Turing reductions.
Finally, a detailled view of the notions of selfreducibility on $\C{NP}$
is presented

Item Type: Thesis (Doctoral)
Report Nr: DS-1993-02
Series Name: ILLC Dissertation (DS) Series
Year: 1993
Subjects: Computation
Depositing User: Dr Marco Vervoort
Date Deposited: 14 Jun 2022 15:16
Last Modified: 14 Jun 2022 15:16
URI: https://eprints.illc.uva.nl/id/eprint/1959

Actions (login required)

View Item View Item