示例#1
0
        public void SolveComplete()
        {
            var totalFailures  = 0;
            var totalSteps     = 0;
            var methodSteps    = 0;
            var validatorSteps = 0;
            var timer          = new Stopwatch();

            timer.Start();
            Console.WriteLine(CurrentBoard.SerialiseBoardToPuzzleString());
            Helpers.WriteBreak();
            while (!CurrentBoard.PuzzleSolved)
            {
                var solvableCells = CurrentBoard.BoardCells.Where(x => !x.SolvedCell).ToList();
                foreach (var cell in solvableCells)
                {
                    var validatorSuccess = false;
                    var methodSuccess    = false;
                    foreach (var validator in BoardValidators.OrderBy(x => x.ValidatorDifficulty))
                    {
                        validatorSuccess = validator.ValidatePotentialCellValues(cell, CurrentBoard, out _);
                        if (!validatorSuccess)
                        {
                            totalFailures++;
                        }

                        validatorSteps++;
                        totalSteps++;
                    }

                    if (!validatorSuccess)
                    {
                        foreach (var method in SolverMethods.OrderBy(x => x.MethodDifficulty))
                        {
                            methodSuccess = method.ApplyMethod(cell, CurrentBoard, out _);
                            if (!methodSuccess)
                            {
                                totalFailures++;
                            }
                            methodSteps++;
                            totalSteps++;
                        }
                    }
                }

                CurrentBoard.PuzzleSolved = !solvableCells.Any(x => !x.SolvedCell);
            }

            timer.Stop();
            CurrentBoard.PrintBoard();
            Helpers.WriteBreak();
            Console.WriteLine($"Completed Puzzle String");
            Console.WriteLine(CurrentBoard.SerialiseBoardToPuzzleString());
            Helpers.WriteBreak();
            Console.WriteLine($"Puzzle Solved in {timer.Elapsed}\nTotal Steps Taken (Validators & Solve Methods) {totalSteps}" +
                              $"\nTotal Validator Steps Taken {validatorSteps}" +
                              $"\nTotal Method Steps Taken {methodSteps}" +
                              $"\nTotal Actions Taken (Validators & Solve Methods w/ Legal Move Available) {totalSteps-totalFailures}");
        }
示例#2
0
        public PseudoSolver(List <PuzzleConstraint> constraints, PseudoBoard board)
        {
            CurrentStep = new SolverStep
            {
                SolverStepId = 1,
                StepComment  = "Starting Board State",
                BoardState   = new SolverState
                {
                    BoardCells  = board.BoardCells,
                    SolvedState = false
                }
            };
            CurrentBoard = board;

            SolverMethods.Add(new HiddenSingle());
            SolverMethods.Add(new ConjugatePair());


            foreach (var constraint in constraints)
            {
                switch (constraint)
                {
                case PuzzleConstraint.BoxUnique:
                    BoardValidators.Add(new BoxUnique());
                    break;

                case PuzzleConstraint.ColumnUnique:
                    BoardValidators.Add(new ColumnUnique());
                    break;

                case PuzzleConstraint.RowUnique:
                    BoardValidators.Add(new RowUnique());
                    break;

                case PuzzleConstraint.KnightUnique:
                    BoardValidators.Add(new KnightUnique());
                    break;

                case PuzzleConstraint.KingUnique:
                    BoardValidators.Add(new KingUnique());
                    break;

                default:
                    throw new ArgumentOutOfRangeException();
                }
            }
        }
示例#3
0
        public SolveStatus StepSolve()
        {
            var boardStateChanged = false;
            var solvableCells     = CurrentBoard.BoardCells.Where(x => !x.SolvedCell).ToList();
            var noChangeMade      = 0;
            var solveMessage      = "";
            var stepType          = SolverStepType.FailStep;

            while (!boardStateChanged && !CurrentBoard.PuzzleSolved)
            {
                var baseDifficulty   = 1;
                var validatorSuccess = false;

                foreach (var validator in BoardValidators.Where(x => x.ValidatorDifficulty <= baseDifficulty).ToList())
                {
                    if (validatorSuccess)
                    {
                        break;
                    }
                    foreach (var cell in solvableCells)
                    {
                        if (validator.ValidatePotentialCellValues(cell, CurrentBoard, out solveMessage))
                        {
                            validatorSuccess = true;
                            stepType         = SolverStepType.ValidatorStep;
                            break;
                        }
                    }
                }

                if (validatorSuccess)
                {
                    boardStateChanged = true;
                    noChangeMade      = 0;
                    continue;
                }

                var methodSuccess = false;
                foreach (var method in SolverMethods.Where(x => x.MethodDifficulty <= baseDifficulty).ToList())
                {
                    if (methodSuccess)
                    {
                        break;
                    }
                    foreach (var cell in solvableCells)
                    {
                        if (method.ApplyMethod(cell, CurrentBoard, out solveMessage))
                        {
                            methodSuccess = true;
                            stepType      = SolverStepType.MethodStep;
                            break;
                        }
                    }
                }

                if (methodSuccess)
                {
                    boardStateChanged = true;
                    noChangeMade      = 0;
                    continue;
                }

                baseDifficulty++;
                noChangeMade++;

                if (noChangeMade >= 100)
                {
                    Console.WriteLine("No Board State change for 100 iterations. Solve could not complete.");
                    Console.WriteLine($"Total Steps = {CurrentStep.SolverStepId}");
                    return(SolveStatus.NoStateChange);
                }
            }

            SolverSteps.Add(CurrentStep);
            var nextStep = new SolverStep
            {
                SolverStepId = CurrentStep.SolverStepId + 1,
                StepComment  = solveMessage,
                StepType     = stepType,
                BoardState   = new SolverState
                {
                    BoardCells  = CurrentBoard.BoardCells.ToList(),
                    SolvedState = false
                }
            };

            CurrentStep  = nextStep;
            CurrentBoard = new PseudoBoard(CurrentBoard.BoardCells.ToList());
            CurrentBoard.PrintBoard();

            if (!string.IsNullOrEmpty(solveMessage))
            {
                Console.WriteLine(solveMessage);
            }
            Console.WriteLine($"Total Steps = {CurrentStep.SolverStepId}");

            if (CurrentBoard.PuzzleSolved)
            {
                return(SolveStatus.BoardSolved);
            }

            return(SolveStatus.StateChange);
        }