フォートトーク
@forttalkcom
線はどこにあるか
Joined October 2021
0 Following 3.6K Followers
四色定理の新証明では、地図の一部を簡略化できるパターンを8,202種類使う。1997年の証明の633種類より多いが、塗り分けの計算量は減った。一か所ずつ簡略化する代わりに、多数の箇所をまとめて処理し、問題の規模を一定割合ずつ減らせるためだ。
Show more
Most Popular Users
