関数 guessok(depends[], set, work) は、仮定した盤面 work が解として成立するかを調べます。 マスiが設定済みかどうかは ztst(set, i) で調べます。 成立しないのは: 「マス状態が確定している、かつ、マス状態が赤である」というようなマスが一つでも存在する場合です。 成立しないのはその否定で、全てのマスが「マス状態が未確定、または、マス状態が白」である