Constructive Accessibility Transition in Random 3-SAT
Measured A0 constructive success versus an existence-side reference. Drag to evaluate the matched-SR separation across α. Toggle system size to compare how the gap changes.
System size
1.0 .75 0.5 .25 0 normalized viability clause density α = m/n EXISTENCE–ACCESSIBILITY GAP landscape availability exceeds A0 constructive success measured A0 data constructive accessibility (A0) existence-side reference (modeled) drag
α ≈ 1.10
SR ≈ 99%
SAT
reachable
REACHABLE
← drag across the plot · arrow keys work →
Figure: Orange dots show measured A0 constructive success; the orange curve is a smoothed logistic guide. The teal curve is an existence-side reference (thermodynamic αc ≈ 4.267 for n ≥ 400; finite-size DPLL midpoint at n = 50). Dragging the sweep line reports the horizontal separation at matched success rate between the process-side and existence-side curves. The shaded band is the existence–accessibility gap. Data: Nothem 2026. Nine system sizes through n = 1,000. Pre-registered prediction confirmed within 0.006.