(untitled)

Michael Sipser, I. (2013). (untitled).

Type

Unclassified

Intellectual base

Unclassified

Year

2013

Link

no authoritative link yet

Cited by

3 citations across 3 artifacts.

Domain-specific

• Dovetailing (computer science)
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• NSPACE
  • … the distinction between constitutive identity and a convenient observable transfers from Savitch's theorem shows NSPACE(f) is contained in DSPACE(f²) for space-constructible f at least logarithmic. to A complexity claim states reduction type and bound assumptions and distinguishes NSPACE from the single class PSPACE..
• Reduction (complexity)
  • A reduction shows that solving a target problem under a specified efficient transformation suffices to solve a source problem.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:31b573d6fec0 · see in the full table