数独游戏解题工具(支持截图OCR识别数字)

是一款基于 Python 的数独解题工具，具有图形界面，支持手动输入模式和屏幕截图 OCR 识别模式。

通过截图OCR识别文字解题

功能特性

• 智能求解： 采用优化的回溯算法，结合位运算、MRV启发式和约束传播技术，快速求解各种难度的数独。
• 图形界面： 清晰的 9×9 数独格子，3×3 宫格边界加粗显示。
• 截图识别： 支持框选屏幕上的数独图片，自动 OCR 识别并填入。
• 历史记录： 自动保存解题记录，可随时查看和恢复历史结果。
  

  核心算法

  数独求解器采用多种优化策略：
  位运算优化： 使用位集合记录行/列/宫格已使用的数字，实现 O(1) 时间复杂度的约束检查。
  MRV 启发式： 优先选择候选数字最少的空格进行填充，减少回溯次数。
  * 约束传播： 自动填充只有唯一候选的格子，减少搜索空间。

夸克网盘：https://pan.quark.cn/s/22000cef7638
百度网盘：https://pan.baidu.com/s/1PnnCItsMovUBDgBadjomqg?pwd=nnvj