用python实现判断9*9数独的正确性

import sys

def panduan(list):
    len_m = len(list)
    # 定义一个基准，拿每一行与每个宫排序之后跟temp对比，一致则说明，每一行都是1到9的数字
    temp = ['1', '2', '3', '4', '5', '6', '7', '8', '9']
    if len_m == 9:
        #如果list是9个元素则执行此段代码，判断每行排序之后是否与temp相等
        for i in list:
            if sorted(i) == temp:
                return True
            else:
                return False

    if len_m == 3:
        #如果list是3个元素则执行此段代码，现将3*3宫的每行列表相加变成一个9个元素的列表，将9个元素的列表与temp比较
        # print(list[0] + list[1] + list[2])
        if sorted(list[0] + list[1] + list[2]) == temp:
            return True
        else:
            return False

if __name__ == '__main__':

    #键盘输入数据
    sudo = sys.stdin.readline()

    #将键盘输入的字符转换成list再进行切片，切成9个含有9个元素的列表
    list1 = [list(sudo[x * 9:x * 9 + 9]) for x in range(0,9)]     #分成9*9的矩阵，每行都是一个列表，9个列表；使用列表的切片

    #再对9*9的列表进行切片，切成9个3*3的列表就是宫
    list2 = [[list(list1[x][j * 3 : j * 3 + 3]) for x in range(3) ] for j in range(3)]      #切前三行
    list3 = [[list(list1[x][j * 3 : j * 3 + 3]) for x in range(3,6) ] for j in range(3)]    #中间三行
    list4 = [[list(list1[x][j * 3: j * 3 + 3]) for x in range(6,9)] for j in range(3)]      #最后三行
    #相加最后得到9个3*3
    list_end = list2 + list3 + list4
    # print(list_end)

    flag = True     #设置一个标志
    if panduan(list1):      #调用panduan函数，如果9*9的列表是符合判断的则往下执行
        for x in list_end:      #循环取每个3*3的列表
            print(x)
            if panduan(x):      #调用panduan函数，如果符合判断则标志是True，否则是False
                flag = True
            else:
                flag = False
    print(flag)     #最后输出判断结果

思路：判断99的每行是1到9的数字，再判断每个33的小方格（宫）是1到9的数字
验证代码正确性：
案例1：
534678912672195348198342567859761423426853791713924856961537284287419635345286179
案例2：
761934825354628197928157634219546378483279516576381942195762483832495761647813259
案例3：
123456789234567891345678912456789123567891234678912345789123456891234567912345678
关于这道题，我一开始的想法是计算每行每列的和是45（见前一篇文章）不对的；然后又想着再计算每行每列和等于45的基础上加上判断宫（每个3*3的小方格）的和等于45，也是不对的，比如81个5的时候就不对；百度看到有人的文章是判断每行每列没有重复的数字，这也是不对的，案例3就可以打破这个说法；百度又有人说检查行、列是否有重复项 + 每行的和等于45两个条件判断，也不对，还是案例3说明不对。
还是要从数独的概念上解答此题，下面抄上百度的话：
数独 （英语：Sudoku）是一种逻辑性的数字填充游戏，玩家须以数字填进每一格，而每行、每列和每个宫（即3x3的大格）有齐1至9所有数字。