関数 red_solver lv, depends[], order[], set, guess, work は探索アルゴリズム本体です。 lv は確定したマスの数 depends は依存関係、order はタッチ順を表す。 set はあるマスが未確定かどうか示す。 guess はあるマスをタッチしているかどうかを示す。これが解の予想値そのものです。 work は全赤盤面に対し guess を適用した場合の盤面を示す。