Exemplo n.º 1
0
        public bool BacktrackingSearch()
        {
            if (Solved)
            {
                return(OnSolution());
            }

            Requirement c = EasiestRequirement;
            int         s = c.s;
            int         i = 0;

            if (s == 0)
            {
                return(false);
            }
            c.Cover();
            bool brk = false;

            for (Tile r = c.d; r != c; r = r.d)
            {
                CoverRow(r);
                brk = BacktrackingSearch();
                UncoverRow();
                if (brk)
                {
                    break;
                }
            }
            c.Uncover();
            return(brk);
        }
Exemplo n.º 2
0
        public bool BacktrackingProof(TextWriter log)
        {
            if (Solved)
            {
                return(OnSolution());
            }

            Requirement c = EasiestRequirement;

            log.WriteLine(c.ToString());
            int s = c.s;
            int i = 0;

            if (s == 0)
            {
                return(false);
            }
            c.Cover();
            if (s != 1)
            {
                log.WriteLine("(start of loop)");
            }
            bool brk = false;

            for (Tile r = c.d; r != c; r = r.d)
            {
                if (s != 1)
                {
                    log.WriteLine("(loop " + (++i) + "/" + s + ")");
                }
                log.WriteLine(r.Candidate.ToString());
                CoverRow(r);
                brk = BacktrackingProof(log);
                UncoverRow();
                if (brk)
                {
                    break;
                }
            }
            c.Uncover();
            if (s != 1)
            {
                log.WriteLine("(end of loop)");
            }
            return(brk);
        }