数独的推理性强，像一些数学思想，推理，假设，反证(找矛盾)都有影子，换成计算机，它也做类似的事情，推理和假设变成搜索，反证变成回溯，做一件数学工作，难度就体现在这些基本的工作重复了多少，越多越难，如果推两下就出结果，那就容易，所以…… 就一般性的数独难度，拿两个指标来衡量，搜索次数S和回溯次数T，T越大越难，但和S也有关系，应该描述成回溯率，比如同样是回溯了10次，一个是20次的搜
