怎样解数独（1）

前言
所有的数独程序都宣称它能解决所有的数独...很好，因为能填入方格的数字组合是有限的，计算机能很快的把所有的可能试过一遍（这种方法一般叫做“暴力”或“猜测”方法）并且，一个现代的计算机能在几微秒内就能解决。
真正的挑战当然是只用逻辑推理的方式来解决数独。对最简单的数独，你不能仅仅用眼睛盯着格子就能解决。现在已经发明了很多方法来帮助人们来解决数独，大部分的技术是减少每个方格里的可能候选数，最终来解决数独。
这个网站Sudopedia's Solving Technique Index提供了很多很详细的有关数独的信息，它不但详细介绍了许多解决数独的技术，而且一些其它的不容易找到的资料在这里也能容易的找到。
术语
cells:数独中最基本的一个方格。
houses：有三种house，row，column 和boxes（在一些情况下，cell也可以看成一个house）
三个boxes在一行中称做一个chute（水平的chute称作floor，垂直的称作tower）或者称作band。数独的初使值被称作givens。一个cell的候选值称作candidates。整个数独方格称称作grid。
行和列从一至九编号，从上到下，从左到右。一个cell可以这个标识，例如r5c2，表是第五行第二列。blocks也是从一至九编号。
如果两个cell在同一个house里（同一行或者同一列或者同一block），他们是互相可见的。这非常重要，因为在同一个house里的两个数不能有相同的值。