private void ClearAndSolve(Domain.Sudoku sudoku, int currentIndex, Enums.TopType type, int count)
{
_currentIterationsCount = 0;
_solutions.Clear();
SolveBruteForce(sudoku, currentIndex, type, count);
}
public async Task TestTopNSolutions(string path, int solutionsLimit, Enums.TopType type, int expectedDifficulty)
{
var absPath = Path.Combine(TestContext.CurrentContext.TestDirectory, path);
var sudoku = await SudokuAdapter.ReadFromFileAsync(absPath);
var solver = new SimpleSolver();
var solutions = solver.GetTopNSolutions(sudoku, solutionsLimit, type);
Assert.AreEqual(solutionsLimit, solutions.Count);
Assert.AreEqual(expectedDifficulty, solutions.First().DifficultyPoints);
}
private bool SolveBruteForce(Domain.Sudoku sudoku, int currentIndex, Enums.TopType type, int count)
{
while (true)
{
if (currentIndex == Domain.Sudoku.BigSide * Domain.Sudoku.BigSide)
{
var solutionBoard = sudoku.Copy();
solutionBoard.DifficultyPoints = _currentIterationsCount;
_solutions.Add(solutionBoard);
return(true);
}
else
{
var row = currentIndex / Domain.Sudoku.BigSide;
var column = currentIndex % Domain.Sudoku.BigSide;
if (sudoku[row, column] != 0)
{
currentIndex = currentIndex + 1;
continue;
}
for (var i = 1; i <= Domain.Sudoku.BigSide; i++)
{
_currentIterationsCount++;
if (!Validations.ConsistentIfPut(sudoku, row, column, i))
{
continue;
}
sudoku[row, column] = i;
if (SolveBruteForce(sudoku, currentIndex + 1, type, count) &&
(type == Enums.TopType.Any || type == Enums.TopType.Easiest) && _solutions.Count >= count)
{
return(true);
}
sudoku[row, column] = 0;
}
}
return(false);
}
}
/// <summary>
/// Solve sudoku and return given number of solutions in given order
/// </summary>
/// <param name="sudoku"> Sudoku to solve </param>
/// <param name="count"> Number of solutions to return </param>
/// <param name="topType"> Sort order </param>
/// <returns></returns>
public List <Domain.Sudoku> GetTopNSolutions(Domain.Sudoku sudoku, int count, Enums.TopType topType)
{
if (sudoku == null)
{
throw new ArgumentNullException(nameof(sudoku));
}
if (count < 0)
{
throw new Exception("Number of solutions can not be negative value");
}
ClearAndSolve(sudoku.Copy(), 0, topType, count);
return(topType == Enums.TopType.Hardest
? _solutions.Skip(Math.Max(0, _solutions.Count - count)).ToList()
: _solutions.ToList());
}
