arXiv subjects

M. Alasli

Publications and source records attributed to M. Alasli.

2 recordsLinked to original sources

arXiv2026

Topological Collapse: P = NP Implies #P = FP via Solution-Space Homology

We prove that P = NP implies #P = FP by exploiting the topological structure of 3SAT solution spaces. The argument proceeds via a dichotomy: any polynomial-time algorithm for 3SAT either operates without global knowledge of the solution-space topology, in which case it cannot certify unsatisfiability for instances with second Betti number b_2 = 2^{Omega(N)} (leading to contradiction), or it computes global topological invariants, which are #P-hard. As local information is provably insufficient and any useful global invariant is #P-hard, the dichotomy is exhaustive. The proof is non-relativizing, consistent with oracles separating P = NP from #P = FP, and therefore necessarily exploits non-oracle properties of computation. Combined with Toda's theorem, the result yields P = NP => #P = FP => PH = P, providing new structural evidence for P != NP via a topological mechanism. We complement the theoretical framework with empirical validation of solution-space shattering at scale (N up to 500), demonstrating that these topological barriers manifest as measurable hardness across five independent algorithm classes.

cs.CC↗

arXiv2025

An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)

We present a topological barrier to efficient computation, revealed by comparing the geometry of 2 SAT and 3 SAT solution spaces. Viewing the set of satisfying assignments as a cubical complex within the Boolean hypercube, we prove that every 2 SAT instance has a contractible solution space, topologically flat, with all higher Betti numbers bk equals 0 for k greater than or equal 1, while both random and explicit 3 SAT families can exhibit exponential second Betti numbers, corresponding to exponentially many independent voids. These voids are preserved under standard SAT reductions and cannot be collapsed without solving NP-hard subproblems, making them resistant to the three major complexity theoretic barriers, relativization, natural proofs, and algebrization. We establish exponential time lower bounds in restricted query models and extend these to broader algorithmic paradigms under mild information-theoretic or encoding assumptions. This topological contrast flat, connected landscapes in 2 SAT versus tangled, high-dimensional void-rich landscapes in 3 SAT, provides structural evidence toward P does not equal NP, identifying b2 as a paradigm-independent invariant of computational hardness.

cs.CC↗