public PicrossBoard(PicrossBoard copySource) { Puzzle = copySource.Puzzle; RowCount = Puzzle.RowCount; ColumnCount = Puzzle.ColumnCount; Matrix = new PicrossCell[RowCount, ColumnCount]; for (int rowIndex = 0; rowIndex < RowCount; rowIndex++) { for (int columnIndex = 0; columnIndex < ColumnCount; columnIndex++) { PicrossCell otherCell = copySource.Matrix[rowIndex, columnIndex]; Matrix[rowIndex, columnIndex] = new PicrossCell() { State = otherCell.State, Row = rowIndex, Column = columnIndex }; } } Columns = CopyColumns(copySource); Rows = CopyRows(copySource); ActiveLines = (new[] { Columns, Rows }).SelectMany(collection => collection); }
public async Task SolveAsync(SpeculativeCallContext context = null) { if (!IsValid) { return; } if (context == null) { SetDetermibableCells(); } await CandidateExclusionSolveAsync(); if (IsValid && !IsSolved) { PicrossBoard speculationBaseBoard = new PicrossBoard(this); PicrossBoard solvedBoard = await speculationBaseBoard.SpeculativeSolveAsync(context); if (solvedBoard != null) { this.Copy(solvedBoard); } } }
public void Copy(PicrossBoard source) { if (Puzzle != source.Puzzle) { throw new ArgumentException(); } for (int rowIndex = 0; rowIndex < RowCount; rowIndex++) { for (int columnIndex = 0; columnIndex < ColumnCount; columnIndex++) { PicrossCell otherCell = source.Matrix[rowIndex, columnIndex]; Matrix[rowIndex, columnIndex].State = otherCell.State; } } }
private async Task <PicrossBoard> SpeculativeSolveAsync(SpeculativeCallContext context) { var undeterminedLines = ActiveLines .Where(line => !line.IsSet); PicrossActiveLine speculationTarget = undeterminedLines .First(line => line.CandidateCount == undeterminedLines.Min(l => l.CandidateCount)); //todo: review this criteria. Max reduces memory footprint Random rng = new Random(); var candidateSolutions = speculationTarget.CandidateSolutions .OrderBy(cs => rng.Next()).ToArray(); int candidatesCount = candidateSolutions.Count(); for (int i = 0; i < candidatesCount; i++) { PicrossBoard speculativeBoard = new PicrossBoard(this); speculativeBoard.SetLineSolution( lineType: speculationTarget.Type, lineIndex: speculationTarget.Index, candidateToSet: candidateSolutions[i] ); SpeculativeCallContext speculativeContext = new SpeculativeCallContext() { depth = context?.depth + 1 ?? 1, optionIndex = i, optionsCount = candidatesCount }; var speculativeTask = new Task(() => speculativeBoard.Solve(VerboseLevel.Silent, speculativeContext)); speculativeTask.Start(); await speculativeTask.ConfigureAwait(false); if (speculativeBoard.IsValid && speculativeBoard.IsSolved) { return(speculativeBoard); } } return(null); }
private PicrossActiveLine[] CopyRows(PicrossBoard copySource) { var rows = new PicrossActiveLine[RowCount]; Parallel.ForEach( Enumerable.Range(0, RowCount), rowIndex => { var rowCells = new List <PicrossCell>(); for (int columnIndex = 0; columnIndex < ColumnCount; columnIndex++) { rowCells.Add(Matrix[rowIndex, columnIndex]); } rows[rowIndex] = new PicrossActiveLine( cells: rowCells, copySource: copySource.Rows.ElementAt(rowIndex)); }); return(rows); }
private PicrossActiveLine[] CopyColumns(PicrossBoard copySource) { var columns = new PicrossActiveLine[ColumnCount]; Parallel.ForEach( Enumerable.Range(0, ColumnCount), columnIndex => { var columnCells = new List <PicrossCell>(); for (int rowIndex = 0; rowIndex < RowCount; rowIndex++) { columnCells.Add(Matrix[rowIndex, columnIndex]); } columns[columnIndex] = new PicrossActiveLine( cells: columnCells, copySource: copySource.Columns.ElementAt(columnIndex)); }); return(columns); }
public void Solve( VerboseLevel verboseLevel = VerboseLevel.Silent, SpeculativeCallContext context = null) { if (!IsValid) { if (verboseLevel != VerboseLevel.Silent) { log.Info("Solving aborted, board invalid - " + BoardName(context)); } return; } if (verboseLevel != VerboseLevel.Silent) { log.Info("Start solving - " + BoardName(context)); } if (context == null) { SetDetermibableCells(); } CandidateExclusionSolve(verboseLevel); if (IsValid && !IsSolved) { var undeterminedLines = ActiveLines .Where(line => !line.IsSet); PicrossActiveLine speculationTarget = undeterminedLines .First(line => line.CandidateCount == undeterminedLines.Min(l => l.CandidateCount)); //todo: review this criteria. Max reduces memory footprint Random rng = new Random(); var candidateSolutions = speculationTarget.CandidateSolutions .OrderBy(cs => rng.Next()).ToArray(); int candidatesCount = candidateSolutions.Count(); for (int i = 0; i < candidatesCount; i++) { PicrossBoard speculativeBoard = new PicrossBoard(this); speculativeBoard.SetLineSolution( lineType: speculationTarget.Type, lineIndex: speculationTarget.Index, candidateToSet: candidateSolutions[i] ); SpeculativeCallContext speculativeContext = new SpeculativeCallContext() { depth = context?.depth + 1 ?? 1, optionIndex = i, optionsCount = candidatesCount }; speculativeBoard.Solve(verboseLevel, speculativeContext); if (speculativeBoard.IsValid && speculativeBoard.IsSolved) { this.Copy(speculativeBoard); return; } } } if (verboseLevel != VerboseLevel.Silent) { if (!IsSolved) { log.Info("Solving failed - " + BoardName(context)); } else { log.Info("Solving succeeded - " + BoardName(context)); } } }