示例#1
0
        /// <summary>
        /// Satýr içeriklerini valide eder
        /// </summary>
        public bool validateRows(ref xBoard Board)
        {
            byte[] no;
            bool   ret = true;

            for (byte x = 0; x < 9; x++)
            {
                no = new byte[9];
                for (byte y = 0; y < 9; y++)
                {
                    byte v = Board.cells[x, y].value;
                    if (v != 0)
                    {
                        no[v - 1]++;
                    }
                }

                for (byte n = 0; n < 9; n++)
                {
                    if (no[n] > 1)
                    {
                        ret = false;
                        for (byte y = 0; y < 9; y++)
                        {
                            if (Board.cells[x, y].value == n + 1)
                            {
                                Board.cells[x, y].error = true;
                            }
                        }
                    }
                }
            }

            return(ret);
        }
示例#2
0
 public void paintBoard(xBoard Board)
 {
     for (int x = 0; x < 9; x++) for (int y = 0; y < 9; y++)
         {
             try
             {
                 box[x, y].Text = (Board.cells[x, y].value != 0 ? Board.cells[x, y].value.ToString() : "");
                 if (Board.cells[x, y].error)
                 {
                     box[x, y].ForeColor = Color.Red;
                 }
                 else
                 {
                     switch (Board.cells[x, y].source)
                     {
                         case xCell.SOURCE.COMPUTER:
                             box[x, y].ForeColor = Color.HotPink;
                             break;
                         case xCell.SOURCE.HUMAN:
                             box[x, y].ForeColor = Color.Blue;
                             break;
                         case xCell.SOURCE.BRUTE:
                             box[x, y].ForeColor = Color.Gray;
                             break;
                         default:
                             box[x, y].ForeColor = Color.Black;
                             break;
                     }
                 }
             }
             catch
             {
             }
         }
 }
示例#3
0
 public void copyTo(ref xBoard Board)
 {
     for (byte x = 0; x < 9; x++)
     {
         for (byte y = 0; y < 9; y++)
         {
             cells[x, y].copyTo(ref Board.cells[x, y]);
         }
     }
 }
示例#4
0
        public void initialize(bool ResetFilePath, bool SetStatus)
        {
            newFile = true;
            board = new xBoard();
            solver = new xSolver(board);
            solver.solutionComplete += new xSolver.solverEvent(solver_solutionComplete);
            solver.puttingObviousNumbers += new xSolver.solverEvent(solver_puttingObviousNumbers);
            solver.bruteForceLeveled += new xSolver.bruteForceEvent(solver_bruteForceLeveled);

            sbMain.board = board;
            sbMain.paintBoard();
            if (ResetFilePath) filePath = "";
            if (SetStatus) setStatus("Ready...");
        }
示例#5
0
        /// <summary>
        /// Tahtayý kontrol eder ve hatalýlarý iþaretler
        /// </summary>
        public bool validate(ref xBoard Board)
        {
            for (byte x = 0; x < 9; x++)
            {
                for (byte y = 0; y < 9; y++)
                {
                    Board.cells[x, y].error = false;
                }
            }
            bool b1 = validateBoxes(ref Board);
            bool b2 = validateRows(ref Board);
            bool b3 = validateColumns(ref Board);

            return(b1 && b2 && b3);
        }
示例#6
0
        /// <summary>
        /// 8 sayý içeren kutulara 9. sayýyý yazar
        /// </summary>
        public void fill8Boxes(ref xBoard Board)
        {
            bool[] no;
            byte   trueCount;
            byte   falseX, falseY;

            for (byte bx = 0; bx < 3; bx++)
            {
                for (byte by = 0; by < 3; by++)
                {
                    no        = new bool[9];
                    trueCount = falseX = falseY = 0;

                    for (byte x = 0; x < 3; x++)
                    {
                        for (byte y = 0; y < 3; y++)
                        {
                            byte v = Board.cells[(bx * 3) + x, (by * 3) + y].value;
                            if (v != 0)
                            {
                                no[v - 1] = true;
                                trueCount++;
                            }
                            else
                            {
                                falseX = x;
                                falseY = y;
                            }
                        }
                    }

                    if (trueCount == 8)
                    {
                        for (byte n = 0; n < 9; n++)
                        {
                            if (!no[n])
                            {
                                Board.cells[(bx * 3) + falseX, (by * 3) + falseY].value  = Convert.ToByte(n + 1);
                                Board.cells[(bx * 3) + falseX, (by * 3) + falseY].source = xCell.SOURCE.COMPUTER;
                                break;
                            }
                        }
                    }
                }
            }
        }
示例#7
0
        /// <summary>
        /// Recursive bir þekilde araya sayýlar atmayý dener
        /// </summary>
        public void bruteForce(ref xBoard Board)
        {
            xBoard lBoard       = new xBoard();
            xBoard lBoardBefore = new xBoard();

            Board.copyTo(ref lBoard);

            bruteForceLevel++;
            bruteForceLeveled(this, new BruteForceEventArgs(bruteForceLevel, lBoard));

            fillObviousNumbers(ref lBoard, false);
            for (byte x = 0; x < 9; x++)
            {
                for (byte y = 0; y < 9; y++)
                {
                    if (lBoard.cells[x, y].value == 0)
                    {
                        for (byte a = 1; a <= 9; a++)
                        {
                            lBoardBefore = new xBoard();
                            lBoard.copyTo(ref lBoardBefore);
                            lBoard.cells[x, y].value  = a;
                            lBoard.cells[x, y].source = xCell.SOURCE.BRUTE;

                            if (validate(ref lBoard))
                            {
                                lBoard.cells[x, y].source = xCell.SOURCE.COMPUTER;
                                bruteForce(ref lBoard);
                            }
                            else
                            {
                                lBoardBefore.copyTo(ref lBoard);
                            }
                        }
                    }
                }
            }

            if (validate(ref lBoard))
            {
                fillObviousNumbers(ref lBoard, false);
                lBoard.copyTo(ref Board);
            }

            bruteForceLevel--;
        }
示例#8
0
        /// <summary>
        /// Kutu içeriklerini valide eder
        /// </summary>
        public bool validateBoxes(ref xBoard Board)
        {
            byte[] no;
            bool   ret = true;

            for (byte bx = 0; bx < 3; bx++)
            {
                for (byte by = 0; by < 3; by++)
                {
                    no = new byte[9];

                    for (byte x = 0; x < 3; x++)
                    {
                        for (byte y = 0; y < 3; y++)
                        {
                            byte v = Board.cells[(bx * 3) + x, (by * 3) + y].value;
                            if (v != 0)
                            {
                                no[v - 1]++;
                            }
                        }
                    }

                    for (byte n = 0; n < 9; n++)
                    {
                        if (no[n] > 1)
                        {
                            ret = false;
                            for (byte x = 0; x < 3; x++)
                            {
                                for (byte y = 0; y < 3; y++)
                                {
                                    if (Board.cells[(bx * 3) + x, (by * 3) + y].value == n + 1)
                                    {
                                        Board.cells[(bx * 3) + x, (by * 3) + y].error = true;
                                    }
                                }
                            }
                        }
                    }
                }
            }

            return(ret);
        }
示例#9
0
        private void fillObviousNumbers(ref xBoard Board, bool RaiseEvent)
        {
            bool cont = true;

            if (RaiseEvent)
            {
                puttingObviousNumbers(this, new EventArgs());
            }

            if (!validate(ref Board))
            {
                return;
            }

            while (cont)
            {
                xBoard former = new xBoard();
                for (int x = 0; x < 9; x++)
                {
                    for (int y = 0; y < 9; y++)
                    {
                        former.cells[x, y].value = Board.cells[x, y].value;
                    }
                }

                fill8Boxes(ref Board);
                fill8Columns(ref Board);
                fill8Rows(ref Board);
                plusScan(ref Board);

                cont = false;
                for (int x = 0; x < 9; x++)
                {
                    for (int y = 0; y < 9; y++)
                    {
                        if (former.cells[x, y].value != Board.cells[x, y].value)
                        {
                            cont = true;
                        }
                    }
                }
            }
        }
示例#10
0
        /// <summary>
        /// Recursive bir þekilde araya sayýlar atmayý dener
        /// </summary> 
        public void bruteForce(ref xBoard Board)
        {
            xBoard lBoard = new xBoard();
            xBoard lBoardBefore = new xBoard();
            Board.copyTo(ref lBoard);

            bruteForceLevel++;
            bruteForceLeveled(this, new BruteForceEventArgs(bruteForceLevel, lBoard));

            fillObviousNumbers(ref lBoard, false);
            for (byte x = 0; x < 9; x++) for (byte y = 0; y < 9; y++)
                {
                    if (lBoard.cells[x, y].value == 0)
                    {
                        for (byte a = 1; a <= 9; a++)
                        {
                            lBoardBefore = new xBoard();
                            lBoard.copyTo(ref lBoardBefore);
                            lBoard.cells[x, y].value = a;
                            lBoard.cells[x, y].source = xCell.SOURCE.BRUTE;

                            if (validate(ref lBoard))
                            {
                                lBoard.cells[x, y].source = xCell.SOURCE.COMPUTER;
                                bruteForce(ref lBoard);
                            }
                            else
                            {
                                lBoardBefore.copyTo(ref lBoard);
                            }
                        }
                    }
                }

            if (validate(ref lBoard))
            {
                fillObviousNumbers(ref lBoard, false);
                lBoard.copyTo(ref Board);
            }

            bruteForceLevel--;
        }
示例#11
0
        public void initialize(bool ResetFilePath, bool SetStatus)
        {
            newFile = true;
            board   = new xBoard();
            solver  = new xSolver(board);
            solver.solutionComplete      += new xSolver.solverEvent(solver_solutionComplete);
            solver.puttingObviousNumbers += new xSolver.solverEvent(solver_puttingObviousNumbers);
            solver.bruteForceLeveled     += new xSolver.bruteForceEvent(solver_bruteForceLeveled);

            sbMain.board = board;
            sbMain.paintBoard();
            if (ResetFilePath)
            {
                filePath = "";
            }
            if (SetStatus)
            {
                setStatus("Ready...");
            }
        }
示例#12
0
        public void paintBoard(xBoard Board)
        {
            for (int x = 0; x < 9; x++)
            {
                for (int y = 0; y < 9; y++)
                {
                    try
                    {
                        box[x, y].Text = (Board.cells[x, y].value != 0 ? Board.cells[x, y].value.ToString() : "");
                        if (Board.cells[x, y].error)
                        {
                            box[x, y].ForeColor = Color.Red;
                        }
                        else
                        {
                            switch (Board.cells[x, y].source)
                            {
                            case xCell.SOURCE.COMPUTER:
                                box[x, y].ForeColor = Color.HotPink;
                                break;

                            case xCell.SOURCE.HUMAN:
                                box[x, y].ForeColor = Color.Blue;
                                break;

                            case xCell.SOURCE.BRUTE:
                                box[x, y].ForeColor = Color.Gray;
                                break;

                            default:
                                box[x, y].ForeColor = Color.Black;
                                break;
                            }
                        }
                    }
                    catch
                    {
                    }
                }
            }
        }
示例#13
0
        /// <summary>
        /// Kutulardaki eksik sayýlarý tespit eder ve yukarýdan aþaðýya, saðdan sola bakýp dolabilecek sayýlarý doldurur
        /// </summary>
        public void plusScan(ref xBoard Board)
        {
            byte[] missing;
            string[,] curBox;
            string[,] curBoxInitial;

            // Her bir kutu için...
            for (byte bx = 0; bx < 3; bx++)
            {
                for (byte by = 0; by < 3; by++)
                {
                    // Initialize
                    missing = new byte[10];
                    for (byte n = 1; n <= 9; n++)
                    {
                        missing[n] = n;
                    }
                    curBox        = new string[3, 3];
                    curBoxInitial = new string[3, 3];
                    for (byte x = 0; x < 3; x++)
                    {
                        for (byte y = 0; y < 3; y++)
                        {
                            if (Board.cells[(bx * 3) + x, (by * 3) + y].value != 0)
                            {
                                curBoxInitial[x, y] = ".";
                            }
                            else
                            {
                                curBoxInitial[x, y] = "";
                            }
                        }
                    }

                    // Kutudaki eksik sayýlarý tespit edelim
                    for (byte x = 0; x < 3; x++)
                    {
                        for (byte y = 0; y < 3; y++)
                        {
                            byte no = Board.cells[(bx * 3) + x, (by * 3) + y].value;
                            if (no != 0)
                            {
                                missing[no] = 0;
                            }
                        }
                    }

                    // Her bir eksik sayý için...
                    for (byte n = 1; n <= 9; n++)
                    {
                        byte curno = missing[n];
                        for (byte x = 0; x < 3; x++)
                        {
                            for (byte y = 0; y < 3; y++)
                            {
                                curBox[x, y] = curBoxInitial[x, y];
                            }
                        }
                        if (curno != 0)
                        {
                            // Sütunu sabit tutup, sol ve saðýndaki bütün satýrlarý tarayalým
                            for (byte bx2 = 0; bx2 < 3; bx2++)
                            {
                                if (bx2 != bx)
                                {
                                    for (byte x = 0; x < 3; x++)
                                    {
                                        for (byte y = 0; y < 3; y++)
                                        {
                                            if (Board.cells[(bx2 * 3) + x, (by * 3) + y].value == curno)
                                            {
                                                for (byte a = 0; a < 3; a++)
                                                {
                                                    curBox[a, y] = ".";
                                                }
                                            }
                                        }
                                    }
                                }
                            }

                            // Satýrý sabit tutup, üst ve altýndaki bütün satýrlarý tarayalým
                            for (byte by2 = 0; by2 < 3; by2++)
                            {
                                if (by2 != by)
                                {
                                    for (byte x = 0; x < 3; x++)
                                    {
                                        for (byte y = 0; y < 3; y++)
                                        {
                                            if (Board.cells[(bx * 3) + x, (by2 * 3) + y].value == curno)
                                            {
                                                for (byte a = 0; a < 3; a++)
                                                {
                                                    curBox[x, a] = ".";
                                                }
                                            }
                                        }
                                    }
                                }
                            }

                            // Hem yukarýdan aþaðýya, hem soldan saða tarama yapalým
                            for (byte bx2 = 0; bx2 < 3; bx2++)
                            {
                                for (byte by2 = 0; by2 < 3; by2++)
                                {
                                    if ((bx2 != bx && by2 == by) || (bx2 == bx && by2 != by))
                                    {
                                        for (byte x = 0; x < 3; x++)
                                        {
                                            for (byte y = 0; y < 3; y++)
                                            {
                                                if (Board.cells[(bx2 * 3) + x, (by * 3) + y].value == curno)
                                                {
                                                    if (bx2 == bx)
                                                    {
                                                        for (byte a = 0; a < 3; a++)
                                                        {
                                                            curBox[x, a] = ".";
                                                        }
                                                    }
                                                    else
                                                    {
                                                        for (byte a = 0; a < 3; a++)
                                                        {
                                                            curBox[a, y] = ".";
                                                        }
                                                    }
                                                }
                                            }
                                        }
                                    }
                                }
                            }

                            // Eðer geriye tek bir boþluk kaldýysa, söz konusu sayý ancak oraya gelebilir
                            byte c = 0;
                            for (byte x = 0; x < 3; x++)
                            {
                                for (byte y = 0; y < 3; y++)
                                {
                                    if (curBox[x, y] == ".")
                                    {
                                        c++;
                                    }
                                }
                            }
                            if (c == 8)
                            {
                                for (byte x = 0; x < 3; x++)
                                {
                                    for (byte y = 0; y < 3; y++)
                                    {
                                        if (curBox[x, y] != ".")
                                        {
                                            Board.cells[(bx * 3) + x, (by * 3) + y].value  = curno;
                                            Board.cells[(bx * 3) + x, (by * 3) + y].source = xCell.SOURCE.COMPUTER;
                                        }
                                    }
                                }
                            }
                        }
                    }
                }
            }
        }
 public BruteForceEventArgs(int Level, xBoard Board)
 {
     level = Level;
     board = Board;
 }
示例#15
0
 /// <summary>
 /// Tahtayý kontrol eder ve hatalýlarý iþaretler
 /// </summary> 
 public bool validate(ref xBoard Board)
 {
     for (byte x = 0; x < 9; x++) for (byte y = 0; y < 9; y++) Board.cells[x, y].error = false;
     bool b1 = validateBoxes(ref Board);
     bool b2 = validateRows(ref Board);
     bool b3 = validateColumns(ref Board);
     return (b1 && b2 && b3);
 }
示例#16
0
        /// <summary>
        /// Kutu içeriklerini valide eder
        /// </summary>        
        public bool validateBoxes(ref xBoard Board)
        {
            byte[] no;
            bool ret = true;

            for (byte bx = 0; bx < 3; bx++) for (byte by = 0; by < 3; by++)
                {
                    no = new byte[9];

                    for (byte x = 0; x < 3; x++) for (byte y = 0; y < 3; y++)
                        {
                            byte v = Board.cells[(bx * 3) + x, (by * 3) + y].value;
                            if (v != 0) no[v - 1]++;
                        }

                    for (byte n = 0; n < 9; n++)
                    {
                        if (no[n] > 1)
                        {
                            ret = false;
                            for (byte x = 0; x < 3; x++) for (byte y = 0; y < 3; y++) if (Board.cells[(bx * 3) + x, (by * 3) + y].value == n + 1) Board.cells[(bx * 3) + x, (by * 3) + y].error = true;
                        }
                    }
                }

            return ret;
        }
示例#17
0
        /// <summary>
        /// Satýr içeriklerini valide eder
        /// </summary>        
        public bool validateRows(ref xBoard Board)
        {
            byte[] no;
            bool ret = true;

            for (byte x = 0; x < 9; x++)
            {
                no = new byte[9];
                for (byte y = 0; y < 9; y++)
                {
                    byte v = Board.cells[x, y].value;
                    if (v != 0) no[v - 1]++;
                }

                for (byte n = 0; n < 9; n++)
                {
                    if (no[n] > 1)
                    {
                        ret = false;
                        for (byte y = 0; y < 9; y++) if (Board.cells[x, y].value == n + 1) Board.cells[x, y].error = true;
                    }
                }
            }

            return ret;
        }
示例#18
0
        private void fillObviousNumbers(ref xBoard Board, bool RaiseEvent)
        {
            bool cont = true;

            if (RaiseEvent) puttingObviousNumbers(this, new EventArgs());

            if (!validate(ref Board)) return;

            while (cont)
            {
                xBoard former = new xBoard();
                for (int x = 0; x < 9; x++) for (int y = 0; y < 9; y++) former.cells[x, y].value = Board.cells[x, y].value;

                fill8Boxes(ref Board);
                fill8Columns(ref Board);
                fill8Rows(ref Board);
                plusScan(ref Board);

                cont = false;
                for (int x = 0; x < 9; x++) for (int y = 0; y < 9; y++) if (former.cells[x, y].value != Board.cells[x, y].value) cont = true;
            }
        }
示例#19
0
        /// <summary>
        /// 8 sayý içeren kutulara 9. sayýyý yazar
        /// </summary>        
        public void fill8Boxes(ref xBoard Board)
        {
            bool[] no;
            byte trueCount;
            byte falseX, falseY;

            for (byte bx = 0; bx < 3; bx++) for (byte by = 0; by < 3; by++)
                {
                    no = new bool[9];
                    trueCount = falseX = falseY = 0;

                    for (byte x = 0; x < 3; x++) for (byte y = 0; y < 3; y++)
                        {
                            byte v = Board.cells[(bx * 3) + x, (by * 3) + y].value;
                            if (v != 0)
                            {
                                no[v - 1] = true;
                                trueCount++;
                            }
                            else
                            {
                                falseX = x;
                                falseY = y;
                            }
                        }

                    if (trueCount == 8)
                    {
                        for (byte n = 0; n < 9; n++)
                        {
                            if (!no[n])
                            {
                                Board.cells[(bx * 3) + falseX, (by * 3) + falseY].value = Convert.ToByte(n + 1);
                                Board.cells[(bx * 3) + falseX, (by * 3) + falseY].source = xCell.SOURCE.COMPUTER;
                                break;
                            }
                        }
                    }
                }
        }
示例#20
0
 public void copyTo(ref xBoard Board)
 {
     for (byte x = 0; x < 9; x++) for (byte y = 0; y < 9; y++) cells[x, y].copyTo(ref Board.cells[x, y]);
 }
示例#21
0
        /// <summary>
        /// Kutulardaki eksik sayýlarý tespit eder ve yukarýdan aþaðýya, saðdan sola bakýp dolabilecek sayýlarý doldurur
        /// </summary> 
        public void plusScan(ref xBoard Board)
        {
            byte[] missing;
            string[,] curBox;
            string[,] curBoxInitial;

            // Her bir kutu için...
            for (byte bx = 0; bx < 3; bx++)
            {
                for (byte by = 0; by < 3; by++)
                {
                    // Initialize
                    missing = new byte[10];
                    for (byte n = 1; n <= 9; n++) missing[n] = n;
                    curBox = new string[3, 3];
                    curBoxInitial = new string[3, 3];
                    for (byte x = 0; x < 3; x++) for (byte y = 0; y < 3; y++) if (Board.cells[(bx * 3) + x, (by * 3) + y].value != 0) curBoxInitial[x, y] = "."; else curBoxInitial[x, y] = "";

                    // Kutudaki eksik sayýlarý tespit edelim
                    for (byte x = 0; x < 3; x++) for (byte y = 0; y < 3; y++)
                        {
                            byte no = Board.cells[(bx * 3) + x, (by * 3) + y].value;
                            if (no != 0) missing[no] = 0;
                        }

                    // Her bir eksik sayý için...
                    for (byte n = 1; n <= 9; n++)
                    {
                        byte curno = missing[n];
                        for (byte x = 0; x < 3; x++) for (byte y = 0; y < 3; y++) curBox[x, y] = curBoxInitial[x, y];
                        if (curno != 0)
                        {
                            // Sütunu sabit tutup, sol ve saðýndaki bütün satýrlarý tarayalým
                            for (byte bx2 = 0; bx2 < 3; bx2++)
                            {
                                if (bx2 != bx)
                                {
                                    for (byte x = 0; x < 3; x++) for (byte y = 0; y < 3; y++)
                                        {
                                            if (Board.cells[(bx2 * 3) + x, (by * 3) + y].value == curno)
                                            {
                                                for (byte a = 0; a < 3; a++) curBox[a, y] = ".";
                                            }
                                        }
                                }
                            }

                            // Satýrý sabit tutup, üst ve altýndaki bütün satýrlarý tarayalým
                            for (byte by2 = 0; by2 < 3; by2++)
                            {
                                if (by2 != by)
                                {
                                    for (byte x = 0; x < 3; x++) for (byte y = 0; y < 3; y++)
                                        {
                                            if (Board.cells[(bx * 3) + x, (by2 * 3) + y].value == curno)
                                            {
                                                for (byte a = 0; a < 3; a++) curBox[x, a] = ".";
                                            }
                                        }
                                }
                            }

                            // Hem yukarýdan aþaðýya, hem soldan saða tarama yapalým
                            for (byte bx2 = 0; bx2 < 3; bx2++) for (byte by2 = 0; by2 < 3; by2++)
                                {
                                    if ((bx2 != bx && by2 == by) || (bx2 == bx && by2 != by))
                                    {
                                        for (byte x = 0; x < 3; x++) for (byte y = 0; y < 3; y++)
                                            {
                                                if (Board.cells[(bx2 * 3) + x, (by * 3) + y].value == curno)
                                                {
                                                    if (bx2 == bx)
                                                    {
                                                        for (byte a = 0; a < 3; a++) curBox[x, a] = ".";
                                                    }
                                                    else
                                                    {
                                                        for (byte a = 0; a < 3; a++) curBox[a, y] = ".";
                                                    }
                                                }
                                            }
                                    }
                                }

                            // Eðer geriye tek bir boþluk kaldýysa, söz konusu sayý ancak oraya gelebilir
                            byte c = 0;
                            for (byte x = 0; x < 3; x++) for (byte y = 0; y < 3; y++) if (curBox[x, y] == ".") c++;
                            if (c == 8) for (byte x = 0; x < 3; x++) for (byte y = 0; y < 3; y++) if (curBox[x, y] != ".")
                                        {
                                            Board.cells[(bx * 3) + x, (by * 3) + y].value = curno;
                                            Board.cells[(bx * 3) + x, (by * 3) + y].source = xCell.SOURCE.COMPUTER;
                                        }
                        }
                    }
                }
            }
        }
示例#22
0
 public BruteForceEventArgs(int Level, xBoard Board)
 {
     level = Level;
     board = Board;
 }
示例#23
0
 public xSolver(xBoard B)
 {
     b = B;
 }
示例#24
0
 public xSolver(xBoard B)
 {
     b = B;
 }