Words / CONCEPT
Actual Capped Exploration
Deterministic capped exploration gives an exact disjoint actual cylinder decomposition.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH5
DOCUMENT LINKS1
Deterministic actual restricted-history fibers
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A Literal Negative Answer to Vatter's Question 4.3structural-affinity · Closed
- A Rising Comparison for Actual Separable Recordsstructural-affinity · Closed
- Actual Complete Cyclesstructural-affinity · Closed
- Actual Endpoint History Kernelstructural-affinity · Closed
- Actual fixed-cut factorizationstructural-affinity · Closed
- Actual Minimum-Cut Kernelstructural-affinity · Closed
- Actual Record Symmetries and Rising Distributionsstructural-affinity · Closed
- Actual Separable-Permutation Cardinalitiesstructural-affinity · Closed
- Actual Shape Masses and Fixed Shift Ratiosstructural-affinity · Closed
- Classical avoidance and a proper cutstructural-affinity · Closed
- Greatest cuts and finite descent enumerationstructural-affinity · Closed
- Stable Endpoint Codesstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance