Exploration and Observability Limits in NP

Read full text
Authors: José Manuel Ten Pérez
Cited by: 0

Abstract

This paper introduces an information-theoretic perspective on the limitations of algorithms for problems in NP.Instead of measuring complexity in terms of time or space, we focus on how much information an algorithm can extract from a problem instance and its space of candidate solutions. We formalize the notion of local observability, capturing algorithms whose access to the solution space is limited to small, local pieces of information at each step. We show that any algorithm operating under such a restriction is forced to explore an exponential number of candidate solutions in the worst case, regardless of the heuristics it employs. This framework provides a principled explanation for the observed limitations of many practical algorithms, such as backtracking and branching methods, and clarifies why improvements often reduce constants but not exponential behavior. The results do not resolve the P vs NP problem, but they identify a structural barrier that any fundamentally new algorithmic approach would need to overcome. The work is intended as a conceptual foundation rather than a final answer, offering a unifying language for reasoning about exploration, information, and algorithmic limits in NP problems.

Fields of Study & Subjects

Constraint Satisfaction and Optimization Logic Reasoning and Knowledge Complexity and Algorithms in Graphs

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
6 January 2026
Language
EN
Document type
Preprint