public void SingleAssignmentTest()
{
var s = new SearchState();
var idx = (3, 3);
s[idx] = 4;
var fc = new NConsistency(2);
var result = fc.Solve(s.Copy());
var neighbours = Sets.ContainingSets(idx).SelectMany(x => x).Distinct().ToHashSet();
foreach (var x in Sets.All)
{
if (x == idx)
{
Assert.AreEqual(4, result[x]);
}
else if (neighbours.Contains(x))
{
Assert.AreNotEqual(s.BitDomain(x), result.BitDomain(x));
Assert.IsFalse(result.CanBe(x, 4));
}
else
{
Assert.AreEqual(s.BitDomain(x), result.BitDomain(x));
}
}
}
public void EmptyStateDoesNothingTest()
{
var s = new SearchState();
var fc = new NConsistency(2);
var result = fc.Solve(s.Copy());
foreach (var(x, y) in Sets.All)
{
Assert.AreEqual(s.BitDomain(x, y), result.BitDomain(x, y));
}
}
public void TwoAssignmentTest()
{
var s = new SearchState();
var idx1 = (3, 3);
var idx2 = (2, 2);
s[idx1] = 4;
s[idx2] = 7;
var fc = new NConsistency(2);
var result = fc.Solve(s.Copy());
var neighbours1 = Sets.ContainingSets(idx1).SelectMany(x => x).Distinct().ToHashSet();
var neighbours2 = Sets.ContainingSets(idx2).SelectMany(x => x).Distinct().ToHashSet();
var intersect = neighbours1.Where(neighbours2.Contains).ToHashSet();
foreach (var x in Sets.All)
{
if (x == idx1)
{
Assert.AreEqual(4, result[x]);
}
else if (x == idx2)
{
Assert.AreEqual(7, result[x]);
}
else if (intersect.Contains(x))
{
Assert.AreNotEqual(s.BitDomain(x), result.BitDomain(x));
Assert.IsFalse(result.CanBe(x, 4));
Assert.IsFalse(result.CanBe(x, 7));
}
else if (neighbours1.Contains(x))
{
Assert.AreNotEqual(s.BitDomain(x), result.BitDomain(x));
Assert.IsFalse(result.CanBe(x, 4));
}
else if (neighbours2.Contains(x))
{
Assert.AreNotEqual(s.BitDomain(x), result.BitDomain(x));
Assert.IsFalse(result.CanBe(x, 7));
}
else
{
Assert.AreEqual(s.BitDomain(x), result.BitDomain(x));
}
}
}
public void ThreeConTest()
{
var s = new SearchState();
var idx = Enumerable.Range(2, 7).Select(i => (x: 0, y: i));
foreach (var i in idx)
{
s[i] = i.y + 1;
}
var fc = new NConsistency(3);
var result = fc.Solve(s.Copy());
Assert.AreEqual(3, result[0, 2]);
foreach (int i in Enumerable.Range(3, 7))
{
Assert.IsFalse(result.CanBe((0, 0), i));
Assert.IsFalse(result.CanBe((0, 1), i));
}
Assert.IsTrue(result.CanBe((0, 0), 1));
Assert.IsTrue(result.CanBe((0, 1), 1));
Assert.IsTrue(result.CanBe((0, 0), 2));
Assert.IsTrue(result.CanBe((0, 1), 2));
foreach (var i in Sets.Squares.First().Where(i => i.x > 0))
{
Assert.IsFalse(result.CanBe(i, 1));
Assert.IsFalse(result.CanBe(i, 2));
Assert.IsFalse(result.CanBe(i, 3));
foreach (int j in Enumerable.Range(4, 6))
{
Assert.IsTrue(result.CanBe(i, j));
Assert.IsTrue(result.CanBe(i, j));
}
}
}
