數獨矩陣編程

㈠ 基於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），也稱行摒除法。