Plus-One Theorem Infographic Poster

Read full text
Authors: David Zelenka
Cited by: 1
References: 1

Abstract

An 11×17 technical infographic poster illustrating the Plus-One Theorem by Zelenka (2025), which establishes that coordination cost is Ω(m) in all causally consistent computational models examining m distinct possibilities. The poster presents: (1) a procedural fractal binary tree visualizing 2^k exponential branching of the SAT search space with leaf candidates and a root Plus-One coordinator node; (2) a horizontal stacked bar chart decomposing coordination cost into four phases — Enumeration Ω(m), Distribution Ω(m), Collection Ω(k), and Aggregation Ω(k) — totaling Ω(m); (3) a time-complexity-vs-processor-count graph showing that 1 processor, poly(n) processors, and 2^n processors all hit the same Ω(2^n) work floor, disproving the naive expectation that more processors collapse exponential time to polynomial; (4) a computational model classification table comparing Sequential TM, PRAM, Nondeterministic TM, and Quantum TM on whether the Plus-One cost is explicit, hidden, absent, or ghostly; (5) a hierarchical diagram of infinite regress showing that parallelizing coordination spawns meta-coordinators that must themselves enumerate all m tasks; (6) a quantum computing panel demonstrating Grover's algorithm achieves only a quadratic √m speedup, not exponential; (7) a barriers-addressed panel explaining why relativization, natural proofs, and algebrization do not block this proof technique; and (8) the main corollary: P ≠ NP for all causally consistent computational models. Dark background with bright cyan, gold, purple, red, and blue text and graph elements for high contrast readability.

Publication details

Journal / source
Figshare
Publication date
2 February 2026