靠试数的数独有什么意义……应该从程序上保证生成的数独是可以纯靠推理得出的