Enumeration Reducibility

In computability theory and computational complexity theory, enumeration reducibility is a method of reduction that determines if there is some effective procedure for determining enumerability between sets of natural numbers. An enumeration in the context of ''e''-reducibility is a listing of the elements in a particular set, or collection of items, though not necessarily ordered or complete.

''E''-reducibility is a form of positive reducibility, meaning that only positive information is processed. Positive information denotes the logic syntax for "and" ($\land, \And$) and "or" ($\lor,\,$). The syntax for negation, "not" ($\neg$) is not included or used.

According to Hartley Rogers Jr., an intuitive model that can be used to explain ''e''-reducibility is as follows:

Let sets $A$ and $B$ be given. Consider a procedure that is determined by a finite set of instructions in the following way. A computation is begun. The computation proceeds algorithmically except that, from time to time, the computing agent may be requested to obtain an “input" integer, and, from time to time the procedure yields an “output” integer. When an input is requested, any integer, or no integer, may be supplied. Assume that when the members of $B$ are supplied, ''in any order whatsoever'' as inputs, then the computation always eventually yields the set $A$, in ''some order'', as outputs. The order in which the members of $A$ appear may vary as the order of inputs varies. (We permit repetitions in the listing of $B$ and in the listing of $A$.) If such a procedure exists we say that $A$ is ''enumeration reducible'' to $B$.

The concept of ''e''-reducibility was first introduced by the results of John Myhill, which concluded that "a set is many-one complete if and only if it is recursively enumerable and its complement is productive". This result extends to ''e''-reducibility as well. ''E''-reducibility was later formally codified by Rogers and his collaborator Richard M. Friedberg in ''Zeitschrift für mathematische Logik und Grundlagen der Mathematik'' (the predecessor of '' Mathematical Logic Quarterly'') in 1959.

Definitions

In the definitions provided below, let $\omega$ denote the set of natural numbers ($\mathbb$) and $A,B...$ denote subsets of $\omega$. Let lower case letters $n,x...$ and $f,g...$ represent numbers and functions from $\omega$ to $\omega$.

Rogers' informal definition

In addition to his intuitive model, Rogers also provided a concise reformulation to create an informal definition. It reads:

For any $A,B\subseteq \omega, A$ is ''enumeration reducible'' to $B$ if there is an effective procedure for getting an enumeration of $A$ from any enumeration of $B$. Thus we write:

: $A\leq_eB$

which is the standard notation of enumeration reducibility.

Precise definition

From Rogers' informal definition, a precise definition can be inferred.

For any $A, B \subseteq\omega, A\leq_eB$ if there exists a computably enumerable set $W$ such that, for all $x\in\omega,$

: $x\in A$ $\Leftrightarrow$ \exists D langle x,D\rangle\in W $\And$ $D\subseteq B$

In this case, we write that

: $A\leq_eB$ ''via'' $W$

or that $W$ (the enumeration operator) ''witnesses'' $A\leq_eB$.

Properties

Equivalence

* If $A\leq_eB$ and $B\leq_eA,$ $A$ is considered to be ''equivalent through enumeration'' to $B$. Thus we write
::$A\equiv_eB.$

* Conversely, if $A\leq_eB$ but $B\nleq_eA,$ we write
::$A<_eB.$

* Inversely, if $A\nleq_eB$ and $B\nleq_eA,$ we write
::$A$ $, _e$ $B.$

Supremum

* The supremum (least upper bound) of sets $A$ and $B$ with respect to $\leq_e$ can be modeled by a symmetric difference equation. This equation accounts for the lack of information with an abstract variable $n$, which is squared due to the intersection (expressed as the $\cup$ symbol; a union.) It is written as
::$A\Delta B=(2n$ $:$ $n\in A)\cup(2n+1$ $:$ $n\in B).$
:

Turing reduction

* A relationship between Turing reducibility, ''e''-reducibility, and the relation "computably enumerable in" can be shown if a set $A^+$ is given different properties by $A^+=A\Delta\overline$. This codes it in a positive way regardless if positive or negative information is supplied. It is formally expressed as follows:
:# $A\leq_TB$ $\Leftrightarrow$ $A^+\leq_eB^+$
:# $A$ ''is computably enumerable if and only if'' $A\leq_eB^+.$

Variants

Strong enumeration reducibilities

In addition to ''e''-reducibility, there exist strong versions, the most important one being ''s''-reducibility (named after Robert M. Solovay). ''S''-reducibility states that a computably enumerable real set $A$ is ''s''-reducible to another computably enumerable real set $B$ if $B$ is at least as difficult to be approximated as $A$. This method shows similarity to ''e''-reducibility in that it compares the elements of multiple sets. In addition, the structure of ''s''-degrees have natural analogs in the enumeration degrees.

The reasoning for using ''s''-reducibility is summarized by Omandaze and Sorbi as a result of positive reducibility models being unable to answer certain oracle questions (e.g. an answer to "Is $x\in A$?" is only given if $x\in A$, and is not true for the inverse.) because they inherently model computational situations where incomplete oracle information is available. This is in contrast from the well-studied Turing reducibility, in which information is captured in both negative and positive values. In addition, T-reducibility uses information that is provided immediately and without delay. A strong reducibility is utilized in order to prevent problems occurring when incomplete information is supplied.

Partial functions

''E''-reducibility can be defined for partial functions as well. Writing graph$(f)=\$ , etc., we can define for partial functions $f,g$:

: $f\leq_eg\Leftrightarrow$ graph$(f)\leq_e$ graph$(g).$

Kleene's recursion theorem introduces the notion of ''relative partial recursiveness'', which, by means of systems of equations, can demonstrate equivalence through $\leq_e$ between graphs of partial functions.{{Cite book, last=Kleene, Stephen Cole, 1909-1994., url=https://www.worldcat.org/oclc/768949, title=Introduction to metamathematics., date=1971, publisher=Wolters-Noordhoff Pub, isbn=0-7204-2103-9, location=Groningen, oclc=768949 ''E''-reducibility relates to ''relative partial recursiveness'' in the same way that T-reducibility relates to μ-recursiveness.

See also

* Turing reduction
* Many-one reduction
* Truth-table reduction
* Arithmetical hierarchy

References

Further reading

''Introduction to Metamathematics''"Theory of Recursive Functions and Effective Computability"''Enumeration Reducibility and Polynomial Time''
Reduction (complexity)
Computability theory
Mathematical logic