The Reachability Problem Requires Exponential Space

Lipton, R. (1976). The Reachability Problem Requires Exponential Space.

Type

Unclassified

Intellectual base

Unclassified

Year

1976

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Reachability problem
  • … representation, initial and target states or sets, transition rules, path semantics, finite or infinite horizon, exact or approximate decision and complexity or decidability claim are explicit. to An applied instance preserves the same invariant under changed scale, notation, jurisdiction, dataset, or implementation..

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:2beb345e2c71 · see in the full table