Not-all-equal 3-satisfiability

<h2 id="definition">Definition</h2>
<p>Like <a href="/facts/3-satisfiability/wBVRjWoy">3-satisfiability</a>, an instance of the problem consists of a collection of <a href="/facts/Boolean_variable/0GWYLDoC">Boolean variables</a> and a collection of clauses, each of which combines three variables or negations of variables. However, unlike 3-satisfiability, which requires each clause to have at least one true Boolean value, NAE3SAT requires that the three values in each clause are not all equal to each other (in other words, at least one is true, and at least one is false).<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a>
</p>
<h2 id="hardness">Hardness</h2>

<p>The NP-completeness of NAE3SAT can be proven by a <a href="/facts/Reduction_(complexity)/IVWF7a1c">reduction</a> from 3-satisfiability (3SAT).<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a> First the nonsymmetric 3SAT is reduced to the symmetric NAE4SAT by adding a common dummy literal 
  
    
      
        s
      
    
    {\displaystyle s}
  
 to every clause, then NAE4SAT is reduced to NAE3SAT by splitting clauses as in the reduction of general 
  
    
      
        k
      
    
    {\displaystyle k}
  
-satisfiability to 3SAT.
</p><p>In more detail, a 3SAT instance 
  
    
      
        Φ
        =
        
          ⋀
          
            i
            =
            1
          
          
            m
          
        
        (
        
          l
          
            i
            ,
            1
          
        
        ∨
        
          l
          
            i
            ,
            2
          
        
        ∨
        
          l
          
            i
            ,
            3
          
        
        )
      
    
    {\displaystyle \Phi =\bigwedge _{i=1}^{m}(l_{i,1}\vee l_{i,2}\vee l_{i,3})}
  
 (where the 
  
    
      
        
          l
          
            i
            ,
            j
          
        
      
    
    {\displaystyle l_{i,j}}
  
 are arbitrary literals) is reduced to the NAE4SAT instance 
  
    
      
        Ψ
        =
        
          ⋀
          
            i
            =
            1
          
          
            m
          
        
        (
        
          l
          
            i
            ,
            1
          
        
        ,
        
          l
          
            i
            ,
            2
          
        
        ,
        
          l
          
            i
            ,
            3
          
        
        ,
        s
        )
      
    
    {\displaystyle \Psi =\bigwedge _{i=1}^{m}(l_{i,1},l_{i,2},l_{i,3},s)}
  
 where 
  
    
      
        s
      
    
    {\displaystyle s}
  
 is a new variable. A satisfying assignment for 
  
    
      
        Φ
      
    
    {\displaystyle \Phi }
  
 becomes a satisfying assignment for 
  
    
      
        Ψ
      
    
    {\displaystyle \Psi }
  
 by setting 
  
    
      
        s
        =
        0
      
    
    {\displaystyle s=0}
  
. Conversely a satisfying assignment with 
  
    
      
        s
        =
        0
      
    
    {\displaystyle s=0}
  
 for 
  
    
      
        Ψ
      
    
    {\displaystyle \Psi }
  
 must have at least one other literal true in each clause and thus be a satisfying assignment for 
  
    
      
        Φ
      
    
    {\displaystyle \Phi }
  
. Finally a satisfying assignment with 
  
    
      
        s
        =
        1
      
    
    {\displaystyle s=1}
  
 for 
  
    
      
        Ψ
      
    
    {\displaystyle \Psi }
  
 can because of symmetry of 
  
    
      
        0
      
    
    {\displaystyle 0}
  
 and 
  
    
      
        1
      
    
    {\displaystyle 1}
  
 be flipped to produce a satisfying assignment with 
  
    
      
        s
        =
        0
      
    
    {\displaystyle s=0}
  
. 
</p><p>NAE3SAT remains NP-complete when all clauses are monotone (meaning that variables are never negated), by <a href="/facts/Schaefer%2527s_dichotomy_theorem/KXY6N2ED">Schaefer's dichotomy theorem</a>.<a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a>
Monotone NAE3SAT can also be interpreted as an instance of the <a href="/facts/Set_splitting_problem/V9sBhlho">set splitting problem</a>, or as a generalization
of <a href="/facts/Bipartite_graph/xWcXV9MB">graph bipartiteness</a> testing to 3-uniform <a href="/facts/Hypergraph/qIR2o2I3">hypergraphs</a>: it asks whether the vertices of a hypergraph can be <a href="/facts/Graph_coloring/J6HoBfP0">colored</a> with two colors so that no hyperedge is monochromatic. More strongly, it is NP-hard to find colorings of 3-uniform hypergraphs with any constant number of colors, even when a 2-coloring exists.<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a>
</p>
<h2 id="easy-cases">Easy cases</h2>
<p>Unlike 3SAT, some variants of NAE3SAT in which graphs representing the structure of variables and clauses are <a href="/facts/Planar_graphs/plREagr9">planar graphs</a> can be solved in <a href="/facts/Polynomial_time/77T62gmf">polynomial time</a>. In particular this is true when there exists a planar graph with one vertex per variable, one vertex per clause, an edge for each variable–clause incidence, and a <a href="/facts/Cycle_(graph_theory)/Is44edrv">cycle</a> of edges connecting all the variable vertices.<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a>
</p>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Moret (1988): "Among published proofs of NP-completeness, one finds more reductions from 3-Satisfiability (3SAT for short) and its main variants, One- in-three-3SAT (1in3SAT) and Not-all-equal 3SAT (NAE3SAT), than from any other NP-complete problem." - Moret, B. M. E. (June 1988), "Planar NAE3SAT is in P", ACM SIGACT News, 19 (2): 51–54, doi:10.1145/49097.49099, S2CID 17219595 <a href="https://doi.org/10.1145%2F49097.49099" target="_blank">https://doi.org/10.1145%2F49097.49099</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Moore, Cristopher; Mertens, Stephan (2011), "Symmetry-breaking and NAESAT", The Nature of Computation, Oxford University Press, pp. 133–138, ISBN 9780199233212 <a href="9780199233212" target="_blank">9780199233212</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Moore, Cristopher; Mertens, Stephan (2011), "Symmetry-breaking and NAESAT", The Nature of Computation, Oxford University Press, pp. 133–138, ISBN 9780199233212 <a href="9780199233212" target="_blank">9780199233212</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>Schaefer, Thomas J. (1978), "The complexity of satisfiability problems", Proc. Tenth ACM Symposium on Theory of Computing (STOC '78), New York: ACM, pp. 216–226, MR 0521057 <a href="/wiki/Thomas_Jerome_Schaefer" target="_blank">/wiki/Thomas_Jerome_Schaefer</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
<li id="fn:5"><p>Dinur, Irit; Regev, Oded; Smyth, Clifford (2005), "The hardness of 3-uniform hypergraph coloring", Combinatorica, 25 (5): 519–535, doi:10.1007/s00493-005-0032-4, MR 2176423 <a href="/wiki/Irit_Dinur" target="_blank">/wiki/Irit_Dinur</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li>
<li id="fn:6"><p>Moret, B. M. E. (June 1988), "Planar NAE3SAT is in P", ACM SIGACT News, 19 (2): 51–54, doi:10.1145/49097.49099, S2CID 17219595 <a href="/wiki/Bernard_Moret" target="_blank">/wiki/Bernard_Moret</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li>
</ol>

Not-all-equal 3-satisfiability open-in-new

Not-all-equal 3-satisfiability