public static BooleanExpression FindMininalExpressionForBinary(BooleanExpression targetBinary, BooleanFunction f,
List <BooleanExpression> availableExpressions)
{
var queue = new ImprovisedPriorityQueue <BooleanExpression>(20);
var knownTruthTables = new HashSet <byte>();
var knownExpressions = new HashSet <BooleanExpression>();
foreach (var expression in availableExpressions)
{
queue.TryEnqueue(expression, 1);
}
while (queue.Count != 0)
{
var curExperession = queue.Dequeue();
byte truthTable = curExperession.Eval();
if (knownTruthTables.Contains(truthTable))
{
continue;
}
if ((curExperession.Eval() & 0xAA) == (targetBinary.Eval() & 0xAA))
{
return(curExperession);
}
knownExpressions.Add(curExperession);
knownTruthTables.Add(truthTable);
foreach (var anotherExpression in knownExpressions)
{
foreach (var thirdExpression in knownExpressions)
{
foreach (var neighbourExpression in CombineTertiary(f, curExperession, anotherExpression, thirdExpression))
{
queue.TryEnqueue(neighbourExpression, neighbourExpression.CountOps());
}
}
}
}
throw new CouldntFindExpressionException();
}
public static BooleanExpression FindMininalExpressionInBasis(int n, BooleanOperation[] ops,
BooleanVariable[] vars, ExpressionSearchMode mode = ExpressionSearchMode.CountOps)
{
var queue = new ImprovisedPriorityQueue <BooleanExpression>(20);
var knownTruthTables = new HashSet <byte>();
var knownExpressions = new HashSet <BooleanExpression>();
foreach (var variable in vars)
{
queue.TryEnqueue(new VarExpression(variable), 1);
}
while (queue.Count != 0)
{
var curExperession = queue.Dequeue();
byte truthTable = curExperession.Eval();
if (knownTruthTables.Contains(truthTable))
{
continue;
}
if (curExperession.Eval() == n)
{
return(curExperession);
}
knownExpressions.Add(curExperession);
knownTruthTables.Add(truthTable);
foreach (var anotherExpression in knownExpressions)
{
foreach (var neighbourExpression in curExperession.CombineWith(anotherExpression, ops))
{
queue.TryEnqueue(neighbourExpression, mode == ExpressionSearchMode.CountBlocks
? neighbourExpression.CountBlocks() : neighbourExpression.CountOps());
}
}
}
throw new CouldntFindExpressionException();
}
