生成,解决,检验sudoku问题。并写入文件中。