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