OASIcs.CCA.2009.2266.pdf
- Filesize: 328 kB
- 8 pages
We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form $x\geq 0$. The oracle machines can also check whether a tuple of real numbers belongs to a given oracle set ${\cal O}$ or not. We construct oracles such that the classes P and DNP relative to these oracles are equal or not equal.
Feedback for Dagstuhl Publishing