We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: A theory of NP-completeness and ill-conditioning for approximate real computations

Abstract: We develop a complexity theory for approximate real computations. We first produce a theory for exact computations but with condition numbers. The input size depends on a condition number, which is not assumed known by the machine. The theory admits deterministic and nondeterministic polynomial time recognizable problems. We prove that P is not NP in this theory if and only if P is not NP in the BSS theory over the reals.
Then we develop a theory with weak and strong approximate computations. This theory is intended to model actual numerical computations that are usually performed in floating point arithmetic. It admits classes P and NP and also an NP-complete problem. We relate the P vs NP question in this new theory to the classical P vs NP problem.
Subjects: Computational Complexity (cs.CC)
MSC classes: 68Q15, 68Q05, 68Q17
ACM classes: F.2; F.1.3
Journal reference: Journal of the ACM 66(4) Article 27 pp 1-38 (May 2019)
DOI: 10.1145/3321479
Cite as: arXiv:1803.03600 [cs.CC]
  (or arXiv:1803.03600v2 [cs.CC] for this version)

Submission history

From: Gregorio Malajovich [view email]
[v1] Fri, 9 Mar 2018 17:06:54 GMT (85kb,D)
[v2] Thu, 17 Jan 2019 12:17:09 GMT (96kb,D)

Link back to: arXiv, form interface, contact.