A New Method for 3-Satisfiability Problem Solving Space Structure on Structural Entropy

Analyzing the solution space structure and evolution of 3-satisfiability (3-SAT) problem is an important way to study difficulty solving satisfiability (SAT) problem. However, there no unified analysis model for spatial solutions under different constraint densities. The phase transition points regions based on metric models. 3-SAT obtained by planting strategy belief propagation. According distribution influence frozen variables solution, a label propagation algorithm proposed, used find cluster, then entropy measure its information. established, framework given. experimental results show that effective can accurately analyze process transition, verify accuracy interference point threshold predicted long-range frustration theory.