数独问题的0-1整数规划模型