GitHub_4CT_Ruby 21/02/15の変更 strip_sub3()

四色定理の証明を Ruby に移植している。
discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。
今日は strip_sub3() を書いた。