public IEnumerable <KnowledgeTree> EnumerateKnowledgeTrees(Template template)
{
var templateKnowledge = Knowledge[template];
var colorCount = MetaKnowledge.Naturals().First(n => templateKnowledge.KnowledgeExists(n) && !templateKnowledge.KnowledgeExists(n + 1));
return(templateKnowledge[colorCount].EnumerateBoardKnowledge().Select(kvp => GenerateKnowledgeTree(kvp.Key)));
}
public Tuple <Graph, Dictionary <int, KeyValuePair <Board, BoardKnowledge> >, Dictionary <Tuple <int, int>, Tuple <List <List <int> >, List <Move>, string> > > GenerateTemplateKnowledgeGraph(Template template)
{
var templateKnowledge = Knowledge[template];
var colorCount = MetaKnowledge.Naturals().First(n => templateKnowledge.KnowledgeExists(n) && !templateKnowledge.KnowledgeExists(n + 1));
var nextVertexID = 0;
var vertexLookup = new Dictionary <Board, int>();
var swapLookup = new Dictionary <Tuple <int, int>, Tuple <List <List <int> >, List <Move>, string> >();
var boardLookup = new Dictionary <int, KeyValuePair <Board, BoardKnowledge> >();
var outEdges = new Dictionary <int, List <int> >();
foreach (var kvp in templateKnowledge[colorCount].EnumerateBoardKnowledge())
{
vertexLookup[kvp.Key] = nextVertexID;
boardLookup[nextVertexID] = kvp;
outEdges[nextVertexID] = new List <int>();
nextVertexID++;
}
foreach (var b in templateKnowledge.LostBoards)
{
vertexLookup[b] = nextVertexID;
boardLookup[nextVertexID] = new KeyValuePair <Board, BoardKnowledge>(b, new BoardKnowledge(b, "breaker wins"));
outEdges[nextVertexID] = new List <int>();
nextVertexID++;
}
foreach (var kvp in templateKnowledge[colorCount].EnumerateBoardKnowledge())
{
if (kvp.Value.Reason == "good swap")
{
var v = vertexLookup[kvp.Key];
var f = kvp.Value.Board.FindPermutation(kvp.Key);
var colors = Board.ApplyMapping(f, new[] { kvp.Value.ColorPair.Item1, kvp.Value.ColorPair.Item2 }).ToList();
var colorPair = new Tuple <int, int>(colors[0], colors[1]);
foreach (var swap in kvp.Value.Swaps)
{
var tempBoard = kvp.Key.Clone();
var moves = swap.Item2.Select(m => MetaKnowledge.MapMove(f, m)).ToList();
tempBoard.DoMoveCombination(moves);
var w = vertexLookup[tempBoard];
outEdges[v].Add(w);
swapLookup[new Tuple <int, int>(v, w)] = swap;
}
}
}
var edgeWeights = new List <int>();
for (int i = 0; i < nextVertexID; i++)
{
for (int j = i + 1; j < nextVertexID; j++)
{
if (outEdges[i].Contains(j))
{
edgeWeights.Add(1);
}
else if (outEdges[j].Contains(i))
{
edgeWeights.Add(-1);
}
else
{
edgeWeights.Add(0);
}
}
}
return(new Tuple <Graph, Dictionary <int, KeyValuePair <Board, BoardKnowledge> >, Dictionary <Tuple <int, int>, Tuple <List <List <int> >, List <Move>, string> > >(new Graph(edgeWeights), boardLookup, swapLookup));
}
