UMassAI Sudoku解题器

本项目包含了多种数独求解的推理方法，包括简单回溯、MRV启发式回溯、AC3推理、裸对推理、共享子组推理以及难度评估。对于简单的回溯，请运行 SudokuSolverPlainBackTracking.java。要使用MRV启发式进行回溯，请运行 SudokuSolverMRV.java。若要结合MRV与AC3启发式进行回溯，请运行 SudokuAC3.java。两个额外的推理方法Naked Pairs和Shared Subgroup，分别对应的运行文件为 SudokuNakedPairs.java 和 SudokuSolverSharedSubgroup.java。