Core-Based Smart Sampling Framework: A Theoretical and Experimental Study on Randomized Partitioning for SAT Problems
收藏DataCite Commons2025-09-04 更新2026-02-09 收录
下载链接：
https://figshare.com/articles/dataset/Core-Based_Smart_Sampling_Framework_A_Theoretical_and_Experimental_Study_on_Randomized_Partitioning_for_SAT_Problems/30048946/1
下载链接
链接失效反馈官方服务：
资源简介：
This paper presents a rigorous framework, termed the Core-Based Smart Sampling Framework, that combines theoretical definitions, mathematical proofs, and experimental evaluation to tackle the challenge of partitioning NP-complete problems. The central contribution is the formalization of core structures and their use in randomized boundary sampling. We provide theoretical guarantees on complexity reduction and probabilistic completeness, apply the method to SAT instances, and evaluate its performance using experimental Python implementations. The results show that smart sampling drastically reduces the effective complexity of SAT problems and offers new insights into the structure of NP-complete problems.<br>
提供机构：
figshare
创建时间：
2025-09-04
