Example #1
0
        public static IEnumerable<Grid> GetSolutions(Grid grid)
        {
            var backtrackingStack = new BacktrackingStack<Grid>();

            backtrackingStack.PushAlternatives(new[] { grid.Clone() });

            while (true)
            {
                Grid currentGrid = backtrackingStack.NextAlternative();

                if (currentGrid == null)
                {
                    yield break;
                }

                if (currentGrid.IsUnsolvable)
                {
                    continue;
                }
                else if (currentGrid.IsSolved)
                {
                    yield return currentGrid;
                }

                backtrackingStack.PushAlternatives(currentGrid.GetAlternatives());
            }
        }
Example #2
0
        /// <summary>
        /// Initializes a new Sudoku <see cref="Puzzle"/> instance from a string.
        /// </summary>
        public Puzzle(string name, string gridString)
        {
            Name = name;
            GridString = gridString;

            Grid = new Grid();
            Grid.Load(GridString);
        }
Example #3
0
        public void Test25X25Grids()
        {
            string[] inputGrids = {
                                      "00L000U00K000G0000CQ00I0X0000QH0R00K00000V000AMT00DABHI000C000XT00F000000VKUVXW00DJE000IRA00O00CH000K00G0XF0BWQD00L0000000O0000000QIU000O0S0000R0000PN000E0DVK0J000PQ00L0AMIY0H00F0C0RA0000NUG000IWS00B00I0QH0OY00L00D00B00KT0U000MG00WC00000T000000J0R0DVM0R0EB000000D00C000H0A0GW000PW00G00AY00E00000X0N00000KY00L00000WUT0ND000000HLTS0000W000V0KX000F00QJ0NB0000H0SYFP0CIK0E0L000TOLQ00000E0UR0F00BI00XD0J0TB00A00000C0000YS00UVP00X0T00XP0J00000QA000W0ERY0C00H00NYQ000XISE0F00T00KWA000KYFTA00G00PN0000JOQL00UVW000U0P000H00RG0X000NM0Q0G0O00T00F0X0BNM00KC00E0YCU0J0GYNOS000I0V0F00B0000I0000RE000WSO0J00A0000K000P00TC0XMD000Q00000Y0ULO0"
                                  };

            string[] solvedGrids = {
                                       "ETLMRVUOAKSNWGPDHBCQFJIYXOFPNQHGRYIKCEJBWVSXUAMTLDDABHISLMCQYUXTOJFREGNWPVKUVXWSNDJEPMFIRAYKOLTCHGQBKYCGJXFTBWQDHVLANIMPESOURADJLVQIUGBHOYSWEXTRMKFCPNXNSEODVKTJCRBPQUGLFAMIYWHYKFTCPRAHMJENUGODVIWSQXBLRIWQHFOYNXLAMDVPBCSKTGUEJPMGBUWCSLEIKTFXQYHNJORADVMORIEBKFUNTQDXSCJPYHLAVGWFJUPWOMGDTAYLHEIRQVBXCNKSGCQKYAXLIVBJRWUTONDSHPFMEHLTSDEPCWRNMVOKXAUGFYBQJINBAVXJHQSYFPGCIKMEWLUDRTOLQVCGMSEPURWFKHBIYAXDOJNTBRDAMINWFCOTJLYSQKUVPEHXGTSIXPKJDVOUGQAMNLWHERYBCFJHOUNYQBRLXISECFPGTDVKWAMWEKYFTAHXGVBPNDRCMJOQLSIUVWEFLUBPKADHCYRGTXOIJNMSQQGHOALTIJFPXUBNMSDKCWVERYCUMJKGYNOSELAITVWFQRBXDHPIXYDBREVQHWSOMJLUAPNGTKFCSPNRTCWXMDGVKQFHEJBYIULOA"
                                   };
            for (int i = 0; i < inputGrids.Length; i++)
            {
                Grid grid = new Grid(inputGrids[i]);
                bool solved = grid.Solve();
                Assert.True(solved);
                Assert.AreEqual(grid.GridString, solvedGrids[i]);
            }
        }
Example #4
0
        public void Test16X16Grids()
        {
            string[] inputGrids = {
                                      "JP00000000LA000B000E0D00KBM0F0J00NK0BCL0J0000A0G00F0I0MOG00H0L00GKJB0000000F00LDA0P0000LBKE0000N000000A00H0000I00I0000N0ADJ00KG00CE00AKH0M0000N00J0000P00N000000K0000NDIH0000M0FMA00C0000000LEHK00A0N00PMI0D0F00I0L0000E0FAK0GD00F0N0OIC00B0J000P000HL00000000BA"
                                      ,
                                      "0BN000PD000A00E000I00J0A00000D000000MF000N00OL0PFEJ0HB000L000A0GI0EDA00B0000L0G00000K00M0C00000A0000P000MJOIN0D0J00K0DHO0000E0M00K0A0000JGD0C00F0G0BNPFJ000K0000P00000A0L00N00000D0J0000O00BPE0KK0L000N000MG0IFBH0GI00K000NJ000000D00000K0B00H000F00L000IH000NA0"
                                  };

            string[] solvedGrids = {
                                       "JPIMKGENFOLAHDCBLGCEPDHAKBMIFNJOONKHBCLFJEDPIAMGBDFAIJMOGCNHKLEPGKJBOECMNPIFAHLDAHPDGIJLBKECMOFNNEMFDPAKOHGLBJICCIOLFHNBADJMPKGEDCEPLAKHIMFOGBNJFJHOMBPGLNKEDCAIKLBGENDIHACJOMPFMANICFOJDGPBLEHKEBAJNKGPMIHDCFOLIOLCJMBEPFAKNGDHHFDNAOICELBGJPKMPMGKHLFDCJONEIBA"
                                       ,
                                       "GBNLCKPDHOIAFJEMCPIOEJLAGBFMHDKNDAKHMFGIENJCOLBPFEJMHBONPLKDIACGIMEDACJBNKPHLFGOOLPFKNIMDCGEJBHABHAGPLEFMJOINKDCJNCKGDHOBALFEPMINKHAOEBLJGDPCMIFEGMBNPFJCIHKAOLDPIOCDMAKLFENBGJHLDFJIHCGOMABPENKKCLPJONHAEMGDIFBHOGIBAKEFDNJMCPLAJDNFIMCKPBLGHOEMFBELGDPIHCOKNAJ"
                                   };
            for (int i = 0; i < inputGrids.Length; i++)
            {
                Grid grid = new Grid(inputGrids[i]);
                bool solved = grid.Solve();
                Assert.True(solved);
                Assert.AreEqual(grid.GridString, solvedGrids[i]);
            }
        }
Example #5
0
 public void Test9X9Grids()
 {
     string[] inputGrids = {
                               "530070000600195000098000060800060003400803001700020006060000280000419005000080079"
                               ,
                               "004050900005800104000100000040002003600405008100900050000001000409007500001020700"
                               ,
                               "000004270600085000007120000002000090001306700040000300000079100000450002054600000"
                               ,
                               "000003072005004003000280009710000600804000901002000047900012000600500200250900000"
                           };
     string[] solvedGrids = {
                                "534678912672195348198342567859761423426853791713924856961537284287419635345286179"
                                ,
                                "814253976265879134973146825548712693697435218132968457786591342429387561351624789"
                                ,
                                "815964273623785419497123568362547891581396724749218356236879145978451632154632987"
                                ,
                                "489653172125794863376281459713429685864375921592168347947812536631547298258936714"
                            };
     for (int i = 0; i < inputGrids.Length; i++)
     {
         Grid grid = new Grid(inputGrids[i]);
         bool solved = grid.Solve();
         Assert.True(solved);
         Assert.AreEqual(grid.GridString, solvedGrids[i]);
     }
 }
Example #6
0
 public Column(int id, Grid grid)
     : base(id, grid)
 {
 }
Example #7
0
 public Box(int id, Grid grid)
     : base(id, grid)
 {
 }
Example #8
0
 public Segment(int id, Grid grid)
 {
     Id = id;
     Grid = grid;
 }
Example #9
0
 public Row(int id, Grid grid)
     : base(id, grid)
 {
 }
Example #10
0
 /// <summary>
 /// Initializes a new Sudoku <see cref="Puzzle"/> instance from a grid.
 /// </summary>
 public Puzzle(string name, Grid grid)
 {
     Name = name;
     Grid = grid;
 }
Example #11
0
        /// <summary>
        /// Guess a value by forking new puzzle instances.
        /// </summary>
        private bool Guess()
        {
            int leastPossibilities = 10;
            int bestCandidate = -1;

            for (int ci=0; ci<81; ci++) {
                Cell cell = Grid.Cells[ci];
                if (cell.Value == 0 && cell.Possibilities.Count < leastPossibilities) {
                    leastPossibilities = cell.Possibilities.Count;
                    bestCandidate = ci;
                }
            }

            if (bestCandidate > -1) {
                foreach(int p in Grid.Cells[bestCandidate].Possibilities) {
                    Grid newGrid = new Grid();
                    newGrid.LoadState(Grid.SaveState());

                    newGrid.Cells[bestCandidate].Value = p;

                    Puzzle puzzle = new Puzzle(Name, newGrid);
                    puzzle.SaveStateHistory = SaveStateHistory;

                    puzzle.Solve("Guess");

                    if(puzzle.Solved) {
                        Grid.LoadState(newGrid.SaveState());
                        State.Concat(puzzle.State);
                        Solved = true;
                        return true;
                    }
                }
            }

            return false;
        }
Example #12
0
        static void DrawGrid(Grid grid)
        {
            Console.ForegroundColor = ConsoleColor.Gray;
            int subgridWidth = (int) Math.Sqrt(grid.SideLength);

            Console.Write("╔");
            for (int i = 0; i < subgridWidth -1;i++)
                Console.Write(new string('═', subgridWidth * 2 - 1) + "╦");
            Console.WriteLine(new string('═', subgridWidth*2 - 1) + "╗");

            //Console.WriteLine("╔═════╦═════╦═════╗");
            for (int row = 0; row < grid.SideLength; row++)
            {
                for (int column = 0; column < grid.SideLength; column++)
                {
                    Cell cell = grid.Cells[row, column];
                    if (column % subgridWidth == 0)
                    {
                        Console.ForegroundColor = ConsoleColor.Gray;
                        Console.Write("║");
                        if (cell.Value == Cell.CellValue.None)
                        {
                            Console.ForegroundColor = ConsoleColor.Red;
                            Console.Write("░");
                        }
                        else
                        {
                            if (grid.SolvedCells.Contains(cell))
                                Console.ForegroundColor = ConsoleColor.Green;
                            else if (grid.PresolvedCells.Contains(cell))
                                Console.ForegroundColor = ConsoleColor.Gray;
                            if (grid.SideLength > 9 && cell.Value != Cell.CellValue.None)
                                Console.Write((char)('@' + cell.Value));
                            else
                                Console.Write((int) cell.Value);
                        }

                    }
                    else
                    {
                        Console.ForegroundColor = ConsoleColor.Gray;
                        Console.Write("│");
                        if (cell.Value == Cell.CellValue.None)
                        {
                            Console.ForegroundColor = ConsoleColor.Red;
                            Console.Write("░");
                        }
                        else
                        {
                            if (grid.SolvedCells.Contains(cell))
                                Console.ForegroundColor = ConsoleColor.Green;
                            else if (grid.PresolvedCells.Contains(cell))
                                Console.ForegroundColor = ConsoleColor.Gray;
                            if (grid.SideLength > 9)
                                Console.Write((char)('@' + cell.Value));
                            else
                                Console.Write((int)cell.Value);
                        }
                    }
                }
                Console.ForegroundColor = ConsoleColor.Gray;
                Console.WriteLine("║");
                if ((row + 1) % subgridWidth == 0 && row < grid.SideLength - 1)
                {
                    Console.Write("╠");
                    for (int i = 0; i < subgridWidth - 1; i++)
                        Console.Write(new string('═', subgridWidth * 2 - 1) + "╬");
                    Console.WriteLine(new string('═', subgridWidth * 2 - 1) + "╣");
                }
                else if (row != grid.SideLength -1)
                {
                    Console.Write("╠");
                    for (int i = 0; i < subgridWidth ; i++)
                    {
                        for (int j = 0; j < subgridWidth -1;j++)
                        {
                            Console.Write("─┼");
                        }
                        Console.Write("-║");
                    }
                    Console.WriteLine();

                    //Console.WriteLine("╠─┼─┼─║─┼─┼─║─┼─┼─╣");
                }
            }
            Console.Write("╚");
            for (int i = 0; i < subgridWidth - 1; i++)
                Console.Write(new string('═', subgridWidth * 2 - 1) + "╩");
            Console.WriteLine(new string('═', subgridWidth * 2 - 1) + "╝");
            Console.WriteLine(grid.SolvedCells.Count +  " cells solved.");
            Console.WriteLine(grid.GridString);
            Console.ForegroundColor = ConsoleColor.Gray;
        }
Example #13
0
        static void Main(string[] args)
        {
            Console.WindowHeight = 50;
            Console.WindowWidth = 85;
            Console.WriteLine(
            "A gridstring looks like 530070000600195000098000060800060003400803001700020006060000280000419005000080079");
            Console.WriteLine("Substitute 0 for empty fields and do not use line-breaks.");
            while (true)
            {
                Console.Write("Enter a gridstring: ");
                string inputString = Console.ReadLine();
                if (inputString != null && inputString.Length < 5)
                {
                    switch (inputString)
                    {
                        case "1":
                            inputString = TestString1;
                            break;
                        case "2":
                            inputString = TestString2;
                            break;
                        case "3":
                            inputString = TestString3;
                            break;
                        case "4":
                            inputString = TestString4;
                            break;
                        case "5":
                            inputString = TestString5;
                            break;
                        case "6":
                            inputString = TestString6;
                            break;
                        case "7":
                            inputString = TestString7;
                            break;
                        case "8":
                            inputString = TestString8;
                            break;
                        default:
                            Console.WriteLine("Invalid Gridstring.");
                            break;
                    }
                }
                try
                {
                    Grid grid = new Grid(inputString);
                    if (grid.Cells == null)
                        continue;

                    Console.ForegroundColor = ConsoleColor.Blue;
                    Console.WriteLine("Original");
                    DrawGrid(grid);

                    if (grid.Solve())
                    {
                        Console.ForegroundColor = ConsoleColor.Green;
                        Console.WriteLine("Solved");
                        DrawGrid(grid);
                    }
                    else
                    {
                        Console.ForegroundColor = ConsoleColor.Red;
                        Console.WriteLine("Unsolved");
                        DrawGrid(grid);
                    }
                }
                catch (Exception e)
                {
                    Console.WriteLine(e.Message);
                }
            }
        }