Abstract:Motivated by phase transitions in combinatorial optimization problems, we define two kinds of geometry-preserving reductions between constraint satisfaction problems and other NP-search problems. We give a couple of examples and counterexamples for these reductions.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to propose and explore a new reduction method. This reduction can not only connect different NP problems in computational complexity theory, but also preserve the geometric structure of the problem solution space. Specifically, the author defines two reduction methods that preserve the geometric structure:
1. **Overlap - Preserving Reductions**: This type of reduction requires that the degree of overlap between solutions of the target problem (the more difficult problem) can predictably depend on the degree of overlap between solutions of the source problem (the simpler problem). That is, if the overlap between two solutions in the source problem is a certain value, then their overlap in the target problem should also have a corresponding predictive relationship.
2. **Cover - Preserving Reductions**: For NP search problems such as Constraint Satisfaction Problems (CSP), this type of reduction requires that not only the one - to - one mapping between solutions be preserved, but also the "cover" of solutions be preserved. Here, the cover refers to a generalized assignment, which allows a geometric interpretation of the solution space.
### Specific Problem Background
Traditionally, reduction is a basic tool in computational complexity theory, used to reduce one problem to another, thereby classifying computational problems. However, a major weakness of existing reduction methods is that they fail to well connect the structural properties of the solution spaces of the two problems. For example, although some reductions attempt to preserve the number of solutions or local optimality, few studies have focused on the geometric structure of the solution space.
### Research Motivation
The motivation for this research comes from two aspects:
- **Phase Transitions**: Research shows that the solution spaces of many combinatorial optimization problems will undergo phase transitions under specific parameters, such as the SAT/UNSAT transition. In particular, the solution space will split from a single connected cluster into multiple distant clusters. These phenomena can be predicted by "1 - Replica Symmetry Breaking" (1 - RSB) in statistical physics.
- **Computational Complexity**: Although phase transition theory provides insights into the structure of the solution space, its connection with computational complexity is not clear. In contrast, computational complexity theory has developed some algebraic classification tools that can explain the (non - ) tractability of certain CSPs.
### Proposed Method
To bridge the gap between these two fields, the author proposes the above two reduction methods that preserve the geometric structure. Through these methods, the author hopes to better understand the structural connections between different problems and provide new perspectives for future theoretical development.
### Main Contributions
- Define two new reduction methods and give specific examples and counter - examples.
- Through these reduction methods, the author hopes to better connect the geometric structures of the solution spaces of different problems, thereby providing new ideas for understanding the complexity of NP problems.
In summary, the core problem of this paper is to explore how to preserve the geometric structure of the solution space while connecting different NP problems by introducing new reduction methods, and thus promote the development of computational complexity theory.