数独求解程序 php版

  1 数独求解程序 php版
  2 
  3 <?php
  4 class Sudoku {
  5     var $matrix;
  6 
  7     function __construct($arr = null) {
  8         if ($arr == null) {
  9             $this->clear();
 10         } else {
 11             $this->matrix = $arr;
 12         }
 13     }
 14     
 15     function clear() {
 16         for($i=0; $i<9; $i++) {
 17             for($j=0; $j<9; $j++) {
 18                 $this->matrix[$i][$j] = array();
 19                 for ($k = 1; $k <= 9; $k++) {
 20                     $this->matrix[$i][$j][$k] = $k;
 21                 }
 22             }
 23         }
 24     }
 25 
 26     function setCell($row, $col, $value){
 27         $this->matrix[$row][$col] = array($value => $value);
 28         //row
 29         for($i = 0; $i < 9; $i++){
 30             if($i != $col){
 31                 if(! $this->removeValue($row, $i, $value)) {
 32                     return false;
 33                 }
 34             }
 35         }
 36         //col
 37         for($i = 0; $i < 9; $i++){
 38             if($i != $row){
 39                 if(! $this->removeValue($i, $col, $value)) {
 40                     return false;
 41                 }
 42             }
 43         }
 44         //square
 45         $rs=intval($row / 3) * 3;
 46         $cs=intval($col / 3) * 3;
 47 
 48         for($i = $rs; $i < $rs + 3; $i++){
 49             for($j = $cs; $j < $cs + 3; $j++){
 50                 if($i != $row && $j != $col){
 51                     if(! $this->removeValue($i, $j, $value))
 52                         return false;
 53                 }
 54             }
 55         }
 56         return true;
 57     }
 58     
 59     function removeValue($row, $col, $value) {
 60         $count = count($this->matrix[$row][$col]);
 61         if($count == 1){
 62             $ret = !isset($this->matrix[$row][$col][$value]);
 63             return $ret;
 64         }
 65         if (isset($this->matrix[$row][$col][$value])) {
 66             unset($this->matrix[$row][$col][$value]);
 67             if($count - 1 == 1) {
 68                 return $this->setCell($row, $col, current($this->matrix[$row][$col]));
 69             }
 70         }
 71         return true;
 72     }
 73     
 74     function set($arr) {
 75         for ($i = 0; $i < 9; $i++) {
 76             for ($j = 0; $j < 9; $j++) {
 77                 if ($arr[$i][$j] > 0) {
 78                     $this->setCell($i, $j, $arr[$i][$j]);
 79                 }
 80             }
 81         }
 82     }
 83 
 84     function dump() {
 85         for($i = 0; $i < 9; $i++){
 86             for($j = 0; $j < 9; $j++){
 87                 $c = count($this->matrix[$i][$j]);
 88                 if($c == 1){
 89                     echo " ".current($this->matrix[$i][$j])." ";
 90                 } else {
 91                     echo "(".$c.")";
 92                 }
 93             }
 94             echo "\n";
 95         }
 96         echo "\n";
 97     }
 98 
 99     function dumpAll() {
100         for($i = 0; $i < 9; $i++){
101             for($j = 0; $j < 9; $j++){
102                 echo implode('', $this->matrix[$i][$j]), "\t";
103             }
104             echo "\n";
105         }
106         echo "\n";
107     }
108 
109     function calc($data) {
110         $this->clear();
111         $this->set($data);
112         $this->_calc();
113         $this->dump();
114     }
115 
116     function _calc() {
117         for($i = 0; $i < 9; $i++){
118             for($j = 0; $j < 9; $j++){
119                 if(count($this->matrix[$i][$j]) == 1) {
120                     continue;
121                 }
122                 foreach($this->matrix[$i][$j] as $v){
123                     $flag = false;
124                     $t = new Sudoku($this->matrix);
125                     if(!$t->setCell($i, $j, $v)){
126                         continue;
127                     }
128                     if(!$t->_calc()){
129                         continue;
130                     }
131                     $this->matrix = $t->matrix;
132                     return true;
133                 }
134                 return false;
135             }
136         }
137         return true;
138     }
139 }
140 
141 $sd=new Sudoku;
142 $sd->calc(array(
143 array(0,5,0,0,0,6,0,9,0),
144 array(0,4,7,0,8,2,6,0,0),
145 array(0,8,0,0,0,7,0,5,2),
146 array(7,0,1,0,3,4,0,0,6),
147 array(0,3,0,0,2,0,0,8,0),
148 array(2,0,0,0,0,1,9,0,4),
149 array(4,7,0,1,0,0,0,6,0),
150 array(0,0,9,4,6,0,3,7,0),
151 array(0,1,0,2,0,0,0,4,0),
152 ));
153 
154 $sd->calc(array(
155 array(1,0,0,0,0,6,9,0,0),
156 array(0,0,0,9,0,0,0,0,5),
157 array(2,0,0,1,0,0,0,0,3),
158 array(0,0,5,3,0,7,0,2,0),
159 array(3,0,0,6,0,0,0,0,1),
160 array(0,1,0,4,0,0,8,0,0),
161 array(9,0,0,0,0,2,0,0,7),
162 array(5,0,0,0,0,9,0,0,0),
163 array(0,0,3,7,0,0,0,0,4),
164 ));
165 
166 $sd->calc(array(
167 array(7,0,0,1,0,0,0,0,5),
168 array(0,0,6,0,4,0,0,8,0),
169 array(0,0,1,0,0,0,0,0,0),
170 array(0,6,0,0,8,0,0,0,3),
171 array(0,8,0,0,0,9,0,7,0),
172 array(1,0,0,0,0,0,0,5,0),
173 array(0,0,0,0,0,0,9,0,0),
174 array(0,4,0,0,3,0,1,0,0),
175 array(9,0,0,0,0,7,0,0,2),
176 ));
177 
178 $sd->calc(array(
179 array(0,5,0,0,0,0,0,2,0),
180 array(0,0,3,1,0,0,5,0,0),
181 array(0,0,6,0,0,8,0,0,0),
182 array(6,0,0,0,0,0,0,1,0),
183 array(8,0,0,6,0,0,0,0,4),
184 array(0,3,0,0,0,9,0,0,7),
185 array(0,0,0,5,0,0,3,0,0),
186 array(0,0,8,0,0,6,9,0,0),
187 array(0,9,0,0,0,0,0,7,0),
188 ));