public void IsSatisfiable_FourVariables4Clauses_Satisfiable() { var clauses = new Tuple<int, int>[] { new Tuple<int, int>(1, 2), new Tuple<int, int>(3, 4), new Tuple<int, int>(-1, -3), new Tuple<int, int>(-2, -4), }; var alg = new TwoSatAlg(); Assert.True(alg.IsSatisfiable(4, clauses)); }
public void IsSatisfiable_FiveVariables5Clauses_NotSatisfiable() { var clauses = new Tuple<int, int>[] { new Tuple<int, int>(-1, -2), new Tuple<int, int>(2, -1), new Tuple<int, int>(1, -3), new Tuple<int, int>(3, 1), new Tuple<int, int>(4, 5), }; var alg = new TwoSatAlg(); Assert.False(alg.IsSatisfiable(5, clauses)); }
public void IsSatisfiable_EightVariables8Clauses_Satisfiable() { var clauses = new Tuple<int, int>[] { new Tuple<int, int>(1, 4), new Tuple<int, int>(-2, 5), new Tuple<int, int>(3, 7), new Tuple<int, int>(-8, -2), new Tuple<int, int>(4, -3), new Tuple<int, int>(5, -4), new Tuple<int, int>(6, 7), new Tuple<int, int>(-7, -1), }; var alg = new TwoSatAlg(); Assert.True(alg.IsSatisfiable(8, clauses)); }