Given the following NAESAT problem:
c3 = {x1,x2}, {x2,x3},{x3,x1}
where cn = {x1,x2}, {x2,x3}..{xi,xi+1}
What is c4?
Well my attempt is c4 ={x1,x2} {x2,x3} {x3,x4} , {x4,x5}
If this is the case why is c3 ...{x3,x1} shouldn't it be {x3,x4}?
How would I prove this is Satisfiable for c4 but not c3?
Thanks in advance!