Abstract:In this short paper we present a survey of some results concerning the random SAT problems. To elaborate, the Boolean Satisfiability (SAT) Problem refers to the problem of determining whether a given set of $m$ Boolean constraints over $n$ variables can be simultaneously satisfied, i.e. all evaluate to $1$ under some interpretation of the variables in $\{ 0,1\}$. If we choose the $m$ constraints i.i.d. uniformly at random among the set of disjunctive clauses of length $k$, then the problem is known as the random $k$-SAT problem. It is conjectured that this problem undergoes a structural phase transition; taking $m=\alpha n$ for $\alpha>0$, it is believed that the probability of there existing a satisfying assignment tends in the large $n$ limit to $1$ if $\alpha<\alpha_\mathrm{sat}(k)$, and to $0$ if $\alpha>\alpha_\mathrm{sat}(k)$, for some critical value $\alpha_\mathrm{sat}(k)$ depending on $k$. We review some of the progress made towards proving this and consider similar conjectures and results for the more general case where the clauses are chosen with varying lengths, i.e. for the so-called random mixed SAT problems.

What problem does this paper attempt to address?

The paper primarily focuses on the study of the random mixed Boolean satisfiability (SAT) problem and attempts to address the following core issues: 1. **Theoretical Background and Research Motivation**: - The paper first introduces the basic concepts of the Boolean satisfiability (SAT) problem and its significant role in theoretical computer science, especially in the context of the famous P vs NP problem. - Since the SAT problem holds great importance in various application fields such as artificial intelligence, electronic design automation, and bioinformatics, research on this type of problem has high practical value. 2. **Structural Phase Transition of Random SAT Problems**: - Researchers are interested in whether there exists a "phase transition point" in randomly generated SAT problem instances, i.e., when certain parameters of the problem instance (such as the ratio of the number of constraints to the number of variables) exceed a certain threshold, the problem transitions from being likely satisfiable to likely unsatisfiable. - This phenomenon is known as a "structural phase transition" and has been widely studied, especially in random k-SAT problems, where k denotes the number of variables in each constraint. 3. **Specific Research Questions**: - The paper explores whether such a phase transition point can be proven to exist for specific forms of random SAT problems, particularly random mixed SAT problems. - Specifically, the paper focuses on two types of mixed SAT problems: random 1- and 2-SAT problems and random 2- and 3-SAT problems. - For these two types of mixed SAT problems, the paper proposes corresponding conjectures, describes the possible existence of phase transition points, and discusses the current research findings. 4. **Existing Results**: - For the random 2-SAT problem, the existence of a phase transition point has been proven, and specific values have been provided. - For the mixed 1- and 2-SAT problem, the paper presents a theorem that details the transition from likely satisfiable to likely unsatisfiable as the proportion of 1- and 2-clauses increases. - For the mixed 2- and 3-SAT problem, the existence of a phase transition point has also been proven under certain conditions. In summary, this paper aims to further understand the nature of random SAT problems through mathematical analysis and theoretical proof, particularly focusing on the phase transition behavior of mixed SAT problems. This has significant implications for algorithm design and complexity theory research.

Some Results on Random Mixed SAT Problems

Counting random $k$-SAT near the satisfiability threshold

The Algorithmic Phase Transition of Random $k$-SAT for Low Degree Polynomials

Going after the k-SAT threshold

On the satisfiability of random $3$-SAT formulas with $k$-wise independent clauses

O(m~2) Time Randomized Algorithms for SAT Problem

Properties of the satisfiability threshold of the strictly d-regular random (3,2s)-SAT problem

Fast sampling of satisfying assignments from random $k$-SAT with applications to connectivity

On the random satisfiable process

Proof of the Satisfiability Conjecture for Large K

EXPLORATION OF HARD TO SOLVE 3-SAT PROBLEMS

On the Complexity of Random Satisfiability Problems with Planted Solutions

Should Algorithms for Random SAT and Max-SAT Be Different?

The number of solutions for random regular NAE-SAT

Random local access for sampling k-SAT solutions

Fast Sampling of Satisfying Assignments from Random [math]-SAT with Applications to Connectivity

Satisfiability Threshold for Random Regular Nae-Sat

Local Quantum Search Algorithm for Random $k$-SAT with $Ω(n^{1+ε})$ Clauses

Strongly refuting random CSPs below the spectral threshold

Linear Phase Transition in Random Linear Constraint Satisfaction Problem

SARRIGUREN: a polynomial-time complete algorithm for random $k$-SAT with relatively dense clauses