Ejemplo n.º 1
0
Archivo: Game.cs Proyecto: bjeanes/uni
 /// <summary>
 /// Saves the current puzzle to a file.
 /// </summary>
 /// <returns>true if file write was successful.</returns>
 public bool SavePuzzle()
 {
     if (currentPuzzle != null)
     {
         try
         {
             Stream bStream = File.Open(this.saveGameFile,
                                             FileMode.Create);
             BinaryFormatter bFormatter = new BinaryFormatter();
             bFormatter.Serialize(bStream, currentPuzzle);
             bStream.Close();
             currentPuzzle.Clear();
             currentPuzzle = null;
         }
         catch
         {
             DialogResult result =
                 MessageBox.Show("Could not save your game file. " +
                 "Do you have write permissions to the file\n " +
                 System.IO.Directory.GetCurrentDirectory() +
                 "\\savegame.dat", "Sorry",
                 MessageBoxButtons.RetryCancel, MessageBoxIcon.Error);
             if (result == DialogResult.Retry)
             {
                 return this.SavePuzzle();
             }
             else
             {
                 return false;
             }
         }
         return true;
     }
     return false;
 }
Ejemplo n.º 2
0
Archivo: Game.cs Proyecto: bjeanes/uni
        /// <summary>
        /// NewPuzzle(DifficultyLevel level) clears previous puzzle, 
        /// if it exists, and creates a new one of specified difficulty.
        /// <remarks>Precondition: PuzzlesAvailable() returns true.</remarks>
        /// </summary>
        /// <param name="level">difficulty level of the new puzzle</param>
        public bool NewPuzzle(DifficultyLevel level)
        {
            if (morePuzzles[(int)level].Count > 0)
            {
                // If a puzzle is already in existence, get rid of it:
                if (currentPuzzle != null)
                {
                    currentPuzzle.Clear();
                }

                // Randomly choose puzzle
                int i = new Random().Next(morePuzzles[(int)level].Count);

                // Create puzzle
                currentPuzzle =
                    new Puzzle(this, (string)morePuzzles[(int)level][i]);

                // if game is unfinished,
                //   the puzzlestring in puzzle will be re-added to
                //   morePuzzles iff they didn't save game.

                // remove new puzzle from the morePuzzles list
                morePuzzles[(int)level].RemoveAt(i);
                puzzlesAvailable--; // decrease the level of puzzlesAvailable.

                return true;
            }
            else
            {
                MessageBox.Show("No puzzles available in that difficulty. \n" +
                                "Please add more puzzles or choose a " +
                                "different difficulty", "No more puzzles!",
                                MessageBoxButtons.OK);
                return false;
            }
        }
Ejemplo n.º 3
0
Archivo: Game.cs Proyecto: bjeanes/uni
        /// <summary>
        /// Loads an unfinished puzzle from a file.
        /// </summary>
        /// <returns>true if file read was successful.</returns>
        public bool LoadPuzzle()
        {
            if (this.currentPuzzle != null)
            {
                this.currentPuzzle.Clear();
            }

            try //to read the file
            {
                Stream bStream = File.Open(this.saveGameFile, FileMode.Open);
                BinaryFormatter bFormatter = new BinaryFormatter();
                this.currentPuzzle = (Puzzle)bFormatter.Deserialize(bStream);
                this.currentPuzzle.Load(this); // then load will InitButtons().
                bStream.Close();
            }
            catch
            {
                // display error message?
                return false;
            }

            // if all is well, puzzle is loaded.
            return true;
        }
Ejemplo n.º 4
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;
        }
Ejemplo n.º 5
0
        public static void Main(string[] args)
        {
            if (args.Length == 0) {
                Console.WriteLine("Usage: sudoku <filename.txt>");
                return;
            }

            string filename = args[0];
            if (!File.Exists(filename)) {
                Console.WriteLine("File not found: {0}", filename);
                return;
            }

            // parse file
            List<Tuple<string, List<string>>> grids = new List<Tuple<string, List<string>>>();
            List<string> current = null;

            foreach (string lineFull in File.ReadLines(filename)) {
                string line = lineFull.Trim();
                if (line.Length == 0)
                    continue;

                char fc = line[0];
                // Assume any line that starts with a number is a puzzle row
                if (fc >= 48 && fc <= 57) {
                    // is number
                    if (current == null)
                        throw new Exception("No grid name defined");
                    current.Add(line);
                } else {
                    current = new List<string>();
                    grids.Add(new Tuple<string, List<string>>(line, current));
                }
            }

            // solve puzzles
            List<Task> tasks = new List<Task>();
            List<Puzzle> puzzles = new List<Puzzle>();

            foreach (Tuple<string, List<string>> pair in grids) {
                string gridString = string.Join("", pair.Item2);
                Puzzle puzzle = new Puzzle(pair.Item1, gridString);
                puzzle.SaveStateHistory = true;
                puzzles.Add(puzzle);

                // Start new threads if deemed useful
                Task task = Task.Factory.StartNew(puzzle.Solve);

                tasks.Add(task);
            }

            Task.WaitAll(tasks.ToArray());

            // output results
            int count = 0;
            int solved = 0;
            int tripleSum = 0;
            int totalChecks = 0;
            int totalChanges = 0;

            foreach (Puzzle puzzle in puzzles) {
                count++;
                if (puzzle.Solved) {
                    solved++;
                    tripleSum += puzzle.GetTriple();
                }

                Console.WriteLine(puzzle.Name);
                Console.WriteLine(puzzle.Grid);
                int checks = puzzle.State.States.Count;
                int changes = puzzle.State.States.Where((gs, i) => i > 0 && gs.HasChanged(puzzle.State.States[i-1])).Count();
                totalChecks += checks;
                totalChanges += changes;
                Console.WriteLine("Changes/checks: {0}/{1}", changes, checks);
                Console.WriteLine("JSON history:");
                Console.WriteLine(puzzle.State.ToJson());
                Console.WriteLine();
            }

            Console.WriteLine("Puzzles solved {0}/{1}", solved, count);
            Console.WriteLine("Total changes/checks: {0}/{1}", totalChanges, totalChecks);
            Console.WriteLine("Triple sum: {0}", tripleSum);
        }
Ejemplo n.º 6
0
 public MutablePuzzle(IndexablePosition[] cells)
 {
     _cells = cells;
     Puzzle = new Puzzle(_cells);
 }