public static bool IsKierstead(Knowledge knowledge, Board board, int edgeIndex, List <int> ordering)
{
var gn = knowledge.GraphKnowledge;
return(gn.LineGraph.IsChoosable(Enumerable.Range(0, gn.LineGraph.N).Select(e =>
{
if (e == edgeIndex)
{
return -1;
}
var edge = gn.Edges[e];
var j = Math.Max(ordering.IndexOf(edge.Item1), ordering.IndexOf(edge.Item2));
var priorStacks = board.Stacks.Where((stack, i) => ordering.IndexOf(i) < j).ToList();
long allowedList = 0;
var list = knowledge.GetEdgeColorList(board, e);
foreach (var alpha in list.EnumerateBits())
{
if (MetaKnowledge.d_H(alpha, priorStacks) % 2 == 0)
{
allowedList = allowedList.SetBit(alpha);
}
}
return allowedList;
}).ToList()));
}
