用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所有數字。