数独求解程序—PHP暴力求解

<?php
/**
 * 数独求解程序
 */
class Sudoku {
    var $matrix;
    function __construct($arr = null) {
        if ($arr == null) {
            $this->clear();
        } else {
            $this->matrix = $arr;
        }
    }
    function clear() {
        for($i=0; $i<9; $i++) {
            for($j=0; $j<9; $j++) {
                $this->matrix[$i][$j] = array();
                for ($k = 1; $k <= 9; $k++) {
                    $this->matrix[$i][$j][$k] = $k;
                }
            }
        }
    }
    function setCell($row, $col, $value){
        $this->matrix[$row][$col] = array($value => $value);
        //row
        for($i = 0; $i < 9; $i++){
            if($i != $col){
                if(! $this->removeValue($row, $i, $value)) {
                    return false;
                }
            }
        }
        //col
        for($i = 0; $i < 9; $i++){
            if($i != $row){
                if(! $this->removeValue($i, $col, $value)) {
                    return false;
                }
            }
        }
        //square
        $rs=intval($row / 3) * 3;
        $cs=intval($col / 3) * 3;
        for($i = $rs; $i < $rs + 3; $i++){
            for($j = $cs; $j < $cs + 3; $j++){
                if($i != $row && $j != $col){
                    if(! $this->removeValue($i, $j, $value))
                        return false;
                }
            }
        }
        return true;
    }
    function removeValue($row, $col, $value) {
        $count = count($this->matrix[$row][$col]);
        if($count == 1){
            $ret = !isset($this->matrix[$row][$col][$value]);
            return $ret;
        }
        if (isset($this->matrix[$row][$col][$value])) {
            unset($this->matrix[$row][$col][$value]);
            if($count - 1 == 1) {
                return $this->setCell($row, $col, current($this->matrix[$row][$col]));
            }
        }
        return true;
    }
    function set($arr) {
        for ($i = 0; $i < 9; $i++) {
            for ($j = 0; $j < 9; $j++) {
                if ($arr[$i][$j] > 0) {
                    $this->setCell($i, $j, $arr[$i][$j]);
                }
            }
        }
    }
    function dump() {
        for($i = 0; $i < 9; $i++){
            for($j = 0; $j < 9; $j++){
                $c = count($this->matrix[$i][$j]);
                if($c == 1){
                    echo " ".current($this->matrix[$i][$j])." ";
                } else {
                    echo "(".$c.")";
                }
            }
            echo PHP_EOL;
        }
        echo PHP_EOL;
    }
    function dumpAll() {
        for($i = 0; $i < 9; $i++){
            for($j = 0; $j < 9; $j++){
                echo implode('', $this->matrix[$i][$j]), PHP_EOL;
            }
            echo PHP_EOL;
        }
        echo PHP_EOL;
    }
    function calc($data) {
        $this->clear();
        $this->set($data);
        $this->_calc();
        $this->dump();
    }
    function _calc() {
        for($i = 0; $i < 9; $i++){
            for($j = 0; $j < 9; $j++){
                if(count($this->matrix[$i][$j]) == 1) {
                    continue;
                }
                foreach($this->matrix[$i][$j] as $v){
                    $flag = false;
                    $t = new Sudoku($this->matrix);
                    if(!$t->setCell($i, $j, $v)){
                        continue;
                    }
                    if(!$t->_calc()){
                        continue;
                    }
                    $this->matrix = $t->matrix;
                    return true;
                }
                return false;
            }
        }
        return true;
    }
}
$sd=new Sudoku;
//$t = microtime(true);
//$sd->calc(array(
//    array(0,5,0,0,0,6,0,9,0),
//    array(0,4,7,0,8,2,6,0,0),
//    array(0,8,0,0,0,7,0,5,2),
//    array(7,0,1,0,3,4,0,0,6),
//    array(0,3,0,0,2,0,0,8,0),
//    array(2,0,0,0,0,1,9,0,4),
//    array(4,7,0,1,0,0,0,6,0),
//    array(0,0,9,4,6,0,3,7,0),
//    array(0,1,0,2,0,0,0,4,0),
//));
//$t2 = microtime(true);
//echo ($t2 - $t) .PHP_EOL;
//$sd->calc(array(
//    array(1,0,0,0,0,6,9,0,0),
//    array(0,0,0,9,0,0,0,0,5),
//    array(2,0,0,1,0,0,0,0,3),
//    array(0,0,5,3,0,7,0,2,0),
//    array(3,0,0,6,0,0,0,0,1),
//    array(0,1,0,4,0,0,8,0,0),
//    array(9,0,0,0,0,2,0,0,7),
//    array(5,0,0,0,0,9,0,0,0),
//    array(0,0,3,7,0,0,0,0,4),
//));
//$sd->calc(array(
//    array(7,0,0,1,0,0,0,0,5),
//    array(0,0,6,0,4,0,0,8,0),
//    array(0,0,1,0,0,0,0,0,0),
//    array(0,6,0,0,8,0,0,0,3),
//    array(0,8,0,0,0,9,0,7,0),
//    array(1,0,0,0,0,0,0,5,0),
//    array(0,0,0,0,0,0,9,0,0),
//    array(0,4,0,0,3,0,1,0,0),
//    array(9,0,0,0,0,7,0,0,2),
//));
//$sd->calc(array(
//    array(0,5,0,0,0,0,0,2,0),
//    array(0,0,3,1,0,0,5,0,0),
//    array(0,0,6,0,0,8,0,0,0),
//    array(6,0,0,0,0,0,0,1,0),
//    array(8,0,0,6,0,0,0,0,4),
//    array(0,3,0,0,0,9,0,0,7),
//    array(0,0,0,5,0,0,3,0,0),
//    array(0,0,8,0,0,6,9,0,0),
//    array(0,9,0,0,0,0,0,7,0),
//));

//芬兰数学家因卡拉花费3个月设计出了世界上迄今难度最大的九宫格游戏，而且它只有一个答案
$t = microtime(true);
$sd->calc(array(
    array(8,0,0,0,0,0,0,0,0),
    array(0,0,3,6,0,0,0,0,0),
    array(0,7,0,0,9,0,2,0,0),
    array(0,5,0,0,0,7,0,0,0),
    array(0,0,0,0,4,5,7,0,0),
    array(0,0,0,1,0,0,0,3,0),
    array(0,0,1,0,0,0,0,6,8),
    array(0,0,8,5,0,0,0,1,0),
    array(0,9,0,0,0,0,4,0,0),
));
$t2 = microtime(true);
echo ($t2 - $t) .PHP_EOL;

输出结果：

8 1 2 7 5 3 6 4 9 
9 4 3 6 8 2 1 7 5 
6 7 5 4 9 1 2 8 3 
1 5 4 2 3 7 8 9 6 
3 6 9 8 4 5 7 2 1 
2 8 7 1 6 9 5 3 4 
5 2 1 9 7 4 3 6 8 
4 3 8 5 2 6 9 1 7 
7 9 6 3 1 8 4 5 2 

0.50202894210815