我有一个用Java编写的程序，用于检查一个数独是否有效。我有两个方法，第一个方法是检查所有列、子网格和行的总和是否为45，第二个方法是检查整个数独的总和是否为405，如果是，则数独有效。我正在寻找一个反例，即输入一个有效的数独，但程序却判定其无效。以下是代码：

public class test_checker {    static final boolean valide=true;    static final boolean non_valide=false;    // 验证每个子网格是否有效        static boolean check_subgrid(int a[][],int ei,int ej){            int sum=0;            for(int i=ei;i<ei+3;i++){                           for(int j=ej;j<ej+3;j++){                    sum=sum+a[j][i];                }            }            if(sum!=45) return non_valide;            else return valide;        }        //通过每行、每列和每个子网格的总和验证数独        static boolean Checker1(int a[][]){            int sum=0;            //检查行            for(int i=0;i<9;i++){                sum=0;                for(int j=0;j<9;j++){                    sum=sum+a[i][j];                }                if(sum!=45) return non_valide;            }            //检查列            for(int i=0;i<9;i++){                sum=0;                for(int j=0;j<9;j++){                    sum=sum+a[j][i];                }                if(sum!=45) return non_valide;            }                   //检查子网格            for(int i=0;i<9;i=i+3){                for(int j=0;j<3;j=j+3){                    if(check_subgrid(a,i,j)==non_valide) return non_valide;                }            }            return valide;        }        //通过整个数独的总和验证        static boolean Checker2(int a[][]){            int sum=0;            for(int i=0;i<9;i++){                           for(int j=0;j<9;j++){                    sum=sum+a[i][j];                }            }               if(sum!=405) return non_valide;            else return valide;        }    public static void main(String[] args) {        int [][] sudoku =            {                {1,2,3,4,5,6,7,8,9},                {4,5,6,7,8,9,1,2,3},                {7,8,9,1,2,3,4,5,6},                {3,1,2,9,7,8,6,4,5},                {6,4,5,3,1,2,9,7,8},                {9,7,8,6,4,5,3,1,2},                {2,3,1,5,6,4,8,9,7},                {5,6,4,8,9,7,2,3,1},                {8,9,7,2,3,1,5,6,4}            };        if(Checker1(sudoku)) System.out.println("it's valide (checker1)!");        else System.out.println("it's not valide !");        if(Checker2(sudoku)) System.out.println("it's valide (checker2) !");        else System.out.println("it's not valide !");    }}

回答：

正如@某人所说

你应该问的是是否存在一个无效的9×9网格，但它仍然满足你的标准。

我想到的最简单的两个例子是：

{5,5,5,5,5,5,5,5,5},{5,5,5,5,5,5,5,5,5},{5,5,5,5,5,5,5,5,5},{5,5,5,5,5,5,5,5,5},{5,5,5,5,5,5,5,5,5},{5,5,5,5,5,5,5,5,5},{5,5,5,5,5,5,5,5,5},{5,5,5,5,5,5,5,5,5},{5,5,5,5,5,5,5,5,5}

以及你的例子，你可以用0代替1，用10代替9。确保每个字段在行、列和子网格中都是不同的，并且在[1,9]的区间内。