public void Lemma8Test(CspInstance instance, Variable v, Color c, Variable v2, Color c2)
{
//if two 3 - color vertices changed to one 4 - color
if (v.AvalibleColors.Count == 3 && v2.AvalibleColors.Count == 3)
{
var oldColors = v.AvalibleColors.Select(c => new Color(c.Value)).Union(v2.AvalibleColors.Select(c => new Color(c.Value))).ToList();
var res = CSPLemmas.Lemma8(instance, v, c, out _);
Assert.Single(res);
Assert.Null(res[0].Variables.FirstOrDefault(vbl => vbl == v));
Assert.Null(res[0].Variables.FirstOrDefault(vbl => vbl == v2));
var vCombined = res[0].Variables.FirstOrDefault(vbl =>
vbl.AvalibleColors.Count == 4);
Assert.NotNull(vCombined);
}
//if returend two correct instances
else
{
var res = CSPLemmas.Lemma8(instance, v, c, out _);
Assert.Equal(2, res.Count);
Assert.True(
res.Any(inst => inst.Result.Any(p => p.Variable == v && p.Color == c)) ||
res.Any(inst => inst.Result.Any(p => p.Variable == v2 && p.Color == c2)));
}
}
int[] Rec(CspInstance instance)
{
foreach (var restriction in instance.Restrictions)
{
if (restriction.Pair1 == restriction.Pair2)
{
instance.RemoveColor(restriction.Pair1);
}
}
foreach (var v in instance.Variables)
{
if (v.AvalibleColors.Count == 0)
{
return(null);
}
}
bool applied;
foreach (var v in instance.Variables)
{
CSPLemmas.Lemma2(instance, v, out applied);
if (applied)
{
return(Rec(instance));
}
}
foreach (var v in instance.Variables)
{
CSPLemmas.Lemma3(instance, v, out applied);
if (applied)
{
return(Rec(instance));
}
}
foreach (var v in instance.Variables)
{
CSPLemmas.Lemma4(instance, v, out applied);
if (applied)
{
return(Rec(instance));
}
}
foreach (var v in instance.Variables)
{
CSPLemmas.Lemma5(instance, v, out applied);
if (applied)
{
return(Rec(instance));
}
}
foreach (var v in instance.Variables)
{
CSPLemmas.Lemma6(instance, v, out applied);
if (applied)
{
return(Rec(instance));
}
}
List <CspInstance> instances;
//lemma 8
foreach (var variable in instance.Variables)
{
foreach (var color in variable.AvalibleColors)
{
instances = CSPLemmas.Lemma8(instance, variable, color, out applied);
if (applied)
{
foreach (var retInstance in instances)
{
var result = Rec(retInstance);
if (result != null)
{
return(result);
}
}
return(null);
}
}
}
//lemma 9
foreach (var variable in instance.Variables)
{
foreach (var color in variable.AvalibleColors)
{
instances = CSPLemmas.Lemma9(instance, variable, color, out applied);
if (applied)
{
foreach (var retInstance in instances)
{
var result = Rec(retInstance);
if (result != null)
{
return(result);
}
}
return(null);
}
}
}
//lemma 10
foreach (var variable in instance.Variables)
{
foreach (var color in variable.AvalibleColors)
{
var neighbors = color.Restrictions.Select(r => r.Variable).Distinct();
foreach (var neighbor in neighbors)
{
var restrictionToNeighbor = color.Restrictions.Where(r => r.Variable == neighbor);
if (restrictionToNeighbor.Count() >= 2)
{
instances = CSPLemmas.Lemma10(instance, variable, color, restrictionToNeighbor.First().Variable);
if (instances.Count > 1)
{
foreach (var retInstance in instances)
{
var result = Rec(retInstance);
if (result != null)
{
return(result);
}
}
return(null);
}
}
}
}
}
//lemma 11
foreach (var variable in instance.Variables)
{
foreach (var color in variable.AvalibleColors)
{
instances = CSPLemmas.Lemma11(instance, variable, color);
if (instances.Count > 1)
{
foreach (var retInstance in instances)
{
var result = Rec(retInstance);
if (result != null)
{
return(result);
}
}
return(null);
}
}
}
//lemma 12
foreach (var variable in instance.Variables)
{
foreach (var color in variable.AvalibleColors)
{
instances = CSPLemmas.Lemma12(instance, variable, color);
if (instances.Count > 1)
{
foreach (var retInstance in instances)
{
var result = Rec(retInstance);
if (result != null)
{
return(result);
}
}
return(null);
}
}
}
//lemma 13
foreach (var variable in instance.Variables)
{
foreach (var color in variable.AvalibleColors)
{
instances = CSPLemmas.Lemma13(instance, variable, color);
if (instances.Count > 1)
{
foreach (var retInstance in instances)
{
var result = Rec(retInstance);
if (result != null)
{
return(result);
}
}
return(null);
}
}
}
//lemma 15
instances = CSPLemmas.Lemma15(instance, out applied);
if (applied)
{
foreach (var retInstance in instances)
{
var result = Rec(retInstance);
if (result != null)
{
return(result);
}
}
return(null);
}
//lemma 17
instances = CSPLemmas.Lemma17(instance, out applied);
if (applied)
{
foreach (var retInstance in instances)
{
var result = Rec(retInstance);
if (result != null)
{
return(result);
}
}
return(null);
}
//lemma 18
instances = CSPLemmas.Lemma18(instance, out applied);
if (applied)
{
foreach (var retInstance in instances)
{
var result = Rec(retInstance);
if (result != null)
{
return(result);
}
}
return(null);
}
//lemma 19
var isColoring = CSPLemmas.Lemma19(instance);
if (isColoring)
{
return(instance.GetResult());
}
else
{
return(null);
}
}