数独游戏解决

题目：（数独游戏）根据9×9盘面上已知数字，推理出所剩余空格的数字，并满足每一行、每一列、每一个粗线宫（3*3）内的数字均含1-9，不重复。数独盘面是个九宫，每一宫又分为九个小格。在这八十一格中给出一定的已知数字和解题条件，利用逻辑和推理，在其他的空格上填入1-9的数字。使1-9每个数字在每一行、每一列和每一宫中都只出现一次。

一、问题分析

1.数独问题的基本规则
（1）规则一：同一行数字不同
（2）规则二：同一列数字不同
（3）规则三：同一宫数字不同

2.解决数独的策略
（1）第一步，在每个格子中按照基本规则写入可能的结果。用0来代表未知的数字，其他的数字则表示已知数字；
（2）第二步，判断每个格子中结果的个数，如果结果唯一，则写入该数字；
（3）第三步，将0表示的未知数字运用数独问题的基本规则生成满足的数字；
（4）第四步，返回步骤一，循环；
（5）停止的标志：填满所有格子，或格子中可能的结果最小数大于1。

二、算法思路

1、求出每个数字为0的位置可以填的数，并将其位置和能填的数分别以key和value的方式存储到字典里面；
2、将字典里的数据按照所能填写的数据的多少进行排序，先在能填的数少的里面选取一个进行填写；
3、将填写的过程记录到列表里面，这个地方暂时想到的就是用列表记录填写过程；
4、更新1、2步，若出现某一步可填写的数据为空，说明之前某一步的选择有问题，回溯回去，更换数值，然后回到步骤1；
5、当所有的数都填完后，退出循环。

三、代码

import numpy as np
import time
time1 = time.time()
def nine(data):
    nine_block = np.zeros([3, 3, 3, 3], dtype=int)
    for i in range(3):
        for j in range(3):
            nine_block[i, j] = data[3 * i:3 * (i + 1), 3 * j:3 * (j + 1)]
    return nine_block
def num_set(data, nine_block):
    pick_set = {}
    for i in range(9):
        for j in range(9):
            if data[i, j] == 0:
                pick_set[str(i) + str(j)] = set(np.array(range(10))) - \
                                            (set(data[i, :]) | set(data[:, j]) | \
                                             set(nine_block[i // 3, j // 3].ravel()))
    return pick_set


def try_insert(data):
    insert_step = []
    while True:
        pick_set = num_set(data, nine(data))
        if len(pick_set) == 0:
            break
        pick_sort = sorted(pick_set.items(), key=lambda x: len(x[1]))
        item_min = pick_sort[0]
        key = item_min[0]
        value = list(item_min[1])
        insert_step.append((key, value))
        if len(value) != 0:
            data[int(key[0]), int(key[1])] = value[0]
        else:
            insert_step.pop()
            for i in range(len(insert_step)):
                huishuo = insert_step.pop()
                key = huishuo[0]
                insert_num = huishuo[1]
                if len(insert_num) == 1:
                    data[int(key[0]), int(key[1])] = 0
                else:
                    data[int(key[0]), int(key[1])] = insert_num[1]
                    insert_step.append((key, insert_num[1:]))
                    break
    tiem2 = time.time()
    print('\nFinished! using time:', tiem2 - time1, 's')
    print(data)


if __name__ == '__main__':
    data = " 6 0 0 0 0 0 0 0 3 \
             0 0 4 2 6 0 0 0 0 \
             0 5 0 4 7 0 0 0 0 \
             2 0 0 0 0 1 3 0 8 \
             5 0 3 0 0 0 0 0 0 \
             0 0 0 0 4 8 0 7 0 \
             0 6 0 0 0 0 8 0 0 \
             1 0 5 0 0 0 0 0 0 \
             0 0 0 1 0 7 0 9 0 "

    data = np.array(data.split(), dtype=int).reshape((9, 9))
    print(data)
    try_insert(data)

四、运行结果

1.输入数据：

即为（测试文本）：
600000003
004260000
050470000
200001308
503000000
000048070
060000800
105000000
000107090
2.运行结果：