Abstract:We show that Not-All-Equal 3-Sat remains NP-complete when restricted to instances that simultaneously satisfy the following properties: (i) The clauses are given as the disjoint union of k partitions, for any fixed $k \geq 4$, of the variable set into subsets of size 3, and (ii) each pair of distinct clauses shares at most one variable. Property (i) implies that each variable appears in exactly $k$ clauses and each clause consists of exactly 3 unnegated variables. Therewith, we improve upon our earlier result (Darmann and Döcker, 2020). Complementing the hardness result for at least $4$ partitions, we show that for $k\leq 3$ the corresponding decision problem is in P. In particular, for $k\in \{1,2\}$, all instances that satisfy Property (i) are nae-satisfiable.
By the well-known correspondence between Not-All-Equal 3-Sat} and hypergraph coloring, we obtain the following corollary of our results: For $k\geq 4$, Bicolorability is NP-complete for linear 3-uniform $k$-regular hypergraphs even if the edges are given as a decomposition into $k$ perfect matchings; with the same restrictions, for $k \leq 3$ Bicolorability is in P, and for $k \in \{1,2\}$ all such hypergraphs are bicolorable.
Finally, we deduce from a construction in the work by Pilz (Pilz, 2019) that every instance of Positive Planar Not-All-Equal Sat with at least three distinct variables per clause is nae-satisfiable. Hence, when restricted to instances with a planar incidence graph, each of the above variants of Not-All-Equal 3-Sat turns into a trivial decision problem.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
The main objective of this paper is to study and prove the computational complexity of the **Positive Not - All - Equal 3 - SAT (NAE - 3 - SAT)** problem under specific conditions. Specifically, the authors explore whether the problem remains NP - complete when the variable set \( V \) and the clause set \( C \) simultaneously satisfy the following two conditions:
1. **The clause set \( C \) is the disjoint union of \( k \) partitions of the variable set \( V \)**, each partition divides the variable set into subsets of size 3, and each variable appears in exactly \( k \) clauses.
2. **Each different pair of clauses shares at most one variable**, that is, the clause set is linear.
Through these conditions, the authors improve their previous results (Darmann and Döcker, 2020) and extend the range of \( k \) to any fixed \( k\geq4 \). In addition, they also show that for \( k\leq3 \), the problem can be solved in polynomial time, and for \( k\in\{1, 2\} \), all instances satisfying condition (i) are NAE - satisfiable.
### Formula representation
To understand these conditions more clearly, we can describe them by formulas:
- **Condition (i)**: Let \( C=\bigcup_{i = 1}^{k}C_{i} \), where each \( C_{i} \) is a partition of \( V \), that is, \( V \) is divided into several subsets of size 3. Each variable \( v\in V \) appears in exactly \( k \) clauses.
\[
\forall v\in V,\quad|\{C_{i}\mid v\in C_{i}\}| = k
\]
- **Condition (ii)**: The clause set \( C \) is linear, that is, for each pair of different clauses \( c_{1}, c_{2}\in C \), they share at most one variable.
\[
\forall c_{1}, c_{2}\in C,\quad|c_{1}\cap c_{2}|\leq1
\]
### Main conclusions
The main conclusions of the authors are as follows:
- For any fixed \( k\geq4 \), if the clause set \( C \) satisfies the above two conditions, then the Positive NAE - 3 - SAT problem is NP - complete.
- For \( k\leq3 \), the problem can be solved in polynomial time.
- In particular, for \( k\in\{1, 2\} \), all instances satisfying condition (i) are NAE - satisfiable.
In addition, the authors also obtain similar conclusions about the bicolorability problem of linear 3 - uniform \( k \)-regular hypergraphs through the equivalence relationship with hypergraph bicolorability.
### Summary
This paper reveals the computational complexity of the Positive NAE - 3 - SAT problem under different conditions through strict mathematical proofs, and provides an important theoretical basis for understanding and solving such problems.