数独矩阵编程

㈠ 基于SAT的数独游戏求解程序，求C语言代码

用0代表要填的数

#include <stdio.h>

#include <stdlib.h>

#define SIZE 9

#define get_low_bit(x) ((~x&(x-1))+1)

struct{

int left;

char num;

char try;

}board[SIZE][SIZE];

int bit2num(int bit)

{

switch(bit){

case 16:

case 256:

return 9;

基础解法

排除法（摒除法）

摒除法：用数字去找单元内唯一可填空格，称为摒除法，数字可填唯一空格称为排除法 (Hidden Single)。

根据不同的作用范围，摒余解可分为下述三种：

数字可填唯一空格在“宫”单元称为宫排除（Hidden Single in Box），也称宫摒除法。

数字可填唯一空格在“行”单元称为行排除法（Hidden Single in Row），也称行摒除法。